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-162038304200303.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-302, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-162038304200303
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 146K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 92K 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.8K Mar 28 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 28 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 23 03:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K 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 16K 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 1620654490043

starting LoLA
BK_INPUT CloudReconfiguration-PT-302
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 1620655773471

--------------------
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 p191
sara: try reading problem file stateEquationProblem-ConstantPlace-311.sara.
lola: reporting
lola: not produced: 1742
lola: state equation: 1
lola: find path: 501
lola: goal oriented search: 322
lola: symmetry: 19
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1021
sara: try reading problem file stateEquationProblem-ConstantPlace-784.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1459
lola: state equation: 2
lola: find path: 758
lola: goal oriented search: 322
lola: symmetry: 44

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

lola: STATE EQUATION TRIES PLACE p680
sara: try reading problem file stateEquationProblem-ConstantPlace-1575.sara.
lola: reporting
lola: not produced: 1138
lola: state equation: 4
lola: find path: 834
lola: goal oriented search: 551
lola: symmetry: 58
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p542
sara: try reading problem file stateEquationProblem-ConstantPlace-1252.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1134
lola: state equation: 5
lola: find path: 837
lola: goal oriented search: 551
lola: symmetry: 58

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

lola: STATE EQUATION TRIES PLACE p1030
sara: try reading problem file stateEquationProblem-ConstantPlace-802.sara.
lola: reporting
lola: not produced: 1072
lola: state equation: 7
lola: find path: 894
lola: goal oriented search: 551
lola: symmetry: 61
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1753
sara: try reading problem file stateEquationProblem-ConstantPlace-2438.sara.
lola: reporting
lola: not produced: 1037
lola: state equation: 9
lola: find path: 923
lola: goal oriented search: 551
lola: symmetry: 65
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2454
sara: try reading problem file stateEquationProblem-ConstantPlace-1087.sara.
lola: reporting
lola: not produced: 985
lola: state equation: 11
lola: find path: 967
lola: goal oriented search: 551
lola: symmetry: 71
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p101
sara: try reading problem file stateEquationProblem-ConstantPlace-211.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 954
lola: state equation: 12
lola: find path: 991
lola: goal oriented search: 551
lola: symmetry: 77

lola: STATE EQUATION TRIES PLACE p1875
sara: try reading problem file stateEquationProblem-ConstantPlace-2560.sara.
lola: reporting
lola: not produced: 912
lola: state equation: 13
lola: find path: 1023
lola: goal oriented search: 551
lola: symmetry: 86
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1993
sara: try reading problem file stateEquationProblem-ConstantPlace-93.sara.
lola: reporting
lola: not produced: 899
lola: state equation: 15
lola: find path: 1034
lola: goal oriented search: 551
lola: symmetry: 86
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 p866
sara: try reading problem file stateEquationProblem-ConstantPlace-1961.sara.
lola: reporting
lola: not produced: 889
lola: state equation: 17
lola: find path: 1039
lola: goal oriented search: 551
lola: symmetry: 89
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2014
sara: try reading problem file stateEquationProblem-ConstantPlace-124.sara.
lola: reporting
lola: not produced: 884
lola: state equation: 19
lola: find path: 1042
lola: goal oriented search: 551
lola: symmetry: 89
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2218
sara: try reading problem file stateEquationProblem-ConstantPlace-528.sara.
lola: reporting
lola: not produced: 860
lola: state equation: 21
lola: find path: 1054
lola: goal oriented search: 551
lola: symmetry: 99
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: STATE EQUATION TRIES PLACE p90
sara: try reading problem file stateEquationProblem-ConstantPlace-2295.sara.
lola: reporting
lola: not produced: 853
lola: state equation: 23
lola: find path: 1058
lola: goal oriented search: 551
lola: symmetry: 100
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2424
sara: try reading problem file stateEquationProblem-ConstantPlace-1034.sara.
lola: reporting
lola: not produced: 847
lola: state equation: 24
lola: find path: 1063
lola: goal oriented search: 551
lola: symmetry: 100
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 p1213
sara: try reading problem file stateEquationProblem-ConstantPlace-1368.sara.
lola: reporting
lola: not produced: 830
lola: state equation: 26
lola: find path: 1075
lola: goal oriented search: 551
lola: symmetry: 103
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1784
sara: try reading problem file stateEquationProblem-ConstantPlace-2469.sara.
lola: reporting
lola: not produced: 821
lola: state equation: 28
lola: find path: 1082
lola: goal oriented search: 551
lola: symmetry: 103
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: STATE EQUATION TRIES PLACE p1149
sara: try reading problem file stateEquationProblem-ConstantPlace-1139.sara.
lola: reporting
lola: not produced: 814
lola: state equation: 30
lola: find path: 1087
lola: goal oriented search: 551
lola: symmetry: 103
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1122
sara: try reading problem file stateEquationProblem-ConstantPlace-1086.sara.
lola: reporting
lola: not produced: 809
lola: state equation: 32
lola: find path: 1090
lola: goal oriented search: 551
lola: symmetry: 103
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 804
lola: state equation: 33
lola: find path: 1094
lola: goal oriented search: 551
lola: symmetry: 103
lola: STATE EQUATION TRIES PLACE p1975
sara: try reading problem file stateEquationProblem-ConstantPlace-75.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 782
lola: state equation: 35
lola: find path: 1108
lola: goal oriented search: 551
lola: symmetry: 109
lola: STATE EQUATION TRIES PLACE p1723
sara: try reading problem file stateEquationProblem-ConstantPlace-2408.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2071
sara: try reading problem file stateEquationProblem-ConstantPlace-181.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 779
lola: state equation: 37
lola: find path: 1109
lola: goal oriented search: 551
lola: symmetry: 109

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 p1827
sara: try reading problem file stateEquationProblem-ConstantPlace-2512.sara.
lola: reporting
lola: not produced: 777
lola: state equation: 39
lola: find path: 1109
lola: goal oriented search: 551
lola: symmetry: 109
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 p1040
sara: try reading problem file stateEquationProblem-ConstantPlace-822.sara.
lola: reporting
lola: not produced: 775
lola: state equation: 41
lola: find path: 1109
lola: goal oriented search: 551
lola: symmetry: 109
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 p78
sara: try reading problem file stateEquationProblem-ConstantPlace-2263.sara.
lola: reporting
lola: not produced: 769
lola: state equation: 43
lola: find path: 1113
lola: goal oriented search: 551
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1869
sara: try reading problem file stateEquationProblem-ConstantPlace-2554.sara.
lola: reporting
lola: not produced: 758
lola: state equation: 44
lola: find path: 1123
lola: goal oriented search: 551
lola: symmetry: 109
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 p1548
sara: try reading problem file stateEquationProblem-ConstantPlace-2043.sara.
lola: reporting
lola: not produced: 756
lola: state equation: 46
lola: find path: 1123
lola: goal oriented search: 551
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1089
sara: try reading problem file stateEquationProblem-ConstantPlace-899.sara.
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: 754
lola: state equation: 48
lola: find path: 1123
lola: goal oriented search: 551
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2026
sara: try reading problem file stateEquationProblem-ConstantPlace-136.sara.
lola: reporting
lola: not produced: 750
lola: state equation: 50
lola: find path: 1125
lola: goal oriented search: 551
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 748
lola: state equation: 51
lola: find path: 1126
lola: goal oriented search: 551
lola: symmetry: 109
lola: STATE EQUATION TRIES PLACE p1124
sara: try reading problem file stateEquationProblem-ConstantPlace-1090.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1680
sara: try reading problem file stateEquationProblem-ConstantPlace-2365.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 745
lola: state equation: 53
lola: find path: 1127
lola: goal oriented search: 551
lola: symmetry: 109

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 p1212
sara: try reading problem file stateEquationProblem-ConstantPlace-1366.sara.
lola: reporting
lola: not produced: 742
lola: state equation: 55
lola: find path: 1127
lola: goal oriented search: 551
lola: symmetry: 110
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2410
sara: try reading problem file stateEquationProblem-ConstantPlace-1020.sara.
lola: reporting
lola: not produced: 738
lola: state equation: 57
lola: find path: 1129
lola: goal oriented search: 551
lola: symmetry: 110
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2443
sara: try reading problem file stateEquationProblem-ConstantPlace-1065.sara.
lola: reporting
lola: not produced: 724
lola: state equation: 59
lola: find path: 1141
lola: goal oriented search: 551
lola: symmetry: 110
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2499
sara: try reading problem file stateEquationProblem-ConstantPlace-1177.sara.
lola: reporting
lola: not produced: 722
lola: state equation: 61
lola: find path: 1141
lola: goal oriented search: 551
lola: symmetry: 110
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: reporting
lola: not produced: 719
lola: state equation: 62
lola: find path: 1142
lola: goal oriented search: 551
lola: symmetry: 111
lola: STATE EQUATION TRIES PLACE p1353
sara: try reading problem file stateEquationProblem-ConstantPlace-1648.sara.
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: reporting
lola: not produced: 715
lola: state equation: 64
lola: find path: 1144
lola: goal oriented search: 551
lola: symmetry: 111

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 p740
sara: try reading problem file stateEquationProblem-ConstantPlace-1735.sara.
lola: reporting
lola: not produced: 712
lola: state equation: 66
lola: find path: 1145
lola: goal oriented search: 551
lola: symmetry: 111
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 p1117
sara: try reading problem file stateEquationProblem-ConstantPlace-1076.sara.
lola: reporting
lola: not produced: 707
lola: state equation: 68
lola: find path: 1148
lola: goal oriented search: 551
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1325
sara: try reading problem file stateEquationProblem-ConstantPlace-1620.sara.
lola: reporting
lola: not produced: 704
lola: state equation: 70
lola: find path: 1149
lola: goal oriented search: 551
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1532
sara: try reading problem file stateEquationProblem-ConstantPlace-2027.sara.
lola: reporting
lola: not produced: 702
lola: state equation: 72
lola: find path: 1149
lola: goal oriented search: 551
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2441
sara: try reading problem file stateEquationProblem-ConstantPlace-1061.sara.
lola: reporting
lola: not produced: 674
lola: state equation: 74
lola: find path: 1175
lola: goal oriented search: 551
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 670
lola: state equation: 75
lola: find path: 1178
lola: goal oriented search: 551
lola: symmetry: 111
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 p1721
sara: try reading problem file stateEquationProblem-ConstantPlace-2406.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 657
lola: state equation: 77
lola: find path: 1188
lola: goal oriented search: 551
lola: symmetry: 112

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

