About the Execution of LoLA for CloudReconfiguration-PT-313
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2059.548 | 1732922.00 | 6839412.00 | 156.60 | F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2021-input.r049-oct2-162038304300358.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is CloudReconfiguration-PT-313, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-162038304300358
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 163K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 102K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 23 03:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 03:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 22 12:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 22 12:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 660K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1620655098769
starting LoLA
BK_INPUT CloudReconfiguration-PT-313
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking
FORMULA StableMarking FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1620656831691
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES PLACE p2215
sara: try reading problem file stateEquationProblem-ConstantPlace-525.sara.
lola: LAUNCH SYMM
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1478
sara: try reading problem file stateEquationProblem-ConstantPlace-1873.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1857
lola: state equation: 1
lola: find path: 451
lola: goal oriented search: 245
lola: symmetry: 31
lola: STATE EQUATION TRIES PLACE p2083
sara: try reading problem file stateEquationProblem-ConstantPlace-193.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1636
sara: try reading problem file stateEquationProblem-ConstantPlace-2321.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1680
lola: reporting
lola: not produced: 1672
lola: state equation: 4
lola: find path: 617
lola: goal oriented search: 245
lola: symmetry: 47
sara: try reading problem file stateEquationProblem-ConstantPlace-2365.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2353
sara: try reading problem file stateEquationProblem-ConstantPlace-785.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p372
sara: try reading problem file stateEquationProblem-ConstantPlace-682.sara.
lola: reporting
lola: not produced: 1560
lola: state equation: 6
lola: find path: 719
lola: goal oriented search: 245
lola: symmetry: 55
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1398
sara: try reading problem file stateEquationProblem-ConstantPlace-1693.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1473
lola: state equation: 7
lola: find path: 802
lola: goal oriented search: 245
lola: symmetry: 58
lola: STATE EQUATION TRIES PLACE p958
sara: try reading problem file stateEquationProblem-ConstantPlace-2153.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2219
sara: try reading problem file stateEquationProblem-ConstantPlace-529.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1138
sara: try reading problem file stateEquationProblem-ConstantPlace-1118.sara.
lola: reporting
lola: not produced: 1301
lola: state equation: 10
lola: find path: 959
lola: goal oriented search: 245
lola: symmetry: 70
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2354
sara: try reading problem file stateEquationProblem-ConstantPlace-787.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1816
sara: try reading problem file stateEquationProblem-ConstantPlace-2501.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1832
sara: try reading problem file stateEquationProblem-ConstantPlace-2517.sara.
lola: reporting
lola: not produced: 1270
lola: state equation: 13
lola: find path: 983
lola: goal oriented search: 245
lola: symmetry: 74
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1802
sara: try reading problem file stateEquationProblem-ConstantPlace-2487.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1011
sara: try reading problem file stateEquationProblem-ConstantPlace-764.sara.
lola: reporting
lola: not produced: 1239
lola: state equation: 15
lola: find path: 1008
lola: goal oriented search: 245
lola: symmetry: 78
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2348
sara: try reading problem file stateEquationProblem-ConstantPlace-775.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p318
sara: try reading problem file stateEquationProblem-ConstantPlace-628.sara.
lola: reporting
lola: not produced: 1206
lola: state equation: 17
lola: find path: 1035
lola: goal oriented search: 245
lola: symmetry: 82
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2220
sara: try reading problem file stateEquationProblem-ConstantPlace-530.sara.
lola: reporting
lola: not produced: 1140
lola: state equation: 18
lola: find path: 1092
lola: goal oriented search: 245
lola: symmetry: 90
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p899
sara: try reading problem file stateEquationProblem-ConstantPlace-1994.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2413
sara: try reading problem file stateEquationProblem-ConstantPlace-1023.sara.
lola: reporting
lola: not produced: 1132
lola: state equation: 20
lola: find path: 1097
lola: goal oriented search: 245
lola: symmetry: 91
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1883
sara: try reading problem file stateEquationProblem-ConstantPlace-2568.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1739
sara: try reading problem file stateEquationProblem-ConstantPlace-2424.sara.
lola: reporting
lola: not produced: 1125
lola: state equation: 22
lola: find path: 1101
lola: goal oriented search: 245
lola: symmetry: 92
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1223
sara: try reading problem file stateEquationProblem-ConstantPlace-1388.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1115
lola: state equation: 23
lola: find path: 1110
lola: goal oriented search: 245
lola: symmetry: 92
lola: STATE EQUATION TRIES PLACE p2476
sara: try reading problem file stateEquationProblem-ConstantPlace-1131.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1780
sara: try reading problem file stateEquationProblem-ConstantPlace-2465.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2223
sara: try reading problem file stateEquationProblem-ConstantPlace-533.sara.
lola: reporting
lola: not produced: 1066
lola: state equation: 26
lola: find path: 1155
lola: goal oriented search: 245
lola: symmetry: 93
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p111
sara: try reading problem file stateEquationProblem-ConstantPlace-221.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2066
sara: try reading problem file stateEquationProblem-ConstantPlace-176.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2094
sara: try reading problem file stateEquationProblem-ConstantPlace-204.sara.
lola: reporting
lola: not produced: 1050
lola: state equation: 29
lola: find path: 1166
lola: goal oriented search: 245
lola: symmetry: 95
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1153
sara: try reading problem file stateEquationProblem-ConstantPlace-1148.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1526
sara: try reading problem file stateEquationProblem-ConstantPlace-2021.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1751
sara: try reading problem file stateEquationProblem-ConstantPlace-2436.sara.
lola: reporting
lola: not produced: 1045
lola: state equation: 32
lola: find path: 1168
lola: goal oriented search: 245
lola: symmetry: 95
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p94
sara: try reading problem file stateEquationProblem-ConstantPlace-2299.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2509
sara: try reading problem file stateEquationProblem-ConstantPlace-1309.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2073
sara: try reading problem file stateEquationProblem-ConstantPlace-183.sara.
lola: reporting
lola: not produced: 1006
lola: state equation: 35
lola: find path: 1194
lola: goal oriented search: 245
lola: symmetry: 105
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p688
sara: try reading problem file stateEquationProblem-ConstantPlace-1583.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p130
sara: try reading problem file stateEquationProblem-ConstantPlace-240.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 997
lola: state equation: 37
lola: find path: 1199
lola: goal oriented search: 245
lola: symmetry: 107
lola: STATE EQUATION TRIES PLACE p1426
sara: try reading problem file stateEquationProblem-ConstantPlace-1821.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1456
sara: try reading problem file stateEquationProblem-ConstantPlace-1851.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2020
sara: try reading problem file stateEquationProblem-ConstantPlace-130.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1346
sara: try reading problem file stateEquationProblem-ConstantPlace-1641.sara.
lola: reporting
lola: not produced: 966
lola: state equation: 41
lola: find path: 1226
lola: goal oriented search: 245
lola: symmetry: 107
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1771
sara: try reading problem file stateEquationProblem-ConstantPlace-2456.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1773
sara: try reading problem file stateEquationProblem-ConstantPlace-2458.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p150
sara: try reading problem file stateEquationProblem-ConstantPlace-260.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 956
lola: state equation: 44
lola: find path: 1230
lola: goal oriented search: 245
lola: symmetry: 110
lola: STATE EQUATION TRIES PLACE p2383
sara: try reading problem file stateEquationProblem-ConstantPlace-845.sara.
lola: reporting
lola: not produced: 946
lola: state equation: 45
lola: find path: 1239
lola: goal oriented search: 245
lola: symmetry: 110
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1399
sara: try reading problem file stateEquationProblem-ConstantPlace-1694.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1428
sara: try reading problem file stateEquationProblem-ConstantPlace-1823.sara.
lola: reporting
lola: not produced: 935
lola: state equation: 47
lola: find path: 1245
lola: goal oriented search: 245
lola: symmetry: 113
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1794
sara: try reading problem file stateEquationProblem-ConstantPlace-2479.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1405
sara: try reading problem file stateEquationProblem-ConstantPlace-1800.sara.
lola: reporting
lola: not produced: 933
lola: state equation: 49
lola: find path: 1245
lola: goal oriented search: 245
lola: symmetry: 113
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1310
sara: try reading problem file stateEquationProblem-ConstantPlace-1605.sara.
lola: reporting
lola: not produced: 925
lola: state equation: 50
lola: find path: 1252
lola: goal oriented search: 245
lola: symmetry: 113
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1404
sara: try reading problem file stateEquationProblem-ConstantPlace-1799.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1646
sara: try reading problem file stateEquationProblem-ConstantPlace-2331.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 910
lola: state equation: 52
lola: find path: 1265
lola: goal oriented search: 245
lola: symmetry: 113
lola: STATE EQUATION TRIES PLACE p1179
sara: try reading problem file stateEquationProblem-ConstantPlace-1189.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1157
sara: try reading problem file stateEquationProblem-ConstantPlace-1156.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 906
lola: state equation: 54
lola: find path: 1267
lola: goal oriented search: 245
lola: symmetry: 113
lola: STATE EQUATION TRIES PLACE p798
sara: try reading problem file stateEquationProblem-ConstantPlace-1793.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1991
sara: try reading problem file stateEquationProblem-ConstantPlace-91.sara.
lola: reporting
lola: not produced: 889
lola: state equation: 56
lola: find path: 1276
lola: goal oriented search: 245
lola: symmetry: 119
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1781
sara: try reading problem file stateEquationProblem-ConstantPlace-2466.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1058
sara: try reading problem file stateEquationProblem-ConstantPlace-858.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1769
sara: try reading problem file stateEquationProblem-ConstantPlace-2454.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 885
lola: state equation: 59
lola: find path: 1277
lola: goal oriented search: 245
lola: symmetry: 119
lola: STATE EQUATION TRIES PLACE p677
sara: try reading problem file stateEquationProblem-ConstantPlace-1572.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1041
sara: try reading problem file stateEquationProblem-ConstantPlace-824.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p741
sara: try reading problem file stateEquationProblem-ConstantPlace-1736.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1146
sara: try reading problem file stateEquationProblem-ConstantPlace-1134.sara.
lola: reporting
lola: not produced: 880
lola: state equation: 63
lola: find path: 1278
lola: goal oriented search: 245
lola: symmetry: 119
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1824
sara: try reading problem file stateEquationProblem-ConstantPlace-2509.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2003
sara: try reading problem file stateEquationProblem-ConstantPlace-113.sara.
lola: reporting
lola: not produced: 878
lola: state equation: 65
lola: find path: 1278
lola: goal oriented search: 245
lola: symmetry: 119
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1725
sara: try reading problem file stateEquationProblem-ConstantPlace-2410.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 876
lola: state equation: 66
lola: find path: 1279
lola: goal oriented search: 245
lola: symmetry: 119
lola: STATE EQUATION TRIES PLACE p646
sara: try reading problem file stateEquationProblem-ConstantPlace-1541.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2024
sara: try reading problem file stateEquationProblem-ConstantPlace-134.sara.
lola: reporting
lola: not produced: 861
lola: state equation: 68
lola: find path: 1290
lola: goal oriented search: 245
lola: symmetry: 121
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2530
sara: try reading problem file stateEquationProblem-ConstantPlace-1340.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p755
sara: try reading problem file stateEquationProblem-ConstantPlace-1750.sara.
lola: reporting
lola: not produced: 856
lola: state equation: 70
lola: find path: 1293
lola: goal oriented search: 245
lola: symmetry: 121
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1017
sara: try reading problem file stateEquationProblem-ConstantPlace-776.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1027
sara: try reading problem file stateEquationProblem-ConstantPlace-796.sara.
lola: reporting
lola: not produced: 849
lola: state equation: 72
lola: find path: 1296
lola: goal oriented search: 245
lola: symmetry: 123
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p93
sara: try reading problem file stateEquationProblem-ConstantPlace-2298.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 842
lola: state equation: 73
lola: find path: 1301
lola: goal oriented search: 245
lola: symmetry: 124
lola: STATE EQUATION TRIES PLACE p676
sara: try reading problem file stateEquationProblem-ConstantPlace-1571.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2483
sara: try reading problem file stateEquationProblem-ConstantPlace-1145.sara.
lola: reporting
lola: not produced: 835
lola: state equation: 75
lola: find path: 1306
lola: goal oriented search: 245
lola: symmetry: 124
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1337
sara: try reading problem file stateEquationProblem-ConstantPlace-1632.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2126
sara: try reading problem file stateEquationProblem-ConstantPlace-336.sara.
lola: reporting
lola: not produced: 832
lola: state equation: 77
lola: find path: 1307
lola: goal oriented search: 245
lola: symmetry: 124
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2363
sara: try reading problem file stateEquationProblem-ConstantPlace-805.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2217
sara: try reading problem file stateEquationProblem-ConstantPlace-527.sara.
lola: reporting
lola: not produced: 810
lola: state equation: 79
lola: find path: 1324
lola: goal oriented search: 245
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1564
sara: try reading problem file stateEquationProblem-ConstantPlace-2059.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p745
sara: try reading problem file stateEquationProblem-ConstantPlace-1740.sara.
lola: reporting
lola: not produced: 806
lola: state equation: 81
lola: find path: 1326
lola: goal oriented search: 245
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1001
sara: try reading problem file stateEquationProblem-ConstantPlace-744.sara.
lola: reporting
lola: not produced: 805
lola: state equation: 82
lola: find path: 1326
lola: goal oriented search: 245
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1208
sara: try reading problem file stateEquationProblem-ConstantPlace-1358.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 804
lola: state equation: 83
lola: find path: 1326
lola: goal oriented search: 245
lola: symmetry: 127
lola: STATE EQUATION TRIES PLACE p796
sara: try reading problem file stateEquationProblem-ConstantPlace-1791.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1878
sara: try reading problem file stateEquationProblem-ConstantPlace-2563.sara.
lola: reporting
lola: not produced: 800
lola: state equation: 85
lola: find path: 1328
lola: goal oriented search: 245
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1128
sara: try reading problem file stateEquationProblem-ConstantPlace-1098.sara.
lola: reporting
lola: not produced: 799
lola: state equation: 86
lola: find path: 1328
lola: goal oriented search: 245
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1077
sara: try reading problem file stateEquationProblem-ConstantPlace-887.sara.
lola: reporting
lola: not produced: 798
lola: state equation: 87
lola: find path: 1328
lola: goal oriented search: 245
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2087
sara: try reading problem file stateEquationProblem-ConstantPlace-197.sara.
lola: reporting
lola: not produced: 797
lola: state equation: 88
lola: find path: 1328
lola: goal oriented search: 245
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1201
sara: try reading problem file stateEquationProblem-ConstantPlace-1344.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 796
lola: state equation: 89
lola: find path: 1328
lola: goal oriented search: 245
lola: symmetry: 127
lola: STATE EQUATION TRIES PLACE p2191
sara: try reading problem file stateEquationProblem-ConstantPlace-401.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p671
sara: try reading problem file stateEquationProblem-ConstantPlace-1566.sara.
lola: reporting
lola: not produced: 792
lola: state equation: 91
lola: find path: 1330
lola: goal oriented search: 245
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p737
sara: try reading problem file stateEquationProblem-ConstantPlace-1732.sara.
lola: reporting
lola: not produced: 783
lola: state equation: 92
lola: find path: 1338
lola: goal oriented search: 245
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2426
sara: try reading problem file stateEquationProblem-ConstantPlace-1036.sara.
lola: reporting
lola: not produced: 782
lola: state equation: 93
lola: find path: 1338
lola: goal oriented search: 245
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1142
sara: try reading problem file stateEquationProblem-ConstantPlace-1126.sara.
lola: reporting
lola: not produced: 781
lola: state equation: 94
lola: find path: 1338
lola: goal oriented search: 245
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p767
sara: try reading problem file stateEquationProblem-ConstantPlace-1762.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 780
lola: state equation: 95
lola: find path: 1338
lola: goal oriented search: 245
lola: symmetry: 127
lola: STATE EQUATION TRIES PLACE p316
sara: try reading problem file stateEquationProblem-ConstantPlace-626.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 779
lola: state equation: 96
lola: find path: 1338
lola: goal oriented search: 245
lola: symmetry: 127
lola: STATE EQUATION TRIES PLACE p901
sara: try reading problem file stateEquationProblem-ConstantPlace-2096.sara.
lola: reporting
lola: not produced: 777
lola: state equation: 97
lola: find path: 1338
lola: goal oriented search: 245
lola: symmetry: 128
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1342
sara: try reading problem file stateEquationProblem-ConstantPlace-1637.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p321
sara: try reading problem file stateEquationProblem-ConstantPlace-631.sara.
lola: reporting
lola: not produced: 775
lola: state equation: 99
lola: find path: 1338
lola: goal oriented search: 245
lola: symmetry: 128
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1351
sara: try reading problem file stateEquationProblem-ConstantPlace-1646.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1323
sara: try reading problem file stateEquationProblem-ConstantPlace-1618.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1978
sara: try reading problem file stateEquationProblem-ConstantPlace-78.sara.
lola: reporting
lola: not produced: 769
lola: state equation: 102
lola: find path: 1339
lola: goal oriented search: 245
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p584
sara: try reading problem file stateEquationProblem-ConstantPlace-1294.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2212
sara: try reading problem file stateEquationProblem-ConstantPlace-522.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p680
sara: try reading problem file stateEquationProblem-ConstantPlace-1575.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 760
lola: state equation: 105
lola: find path: 1345
lola: goal oriented search: 245
lola: symmetry: 130
lola: STATE EQUATION TRIES PLACE p1701
sara: try reading problem file stateEquationProblem-ConstantPlace-2386.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1339
sara: try reading problem file stateEquationProblem-ConstantPlace-1634.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1206
sara: try reading problem file stateEquationProblem-ConstantPlace-1354.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1051
sara: try reading problem file stateEquationProblem-ConstantPlace-844.sara.
lola: reporting
lola: not produced: 754
lola: state equation: 109
lola: find path: 1347
lola: goal oriented search: 245
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p883
sara: try reading problem file stateEquationProblem-ConstantPlace-1978.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2125
sara: try reading problem file stateEquationProblem-ConstantPlace-335.sara.
lola: reporting
lola: not produced: 748
lola: state equation: 111
lola: find path: 1351
lola: goal oriented search: 245
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2086
sara: try reading problem file stateEquationProblem-ConstantPlace-196.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1075
sara: try reading problem file stateEquationProblem-ConstantPlace-885.sara.
lola: reporting
lola: not produced: 746
lola: state equation: 113
lola: find path: 1351
lola: goal oriented search: 245
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1786
sara: try reading problem file stateEquationProblem-ConstantPlace-2471.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1191
sara: try reading problem file stateEquationProblem-ConstantPlace-1201.sara.
lola: reporting
lola: not produced: 733
lola: state equation: 115
lola: find path: 1362
lola: goal oriented search: 245
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1177
sara: try reading problem file stateEquationProblem-ConstantPlace-1187.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p758
sara: try reading problem file stateEquationProblem-ConstantPlace-1753.sara.
lola: reporting
lola: not produced: 731
lola: state equation: 117
lola: find path: 1362
lola: goal oriented search: 245
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2017
sara: try reading problem file stateEquationProblem-ConstantPlace-127.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 730
lola: state equation: 118
lola: find path: 1362
lola: goal oriented search: 245
lola: symmetry: 130
lola: STATE EQUATION TRIES PLACE p1543
sara: try reading problem file stateEquationProblem-ConstantPlace-2038.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1105
sara: try reading problem file stateEquationProblem-ConstantPlace-1052.sara.
lola: reporting
lola: not produced: 728
lola: state equation: 120
lola: find path: 1362
lola: goal oriented search: 245
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1595
sara: try reading problem file stateEquationProblem-ConstantPlace-2090.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1220
sara: try reading problem file stateEquationProblem-ConstantPlace-1382.sara.
lola: reporting
lola: not produced: 726
lola: state equation: 122
lola: find path: 1362
lola: goal oriented search: 245
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1424
sara: try reading problem file stateEquationProblem-ConstantPlace-1819.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1193
sara: try reading problem file stateEquationProblem-ConstantPlace-1203.sara.
lola: reporting
lola: not produced: 723
lola: state equation: 124
lola: find path: 1363
lola: goal oriented search: 245
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1788
sara: try reading problem file stateEquationProblem-ConstantPlace-2473.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1997
sara: try reading problem file stateEquationProblem-ConstantPlace-97.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2477
sara: try reading problem file stateEquationProblem-ConstantPlace-1133.sara.
lola: reporting
lola: not produced: 702
lola: state equation: 127
lola: find path: 1380
lola: goal oriented search: 245
lola: symmetry: 131
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1185
sara: try reading problem file stateEquationProblem-ConstantPlace-1195.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2085
sara: try reading problem file stateEquationProblem-ConstantPlace-195.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1014
sara: try reading problem file stateEquationProblem-ConstantPlace-770.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2078
sara: try reading problem file stateEquationProblem-ConstantPlace-188.sara.
lola: reporting
lola: not produced: 697
lola: state equation: 131
lola: find path: 1380
lola: goal oriented search: 245
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2015
sara: try reading problem file stateEquationProblem-ConstantPlace-125.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2057
sara: try reading problem file stateEquationProblem-ConstantPlace-167.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2430
sara: try reading problem file stateEquationProblem-ConstantPlace-1040.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 693
lola: state equation: 134
lola: find path: 1381
lola: goal oriented search: 245
lola: symmetry: 132
lola: STATE EQUATION TRIES PLACE p2257
sara: try reading problem file stateEquationProblem-ConstantPlace-567.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1548
sara: try reading problem file stateEquationProblem-ConstantPlace-2043.sara.
lola: reporting
lola: not produced: 691
lola: state equation: 136
lola: find path: 1381
lola: goal oriented search: 245
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1737
sara: try reading problem file stateEquationProblem-ConstantPlace-2422.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1993
sara: try reading problem file stateEquationProblem-ConstantPlace-93.sara.
lola: reporting
lola: not produced: 689
lola: state equation: 138
lola: find path: 1381
lola: goal oriented search: 245
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1108
sara: try reading problem file stateEquationProblem-ConstantPlace-1058.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2005
sara: try reading problem file stateEquationProblem-ConstantPlace-115.sara.
lola: reporting
lola: not produced: 687
lola: state equation: 140
lola: find path: 1381
lola: goal oriented search: 245
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2387
sara: try reading problem file stateEquationProblem-ConstantPlace-853.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 681
lola: state equation: 141
lola: find path: 1386
lola: goal oriented search: 245
lola: symmetry: 132
lola: STATE EQUATION TRIES PLACE p2466
sara: try reading problem file stateEquationProblem-ConstantPlace-1111.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p799
sara: try reading problem file stateEquationProblem-ConstantPlace-1794.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 679
lola: state equation: 143
lola: find path: 1386
lola: goal oriented search: 245
lola: symmetry: 132
lola: STATE EQUATION TRIES PLACE p1197
sara: try reading problem file stateEquationProblem-ConstantPlace-1207.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2355
sara: try reading problem file stateEquationProblem-ConstantPlace-789.sara.
lola: reporting
lola: not produced: 674
lola: state equation: 145
lola: find path: 1389
lola: goal oriented search: 245
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2458
sara: try reading problem file stateEquationProblem-ConstantPlace-1095.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p322
sara: try reading problem file stateEquationProblem-ConstantPlace-632.sara.
lola: reporting
lola: not produced: 670
lola: state equation: 147
lola: find path: 1390
lola: goal oriented search: 245
lola: symmetry: 133
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2256
sara: try reading problem file stateEquationProblem-ConstantPlace-566.sara.
lola: reporting
lola: not produced: 656
lola: state equation: 148
lola: find path: 1403
lola: goal oriented search: 245
lola: symmetry: 133
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2384
sara: try reading problem file stateEquationProblem-ConstantPlace-847.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 653
lola: state equation: 149
lola: find path: 1404
lola: goal oriented search: 245
lola: symmetry: 134
lola: STATE EQUATION TRIES PLACE p2372
sara: try reading problem file stateEquationProblem-ConstantPlace-823.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1542
sara: try reading problem file stateEquationProblem-ConstantPlace-2037.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 651
lola: state equation: 151
lola: find path: 1404
lola: goal oriented search: 245
lola: symmetry: 134
lola: STATE EQUATION TRIES PLACE p662
sara: try reading problem file stateEquationProblem-ConstantPlace-1557.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2357
sara: try reading problem file stateEquationProblem-ConstantPlace-793.sara.
lola: reporting
lola: not produced: 647
lola: state equation: 153
lola: find path: 1406
lola: goal oriented search: 245
lola: symmetry: 134
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1839
sara: try reading problem file stateEquationProblem-ConstantPlace-2524.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1141
sara: try reading problem file stateEquationProblem-ConstantPlace-1124.sara.
lola: reporting
lola: not produced: 644
lola: state equation: 155
lola: find path: 1406
lola: goal oriented search: 245
lola: symmetry: 135
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p795
sara: try reading problem file stateEquationProblem-ConstantPlace-1790.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2418
sara: try reading problem file stateEquationProblem-ConstantPlace-1028.sara.
lola: reporting
lola: not produced: 635
lola: state equation: 157
lola: find path: 1410
lola: goal oriented search: 245
lola: symmetry: 138
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2190
sara: try reading problem file stateEquationProblem-ConstantPlace-400.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p687
sara: try reading problem file stateEquationProblem-ConstantPlace-1582.sara.
lola: reporting
lola: not produced: 633
lola: state equation: 159
lola: find path: 1410
lola: goal oriented search: 245
lola: symmetry: 138
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2439
sara: try reading problem file stateEquationProblem-ConstantPlace-1057.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 621
lola: state equation: 161
lola: find path: 1420
lola: goal oriented search: 245
lola: symmetry: 138
lola: STATE EQUATION TRIES PLACE p2409
sara: try reading problem file stateEquationProblem-ConstantPlace-1009.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p665
sara: try reading problem file stateEquationProblem-ConstantPlace-1560.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 620
lola: state equation: 162
lola: find path: 1420
lola: goal oriented search: 245
lola: symmetry: 138
lola: STATE EQUATION TRIES PLACE p2209
sara: try reading problem file stateEquationProblem-ConstantPlace-509.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p691
sara: try reading problem file stateEquationProblem-ConstantPlace-1586.sara.
lola: reporting
lola: not produced: 618
lola: state equation: 164
lola: find path: 1420
lola: goal oriented search: 245
lola: symmetry: 138
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1972
sara: try reading problem file stateEquationProblem-ConstantPlace-72.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1672
sara: try reading problem file stateEquationProblem-ConstantPlace-2357.sara.
lola: reporting
lola: not produced: 616
lola: state equation: 166
lola: find path: 1420
lola: goal oriented search: 245
lola: symmetry: 138
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1783
sara: try reading problem file stateEquationProblem-ConstantPlace-2468.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2208
sara: try reading problem file stateEquationProblem-ConstantPlace-508.sara.
lola: reporting
lola: not produced: 607
lola: state equation: 168
lola: find path: 1426
lola: goal oriented search: 245
lola: symmetry: 139
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1820
sara: try reading problem file stateEquationProblem-ConstantPlace-2505.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p875
sara: try reading problem file stateEquationProblem-ConstantPlace-1970.sara.
lola: reporting
lola: not produced: 599
lola: state equation: 170
lola: find path: 1431
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2221
sara: try reading problem file stateEquationProblem-ConstantPlace-531.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 598
lola: state equation: 171
lola: find path: 1431
lola: goal oriented search: 245
lola: symmetry: 140
lola: STATE EQUATION TRIES PLACE p1086
sara: try reading problem file stateEquationProblem-ConstantPlace-896.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1529
sara: try reading problem file stateEquationProblem-ConstantPlace-2024.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 596
lola: state equation: 173
lola: find path: 1431
lola: goal oriented search: 245
lola: symmetry: 140
lola: STATE EQUATION TRIES PLACE p681
sara: try reading problem file stateEquationProblem-ConstantPlace-1576.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1559
sara: try reading problem file stateEquationProblem-ConstantPlace-2054.sara.
lola: reporting
lola: not produced: 594
lola: state equation: 175
lola: find path: 1431
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1209
sara: try reading problem file stateEquationProblem-ConstantPlace-1359.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1163
sara: try reading problem file stateEquationProblem-ConstantPlace-1168.sara.
lola: reporting
lola: not produced: 592
lola: state equation: 177
lola: find path: 1431
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p750
sara: try reading problem file stateEquationProblem-ConstantPlace-1745.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1125
sara: try reading problem file stateEquationProblem-ConstantPlace-1092.sara.
lola: reporting
lola: not produced: 590
lola: state equation: 179
lola: find path: 1431
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1400
sara: try reading problem file stateEquationProblem-ConstantPlace-1795.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1561
sara: try reading problem file stateEquationProblem-ConstantPlace-2056.sara.
lola: reporting
lola: not produced: 588
lola: state equation: 181
lola: find path: 1431
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1354
sara: try reading problem file stateEquationProblem-ConstantPlace-1649.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 586
lola: state equation: 182
lola: find path: 1432
lola: goal oriented search: 245
lola: symmetry: 140
lola: STATE EQUATION TRIES PLACE p867
sara: try reading problem file stateEquationProblem-ConstantPlace-1962.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1560
sara: try reading problem file stateEquationProblem-ConstantPlace-2055.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 564
lola: state equation: 184
lola: find path: 1452
lola: goal oriented search: 245
lola: symmetry: 140
lola: STATE EQUATION TRIES PLACE p2473
sara: try reading problem file stateEquationProblem-ConstantPlace-1125.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1848
sara: try reading problem file stateEquationProblem-ConstantPlace-2533.sara.
lola: reporting
lola: not produced: 562
lola: state equation: 186
lola: find path: 1452
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2511
sara: try reading problem file stateEquationProblem-ConstantPlace-1321.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1072
sara: try reading problem file stateEquationProblem-ConstantPlace-882.sara.
lola: reporting
lola: not produced: 555
lola: state equation: 188
lola: find path: 1457
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1247
sara: try reading problem file stateEquationProblem-ConstantPlace-1436.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2369
sara: try reading problem file stateEquationProblem-ConstantPlace-817.sara.
lola: reporting
lola: not produced: 553
lola: state equation: 190
lola: find path: 1457
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p747
sara: try reading problem file stateEquationProblem-ConstantPlace-1742.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1818
sara: try reading problem file stateEquationProblem-ConstantPlace-2503.sara.
lola: reporting
lola: not produced: 551
lola: state equation: 192
lola: find path: 1457
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1727
sara: try reading problem file stateEquationProblem-ConstantPlace-2412.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 550
lola: state equation: 193
lola: find path: 1457
lola: goal oriented search: 245
lola: symmetry: 140
lola: STATE EQUATION TRIES PLACE p1550
sara: try reading problem file stateEquationProblem-ConstantPlace-2045.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1843
sara: try reading problem file stateEquationProblem-ConstantPlace-2528.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 547
lola: state equation: 195
lola: find path: 1458
lola: goal oriented search: 245
lola: symmetry: 140
lola: STATE EQUATION TRIES PLACE p2082
sara: try reading problem file stateEquationProblem-ConstantPlace-192.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1427
sara: try reading problem file stateEquationProblem-ConstantPlace-1822.sara.
lola: reporting
lola: not produced: 545
lola: state equation: 197
lola: find path: 1458
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1807
sara: try reading problem file stateEquationProblem-ConstantPlace-2492.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1974
sara: try reading problem file stateEquationProblem-ConstantPlace-74.sara.
lola: reporting
lola: not produced: 543
lola: state equation: 199
lola: find path: 1458
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p695
sara: try reading problem file stateEquationProblem-ConstantPlace-1590.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1330
sara: try reading problem file stateEquationProblem-ConstantPlace-1625.sara.
lola: reporting
lola: not produced: 541
lola: state equation: 201
lola: find path: 1458
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2419
sara: try reading problem file stateEquationProblem-ConstantPlace-1029.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1664
sara: try reading problem file stateEquationProblem-ConstantPlace-2349.sara.
lola: reporting
lola: not produced: 536
lola: state equation: 203
lola: find path: 1461
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1766
sara: try reading problem file stateEquationProblem-ConstantPlace-2451.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2457
lola: reporting
lola: not produced: 534
lola: state equation: 205
lola: find path: 1461
lola: goal oriented search: 245
lola: symmetry: 140
sara: try reading problem file stateEquationProblem-ConstantPlace-1093.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p660
sara: try reading problem file stateEquationProblem-ConstantPlace-1555.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 533
lola: state equation: 206
lola: find path: 1461
lola: goal oriented search: 245
lola: symmetry: 140
lola: STATE EQUATION TRIES PLACE p2412
sara: try reading problem file stateEquationProblem-ConstantPlace-1022.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1732
sara: try reading problem file stateEquationProblem-ConstantPlace-2417.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 531
lola: state equation: 208
lola: find path: 1461
lola: goal oriented search: 245
lola: symmetry: 140
lola: STATE EQUATION TRIES PLACE p878
sara: try reading problem file stateEquationProblem-ConstantPlace-1973.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p661
sara: try reading problem file stateEquationProblem-ConstantPlace-1556.sara.
lola: reporting
lola: not produced: 529
lola: state equation: 210
lola: find path: 1461
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2501
sara: try reading problem file stateEquationProblem-ConstantPlace-1301.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2401
sara: try reading problem file stateEquationProblem-ConstantPlace-1001.sara.
lola: reporting
lola: not produced: 527
lola: state equation: 212
lola: find path: 1461
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p673
sara: try reading problem file stateEquationProblem-ConstantPlace-1568.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1204
sara: try reading problem file stateEquationProblem-ConstantPlace-1350.sara.
lola: reporting
lola: not produced: 520
lola: state equation: 214
lola: find path: 1466
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2074
sara: try reading problem file stateEquationProblem-ConstantPlace-184.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1126
sara: try reading problem file stateEquationProblem-ConstantPlace-1094.sara.
lola: reporting
lola: not produced: 518
lola: state equation: 216
lola: find path: 1466
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p734
sara: try reading problem file stateEquationProblem-ConstantPlace-1729.sara.
lola: reporting
lola: not produced: 517
lola: state equation: 217
lola: find path: 1466
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1336
sara: try reading problem file stateEquationProblem-ConstantPlace-1631.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 515
lola: state equation: 218
lola: find path: 1467
lola: goal oriented search: 245
lola: symmetry: 140
lola: STATE EQUATION TRIES PLACE p2536
sara: try reading problem file stateEquationProblem-ConstantPlace-1351.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2427
sara: try reading problem file stateEquationProblem-ConstantPlace-1037.sara.
lola: reporting
lola: not produced: 513
lola: state equation: 220
lola: find path: 1467
lola: goal oriented search: 245
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1420
sara: try reading problem file stateEquationProblem-ConstantPlace-1815.sara.
lola: reporting
lola: not produced: 511
lola: state equation: 221
lola: find path: 1467
lola: goal oriented search: 245
lola: symmetry: 141
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1065
sara: try reading problem file stateEquationProblem-ConstantPlace-872.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 509
lola: state equation: 222
lola: find path: 1467
lola: goal oriented search: 245
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p1789
sara: try reading problem file stateEquationProblem-ConstantPlace-2474.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1326
sara: try reading problem file stateEquationProblem-ConstantPlace-1621.sara.
lola: reporting
lola: not produced: 507
lola: state equation: 224
lola: find path: 1467
lola: goal oriented search: 245
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1998
sara: try reading problem file stateEquationProblem-ConstantPlace-98.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2327
sara: try reading problem file stateEquationProblem-ConstantPlace-737.sara.
lola: reporting
lola: not produced: 505
lola: state equation: 226
lola: find path: 1467
lola: goal oriented search: 245
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1734
sara: try reading problem file stateEquationProblem-ConstantPlace-2419.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2203
sara: try reading problem file stateEquationProblem-ConstantPlace-503.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2513
sara: try reading problem file stateEquationProblem-ConstantPlace-1323.sara.
lola: reporting
lola: not produced: 502
lola: state equation: 229
lola: find path: 1467
lola: goal oriented search: 245
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1040
sara: try reading problem file stateEquationProblem-ConstantPlace-822.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1728
lola: reporting
lola: not produced: 500
lola: state equation: 231
lola: find path: 1467
lola: goal oriented search: 245
lola: symmetry: 142
sara: try reading problem file stateEquationProblem-ConstantPlace-2413.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1527
sara: try reading problem file stateEquationProblem-ConstantPlace-2022.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 499
lola: state equation: 232
lola: find path: 1467
lola: goal oriented search: 245
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p1119
sara: try reading problem file stateEquationProblem-ConstantPlace-1079.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1722
sara: try reading problem file stateEquationProblem-ConstantPlace-2407.sara.
lola: reporting
lola: not produced: 497
lola: state equation: 234
lola: find path: 1467
lola: goal oriented search: 245
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2460
sara: try reading problem file stateEquationProblem-ConstantPlace-1100.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1064
sara: try reading problem file stateEquationProblem-ConstantPlace-870.sara.
lola: reporting
lola: not produced: 494
lola: state equation: 236
lola: find path: 1468
lola: goal oriented search: 245
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2121
sara: try reading problem file stateEquationProblem-ConstantPlace-331.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1731
sara: try reading problem file stateEquationProblem-ConstantPlace-2416.sara.
lola: reporting
lola: not produced: 492
lola: state equation: 238
lola: find path: 1468
lola: goal oriented search: 245
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1528
sara: try reading problem file stateEquationProblem-ConstantPlace-2023.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2072
sara: try reading problem file stateEquationProblem-ConstantPlace-182.sara.
lola: reporting
lola: not produced: 485
lola: state equation: 240
lola: find path: 1473
lola: goal oriented search: 245
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2431
sara: try reading problem file stateEquationProblem-ConstantPlace-1041.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 482
lola: state equation: 241
lola: find path: 1475
lola: goal oriented search: 245
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p2193
sara: try reading problem file stateEquationProblem-ConstantPlace-403.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1188
sara: try reading problem file stateEquationProblem-ConstantPlace-1198.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1010
sara: try reading problem file stateEquationProblem-ConstantPlace-762.sara.
lola: reporting
lola: not produced: 479
lola: state equation: 244
lola: find path: 1475
lola: goal oriented search: 245
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2007
sara: try reading problem file stateEquationProblem-ConstantPlace-117.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2381
sara: try reading problem file stateEquationProblem-ConstantPlace-841.sara.
lola: reporting
lola: not produced: 475
lola: state equation: 246
lola: find path: 1477
lola: goal oriented search: 245
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1410
sara: try reading problem file stateEquationProblem-ConstantPlace-1805.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1971
sara: try reading problem file stateEquationProblem-ConstantPlace-71.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1879
sara: try reading problem file stateEquationProblem-ConstantPlace-2564.sara.
lola: reporting
lola: not produced: 471
lola: state equation: 249
lola: find path: 1478
lola: goal oriented search: 245
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1015
sara: try reading problem file stateEquationProblem-ConstantPlace-772.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 470
lola: state equation: 250
lola: find path: 1478
lola: goal oriented search: 245
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p1198
sara: try reading problem file stateEquationProblem-ConstantPlace-1208.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2532
sara: try reading problem file stateEquationProblem-ConstantPlace-1343.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 463
lola: state equation: 252
lola: find path: 1482
lola: goal oriented search: 245
lola: symmetry: 143
lola: STATE EQUATION TRIES PLACE p667
sara: try reading problem file stateEquationProblem-ConstantPlace-1562.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2442
sara: try reading problem file stateEquationProblem-ConstantPlace-1063.sara.
lola: reporting
lola: not produced: 460
lola: state equation: 254
lola: find path: 1483
lola: goal oriented search: 245
lola: symmetry: 143
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2382
sara: try reading problem file stateEquationProblem-ConstantPlace-843.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p863
sara: try reading problem file stateEquationProblem-ConstantPlace-1958.sara.
lola: reporting
lola: not produced: 450
lola: state equation: 256
lola: find path: 1490
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1202
sara: try reading problem file stateEquationProblem-ConstantPlace-1346.sara.
lola: reporting
lola: not produced: 449
lola: state equation: 257
lola: find path: 1490
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1995
sara: try reading problem file stateEquationProblem-ConstantPlace-95.sara.
lola: reporting
lola: not produced: 448
lola: state equation: 258
lola: find path: 1490
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2510
sara: try reading problem file stateEquationProblem-ConstantPlace-1320.sara.
lola: reporting
lola: not produced: 447
lola: state equation: 259
lola: find path: 1490
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1147
sara: try reading problem file stateEquationProblem-ConstantPlace-1136.sara.
lola: reporting
lola: not produced: 446
lola: state equation: 260
lola: find path: 1490
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2432
sara: try reading problem file stateEquationProblem-ConstantPlace-1043.sara.
lola: reporting
lola: not produced: 445
lola: state equation: 261
lola: find path: 1490
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1549
sara: try reading problem file stateEquationProblem-ConstantPlace-2044.sara.
lola: reporting
lola: not produced: 444
lola: state equation: 262
lola: find path: 1490
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2270
sara: try reading problem file stateEquationProblem-ConstantPlace-580.sara.
lola: reporting
lola: not produced: 442
lola: state equation: 263
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2379
lola: reporting
lola: not produced: 441
lola: state equation: 264
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: try reading problem file stateEquationProblem-ConstantPlace-837.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 441
lola: state equation: 264
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1910
sara: try reading problem file stateEquationProblem-ConstantPlace-10.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 440
lola: state equation: 265
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1411
sara: try reading problem file stateEquationProblem-ConstantPlace-1806.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 439
lola: state equation: 266
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1547
sara: try reading problem file stateEquationProblem-ConstantPlace-2042.sara.
lola: reporting
lola: not produced: 438
lola: state equation: 267
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2411
sara: try reading problem file stateEquationProblem-ConstantPlace-1021.sara.
lola: reporting
lola: not produced: 437
lola: state equation: 268
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1335
sara: try reading problem file stateEquationProblem-ConstantPlace-1630.sara.
lola: reporting
lola: not produced: 436
lola: state equation: 269
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2475
sara: try reading problem file stateEquationProblem-ConstantPlace-1129.sara.
lola: reporting
lola: not produced: 435
lola: state equation: 270
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2433
sara: try reading problem file stateEquationProblem-ConstantPlace-1045.sara.
lola: reporting
lola: not produced: 434
lola: state equation: 271
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2060
sara: try reading problem file stateEquationProblem-ConstantPlace-170.sara.
lola: reporting
lola: not produced: 433
lola: state equation: 272
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2461
sara: try reading problem file stateEquationProblem-ConstantPlace-1101.sara.
lola: reporting
lola: not produced: 432
lola: state equation: 273
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1210
sara: try reading problem file stateEquationProblem-ConstantPlace-1362.sara.
lola: reporting
lola: not produced: 431
lola: state equation: 274
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p732
sara: try reading problem file stateEquationProblem-ConstantPlace-1727.sara.
lola: reporting
lola: not produced: 430
lola: state equation: 275
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1840
lola: reporting
lola: not produced: 429
lola: state equation: 276
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: try reading problem file stateEquationProblem-ConstantPlace-2525.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 429
lola: state equation: 276
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p2395
sara: try reading problem file stateEquationProblem-ConstantPlace-869.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 428
lola: state equation: 277
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p2479
sara: try reading problem file stateEquationProblem-ConstantPlace-1137.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 427
lola: state equation: 278
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p2462
sara: try reading problem file stateEquationProblem-ConstantPlace-1103.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 426
lola: state equation: 279
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1705
sara: try reading problem file stateEquationProblem-ConstantPlace-2390.sara.
lola: reporting
lola: not produced: 425
lola: state equation: 280
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1068
sara: try reading problem file stateEquationProblem-ConstantPlace-878.sara.
lola: reporting
lola: not produced: 424
lola: state equation: 281
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1738
sara: try reading problem file stateEquationProblem-ConstantPlace-2423.sara.
lola: reporting
lola: not produced: 423
lola: state equation: 282
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1219
sara: try reading problem file stateEquationProblem-ConstantPlace-1379.sara.
lola: reporting
lola: not produced: 422
lola: state equation: 283
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1251
sara: try reading problem file stateEquationProblem-ConstantPlace-1444.sara.
lola: reporting
lola: not produced: 421
lola: state equation: 284
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2502
sara: try reading problem file stateEquationProblem-ConstantPlace-1302.sara.
lola: reporting
lola: not produced: 420
lola: state equation: 285
lola: find path: 1491
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2375
sara: try reading problem file stateEquationProblem-ConstantPlace-829.sara.
lola: reporting
lola: not produced: 417
lola: state equation: 286
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1338
sara: try reading problem file stateEquationProblem-ConstantPlace-1633.sara.
lola: reporting
lola: not produced: 416
lola: state equation: 287
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1129
sara: try reading problem file stateEquationProblem-ConstantPlace-1099.sara.
lola: reporting
lola: not produced: 415
lola: state equation: 288
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1182
lola: reporting
lola: not produced: 414
lola: state equation: 289
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: try reading problem file stateEquationProblem-ConstantPlace-1192.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 414
lola: state equation: 289
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1127
sara: try reading problem file stateEquationProblem-ConstantPlace-1096.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 413
lola: state equation: 290
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p2454
sara: try reading problem file stateEquationProblem-ConstantPlace-1087.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 412
lola: state equation: 291
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1406
sara: try reading problem file stateEquationProblem-ConstantPlace-1801.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 411
lola: state equation: 292
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p2441
sara: try reading problem file stateEquationProblem-ConstantPlace-1061.sara.
lola: reporting
lola: not produced: 410
lola: state equation: 293
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1990
sara: try reading problem file stateEquationProblem-ConstantPlace-90.sara.
lola: reporting
lola: not produced: 409
lola: state equation: 294
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1063
sara: try reading problem file stateEquationProblem-ConstantPlace-868.sara.
lola: reporting
lola: not produced: 408
lola: state equation: 295
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2204
sara: try reading problem file stateEquationProblem-ConstantPlace-504.sara.
lola: reporting
lola: not produced: 407
lola: state equation: 296
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1537
sara: try reading problem file stateEquationProblem-ConstantPlace-2032.sara.
lola: reporting
lola: not produced: 406
lola: state equation: 297
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2061
sara: try reading problem file stateEquationProblem-ConstantPlace-171.sara.
lola: reporting
lola: not produced: 405
lola: state equation: 298
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1544
sara: try reading problem file stateEquationProblem-ConstantPlace-2039.sara.
lola: reporting
lola: not produced: 404
lola: state equation: 299
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2514
sara: try reading problem file stateEquationProblem-ConstantPlace-1324.sara.
lola: reporting
lola: not produced: 403
lola: state equation: 300
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1822
sara: try reading problem file stateEquationProblem-ConstantPlace-2507.sara.
lola: reporting
lola: not produced: 402
lola: state equation: 301
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2373
sara: try reading problem file stateEquationProblem-ConstantPlace-825.sara.
lola: reporting
lola: not produced: 401
lola: state equation: 302
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1118
sara: try reading problem file stateEquationProblem-ConstantPlace-1078.sara.
lola: reporting
lola: not produced: 400
lola: state equation: 303
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 400
lola: state equation: 303
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1331
sara: try reading problem file stateEquationProblem-ConstantPlace-1626.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 399
lola: state equation: 304
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p869
sara: try reading problem file stateEquationProblem-ConstantPlace-1964.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 398
lola: state equation: 305
lola: find path: 1493
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p871
sara: try reading problem file stateEquationProblem-ConstantPlace-1966.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 396
lola: state equation: 306
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1431
sara: try reading problem file stateEquationProblem-ConstantPlace-1826.sara.
lola: reporting
lola: not produced: 395
lola: state equation: 307
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2062
sara: try reading problem file stateEquationProblem-ConstantPlace-172.sara.
lola: reporting
lola: not produced: 394
lola: state equation: 308
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p736
sara: try reading problem file stateEquationProblem-ConstantPlace-1731.sara.
lola: reporting
lola: not produced: 393
lola: state equation: 309
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2192
sara: try reading problem file stateEquationProblem-ConstantPlace-402.sara.
lola: reporting
lola: not produced: 392
lola: state equation: 310
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1018
sara: try reading problem file stateEquationProblem-ConstantPlace-778.sara.
lola: reporting
lola: not produced: 391
lola: state equation: 311
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1539
sara: try reading problem file stateEquationProblem-ConstantPlace-2034.sara.
lola: reporting
lola: not produced: 390
lola: state equation: 312
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1144
sara: try reading problem file stateEquationProblem-ConstantPlace-1130.sara.
lola: reporting
lola: not produced: 389
lola: state equation: 313
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2400
sara: try reading problem file stateEquationProblem-ConstantPlace-1000.sara.
lola: reporting
lola: not produced: 388
lola: state equation: 314
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2200
sara: try reading problem file stateEquationProblem-ConstantPlace-500.sara.
lola: reporting
lola: not produced: 387
lola: state equation: 315
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1070
sara: try reading problem file stateEquationProblem-ConstantPlace-880.sara.
lola: reporting
lola: not produced: 386
lola: state equation: 316
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2534
sara: try reading problem file stateEquationProblem-ConstantPlace-1347.sara.
lola: reporting
lola: not produced: 385
lola: state equation: 317
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 385
lola: state equation: 317
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p2471
sara: try reading problem file stateEquationProblem-ConstantPlace-1121.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 384
lola: state equation: 318
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1332
sara: try reading problem file stateEquationProblem-ConstantPlace-1627.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 383
lola: state equation: 319
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1217
sara: try reading problem file stateEquationProblem-ConstantPlace-1376.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 382
lola: state equation: 320
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p330
sara: try reading problem file stateEquationProblem-ConstantPlace-640.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 381
lola: state equation: 321
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p663
sara: try reading problem file stateEquationProblem-ConstantPlace-1558.sara.
lola: reporting
lola: not produced: 380
lola: state equation: 322
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1793
sara: try reading problem file stateEquationProblem-ConstantPlace-2478.sara.
lola: reporting
lola: not produced: 379
lola: state equation: 323
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1726
sara: try reading problem file stateEquationProblem-ConstantPlace-2411.sara.
lola: reporting
lola: not produced: 378
lola: state equation: 324
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2079
sara: try reading problem file stateEquationProblem-ConstantPlace-189.sara.
lola: reporting
lola: not produced: 377
lola: state equation: 325
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1979
sara: try reading problem file stateEquationProblem-ConstantPlace-79.sara.
lola: reporting
lola: not produced: 376
lola: state equation: 326
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2399
sara: try reading problem file stateEquationProblem-ConstantPlace-877.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2001
lola: reporting
lola: not produced: 374
lola: state equation: 328
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: try reading problem file stateEquationProblem-ConstantPlace-111.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1089
sara: try reading problem file stateEquationProblem-ConstantPlace-899.sara.
lola: reporting
lola: not produced: 373
lola: state equation: 329
lola: find path: 1494
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2194
sara: try reading problem file stateEquationProblem-ConstantPlace-404.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1325
sara: try reading problem file stateEquationProblem-ConstantPlace-1620.sara.
lola: reporting
lola: not produced: 366
lola: state equation: 331
lola: find path: 1499
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p865
sara: try reading problem file stateEquationProblem-ConstantPlace-1960.sara.
lola: reporting
lola: not produced: 365
lola: state equation: 332
lola: find path: 1499
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2474
sara: try reading problem file stateEquationProblem-ConstantPlace-1127.sara.
lola: reporting
lola: not produced: 364
lola: state equation: 333
lola: find path: 1499
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1401
sara: try reading problem file stateEquationProblem-ConstantPlace-1796.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 363
lola: state equation: 334
lola: find path: 1499
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1421
sara: try reading problem file stateEquationProblem-ConstantPlace-1816.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 362
lola: state equation: 335
lola: find path: 1499
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1837
sara: try reading problem file stateEquationProblem-ConstantPlace-2522.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2535
sara: try reading problem file stateEquationProblem-ConstantPlace-1349.sara.
lola: reporting
lola: not produced: 360
lola: state equation: 337
lola: find path: 1499
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2067
sara: try reading problem file stateEquationProblem-ConstantPlace-177.sara.
lola: reporting
lola: not produced: 358
lola: state equation: 338
lola: find path: 1500
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1186
sara: try reading problem file stateEquationProblem-ConstantPlace-1196.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p669
sara: try reading problem file stateEquationProblem-ConstantPlace-1564.sara.
lola: reporting
lola: not produced: 355
lola: state equation: 340
lola: find path: 1501
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2391
sara: try reading problem file stateEquationProblem-ConstantPlace-861.sara.
lola: reporting
lola: not produced: 354
lola: state equation: 341
lola: find path: 1501
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1192
sara: try reading problem file stateEquationProblem-ConstantPlace-1202.sara.
lola: reporting
lola: not produced: 353
lola: state equation: 342
lola: find path: 1501
lola: goal oriented search: 245
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1394
sara: try reading problem file stateEquationProblem-ConstantPlace-1689.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 352
lola: state equation: 343
lola: find path: 1501
lola: goal oriented search: 245
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1016
sara: try reading problem file stateEquationProblem-ConstantPlace-774.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2016
sara: try reading problem file stateEquationProblem-ConstantPlace-126.sara.
lola: reporting
lola: not produced: 348
lola: state equation: 345
lola: find path: 1502
lola: goal oriented search: 245
lola: symmetry: 145
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1772
sara: try reading problem file stateEquationProblem-ConstantPlace-2457.sara.
lola: reporting
lola: not produced: 347
lola: state equation: 346
lola: find path: 1502
lola: goal oriented search: 245
lola: symmetry: 145
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1062
sara: try reading problem file stateEquationProblem-ConstantPlace-866.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 346
lola: state equation: 347
lola: find path: 1502
lola: goal oriented search: 245
lola: symmetry: 145
lola: STATE EQUATION TRIES PLACE p1748
sara: try reading problem file stateEquationProblem-ConstantPlace-2433.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 345
lola: state equation: 348
lola: find path: 1502
lola: goal oriented search: 245
lola: symmetry: 145
lola: STATE EQUATION TRIES PLACE p2390
sara: try reading problem file stateEquationProblem-ConstantPlace-860.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1695
sara: try reading problem file stateEquationProblem-ConstantPlace-2380.sara.
lola: reporting
lola: not produced: 343
lola: state equation: 350
lola: find path: 1502
lola: goal oriented search: 245
lola: symmetry: 145
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1178
sara: try reading problem file stateEquationProblem-ConstantPlace-1188.sara.
lola: reporting
lola: not produced: 321
lola: state equation: 351
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 146
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1733
sara: try reading problem file stateEquationProblem-ConstantPlace-2418.sara.
lola: reporting
lola: not produced: 320
lola: state equation: 352
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 146
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p664
sara: try reading problem file stateEquationProblem-ConstantPlace-1559.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 319
lola: state equation: 353
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 146
lola: STATE EQUATION TRIES PLACE p2014
sara: try reading problem file stateEquationProblem-ConstantPlace-124.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2533
sara: try reading problem file stateEquationProblem-ConstantPlace-1345.sara.
lola: reporting
lola: not produced: 315
lola: state equation: 355
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1333
sara: try reading problem file stateEquationProblem-ConstantPlace-1628.sara.
lola: reporting
lola: not produced: 314
lola: state equation: 356
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1176
sara: try reading problem file stateEquationProblem-ConstantPlace-1186.sara.
lola: reporting
lola: not produced: 313
lola: state equation: 357
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2258
sara: try reading problem file stateEquationProblem-ConstantPlace-568.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 312
lola: state equation: 358
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 148
lola: STATE EQUATION TRIES PLACE p1059
sara: try reading problem file stateEquationProblem-ConstantPlace-859.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1740
sara: try reading problem file stateEquationProblem-ConstantPlace-2425.sara.
lola: reporting
lola: not produced: 310
lola: state equation: 360
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2350
sara: try reading problem file stateEquationProblem-ConstantPlace-780.sara.
lola: reporting
lola: not produced: 309
lola: state equation: 361
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1724
sara: try reading problem file stateEquationProblem-ConstantPlace-2409.sara.
lola: reporting
lola: not produced: 308
lola: state equation: 362
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p873
sara: try reading problem file stateEquationProblem-ConstantPlace-1968.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 307
lola: state equation: 363
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 148
lola: STATE EQUATION TRIES PLACE p1545
sara: try reading problem file stateEquationProblem-ConstantPlace-2040.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1457
lola: reporting
lola: not produced: 305
lola: state equation: 365
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 148
sara: try reading problem file stateEquationProblem-ConstantPlace-1852.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1828
sara: try reading problem file stateEquationProblem-ConstantPlace-2513.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1090
sara: try reading problem file stateEquationProblem-ConstantPlace-900.sara.
lola: reporting
lola: not produced: 303
lola: state equation: 367
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p730
sara: try reading problem file stateEquationProblem-ConstantPlace-1725.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1782
sara: try reading problem file stateEquationProblem-ConstantPlace-2467.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2071
sara: try reading problem file stateEquationProblem-ConstantPlace-181.sara.
lola: reporting
lola: not produced: 300
lola: state equation: 370
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1980
sara: try reading problem file stateEquationProblem-ConstantPlace-80.sara.
lola: reporting
lola: not produced: 299
lola: state equation: 371
lola: find path: 1522
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2459
sara: try reading problem file stateEquationProblem-ConstantPlace-1097.sara.
lola: reporting
lola: not produced: 296
lola: state equation: 372
lola: find path: 1524
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2377
sara: try reading problem file stateEquationProblem-ConstantPlace-833.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 295
lola: state equation: 373
lola: find path: 1524
lola: goal oriented search: 245
lola: symmetry: 148
lola: STATE EQUATION TRIES PLACE p1729
sara: try reading problem file stateEquationProblem-ConstantPlace-2414.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1819
sara: try reading problem file stateEquationProblem-ConstantPlace-2504.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2070
sara: try reading problem file stateEquationProblem-ConstantPlace-180.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2364
sara: try reading problem file stateEquationProblem-ConstantPlace-807.sara.
lola: reporting
lola: not produced: 291
lola: state equation: 377
lola: find path: 1524
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1880
sara: try reading problem file stateEquationProblem-ConstantPlace-2565.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1540
sara: try reading problem file stateEquationProblem-ConstantPlace-2035.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1703
sara: try reading problem file stateEquationProblem-ConstantPlace-2388.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 288
lola: state equation: 380
lola: find path: 1524
lola: goal oriented search: 245
lola: symmetry: 148
lola: STATE EQUATION TRIES PLACE p2019
sara: try reading problem file stateEquationProblem-ConstantPlace-129.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1785
sara: try reading problem file stateEquationProblem-ConstantPlace-2470.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p683
sara: try reading problem file stateEquationProblem-ConstantPlace-1578.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1194
sara: try reading problem file stateEquationProblem-ConstantPlace-1204.sara.
lola: reporting
lola: not produced: 284
lola: state equation: 384
lola: find path: 1524
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p764
sara: try reading problem file stateEquationProblem-ConstantPlace-1759.sara.
lola: reporting
lola: not produced: 283
lola: state equation: 385
lola: find path: 1524
lola: goal oriented search: 245
lola: symmetry: 148
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2368
sara: try reading problem file stateEquationProblem-ConstantPlace-815.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2403
sara: try reading problem file stateEquationProblem-ConstantPlace-1003.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1195
sara: try reading problem file stateEquationProblem-ConstantPlace-1205.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1130
sara: try reading problem file stateEquationProblem-ConstantPlace-1102.sara.
lola: reporting
lola: not produced: 272
lola: state equation: 389
lola: find path: 1528
lola: goal oriented search: 245
lola: symmetry: 151
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1458
sara: try reading problem file stateEquationProblem-ConstantPlace-1853.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1073
sara: try reading problem file stateEquationProblem-ConstantPlace-883.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1553
sara: try reading problem file stateEquationProblem-ConstantPlace-2048.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2371
sara: try reading problem file stateEquationProblem-ConstantPlace-821.sara.
lola: reporting
lola: not produced: 267
lola: state equation: 393
lola: find path: 1528
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1554
sara: try reading problem file stateEquationProblem-ConstantPlace-2049.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p749
sara: try reading problem file stateEquationProblem-ConstantPlace-1744.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1845
sara: try reading problem file stateEquationProblem-ConstantPlace-2530.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 264
lola: state equation: 396
lola: find path: 1528
lola: goal oriented search: 245
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p1181
sara: try reading problem file stateEquationProblem-ConstantPlace-1191.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1535
sara: try reading problem file stateEquationProblem-ConstantPlace-2030.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2213
sara: try reading problem file stateEquationProblem-ConstantPlace-523.sara.
lola: reporting
lola: not produced: 261
lola: state equation: 399
lola: find path: 1528
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1977
sara: try reading problem file stateEquationProblem-ConstantPlace-77.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1815
sara: try reading problem file stateEquationProblem-ConstantPlace-2500.sara.
lola: reporting
lola: not produced: 259
lola: state equation: 401
lola: find path: 1528
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p872
sara: try reading problem file stateEquationProblem-ConstantPlace-1967.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1152
lola: reporting
lola: not produced: 257
lola: state equation: 403
lola: find path: 1528
lola: goal oriented search: 245
lola: symmetry: 152
sara: try reading problem file stateEquationProblem-ConstantPlace-1146.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2385
sara: try reading problem file stateEquationProblem-ConstantPlace-849.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 256
lola: state equation: 404
lola: find path: 1528
lola: goal oriented search: 245
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p2505
sara: try reading problem file stateEquationProblem-ConstantPlace-1305.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2205
sara: try reading problem file stateEquationProblem-ConstantPlace-505.sara.
lola: reporting
lola: not produced: 254
lola: state equation: 406
lola: find path: 1528
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p756
sara: try reading problem file stateEquationProblem-ConstantPlace-1751.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1730
sara: try reading problem file stateEquationProblem-ConstantPlace-2415.sara.
lola: reporting
lola: not produced: 249
lola: state equation: 408
lola: find path: 1531
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2468
sara: try reading problem file stateEquationProblem-ConstantPlace-1115.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2010
sara: try reading problem file stateEquationProblem-ConstantPlace-120.sara.
lola: reporting
lola: not produced: 244
lola: state equation: 410
lola: find path: 1534
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2000
sara: try reading problem file stateEquationProblem-ConstantPlace-110.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2056
sara: try reading problem file stateEquationProblem-ConstantPlace-166.sara.
lola: reporting
lola: not produced: 242
lola: state equation: 412
lola: find path: 1534
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2503
sara: try reading problem file stateEquationProblem-ConstantPlace-1303.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2392
sara: try reading problem file stateEquationProblem-ConstantPlace-863.sara.
lola: reporting
lola: not produced: 240
lola: state equation: 414
lola: find path: 1534
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2504
sara: try reading problem file stateEquationProblem-ConstantPlace-1304.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 237
lola: state equation: 415
lola: find path: 1536
lola: goal oriented search: 245
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p2366
sara: try reading problem file stateEquationProblem-ConstantPlace-811.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1741
sara: try reading problem file stateEquationProblem-ConstantPlace-2426.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 235
lola: state equation: 417
lola: find path: 1536
lola: goal oriented search: 245
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p1532
sara: try reading problem file stateEquationProblem-ConstantPlace-2027.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1087
sara: try reading problem file stateEquationProblem-ConstantPlace-897.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 233
lola: state equation: 419
lola: find path: 1536
lola: goal oriented search: 245
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p1117
sara: try reading problem file stateEquationProblem-ConstantPlace-1076.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1723
sara: try reading problem file stateEquationProblem-ConstantPlace-2408.sara.
lola: reporting
lola: not produced: 231
lola: state equation: 421
lola: find path: 1536
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2393
sara: try reading problem file stateEquationProblem-ConstantPlace-865.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p874
sara: try reading problem file stateEquationProblem-ConstantPlace-1969.sara.
lola: reporting
lola: not produced: 229
lola: state equation: 423
lola: find path: 1536
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2386
sara: try reading problem file stateEquationProblem-ConstantPlace-851.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1156
sara: try reading problem file stateEquationProblem-ConstantPlace-1154.sara.
lola: reporting
lola: not produced: 224
lola: state equation: 425
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1343
sara: try reading problem file stateEquationProblem-ConstantPlace-1638.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2528
sara: try reading problem file stateEquationProblem-ConstantPlace-1338.sara.
lola: reporting
lola: not produced: 222
lola: state equation: 427
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2207
sara: try reading problem file stateEquationProblem-ConstantPlace-507.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1397
lola: reporting
lola: not produced: 220
lola: state equation: 429
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 152
sara: try reading problem file stateEquationProblem-ConstantPlace-1692.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2013
sara: try reading problem file stateEquationProblem-ConstantPlace-123.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 219
lola: state equation: 430
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p1875
sara: try reading problem file stateEquationProblem-ConstantPlace-2560.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1393
sara: try reading problem file stateEquationProblem-ConstantPlace-1688.sara.
lola: reporting
lola: not produced: 217
lola: state equation: 432
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1827
sara: try reading problem file stateEquationProblem-ConstantPlace-2512.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2526
sara: try reading problem file stateEquationProblem-ConstantPlace-1336.sara.
lola: reporting
lola: not produced: 215
lola: state equation: 434
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2206
sara: try reading problem file stateEquationProblem-ConstantPlace-506.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1023
sara: try reading problem file stateEquationProblem-ConstantPlace-788.sara.
lola: reporting
lola: not produced: 213
lola: state equation: 436
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 152
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1877
sara: try reading problem file stateEquationProblem-ConstantPlace-2562.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p666
sara: try reading problem file stateEquationProblem-ConstantPlace-1561.sara.
lola: reporting
lola: not produced: 210
lola: state equation: 438
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 153
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1162
sara: try reading problem file stateEquationProblem-ConstantPlace-1166.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2065
sara: try reading problem file stateEquationProblem-ConstantPlace-175.sara.
lola: reporting
lola: not produced: 208
lola: state equation: 440
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 153
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p897
sara: try reading problem file stateEquationProblem-ConstantPlace-1992.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1066
lola: reporting
lola: not produced: 206
lola: state equation: 442
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 153
sara: try reading problem file stateEquationProblem-ConstantPlace-874.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2398
sara: try reading problem file stateEquationProblem-ConstantPlace-875.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 205
lola: state equation: 443
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 153
lola: STATE EQUATION TRIES PLACE p1071
sara: try reading problem file stateEquationProblem-ConstantPlace-881.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2470
sara: try reading problem file stateEquationProblem-ConstantPlace-1120.sara.
lola: reporting
lola: not produced: 203
lola: state equation: 445
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 153
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2202
sara: try reading problem file stateEquationProblem-ConstantPlace-502.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1216
sara: try reading problem file stateEquationProblem-ConstantPlace-1374.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1881
sara: try reading problem file stateEquationProblem-ConstantPlace-2566.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1061
sara: try reading problem file stateEquationProblem-ConstantPlace-864.sara.
lola: reporting
lola: not produced: 199
lola: state equation: 449
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 153
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1173
sara: try reading problem file stateEquationProblem-ConstantPlace-1183.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2076
sara: try reading problem file stateEquationProblem-ConstantPlace-186.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2538
sara: try reading problem file stateEquationProblem-ConstantPlace-1355.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2404
sara: try reading problem file stateEquationProblem-ConstantPlace-1004.sara.
lola: reporting
lola: not produced: 195
lola: state equation: 453
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 153
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p674
sara: try reading problem file stateEquationProblem-ConstantPlace-1569.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1882
sara: try reading problem file stateEquationProblem-ConstantPlace-2567.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1989
sara: try reading problem file stateEquationProblem-ConstantPlace-89.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: STATE EQUATION TRIES PLACE p1994
lola: not produced: 191
lola: state equation: 457
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 153
sara: try reading problem file stateEquationProblem-ConstantPlace-94.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1534
sara: try reading problem file stateEquationProblem-ConstantPlace-2029.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1160
sara: try reading problem file stateEquationProblem-ConstantPlace-1162.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1212
sara: try reading problem file stateEquationProblem-ConstantPlace-1366.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 188
lola: state equation: 460
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 153
lola: STATE EQUATION TRIES PLACE p2349
sara: try reading problem file stateEquationProblem-ConstantPlace-777.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p733
sara: try reading problem file stateEquationProblem-ConstantPlace-1728.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1836
sara: try reading problem file stateEquationProblem-ConstantPlace-2521.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2068
sara: try reading problem file stateEquationProblem-ConstantPlace-178.sara.
lola: reporting
lola: not produced: 183
lola: state equation: 464
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2058
sara: try reading problem file stateEquationProblem-ConstantPlace-168.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2199
sara: try reading problem file stateEquationProblem-ConstantPlace-409.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1996
sara: try reading problem file stateEquationProblem-ConstantPlace-96.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1531
sara: try reading problem file stateEquationProblem-ConstantPlace-2026.sara.
lola: reporting
lola: not produced: 179
lola: state equation: 468
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1530
sara: try reading problem file stateEquationProblem-ConstantPlace-2025.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2370
sara: try reading problem file stateEquationProblem-ConstantPlace-820.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1736
sara: try reading problem file stateEquationProblem-ConstantPlace-2421.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1721
sara: try reading problem file stateEquationProblem-ConstantPlace-2406.sara.
lola: reporting
lola: not produced: 175
lola: state equation: 472
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2075
sara: try reading problem file stateEquationProblem-ConstantPlace-185.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2063
sara: try reading problem file stateEquationProblem-ConstantPlace-173.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1221
sara: try reading problem file stateEquationProblem-ConstantPlace-1384.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 172
lola: state equation: 475
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1222
sara: try reading problem file stateEquationProblem-ConstantPlace-1386.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2201
sara: try reading problem file stateEquationProblem-ConstantPlace-501.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1159
sara: try reading problem file stateEquationProblem-ConstantPlace-1159.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2396
sara: try reading problem file stateEquationProblem-ConstantPlace-871.sara.
lola: reporting
lola: not produced: 168
lola: state equation: 479
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p684
sara: try reading problem file stateEquationProblem-ConstantPlace-1579.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1558
sara: try reading problem file stateEquationProblem-ConstantPlace-2053.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2499
sara: try reading problem file stateEquationProblem-ConstantPlace-1177.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2197
sara: try reading problem file stateEquationProblem-ConstantPlace-407.sara.
lola: reporting
lola: not produced: 164
lola: state equation: 483
lola: find path: 1539
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2093
sara: try reading problem file stateEquationProblem-ConstantPlace-203.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1876
sara: try reading problem file stateEquationProblem-ConstantPlace-2561.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p678
sara: try reading problem file stateEquationProblem-ConstantPlace-1573.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2002
sara: try reading problem file stateEquationProblem-ConstantPlace-112.sara.
lola: reporting
lola: not produced: 159
lola: state equation: 487
lola: find path: 1540
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1562
sara: try reading problem file stateEquationProblem-ConstantPlace-2057.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2009
sara: try reading problem file stateEquationProblem-ConstantPlace-119.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2464
sara: try reading problem file stateEquationProblem-ConstantPlace-1107.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2089
sara: try reading problem file stateEquationProblem-ConstantPlace-199.sara.
lola: reporting
lola: not produced: 155
lola: state equation: 491
lola: find path: 1540
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1085
sara: try reading problem file stateEquationProblem-ConstantPlace-895.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2455
sara: try reading problem file stateEquationProblem-ConstantPlace-1089.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1180
sara: try reading problem file stateEquationProblem-ConstantPlace-1190.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 152
lola: state equation: 494
lola: find path: 1540
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1821
sara: try reading problem file stateEquationProblem-ConstantPlace-2506.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1203
sara: try reading problem file stateEquationProblem-ConstantPlace-1348.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1088
sara: try reading problem file stateEquationProblem-ConstantPlace-898.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1213
sara: try reading problem file stateEquationProblem-ConstantPlace-1368.sara.
lola: reporting
lola: not produced: 148
lola: state equation: 498
lola: find path: 1540
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1992
sara: try reading problem file stateEquationProblem-ConstantPlace-92.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1148
sara: try reading problem file stateEquationProblem-ConstantPlace-1138.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2008
sara: try reading problem file stateEquationProblem-ConstantPlace-118.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1174
sara: try reading problem file stateEquationProblem-ConstantPlace-1184.sara.
lola: reporting
lola: not produced: 144
lola: state equation: 502
lola: find path: 1540
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1067
sara: try reading problem file stateEquationProblem-ConstantPlace-876.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2452
sara: try reading problem file stateEquationProblem-ConstantPlace-1083.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1175
sara: try reading problem file stateEquationProblem-ConstantPlace-1185.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p647
sara: try reading problem file stateEquationProblem-ConstantPlace-1542.sara.
lola: reporting
lola: not produced: 140
lola: state equation: 506
lola: find path: 1540
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2500
sara: try reading problem file stateEquationProblem-ConstantPlace-1300.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2004
sara: try reading problem file stateEquationProblem-ConstantPlace-114.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2435
sara: try reading problem file stateEquationProblem-ConstantPlace-1049.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 137
lola: state equation: 509
lola: find path: 1540
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1704
sara: try reading problem file stateEquationProblem-ConstantPlace-2389.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p870
sara: try reading problem file stateEquationProblem-ConstantPlace-1965.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2465
sara: try reading problem file stateEquationProblem-ConstantPlace-1109.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1057
sara: try reading problem file stateEquationProblem-ConstantPlace-856.sara.
lola: reporting
lola: not produced: 133
lola: state equation: 513
lola: find path: 1540
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2402
sara: try reading problem file stateEquationProblem-ConstantPlace-1002.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2006
sara: try reading problem file stateEquationProblem-ConstantPlace-116.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1076
sara: try reading problem file stateEquationProblem-ConstantPlace-886.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p879
sara: try reading problem file stateEquationProblem-ConstantPlace-1974.sara.
lola: reporting
lola: not produced: 129
lola: state equation: 517
lola: find path: 1540
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1329
sara: try reading problem file stateEquationProblem-ConstantPlace-1624.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1131
sara: try reading problem file stateEquationProblem-ConstantPlace-1104.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1552
sara: try reading problem file stateEquationProblem-ConstantPlace-2047.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2463
sara: try reading problem file stateEquationProblem-ConstantPlace-1105.sara.
lola: reporting
lola: not produced: 124
lola: state equation: 521
lola: find path: 1541
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1838
sara: try reading problem file stateEquationProblem-ConstantPlace-2523.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1412
sara: try reading problem file stateEquationProblem-ConstantPlace-1807.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1563
sara: try reading problem file stateEquationProblem-ConstantPlace-2058.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 121
lola: state equation: 524
lola: find path: 1541
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p735
sara: try reading problem file stateEquationProblem-ConstantPlace-1730.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1074
sara: try reading problem file stateEquationProblem-ConstantPlace-884.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2189
sara: try reading problem file stateEquationProblem-ConstantPlace-399.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2380
sara: try reading problem file stateEquationProblem-ConstantPlace-840.sara.
lola: reporting
lola: not produced: 117
lola: state equation: 528
lola: find path: 1541
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1341
sara: try reading problem file stateEquationProblem-ConstantPlace-1636.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p868
sara: try reading problem file stateEquationProblem-ConstantPlace-1963.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1787
sara: try reading problem file stateEquationProblem-ConstantPlace-2472.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1078
sara: try reading problem file stateEquationProblem-ConstantPlace-888.sara.
lola: reporting
lola: not produced: 113
lola: state equation: 532
lola: find path: 1541
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p876
sara: try reading problem file stateEquationProblem-ConstantPlace-1971.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2059
sara: try reading problem file stateEquationProblem-ConstantPlace-169.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2378
sara: try reading problem file stateEquationProblem-ConstantPlace-835.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1557
sara: try reading problem file stateEquationProblem-ConstantPlace-2052.sara.
lola: reporting
lola: not produced: 109
lola: state equation: 536
lola: find path: 1541
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1825
sara: try reading problem file stateEquationProblem-ConstantPlace-2510.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2092
sara: try reading problem file stateEquationProblem-ConstantPlace-202.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1871
sara: try reading problem file stateEquationProblem-ConstantPlace-2556.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 106
lola: state equation: 539
lola: find path: 1541
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1841
sara: try reading problem file stateEquationProblem-ConstantPlace-2526.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1849
sara: try reading problem file stateEquationProblem-ConstantPlace-2534.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2434
sara: try reading problem file stateEquationProblem-ConstantPlace-1047.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p682
sara: try reading problem file stateEquationProblem-ConstantPlace-1577.sara.
lola: reporting
lola: not produced: 102
lola: state equation: 543
lola: find path: 1541
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1555
sara: try reading problem file stateEquationProblem-ConstantPlace-2050.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1161
sara: try reading problem file stateEquationProblem-ConstantPlace-1164.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2397
sara: try reading problem file stateEquationProblem-ConstantPlace-873.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1823
sara: try reading problem file stateEquationProblem-ConstantPlace-2508.sara.
lola: reporting
lola: not produced: 98
lola: state equation: 547
lola: find path: 1541
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2090
sara: try reading problem file stateEquationProblem-ConstantPlace-200.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1214
sara: try reading problem file stateEquationProblem-ConstantPlace-1370.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 96
lola: state equation: 549
lola: find path: 1541
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1207
sara: try reading problem file stateEquationProblem-ConstantPlace-1356.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2388
sara: try reading problem file stateEquationProblem-ConstantPlace-855.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2376
sara: try reading problem file stateEquationProblem-ConstantPlace-831.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 93
lola: state equation: 552
lola: find path: 1541
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p2198
sara: try reading problem file stateEquationProblem-ConstantPlace-408.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2365
sara: try reading problem file stateEquationProblem-ConstantPlace-809.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p731
sara: try reading problem file stateEquationProblem-ConstantPlace-1726.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2531
sara: try reading problem file stateEquationProblem-ConstantPlace-1341.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 89
lola: state equation: 556
lola: find path: 1541
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1973
sara: try reading problem file stateEquationProblem-ConstantPlace-73.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2389
sara: try reading problem file stateEquationProblem-ConstantPlace-857.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1190
sara: try reading problem file stateEquationProblem-ConstantPlace-1200.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1533
sara: try reading problem file stateEquationProblem-ConstantPlace-2028.sara.
lola: reporting
lola: not produced: 85
lola: state equation: 560
lola: find path: 1541
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1419
sara: try reading problem file stateEquationProblem-ConstantPlace-1814.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1328
sara: try reading problem file stateEquationProblem-ConstantPlace-1623.sara.
lola: reporting
lola: not produced: 82
lola: state equation: 562
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1218
sara: try reading problem file stateEquationProblem-ConstantPlace-1378.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p866
sara: try reading problem file stateEquationProblem-ConstantPlace-1961.sara.
lola: reporting
lola: not produced: 80
lola: state equation: 564
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p675
sara: try reading problem file stateEquationProblem-ConstantPlace-1570.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2456
sara: try reading problem file stateEquationProblem-ConstantPlace-1091.sara.
lola: reporting
lola: not produced: 78
lola: state equation: 566
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1069
sara: try reading problem file stateEquationProblem-ConstantPlace-879.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2515
sara: try reading problem file stateEquationProblem-ConstantPlace-1325.sara.
lola: reporting
lola: not produced: 76
lola: state equation: 568
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p877
sara: try reading problem file stateEquationProblem-ConstantPlace-1972.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2211
sara: try reading problem file stateEquationProblem-ConstantPlace-521.sara.
lola: reporting
lola: not produced: 74
lola: state equation: 570
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1091
sara: try reading problem file stateEquationProblem-ConstantPlace-901.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 73
lola: state equation: 571
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1155
sara: try reading problem file stateEquationProblem-ConstantPlace-1152.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p670
sara: try reading problem file stateEquationProblem-ConstantPlace-1565.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 71
lola: state equation: 573
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p2467
sara: try reading problem file stateEquationProblem-ConstantPlace-1113.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p668
sara: try reading problem file stateEquationProblem-ConstantPlace-1563.sara.
lola: reporting
lola: not produced: 69
lola: state equation: 575
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1215
sara: try reading problem file stateEquationProblem-ConstantPlace-1372.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2472
sara: try reading problem file stateEquationProblem-ConstantPlace-1123.sara.
lola: reporting
lola: not produced: 67
lola: state equation: 577
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2451
sara: try reading problem file stateEquationProblem-ConstantPlace-1081.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1720
sara: try reading problem file stateEquationProblem-ConstantPlace-2405.sara.
lola: reporting
lola: not produced: 65
lola: state equation: 579
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2512
sara: try reading problem file stateEquationProblem-ConstantPlace-1322.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1184
sara: try reading problem file stateEquationProblem-ConstantPlace-1194.sara.
lola: reporting
lola: not produced: 63
lola: state equation: 581
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2436
sara: try reading problem file stateEquationProblem-ConstantPlace-1051.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2429
sara: try reading problem file stateEquationProblem-ConstantPlace-1039.sara.
lola: reporting
lola: not produced: 61
lola: state equation: 583
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2091
sara: try reading problem file stateEquationProblem-ConstantPlace-201.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 60
lola: state equation: 584
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p932
sara: try reading problem file stateEquationProblem-ConstantPlace-2127.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1060
sara: try reading problem file stateEquationProblem-ConstantPlace-862.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 58
lola: state equation: 586
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p2196
sara: try reading problem file stateEquationProblem-ConstantPlace-406.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2080
sara: try reading problem file stateEquationProblem-ConstantPlace-190.sara.
lola: reporting
lola: not produced: 56
lola: state equation: 588
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1189
sara: try reading problem file stateEquationProblem-ConstantPlace-1199.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2507
sara: try reading problem file stateEquationProblem-ConstantPlace-1307.sara.
lola: reporting
lola: not produced: 54
lola: state equation: 590
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1042
sara: try reading problem file stateEquationProblem-ConstantPlace-826.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p697
sara: try reading problem file stateEquationProblem-ConstantPlace-1592.sara.
lola: reporting
lola: not produced: 52
lola: state equation: 592
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p679
sara: try reading problem file stateEquationProblem-ConstantPlace-1574.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1205
sara: try reading problem file stateEquationProblem-ConstantPlace-1352.sara.
lola: reporting
lola: not produced: 50
lola: state equation: 594
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1347
sara: try reading problem file stateEquationProblem-ConstantPlace-1642.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2478
sara: try reading problem file stateEquationProblem-ConstantPlace-1135.sara.
lola: reporting
lola: not produced: 48
lola: state equation: 596
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1844
sara: try reading problem file stateEquationProblem-ConstantPlace-2529.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2508
sara: try reading problem file stateEquationProblem-ConstantPlace-1308.sara.
lola: reporting
lola: not produced: 46
lola: state equation: 598
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1784
sara: try reading problem file stateEquationProblem-ConstantPlace-2469.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1863
sara: try reading problem file stateEquationProblem-ConstantPlace-2548.sara.
lola: reporting
lola: not produced: 44
lola: state equation: 600
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1842
sara: try reading problem file stateEquationProblem-ConstantPlace-2527.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1344
sara: try reading problem file stateEquationProblem-ConstantPlace-1639.sara.
lola: reporting
lola: not produced: 42
lola: state equation: 602
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1538
sara: try reading problem file stateEquationProblem-ConstantPlace-2033.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1884
lola: reporting
lola: not produced: 40
lola: state equation: 604
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: try reading problem file stateEquationProblem-ConstantPlace-2569.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1158
sara: try reading problem file stateEquationProblem-ConstantPlace-1158.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 39
lola: state equation: 605
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1536
sara: try reading problem file stateEquationProblem-ConstantPlace-2031.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1145
sara: try reading problem file stateEquationProblem-ConstantPlace-1132.sara.
lola: reporting
lola: not produced: 37
lola: state equation: 607
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2195
sara: try reading problem file stateEquationProblem-ConstantPlace-405.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2481
sara: try reading problem file stateEquationProblem-ConstantPlace-1141.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 35
lola: state equation: 609
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1340
sara: try reading problem file stateEquationProblem-ConstantPlace-1635.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1196
sara: try reading problem file stateEquationProblem-ConstantPlace-1206.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 33
lola: state equation: 611
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1546
sara: try reading problem file stateEquationProblem-ConstantPlace-2041.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2367
sara: try reading problem file stateEquationProblem-ConstantPlace-813.sara.
lola: reporting
lola: not produced: 31
lola: state equation: 613
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1885
sara: try reading problem file stateEquationProblem-ConstantPlace-2570.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1187
sara: try reading problem file stateEquationProblem-ConstantPlace-1197.sara.
lola: reporting
lola: not produced: 29
lola: state equation: 615
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1345
sara: try reading problem file stateEquationProblem-ConstantPlace-1640.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1999
sara: try reading problem file stateEquationProblem-ConstantPlace-99.sara.
lola: reporting
lola: not produced: 27
lola: state equation: 617
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1829
sara: try reading problem file stateEquationProblem-ConstantPlace-2514.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2529
sara: try reading problem file stateEquationProblem-ConstantPlace-1339.sara.
lola: reporting
lola: not produced: 25
lola: state equation: 619
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2064
sara: try reading problem file stateEquationProblem-ConstantPlace-174.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2088
sara: try reading problem file stateEquationProblem-ConstantPlace-198.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1872
sara: try reading problem file stateEquationProblem-ConstantPlace-2557.sara.
lola: reporting
lola: not produced: 22
lola: state equation: 622
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2210
sara: try reading problem file stateEquationProblem-ConstantPlace-520.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p748
sara: try reading problem file stateEquationProblem-ConstantPlace-1743.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2527
sara: try reading problem file stateEquationProblem-ConstantPlace-1337.sara.
lola: reporting
lola: not produced: 19
lola: state equation: 625
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1556
sara: try reading problem file stateEquationProblem-ConstantPlace-2051.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1200
sara: try reading problem file stateEquationProblem-ConstantPlace-1342.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p672
sara: try reading problem file stateEquationProblem-ConstantPlace-1567.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2069
sara: try reading problem file stateEquationProblem-ConstantPlace-179.sara.
lola: reporting
lola: not produced: 15
lola: state equation: 629
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1327
sara: try reading problem file stateEquationProblem-ConstantPlace-1622.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2506
sara: try reading problem file stateEquationProblem-ConstantPlace-1306.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2084
sara: try reading problem file stateEquationProblem-ConstantPlace-194.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 12
lola: state equation: 632
lola: find path: 1542
lola: goal oriented search: 245
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1826
sara: try reading problem file stateEquationProblem-ConstantPlace-2511.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2480
sara: try reading problem file stateEquationProblem-ConstantPlace-1140.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1735
sara: try reading problem file stateEquationProblem-ConstantPlace-2420.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2394
sara: try reading problem file stateEquationProblem-ConstantPlace-867.sara.
lola: reporting
lola: not produced: 7
lola: state equation: 636
lola: find path: 1543
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1334
sara: try reading problem file stateEquationProblem-ConstantPlace-1629.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1792
sara: try reading problem file stateEquationProblem-ConstantPlace-2477.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1103
sara: try reading problem file stateEquationProblem-ConstantPlace-1048.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1092
sara: try reading problem file stateEquationProblem-ConstantPlace-902.sara.
lola: reporting
lola: not produced: 3
lola: state equation: 640
lola: find path: 1543
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1541
sara: try reading problem file stateEquationProblem-ConstantPlace-2036.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1988
sara: try reading problem file stateEquationProblem-ConstantPlace-88.sara.
lola: reporting
lola: not produced: 1
lola: state equation: 642
lola: find path: 1543
lola: goal oriented search: 245
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: The net does not have constant places
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-313"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-313, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r049-oct2-162038304300358"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-313.tgz
mv CloudReconfiguration-PT-313 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 '
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 ;