lola: STATE EQUATION TRIES PLACE p2393
sara: try reading problem file stateEquationProblem-ConstantPlace-865.sara.
lola: reporting
lola: not produced: 655
lola: state equation: 79
lola: find path: 1188
lola: goal oriented search: 551
lola: symmetry: 112
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 652
lola: state equation: 81
lola: find path: 1189
lola: goal oriented search: 551
lola: symmetry: 112
lola: STATE EQUATION TRIES PLACE p2091
sara: try reading problem file stateEquationProblem-ConstantPlace-201.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1705
sara: try reading problem file stateEquationProblem-ConstantPlace-2390.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 649
lola: state equation: 84
lola: find path: 1189
lola: goal oriented search: 551
lola: symmetry: 112

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 p1770
sara: try reading problem file stateEquationProblem-ConstantPlace-2455.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 646
lola: state equation: 87
lola: find path: 1189
lola: goal oriented search: 551
lola: symmetry: 112
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 p2199
sara: try reading problem file stateEquationProblem-ConstantPlace-409.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1123
sara: try reading problem file stateEquationProblem-ConstantPlace-1088.sara.
lola: reporting
lola: not produced: 643
lola: state equation: 90
lola: find path: 1189
lola: goal oriented search: 551
lola: symmetry: 112
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2084
sara: try reading problem file stateEquationProblem-ConstantPlace-194.sara.
lola: reporting
lola: not produced: 641
lola: state equation: 92
lola: find path: 1189
lola: goal oriented search: 551
lola: symmetry: 112
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: STATE EQUATION TRIES PLACE p1866
sara: try reading problem file stateEquationProblem-ConstantPlace-2551.sara.
lola: reporting
lola: not produced: 638
lola: state equation: 94
lola: find path: 1190
lola: goal oriented search: 551
lola: symmetry: 112
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p868
sara: try reading problem file stateEquationProblem-ConstantPlace-1963.sara.
lola: reporting
lola: not produced: 636
lola: state equation: 96
lola: find path: 1190
lola: goal oriented search: 551
lola: symmetry: 112
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1825
sara: try reading problem file stateEquationProblem-ConstantPlace-2510.sara.
lola: reporting
lola: not produced: 634
lola: state equation: 98
lola: find path: 1190
lola: goal oriented search: 551
lola: symmetry: 112
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 p2083
sara: try reading problem file stateEquationProblem-ConstantPlace-193.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 632
lola: state equation: 100
lola: find path: 1190
lola: goal oriented search: 551
lola: symmetry: 112

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 p1110
sara: try reading problem file stateEquationProblem-ConstantPlace-1062.sara.
lola: reporting
lola: not produced: 606
lola: state equation: 102
lola: find path: 1212
lola: goal oriented search: 551
lola: symmetry: 114
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 p1781
sara: try reading problem file stateEquationProblem-ConstantPlace-2466.sara.
lola: reporting
lola: not produced: 604
lola: state equation: 104
lola: find path: 1212
lola: goal oriented search: 551
lola: symmetry: 114
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1350
sara: try reading problem file stateEquationProblem-ConstantPlace-1645.sara.
lola: reporting
lola: not produced: 602
lola: state equation: 106
lola: find path: 1212
lola: goal oriented search: 551
lola: symmetry: 114
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 p2447
sara: try reading problem file stateEquationProblem-ConstantPlace-1073.sara.
lola: reporting
lola: not produced: 600
lola: state equation: 108
lola: find path: 1212
lola: goal oriented search: 551
lola: symmetry: 114
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 p1158
sara: try reading problem file stateEquationProblem-ConstantPlace-1158.sara.
lola: reporting
lola: not produced: 592
lola: state equation: 110
lola: find path: 1218
lola: goal oriented search: 551
lola: symmetry: 114
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 591
lola: state equation: 111
lola: find path: 1218
lola: goal oriented search: 551
lola: symmetry: 114
lola: STATE EQUATION TRIES PLACE p1695
sara: try reading problem file stateEquationProblem-ConstantPlace-2380.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2465
sara: try reading problem file stateEquationProblem-ConstantPlace-1109.sara.
lola: reporting
lola: not produced: 588
lola: state equation: 114
lola: find path: 1218
lola: goal oriented search: 551
lola: symmetry: 114
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1681
lola: reporting
lola: not produced: 579
lola: state equation: 116
lola: find path: 1223
lola: goal oriented search: 551
lola: symmetry: 116
sara: try reading problem file stateEquationProblem-ConstantPlace-2366.sara.
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 p1060
sara: try reading problem file stateEquationProblem-ConstantPlace-862.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 577
lola: state equation: 118
lola: find path: 1223
lola: goal oriented search: 551
lola: symmetry: 116

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

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

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 p1410
sara: try reading problem file stateEquationProblem-ConstantPlace-1805.sara.
lola: reporting
lola: not produced: 572
lola: state equation: 122
lola: find path: 1223
lola: goal oriented search: 551
lola: symmetry: 117
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 p1995
sara: try reading problem file stateEquationProblem-ConstantPlace-95.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2222
sara: try reading problem file stateEquationProblem-ConstantPlace-532.sara.
lola: reporting
lola: not produced: 568
lola: state equation: 126
lola: find path: 1223
lola: goal oriented search: 551
lola: symmetry: 117
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2324
sara: try reading problem file stateEquationProblem-ConstantPlace-734.sara.
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: reporting
lola: not produced: 564
lola: state equation: 129
lola: find path: 1224
lola: goal oriented search: 551
lola: symmetry: 117
lola: STATE EQUATION TRIES PLACE p2322
sara: try reading problem file stateEquationProblem-ConstantPlace-732.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1340
sara: try reading problem file stateEquationProblem-ConstantPlace-1635.sara.
lola: reporting
lola: not produced: 553
lola: state equation: 133
lola: find path: 1231
lola: goal oriented search: 551
lola: symmetry: 117
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 p584
sara: try reading problem file stateEquationProblem-ConstantPlace-1294.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2414
sara: try reading problem file stateEquationProblem-ConstantPlace-1024.sara.
lola: reporting
lola: not produced: 549
lola: state equation: 137
lola: find path: 1231
lola: goal oriented search: 551
lola: symmetry: 117
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 p2020
sara: try reading problem file stateEquationProblem-ConstantPlace-130.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1210
sara: try reading problem file stateEquationProblem-ConstantPlace-1362.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 546
lola: state equation: 140
lola: find path: 1231
lola: goal oriented search: 551
lola: symmetry: 117

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

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

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

lola: STATE EQUATION TRIES PLACE p2521
sara: try reading problem file stateEquationProblem-ConstantPlace-1331.sara.
lola: reporting
lola: not produced: 542
lola: state equation: 144
lola: find path: 1231
lola: goal oriented search: 551
lola: symmetry: 117
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 539
lola: state equation: 147
lola: find path: 1231
lola: goal oriented search: 551
lola: symmetry: 117
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 p1816
sara: try reading problem file stateEquationProblem-ConstantPlace-2501.sara.
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 p1427
sara: try reading problem file stateEquationProblem-ConstantPlace-1822.sara.
lola: reporting
lola: not produced: 535
lola: state equation: 151
lola: find path: 1231
lola: goal oriented search: 551
lola: symmetry: 117
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2343
sara: try reading problem file stateEquationProblem-ConstantPlace-765.sara.
lola: reporting
lola: not produced: 531
lola: state equation: 155
lola: find path: 1231
lola: goal oriented search: 551
lola: symmetry: 117
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p665
sara: try reading problem file stateEquationProblem-ConstantPlace-1560.sara.
lola: reporting
lola: not produced: 528
lola: state equation: 157
lola: find path: 1231
lola: goal oriented search: 551
lola: symmetry: 118
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 p1749
sara: try reading problem file stateEquationProblem-ConstantPlace-2434.sara.
lola: reporting
lola: not produced: 523
lola: state equation: 159
lola: find path: 1234
lola: goal oriented search: 551
lola: symmetry: 118
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1752
sara: try reading problem file stateEquationProblem-ConstantPlace-2437.sara.
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: 521
lola: state equation: 161
lola: find path: 1234
lola: goal oriented search: 551
lola: symmetry: 118
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2260
sara: try reading problem file stateEquationProblem-ConstantPlace-570.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 520
lola: state equation: 162
lola: find path: 1234
lola: goal oriented search: 551
lola: symmetry: 118

lola: STATE EQUATION TRIES PLACE p1418
sara: try reading problem file stateEquationProblem-ConstantPlace-1813.sara.
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 p2491
sara: try reading problem file stateEquationProblem-ConstantPlace-1161.sara.
lola: reporting
lola: not produced: 516
lola: state equation: 165
lola: find path: 1234
lola: goal oriented search: 551
lola: symmetry: 119
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 p1329
lola: reporting
lola: not produced: 513
lola: state equation: 167
lola: find path: 1235
lola: goal oriented search: 551
lola: symmetry: 119
sara: try reading problem file stateEquationProblem-ConstantPlace-1624.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2484
sara: try reading problem file stateEquationProblem-ConstantPlace-1147.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 508
lola: state equation: 168
lola: find path: 1239
lola: goal oriented search: 551
lola: symmetry: 119

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

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

lola: STATE EQUATION TRIES PLACE p2487
sara: try reading problem file stateEquationProblem-ConstantPlace-1153.sara.
lola: reporting
lola: not produced: 502
lola: state equation: 171
lola: find path: 1242
lola: goal oriented search: 551
lola: symmetry: 119
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1811
sara: try reading problem file stateEquationProblem-ConstantPlace-2496.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: 499
lola: state equation: 174
lola: find path: 1242
lola: goal oriented search: 551
lola: symmetry: 119
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2489
sara: try reading problem file stateEquationProblem-ConstantPlace-1157.sara.
lola: reporting
lola: not produced: 494
lola: state equation: 178
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 119
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2213
sara: try reading problem file stateEquationProblem-ConstantPlace-523.sara.
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 p676
sara: try reading problem file stateEquationProblem-ConstantPlace-1571.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1810
sara: try reading problem file stateEquationProblem-ConstantPlace-2495.sara.
lola: reporting
lola: not produced: 490
lola: state equation: 182
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 119
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2122
sara: try reading problem file stateEquationProblem-ConstantPlace-332.sara.
lola: reporting
lola: not produced: 488
lola: state equation: 184
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 119
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1537
sara: try reading problem file stateEquationProblem-ConstantPlace-2032.sara.
lola: reporting
lola: not produced: 485
lola: state equation: 187
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 119
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1108
sara: try reading problem file stateEquationProblem-ConstantPlace-1058.sara.
lola: reporting
lola: not produced: 480
lola: state equation: 191
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 120
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2402
sara: try reading problem file stateEquationProblem-ConstantPlace-1002.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 478
lola: state equation: 193
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 120

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

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

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

lola: STATE EQUATION TRIES PLACE p2095
sara: try reading problem file stateEquationProblem-ConstantPlace-205.sara.
lola: reporting
lola: not produced: 474
lola: state equation: 197
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 120
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1148
sara: try reading problem file stateEquationProblem-ConstantPlace-1138.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: reporting
lola: not produced: 471
lola: state equation: 200
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 120
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 p1838
sara: try reading problem file stateEquationProblem-ConstantPlace-2523.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2409
sara: try reading problem file stateEquationProblem-ConstantPlace-1009.sara.
lola: reporting
lola: not produced: 467
lola: state equation: 204
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 120
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2419
sara: try reading problem file stateEquationProblem-ConstantPlace-1029.sara.
lola: reporting
lola: not produced: 463
lola: state equation: 208
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 120
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 p1182
sara: try reading problem file stateEquationProblem-ConstantPlace-1192.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2262
sara: try reading problem file stateEquationProblem-ConstantPlace-572.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 460
lola: state equation: 211
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 120

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

lola: STATE EQUATION TRIES PLACE p2474
sara: try reading problem file stateEquationProblem-ConstantPlace-1127.sara.
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 p2355
sara: try reading problem file stateEquationProblem-ConstantPlace-789.sara.
lola: reporting
lola: not produced: 456
lola: state equation: 215
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 120
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1794
sara: try reading problem file stateEquationProblem-ConstantPlace-2479.sara.
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 p2202
sara: try reading problem file stateEquationProblem-ConstantPlace-502.sara.
lola: reporting
lola: not produced: 451
lola: state equation: 219
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 121
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2403
sara: try reading problem file stateEquationProblem-ConstantPlace-1003.sara.
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: reporting
lola: not produced: 448
lola: state equation: 222
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 121

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

lola: STATE EQUATION TRIES PLACE p1997
sara: try reading problem file stateEquationProblem-ConstantPlace-97.sara.
lola: reporting
lola: not produced: 446
lola: state equation: 224
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 121
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1553
sara: try reading problem file stateEquationProblem-ConstantPlace-2048.sara.
lola: reporting
lola: not produced: 444
lola: state equation: 226
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 121
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: reporting
lola: not produced: 442
lola: state equation: 227
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 122

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

lola: STATE EQUATION TRIES PLACE p1556
sara: try reading problem file stateEquationProblem-ConstantPlace-2051.sara.
lola: reporting
lola: not produced: 440
lola: state equation: 229
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 122
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2389
sara: try reading problem file stateEquationProblem-ConstantPlace-857.sara.
lola: reporting
lola: not produced: 439
lola: state equation: 230
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 122
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2227
sara: try reading problem file stateEquationProblem-ConstantPlace-537.sara.
lola: reporting
lola: not produced: 437
lola: state equation: 232
lola: find path: 1243
lola: goal oriented search: 551
lola: symmetry: 122
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1339
sara: try reading problem file stateEquationProblem-ConstantPlace-1634.sara.
lola: reporting
lola: not produced: 435
lola: state equation: 233
lola: find path: 1244
lola: goal oriented search: 551
lola: symmetry: 122
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: STATE EQUATION TRIES PLACE p1726
sara: try reading problem file stateEquationProblem-ConstantPlace-2411.sara.
lola: reporting
lola: not produced: 433
lola: state equation: 235
lola: find path: 1244
lola: goal oriented search: 551
lola: symmetry: 122
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1842
sara: try reading problem file stateEquationProblem-ConstantPlace-2527.sara.
lola: reporting
lola: not produced: 431
lola: state equation: 237
lola: find path: 1244
lola: goal oriented search: 551
lola: symmetry: 122
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p738
sara: try reading problem file stateEquationProblem-ConstantPlace-1733.sara.
lola: reporting
lola: not produced: 428
lola: state equation: 239
lola: find path: 1244
lola: goal oriented search: 551
lola: symmetry: 123
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 p2090
lola: reporting
lola: not produced: 426
lola: state equation: 241
lola: find path: 1244
lola: goal oriented search: 551
lola: symmetry: 123
sara: try reading problem file stateEquationProblem-ConstantPlace-200.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2493
sara: try reading problem file stateEquationProblem-ConstantPlace-1165.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 416
lola: state equation: 242
lola: find path: 1249
lola: goal oriented search: 551
lola: symmetry: 127

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

lola: STATE EQUATION TRIES PLACE p2207
sara: try reading problem file stateEquationProblem-ConstantPlace-507.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: 410
lola: state equation: 245
lola: find path: 1252
lola: goal oriented search: 551
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 p2211
sara: try reading problem file stateEquationProblem-ConstantPlace-521.sara.
lola: reporting
lola: not produced: 408
lola: state equation: 247
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 127
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 p2024
sara: try reading problem file stateEquationProblem-ConstantPlace-134.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1821
sara: try reading problem file stateEquationProblem-ConstantPlace-2506.sara.
lola: reporting
lola: not produced: 404
lola: state equation: 251
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2456
sara: try reading problem file stateEquationProblem-ConstantPlace-1091.sara.
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 p2194
sara: try reading problem file stateEquationProblem-ConstantPlace-404.sara.
lola: reporting
lola: not produced: 401
lola: state equation: 254
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1393
sara: try reading problem file stateEquationProblem-ConstantPlace-1688.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 399
lola: state equation: 256
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 127

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 p1107
sara: try reading problem file stateEquationProblem-ConstantPlace-1056.sara.
lola: reporting
lola: not produced: 397
lola: state equation: 258
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p877
sara: try reading problem file stateEquationProblem-ConstantPlace-1972.sara.
lola: reporting
lola: not produced: 395
lola: state equation: 260
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2450
sara: try reading problem file stateEquationProblem-ConstantPlace-1080.sara.
lola: reporting
lola: not produced: 392
lola: state equation: 263
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 127
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 p2464
sara: try reading problem file stateEquationProblem-ConstantPlace-1107.sara.
sara: place or transition ordering is non-deterministic

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 p1120
sara: try reading problem file stateEquationProblem-ConstantPlace-1082.sara.
lola: reporting
lola: not produced: 388
lola: state equation: 267
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2224
sara: try reading problem file stateEquationProblem-ConstantPlace-534.sara.
lola: reporting
lola: not produced: 384
lola: state equation: 270
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1173
sara: try reading problem file stateEquationProblem-ConstantPlace-1183.sara.
lola: reporting
lola: not produced: 381
lola: state equation: 273
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2087
lola: reporting
lola: not produced: 377
lola: state equation: 277
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 128
sara: try reading problem file stateEquationProblem-ConstantPlace-197.sara.
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 p2397
sara: try reading problem file stateEquationProblem-ConstantPlace-873.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1987
sara: try reading problem file stateEquationProblem-ConstantPlace-87.sara.
lola: reporting
lola: not produced: 374
lola: state equation: 280
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 128
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 p1536
sara: try reading problem file stateEquationProblem-ConstantPlace-2031.sara.
lola: reporting
lola: not produced: 372
lola: state equation: 282
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 370
lola: state equation: 284
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 128
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 p1728
sara: try reading problem file stateEquationProblem-ConstantPlace-2413.sara.
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 p1121
sara: try reading problem file stateEquationProblem-ConstantPlace-1084.sara.
lola: reporting
lola: not produced: 366
lola: state equation: 288
lola: find path: 1252
lola: goal oriented search: 551
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1324
sara: try reading problem file stateEquationProblem-ConstantPlace-1619.sara.
lola: reporting
lola: not produced: 361
lola: state equation: 291
lola: find path: 1253
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1215
sara: try reading problem file stateEquationProblem-ConstantPlace-1372.sara.
lola: reporting
lola: not produced: 359
lola: state equation: 293
lola: find path: 1253
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1118
sara: try reading problem file stateEquationProblem-ConstantPlace-1078.sara.
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 p1664
sara: try reading problem file stateEquationProblem-ConstantPlace-2349.sara.
lola: reporting
lola: not produced: 356
lola: state equation: 296
lola: find path: 1253
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1785
sara: try reading problem file stateEquationProblem-ConstantPlace-2470.sara.
lola: reporting
lola: not produced: 354
lola: state equation: 298
lola: find path: 1253
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1151
sara: try reading problem file stateEquationProblem-ConstantPlace-1144.sara.
lola: reporting
lola: not produced: 352
lola: state equation: 300
lola: find path: 1253
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2013
sara: try reading problem file stateEquationProblem-ConstantPlace-123.sara.
lola: reporting
lola: not produced: 350
lola: state equation: 302
lola: find path: 1253
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 349
lola: state equation: 303
lola: find path: 1253
lola: goal oriented search: 551
lola: symmetry: 129
lola: STATE EQUATION TRIES PLACE p1879
sara: try reading problem file stateEquationProblem-ConstantPlace-2564.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1558
sara: try reading problem file stateEquationProblem-ConstantPlace-2053.sara.
lola: reporting
lola: not produced: 346
lola: state equation: 305
lola: find path: 1254
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1458
sara: try reading problem file stateEquationProblem-ConstantPlace-1853.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 344
lola: state equation: 307
lola: find path: 1254
lola: goal oriented search: 551
lola: symmetry: 129

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

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 p1200
sara: try reading problem file stateEquationProblem-ConstantPlace-1342.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p733
sara: try reading problem file stateEquationProblem-ConstantPlace-1728.sara.
lola: reporting
lola: not produced: 340
lola: state equation: 311
lola: find path: 1254
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 338
lola: state equation: 313
lola: find path: 1254
lola: goal oriented search: 551
lola: symmetry: 129
lola: STATE EQUATION TRIES PLACE p1561
sara: try reading problem file stateEquationProblem-ConstantPlace-2056.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p884
sara: try reading problem file stateEquationProblem-ConstantPlace-1979.sara.
lola: reporting
lola: not produced: 336
lola: state equation: 315
lola: find path: 1254
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1335
sara: try reading problem file stateEquationProblem-ConstantPlace-1630.sara.
lola: reporting
lola: not produced: 334
lola: state equation: 317
lola: find path: 1254
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1534
sara: try reading problem file stateEquationProblem-ConstantPlace-2029.sara.
lola: reporting
lola: not produced: 332
lola: state equation: 319
lola: find path: 1254
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2070
sara: try reading problem file stateEquationProblem-ConstantPlace-180.sara.
lola: reporting
lola: not produced: 330
lola: state equation: 321
lola: find path: 1254
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1154
sara: try reading problem file stateEquationProblem-ConstantPlace-1150.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 329
lola: state equation: 322
lola: find path: 1254
lola: goal oriented search: 551
lola: symmetry: 129

lola: STATE EQUATION TRIES PLACE p1157
sara: try reading problem file stateEquationProblem-ConstantPlace-1156.sara.
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: 322
lola: state equation: 324
lola: find path: 1259
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p678
sara: try reading problem file stateEquationProblem-ConstantPlace-1573.sara.
lola: reporting
lola: not produced: 320
lola: state equation: 326
lola: find path: 1259
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1202
sara: try reading problem file stateEquationProblem-ConstantPlace-1346.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 p1017
sara: try reading problem file stateEquationProblem-ConstantPlace-776.sara.
lola: reporting
lola: not produced: 309
lola: state equation: 329
lola: find path: 1267
lola: goal oriented search: 551
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 306
lola: state equation: 331
lola: find path: 1267
lola: goal oriented search: 551
lola: symmetry: 130
lola: STATE EQUATION TRIES PLACE p2126
sara: try reading problem file stateEquationProblem-ConstantPlace-336.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 p1731
sara: try reading problem file stateEquationProblem-ConstantPlace-2416.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2449
sara: try reading problem file stateEquationProblem-ConstantPlace-1077.sara.
lola: reporting
lola: not produced: 302
lola: state equation: 335
lola: find path: 1267
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2060
sara: try reading problem file stateEquationProblem-ConstantPlace-170.sara.
lola: reporting
lola: not produced: 298
lola: state equation: 339
lola: find path: 1267
lola: goal oriented search: 551
lola: symmetry: 130
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 p737
sara: try reading problem file stateEquationProblem-ConstantPlace-1732.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: STATE EQUATION TRIES PLACE p2398
sara: try reading problem file stateEquationProblem-ConstantPlace-875.sara.
lola: reporting
lola: not produced: 294
lola: state equation: 343
lola: find path: 1267
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p684
lola: reporting
lola: not produced: 290
lola: state equation: 347
lola: find path: 1267
lola: goal oriented search: 551
lola: symmetry: 130
sara: try reading problem file stateEquationProblem-ConstantPlace-1579.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 p1554
sara: try reading problem file stateEquationProblem-ConstantPlace-2049.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 288
lola: state equation: 349
lola: find path: 1267
lola: goal oriented search: 551
lola: symmetry: 130

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 p2094
sara: try reading problem file stateEquationProblem-ConstantPlace-204.sara.
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: 285
lola: state equation: 352
lola: find path: 1267
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2404
sara: try reading problem file stateEquationProblem-ConstantPlace-1004.sara.
lola: reporting
lola: not produced: 283
lola: state equation: 354
lola: find path: 1267
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2520
sara: try reading problem file stateEquationProblem-ConstantPlace-1330.sara.
lola: reporting
lola: not produced: 281
lola: state equation: 356
lola: find path: 1267
lola: goal oriented search: 551
lola: symmetry: 130
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: reporting
lola: not produced: 279
lola: state equation: 357
lola: find path: 1268
lola: goal oriented search: 551
lola: symmetry: 130
lola: STATE EQUATION TRIES PLACE p2483
sara: try reading problem file stateEquationProblem-ConstantPlace-1145.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2435
sara: try reading problem file stateEquationProblem-ConstantPlace-1049.sara.
lola: reporting
lola: not produced: 277
lola: state equation: 359
lola: find path: 1268
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1843
sara: try reading problem file stateEquationProblem-ConstantPlace-2528.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: 274
lola: state equation: 362
lola: find path: 1268
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2210
sara: try reading problem file stateEquationProblem-ConstantPlace-520.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 267
lola: state equation: 363
lola: find path: 1274
lola: goal oriented search: 551
lola: symmetry: 130

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 p1880
sara: try reading problem file stateEquationProblem-ConstantPlace-2565.sara.
lola: reporting
lola: not produced: 255
lola: state equation: 365
lola: find path: 1284
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2058
sara: try reading problem file stateEquationProblem-ConstantPlace-168.sara.
lola: reporting
lola: not produced: 253
lola: state equation: 367
lola: find path: 1284
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p673
sara: try reading problem file stateEquationProblem-ConstantPlace-1568.sara.
lola: reporting
lola: not produced: 251
lola: state equation: 369
lola: find path: 1284
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2006
sara: try reading problem file stateEquationProblem-ConstantPlace-116.sara.
lola: reporting
lola: not produced: 248
lola: state equation: 371
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
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: reporting
lola: not produced: 247
lola: state equation: 372
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
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 p1972
sara: try reading problem file stateEquationProblem-ConstantPlace-72.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 245
lola: state equation: 374
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130

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 p2123
sara: try reading problem file stateEquationProblem-ConstantPlace-333.sara.
lola: reporting
lola: not produced: 243
lola: state equation: 376
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2416
sara: try reading problem file stateEquationProblem-ConstantPlace-1026.sara.
lola: reporting
lola: not produced: 241
lola: state equation: 378
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1059
sara: try reading problem file stateEquationProblem-ConstantPlace-859.sara.
lola: reporting
lola: not produced: 239
lola: state equation: 380
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p739
sara: try reading problem file stateEquationProblem-ConstantPlace-1734.sara.
lola: reporting
lola: not produced: 237
lola: state equation: 382
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
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 p2221
lola: reporting
lola: not produced: 235
lola: state equation: 384
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
sara: try reading problem file stateEquationProblem-ConstantPlace-531.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1813
sara: try reading problem file stateEquationProblem-ConstantPlace-2498.sara.
lola: reporting
lola: not produced: 233
lola: state equation: 386
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 232
lola: state equation: 387
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
lola: STATE EQUATION TRIES PLACE p1725
sara: try reading problem file stateEquationProblem-ConstantPlace-2410.sara.
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: reporting
lola: not produced: 230
lola: state equation: 389
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130

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 p1061
sara: try reading problem file stateEquationProblem-ConstantPlace-864.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2018
sara: try reading problem file stateEquationProblem-ConstantPlace-128.sara.
lola: reporting
lola: not produced: 226
lola: state equation: 393
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
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 p661
sara: try reading problem file stateEquationProblem-ConstantPlace-1556.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2532
sara: try reading problem file stateEquationProblem-ConstantPlace-1343.sara.
lola: reporting
lola: not produced: 222
lola: state equation: 397
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p663
sara: try reading problem file stateEquationProblem-ConstantPlace-1558.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 p2479
sara: try reading problem file stateEquationProblem-ConstantPlace-1137.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 219
lola: state equation: 400
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130

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

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

lola: STATE EQUATION TRIES PLACE p1871
sara: try reading problem file stateEquationProblem-ConstantPlace-2556.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: 215
lola: state equation: 404
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2206
sara: try reading problem file stateEquationProblem-ConstantPlace-506.sara.
lola: reporting
lola: not produced: 211
lola: state equation: 408
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
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 p2466
sara: try reading problem file stateEquationProblem-ConstantPlace-1111.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2364
sara: try reading problem file stateEquationProblem-ConstantPlace-807.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 208
lola: state equation: 411
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130

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 p1793
sara: try reading problem file stateEquationProblem-ConstantPlace-2478.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2468
sara: try reading problem file stateEquationProblem-ConstantPlace-1115.sara.
lola: reporting
lola: not produced: 205
lola: state equation: 414
lola: find path: 1285
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1836
sara: try reading problem file stateEquationProblem-ConstantPlace-2521.sara.
lola: reporting
lola: not produced: 200
lola: state equation: 416
lola: find path: 1288
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2017
sara: try reading problem file stateEquationProblem-ConstantPlace-127.sara.
lola: reporting
lola: not produced: 198
lola: state equation: 418
lola: find path: 1288
lola: goal oriented search: 551
lola: symmetry: 130
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 p2531
sara: try reading problem file stateEquationProblem-ConstantPlace-1341.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: 195
lola: state equation: 421
lola: find path: 1288
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2225
sara: try reading problem file stateEquationProblem-ConstantPlace-535.sara.
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: 191
lola: state equation: 425
lola: find path: 1288
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p747
sara: try reading problem file stateEquationProblem-ConstantPlace-1742.sara.
lola: reporting
lola: not produced: 188
lola: state equation: 428
lola: find path: 1288
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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 p1771
sara: try reading problem file stateEquationProblem-ConstantPlace-2456.sara.
lola: reporting
lola: not produced: 186
lola: state equation: 430
lola: find path: 1288
lola: goal oriented search: 551
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 p2056
sara: try reading problem file stateEquationProblem-ConstantPlace-166.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2191
sara: try reading problem file stateEquationProblem-ConstantPlace-401.sara.
lola: reporting
lola: not produced: 182
lola: state equation: 433
lola: find path: 1289
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2369
sara: try reading problem file stateEquationProblem-ConstantPlace-817.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: 180
lola: state equation: 435
lola: find path: 1289
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2392
sara: try reading problem file stateEquationProblem-ConstantPlace-863.sara.
lola: reporting
lola: not produced: 178
lola: state equation: 437
lola: find path: 1289
lola: goal oriented search: 551
lola: symmetry: 130
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 p2072
sara: try reading problem file stateEquationProblem-ConstantPlace-182.sara.
lola: reporting
lola: not produced: 176
lola: state equation: 439
lola: find path: 1289
lola: goal oriented search: 551
lola: symmetry: 130
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 p1341
lola: reporting
lola: not produced: 174
lola: state equation: 441
lola: find path: 1289
lola: goal oriented search: 551
lola: symmetry: 130
sara: try reading problem file stateEquationProblem-ConstantPlace-1636.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: reporting
lola: not produced: 173
lola: state equation: 442
lola: find path: 1289
lola: goal oriented search: 551
lola: symmetry: 130

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

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

lola: STATE EQUATION TRIES PLACE p2471
sara: try reading problem file stateEquationProblem-ConstantPlace-1121.sara.
lola: reporting
lola: not produced: 170
lola: state equation: 445
lola: find path: 1289
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2259
sara: try reading problem file stateEquationProblem-ConstantPlace-569.sara.
lola: reporting
lola: not produced: 164
lola: state equation: 447
lola: find path: 1293
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p870
sara: try reading problem file stateEquationProblem-ConstantPlace-1965.sara.
lola: reporting
lola: not produced: 162
lola: state equation: 449
lola: find path: 1293
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p664
sara: try reading problem file stateEquationProblem-ConstantPlace-1559.sara.
lola: reporting
lola: not produced: 160
lola: state equation: 451
lola: find path: 1293
lola: goal oriented search: 551
lola: symmetry: 130
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 p1973
lola: reporting
lola: not produced: 158
lola: state equation: 453
lola: find path: 1293
lola: goal oriented search: 551
lola: symmetry: 130
sara: try reading problem file stateEquationProblem-ConstantPlace-73.sara.
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: reporting
lola: not produced: 155
lola: state equation: 454
lola: find path: 1295
lola: goal oriented search: 551
lola: symmetry: 130
lola: STATE EQUATION TRIES PLACE p2079
sara: try reading problem file stateEquationProblem-ConstantPlace-189.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2535
sara: try reading problem file stateEquationProblem-ConstantPlace-1349.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 153
lola: state equation: 456
lola: find path: 1295
lola: goal oriented search: 551
lola: symmetry: 130

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

lola: STATE EQUATION TRIES PLACE p1792
sara: try reading problem file stateEquationProblem-ConstantPlace-2477.sara.
lola: reporting
lola: not produced: 151
lola: state equation: 458
lola: find path: 1295
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 149
lola: state equation: 460
lola: find path: 1295
lola: goal oriented search: 551
lola: symmetry: 130
lola: STATE EQUATION TRIES PLACE p1144
sara: try reading problem file stateEquationProblem-ConstantPlace-1130.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p873
sara: try reading problem file stateEquationProblem-ConstantPlace-1968.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 147
lola: state equation: 462
lola: find path: 1295
lola: goal oriented search: 551
lola: symmetry: 130

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

lola: STATE EQUATION TRIES PLACE p872
sara: try reading problem file stateEquationProblem-ConstantPlace-1967.sara.
lola: reporting
lola: not produced: 145
lola: state equation: 464
lola: find path: 1295
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2005
sara: try reading problem file stateEquationProblem-ConstantPlace-115.sara.
lola: reporting
lola: not produced: 143
lola: state equation: 466
lola: find path: 1295
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1214
sara: try reading problem file stateEquationProblem-ConstantPlace-1370.sara.
lola: reporting
lola: not produced: 139
lola: state equation: 468
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1828
sara: try reading problem file stateEquationProblem-ConstantPlace-2513.sara.
lola: reporting
lola: not produced: 137
lola: state equation: 470
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
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 p1819
sara: try reading problem file stateEquationProblem-ConstantPlace-2504.sara.
lola: reporting
lola: not produced: 135
lola: state equation: 472
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
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 p1398
sara: try reading problem file stateEquationProblem-ConstantPlace-1693.sara.
lola: reporting
lola: not produced: 133
lola: state equation: 474
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p670
sara: try reading problem file stateEquationProblem-ConstantPlace-1565.sara.
lola: reporting
lola: not produced: 132
lola: state equation: 475
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2473
sara: try reading problem file stateEquationProblem-ConstantPlace-1125.sara.
lola: reporting
lola: not produced: 131
lola: state equation: 476
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 130
lola: state equation: 477
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
lola: STATE EQUATION TRIES PLACE p2385
sara: try reading problem file stateEquationProblem-ConstantPlace-849.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2073
sara: try reading problem file stateEquationProblem-ConstantPlace-183.sara.
lola: reporting
lola: not produced: 128
lola: state equation: 479
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1203
sara: try reading problem file stateEquationProblem-ConstantPlace-1348.sara.
lola: reporting
lola: not produced: 126
lola: state equation: 481
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2226
lola: reporting
lola: not produced: 124
lola: state equation: 483
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: try reading problem file stateEquationProblem-ConstantPlace-536.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 p2482
sara: try reading problem file stateEquationProblem-ConstantPlace-1143.sara.
lola: reporting
lola: not produced: 122
lola: state equation: 485
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 121
lola: state equation: 486
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
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 p2455
sara: try reading problem file stateEquationProblem-ConstantPlace-1089.sara.
lola: reporting
lola: not produced: 119
lola: state equation: 488
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1994
sara: try reading problem file stateEquationProblem-ConstantPlace-94.sara.
lola: reporting
lola: not produced: 117
lola: state equation: 490
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2388
sara: try reading problem file stateEquationProblem-ConstantPlace-855.sara.
lola: reporting
lola: not produced: 116
lola: state equation: 491
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2505
sara: try reading problem file stateEquationProblem-ConstantPlace-1305.sara.
lola: reporting
lola: not produced: 115
lola: state equation: 492
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1863
sara: try reading problem file stateEquationProblem-ConstantPlace-2548.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: 113
lola: state equation: 494
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
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 p2434
sara: try reading problem file stateEquationProblem-ConstantPlace-1047.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p646
sara: try reading problem file stateEquationProblem-ConstantPlace-1541.sara.
lola: reporting
lola: not produced: 109
lola: state equation: 498
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 106
lola: state equation: 501
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
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 p1789
sara: try reading problem file stateEquationProblem-ConstantPlace-2474.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1527
sara: try reading problem file stateEquationProblem-ConstantPlace-2022.sara.
lola: reporting
lola: not produced: 102
lola: state equation: 505
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1754
sara: try reading problem file stateEquationProblem-ConstantPlace-2439.sara.
lola: reporting
lola: not produced: 99
lola: state equation: 508
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

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 p1672
sara: try reading problem file stateEquationProblem-ConstantPlace-2357.sara.
lola: reporting
lola: not produced: 96
lola: state equation: 511
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 130
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 p1153
sara: try reading problem file stateEquationProblem-ConstantPlace-1148.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 92
lola: state equation: 514
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 131
lola: STATE EQUATION TRIES PLACE p2336
sara: try reading problem file stateEquationProblem-ConstantPlace-751.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 91
lola: state equation: 515
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 131

lola: STATE EQUATION TRIES PLACE p1733
sara: try reading problem file stateEquationProblem-ConstantPlace-2418.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 90
lola: state equation: 516
lola: find path: 1297
lola: goal oriented search: 551
lola: symmetry: 131

lola: STATE EQUATION TRIES PLACE p2066
sara: try reading problem file stateEquationProblem-ConstantPlace-176.sara.
lola: reporting
lola: not produced: 87
lola: state equation: 517
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2088
sara: try reading problem file stateEquationProblem-ConstantPlace-198.sara.
lola: reporting
lola: not produced: 86
lola: state equation: 518
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2076
sara: try reading problem file stateEquationProblem-ConstantPlace-186.sara.
lola: reporting
lola: not produced: 84
lola: state equation: 520
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
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: 83
lola: state equation: 521
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
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: 82
lola: state equation: 522
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1041
sara: try reading problem file stateEquationProblem-ConstantPlace-824.sara.
lola: reporting
lola: not produced: 81
lola: state equation: 523
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2417
sara: try reading problem file stateEquationProblem-ConstantPlace-1027.sara.
lola: reporting
lola: not produced: 80
lola: state equation: 524
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1397
sara: try reading problem file stateEquationProblem-ConstantPlace-1692.sara.
lola: reporting
lola: not produced: 79
lola: state equation: 525
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2488
sara: try reading problem file stateEquationProblem-ConstantPlace-1155.sara.
lola: reporting
lola: not produced: 78
lola: state equation: 526
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2384
sara: try reading problem file stateEquationProblem-ConstantPlace-847.sara.
lola: reporting
lola: not produced: 77
lola: state equation: 527
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2386
lola: reporting
lola: not produced: 76
lola: state equation: 528
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: try reading problem file stateEquationProblem-ConstantPlace-851.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 76
lola: state equation: 528
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
lola: STATE EQUATION TRIES PLACE p2516
sara: try reading problem file stateEquationProblem-ConstantPlace-1326.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 75
lola: state equation: 529
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
lola: STATE EQUATION TRIES PLACE p2019
sara: try reading problem file stateEquationProblem-ConstantPlace-129.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 74
lola: state equation: 530
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131

lola: STATE EQUATION TRIES PLACE p2192
sara: try reading problem file stateEquationProblem-ConstantPlace-402.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 73
lola: state equation: 531
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131

lola: STATE EQUATION TRIES PLACE p1461
sara: try reading problem file stateEquationProblem-ConstantPlace-1856.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 72
lola: state equation: 532
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131

lola: STATE EQUATION TRIES PLACE p1542
sara: try reading problem file stateEquationProblem-ConstantPlace-2037.sara.
lola: reporting
lola: not produced: 71
lola: state equation: 533
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2201
sara: try reading problem file stateEquationProblem-ConstantPlace-501.sara.
lola: reporting
lola: not produced: 70
lola: state equation: 534
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2524
sara: try reading problem file stateEquationProblem-ConstantPlace-1334.sara.
lola: reporting
lola: not produced: 69
lola: state equation: 535
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1058
sara: try reading problem file stateEquationProblem-ConstantPlace-858.sara.
lola: reporting
lola: not produced: 68
lola: state equation: 536
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1394
sara: try reading problem file stateEquationProblem-ConstantPlace-1689.sara.
lola: reporting
lola: not produced: 66
lola: state equation: 538
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2523
sara: try reading problem file stateEquationProblem-ConstantPlace-1333.sara.
lola: reporting
lola: not produced: 65
lola: state equation: 539
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
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 p2062
sara: try reading problem file stateEquationProblem-ConstantPlace-172.sara.
lola: reporting
lola: not produced: 63
lola: state equation: 541
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 62
lola: state equation: 542
lola: find path: 1299
lola: goal oriented search: 551
lola: symmetry: 131
lola: STATE EQUATION TRIES PLACE p1063
sara: try reading problem file stateEquationProblem-ConstantPlace-868.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 59
lola: state equation: 544
lola: find path: 1300
lola: goal oriented search: 551
lola: symmetry: 131
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 p1219
sara: try reading problem file stateEquationProblem-ConstantPlace-1379.sara.
lola: reporting
lola: not produced: 57
lola: state equation: 546
lola: find path: 1300
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1535
sara: try reading problem file stateEquationProblem-ConstantPlace-2030.sara.
lola: reporting
lola: not produced: 56
lola: state equation: 547
lola: find path: 1300
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p878
sara: try reading problem file stateEquationProblem-ConstantPlace-1973.sara.
lola: reporting
lola: not produced: 55
lola: state equation: 548
lola: find path: 1300
lola: goal oriented search: 551
lola: symmetry: 131
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 p2204
sara: try reading problem file stateEquationProblem-ConstantPlace-504.sara.
lola: reporting
lola: not produced: 53
lola: state equation: 550
lola: find path: 1300
lola: goal oriented search: 551
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1220
sara: try reading problem file stateEquationProblem-ConstantPlace-1382.sara.
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-302"
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-302, 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-162038304200303"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-302.tgz
mv CloudReconfiguration-PT-302 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;