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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 139K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 101K 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.6K Mar 28 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K 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.5K Mar 22 12:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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 1620655082326

starting LoLA
BK_INPUT CloudReconfiguration-PT-312
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 1620656311703

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

lola: STATE EQUATION TRIES PLACE p2068
sara: try reading problem file stateEquationProblem-ConstantPlace-178.sara.
lola: reporting
lola: not produced: 1401
lola: state equation: 2
lola: find path: 610
lola: goal oriented search: 520
lola: symmetry: 52
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p883
sara: try reading problem file stateEquationProblem-ConstantPlace-1978.sara.
lola: reporting
lola: not produced: 1310
lola: state equation: 5
lola: find path: 687
lola: goal oriented search: 520
lola: symmetry: 63
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p267
sara: try reading problem file stateEquationProblem-ConstantPlace-477.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1284
lola: state equation: 6
lola: find path: 708
lola: goal oriented search: 520
lola: symmetry: 67

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

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

lola: STATE EQUATION TRIES PLACE p680
lola: reporting
lola: not produced: 1219
lola: state equation: 9
lola: find path: 768
lola: goal oriented search: 520
lola: symmetry: 69
sara: try reading problem file stateEquationProblem-ConstantPlace-1575.sara.
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 p1276
sara: try reading problem file stateEquationProblem-ConstantPlace-1471.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2065
sara: try reading problem file stateEquationProblem-ConstantPlace-175.sara.
lola: reporting
lola: not produced: 1176
lola: state equation: 12
lola: find path: 804
lola: goal oriented search: 520
lola: symmetry: 73
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 p1490
sara: try reading problem file stateEquationProblem-ConstantPlace-1885.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1598
sara: try reading problem file stateEquationProblem-ConstantPlace-2093.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1154
lola: state equation: 15
lola: find path: 823
lola: goal oriented search: 520
lola: symmetry: 73

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

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

lola: STATE EQUATION TRIES PLACE p754
sara: try reading problem file stateEquationProblem-ConstantPlace-1749.sara.
lola: reporting
lola: not produced: 1132
lola: state equation: 18
lola: find path: 840
lola: goal oriented search: 520
lola: symmetry: 75
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1407
sara: try reading problem file stateEquationProblem-ConstantPlace-1802.sara.
lola: reporting
lola: not produced: 1094
lola: state equation: 21
lola: find path: 872
lola: goal oriented search: 520
lola: symmetry: 78
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1758
sara: try reading problem file stateEquationProblem-ConstantPlace-2443.sara.
lola: reporting
lola: not produced: 1087
lola: state equation: 24
lola: find path: 876
lola: goal oriented search: 520
lola: symmetry: 78
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p287
sara: try reading problem file stateEquationProblem-ConstantPlace-497.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1072
lola: state equation: 25
lola: find path: 890
lola: goal oriented search: 520
lola: symmetry: 78

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

lola: STATE EQUATION TRIES PLACE p1607
sara: try reading problem file stateEquationProblem-ConstantPlace-2272.sara.
lola: reporting
lola: not produced: 1056
lola: state equation: 27
lola: find path: 901
lola: goal oriented search: 520
lola: symmetry: 81
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p213
sara: try reading problem file stateEquationProblem-ConstantPlace-423.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1050
lola: state equation: 29
lola: find path: 905
lola: goal oriented search: 520
lola: symmetry: 81

lola: STATE EQUATION TRIES PLACE p110
sara: try reading problem file stateEquationProblem-ConstantPlace-220.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1031
lola: state equation: 30
lola: find path: 923
lola: goal oriented search: 520
lola: symmetry: 81

lola: STATE EQUATION TRIES PLACE p320
sara: try reading problem file stateEquationProblem-ConstantPlace-630.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1017
lola: state equation: 31
lola: find path: 932
lola: goal oriented search: 520
lola: symmetry: 85
lola: reporting
lola: not produced: 1008
lola: state equation: 31
lola: find path: 939
lola: goal oriented search: 520
lola: symmetry: 87

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 p1594
sara: try reading problem file stateEquationProblem-ConstantPlace-2089.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 988
lola: state equation: 33
lola: find path: 956
lola: goal oriented search: 520
lola: symmetry: 88

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

lola: STATE EQUATION TRIES PLACE p1722
sara: try reading problem file stateEquationProblem-ConstantPlace-2407.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 979
lola: state equation: 35
lola: find path: 963
lola: goal oriented search: 520
lola: symmetry: 88

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 p2475
sara: try reading problem file stateEquationProblem-ConstantPlace-1129.sara.
lola: reporting
lola: not produced: 964
lola: state equation: 37
lola: find path: 971
lola: goal oriented search: 520
lola: symmetry: 93
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1179
sara: try reading problem file stateEquationProblem-ConstantPlace-1189.sara.
lola: reporting
lola: not produced: 941
lola: state equation: 39
lola: find path: 992
lola: goal oriented search: 520
lola: symmetry: 93
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p274
sara: try reading problem file stateEquationProblem-ConstantPlace-484.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 909
lola: state equation: 40
lola: find path: 1010
lola: goal oriented search: 520
lola: symmetry: 106

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 p2411
sara: try reading problem file stateEquationProblem-ConstantPlace-1021.sara.
lola: reporting
lola: not produced: 898
lola: state equation: 42
lola: find path: 1019
lola: goal oriented search: 520
lola: symmetry: 106
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 p768
sara: try reading problem file stateEquationProblem-ConstantPlace-1763.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2385
sara: try reading problem file stateEquationProblem-ConstantPlace-849.sara.
lola: reporting
lola: not produced: 872
lola: state equation: 45
lola: find path: 1040
lola: goal oriented search: 520
lola: symmetry: 108
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p307
sara: try reading problem file stateEquationProblem-ConstantPlace-617.sara.
lola: reporting
lola: not produced: 869
lola: state equation: 47
lola: find path: 1041
lola: goal oriented search: 520
lola: symmetry: 108
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 867
lola: state equation: 47
lola: find path: 1043
lola: goal oriented search: 520
lola: symmetry: 108

lola: STATE EQUATION TRIES PLACE p898
sara: try reading problem file stateEquationProblem-ConstantPlace-1993.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 866
lola: state equation: 48
lola: find path: 1043
lola: goal oriented search: 520
lola: symmetry: 108

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 p2017
sara: try reading problem file stateEquationProblem-ConstantPlace-127.sara.
lola: reporting
lola: not produced: 863
lola: state equation: 50
lola: find path: 1044
lola: goal oriented search: 520
lola: symmetry: 108
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1875
sara: try reading problem file stateEquationProblem-ConstantPlace-2560.sara.
lola: reporting
lola: not produced: 858
lola: state equation: 52
lola: find path: 1047
lola: goal oriented search: 520
lola: symmetry: 108
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 p740
sara: try reading problem file stateEquationProblem-ConstantPlace-1735.sara.
lola: reporting
lola: not produced: 855
lola: state equation: 54
lola: find path: 1048
lola: goal oriented search: 520
lola: symmetry: 108
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1175
lola: reporting
lola: not produced: 845
lola: state equation: 57
lola: find path: 1055
lola: goal oriented search: 520
lola: symmetry: 108
sara: try reading problem file stateEquationProblem-ConstantPlace-1185.sara.
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 p2457
sara: try reading problem file stateEquationProblem-ConstantPlace-1093.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p666
sara: try reading problem file stateEquationProblem-ConstantPlace-1561.sara.
lola: reporting
lola: not produced: 841
lola: state equation: 60
lola: find path: 1056
lola: goal oriented search: 520
lola: symmetry: 108
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: 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 p873
lola: reporting
lola: not produced: 833
lola: state equation: 63
lola: find path: 1060
lola: goal oriented search: 520
lola: symmetry: 109
sara: try reading problem file stateEquationProblem-ConstantPlace-1968.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 830
lola: state equation: 64
lola: find path: 1062
lola: goal oriented search: 520
lola: symmetry: 109
lola: STATE EQUATION TRIES PLACE p1866
sara: try reading problem file stateEquationProblem-ConstantPlace-2551.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2451
sara: try reading problem file stateEquationProblem-ConstantPlace-1081.sara.
lola: reporting
lola: not produced: 797
lola: state equation: 66
lola: find path: 1092
lola: goal oriented search: 520
lola: symmetry: 110
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 p1041
sara: try reading problem file stateEquationProblem-ConstantPlace-824.sara.
lola: reporting
lola: not produced: 792
lola: state equation: 68
lola: find path: 1094
lola: goal oriented search: 520
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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 p764
sara: try reading problem file stateEquationProblem-ConstantPlace-1759.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 787
lola: state equation: 70
lola: find path: 1097
lola: goal oriented search: 520
lola: symmetry: 111

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

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

lola: STATE EQUATION TRIES PLACE p689
sara: try reading problem file stateEquationProblem-ConstantPlace-1584.sara.
lola: reporting
lola: not produced: 784
lola: state equation: 73
lola: find path: 1097
lola: goal oriented search: 520
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2006
sara: try reading problem file stateEquationProblem-ConstantPlace-116.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 781
lola: state equation: 76
lola: find path: 1097
lola: goal oriented search: 520
lola: symmetry: 111

lola: STATE EQUATION TRIES PLACE p693
sara: try reading problem file stateEquationProblem-ConstantPlace-1588.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 p2014
sara: try reading problem file stateEquationProblem-ConstantPlace-124.sara.
lola: reporting
lola: not produced: 776
lola: state equation: 79
lola: find path: 1099
lola: goal oriented search: 520
lola: symmetry: 111
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 p315
lola: reporting
lola: not produced: 757
lola: state equation: 81
lola: find path: 1110
lola: goal oriented search: 520
lola: symmetry: 117
sara: try reading problem file stateEquationProblem-ConstantPlace-625.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 756
lola: state equation: 81
lola: find path: 1111
lola: goal oriented search: 520
lola: symmetry: 117
lola: reporting
lola: not produced: 750
lola: state equation: 81
lola: find path: 1114
lola: goal oriented search: 520
lola: symmetry: 120

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

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

lola: STATE EQUATION TRIES PLACE p2487
lola: reporting
lola: not produced: 747
lola: state equation: 84
lola: find path: 1114
lola: goal oriented search: 520
lola: symmetry: 120
sara: try reading problem file stateEquationProblem-ConstantPlace-1153.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2424
sara: try reading problem file stateEquationProblem-ConstantPlace-1034.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 735
lola: state equation: 85
lola: find path: 1120
lola: goal oriented search: 520
lola: symmetry: 125

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

lola: STATE EQUATION TRIES PLACE p2223
sara: try reading problem file stateEquationProblem-ConstantPlace-533.sara.
lola: reporting
lola: not produced: 731
lola: state equation: 88
lola: find path: 1120
lola: goal oriented search: 520
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2080
sara: try reading problem file stateEquationProblem-ConstantPlace-190.sara.
lola: reporting
lola: not produced: 724
lola: state equation: 90
lola: find path: 1125
lola: goal oriented search: 520
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1982
sara: try reading problem file stateEquationProblem-ConstantPlace-82.sara.
lola: reporting
lola: not produced: 704
lola: state equation: 92
lola: find path: 1143
lola: goal oriented search: 520
lola: symmetry: 126
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 p1350
sara: try reading problem file stateEquationProblem-ConstantPlace-1645.sara.
lola: reporting
lola: not produced: 701
lola: state equation: 94
lola: find path: 1144
lola: goal oriented search: 520
lola: symmetry: 126
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 p1161
sara: try reading problem file stateEquationProblem-ConstantPlace-1164.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p885
sara: try reading problem file stateEquationProblem-ConstantPlace-1980.sara.
lola: reporting
lola: not produced: 697
lola: state equation: 97
lola: find path: 1145
lola: goal oriented search: 520
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p646
sara: try reading problem file stateEquationProblem-ConstantPlace-1541.sara.
lola: reporting
lola: not produced: 687
lola: state equation: 101
lola: find path: 1151
lola: goal oriented search: 520
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p266
sara: try reading problem file stateEquationProblem-ConstantPlace-476.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 680
lola: state equation: 104
lola: find path: 1155
lola: goal oriented search: 520
lola: symmetry: 126

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 p1355
sara: try reading problem file stateEquationProblem-ConstantPlace-1650.sara.
lola: reporting
lola: not produced: 661
lola: state equation: 106
lola: find path: 1167
lola: goal oriented search: 520
lola: symmetry: 131
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 p1345
sara: try reading problem file stateEquationProblem-ConstantPlace-1640.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 658
lola: state equation: 109
lola: find path: 1167
lola: goal oriented search: 520
lola: symmetry: 131
lola: STATE EQUATION TRIES PLACE p2060
sara: try reading problem file stateEquationProblem-ConstantPlace-170.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1399
sara: try reading problem file stateEquationProblem-ConstantPlace-1694.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 p2077
sara: try reading problem file stateEquationProblem-ConstantPlace-187.sara.
lola: reporting
lola: not produced: 652
lola: state equation: 113
lola: find path: 1169
lola: goal oriented search: 520
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

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

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

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 p2191
sara: try reading problem file stateEquationProblem-ConstantPlace-401.sara.
lola: reporting
lola: not produced: 627
lola: state equation: 117
lola: find path: 1189
lola: goal oriented search: 520
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2529
sara: try reading problem file stateEquationProblem-ConstantPlace-1339.sara.
lola: reporting
lola: not produced: 622
lola: state equation: 120
lola: find path: 1190
lola: goal oriented search: 520
lola: symmetry: 133
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 p1847
sara: try reading problem file stateEquationProblem-ConstantPlace-2532.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: reporting
lola: not produced: 603
lola: state equation: 123
lola: find path: 1203
lola: goal oriented search: 520
lola: symmetry: 136

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

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

lola: STATE EQUATION TRIES PLACE p1882
sara: try reading problem file stateEquationProblem-ConstantPlace-2567.sara.
lola: reporting
lola: not produced: 600
lola: state equation: 126
lola: find path: 1203
lola: goal oriented search: 520
lola: symmetry: 136
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: reporting
lola: not produced: 599
lola: state equation: 127
lola: find path: 1203
lola: goal oriented search: 520
lola: symmetry: 136
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 p901
sara: try reading problem file stateEquationProblem-ConstantPlace-2096.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: 579
lola: state equation: 130
lola: find path: 1214
lola: goal oriented search: 520
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p692
lola: reporting
lola: not produced: 576
lola: state equation: 132
lola: find path: 1215
lola: goal oriented search: 520
lola: symmetry: 142
sara: try reading problem file stateEquationProblem-ConstantPlace-1587.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1206
sara: try reading problem file stateEquationProblem-ConstantPlace-1354.sara.
lola: reporting
lola: not produced: 575
lola: state equation: 133
lola: find path: 1215
lola: goal oriented search: 520
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p662
sara: try reading problem file stateEquationProblem-ConstantPlace-1557.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 574
lola: state equation: 134
lola: find path: 1215
lola: goal oriented search: 520
lola: symmetry: 142

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

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

lola: reporting
lola: not produced: 571
lola: state equation: 136
lola: find path: 1216
lola: goal oriented search: 520
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p2210
sara: try reading problem file stateEquationProblem-ConstantPlace-520.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1009
sara: try reading problem file stateEquationProblem-ConstantPlace-759.sara.
lola: reporting
lola: not produced: 568
lola: state equation: 139
lola: find path: 1216
lola: goal oriented search: 520
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p276
sara: try reading problem file stateEquationProblem-ConstantPlace-486.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 566
lola: state equation: 140
lola: find path: 1216
lola: goal oriented search: 520
lola: symmetry: 143

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

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

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

lola: STATE EQUATION TRIES PLACE p1351
sara: try reading problem file stateEquationProblem-ConstantPlace-1646.sara.
lola: reporting
lola: not produced: 562
lola: state equation: 144
lola: find path: 1216
lola: goal oriented search: 520
lola: symmetry: 143
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: 559
lola: state equation: 145
lola: find path: 1216
lola: goal oriented search: 520
lola: symmetry: 145

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

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

lola: STATE EQUATION TRIES PLACE p687
sara: try reading problem file stateEquationProblem-ConstantPlace-1582.sara.
lola: reporting
lola: not produced: 553
lola: state equation: 148
lola: find path: 1219
lola: goal oriented search: 520
lola: symmetry: 145
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 p1664
sara: try reading problem file stateEquationProblem-ConstantPlace-2349.sara.
lola: reporting
lola: not produced: 551
lola: state equation: 150
lola: find path: 1219
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1406
sara: try reading problem file stateEquationProblem-ConstantPlace-1801.sara.
lola: reporting
lola: not produced: 548
lola: state equation: 152
lola: find path: 1220
lola: goal oriented search: 520
lola: symmetry: 145
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 p2520
sara: try reading problem file stateEquationProblem-ConstantPlace-1330.sara.
lola: reporting
lola: not produced: 545
lola: state equation: 154
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
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: reporting
lola: not produced: 544
lola: state equation: 155
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
lola: STATE EQUATION TRIES PLACE p1813
sara: try reading problem file stateEquationProblem-ConstantPlace-2498.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1548
sara: try reading problem file stateEquationProblem-ConstantPlace-2043.sara.
lola: reporting
lola: not produced: 542
lola: state equation: 157
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2064
sara: try reading problem file stateEquationProblem-ConstantPlace-174.sara.
lola: reporting
lola: not produced: 540
lola: state equation: 159
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 539
lola: state equation: 160
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
lola: STATE EQUATION TRIES PLACE p1077
sara: try reading problem file stateEquationProblem-ConstantPlace-887.sara.
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: reporting
lola: not produced: 537
lola: state equation: 162
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145

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

lola: STATE EQUATION TRIES PLACE p1427
sara: try reading problem file stateEquationProblem-ConstantPlace-1822.sara.
lola: reporting
lola: not produced: 535
lola: state equation: 164
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1202
sara: try reading problem file stateEquationProblem-ConstantPlace-1346.sara.
lola: reporting
lola: not produced: 533
lola: state equation: 166
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1870
sara: try reading problem file stateEquationProblem-ConstantPlace-2555.sara.
lola: reporting
lola: not produced: 530
lola: state equation: 169
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
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 p1131
sara: try reading problem file stateEquationProblem-ConstantPlace-1104.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: 527
lola: state equation: 172
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 525
lola: state equation: 174
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
lola: STATE EQUATION TRIES PLACE p1213
sara: try reading problem file stateEquationProblem-ConstantPlace-1368.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1092
sara: try reading problem file stateEquationProblem-ConstantPlace-902.sara.
lola: reporting
lola: not produced: 522
lola: state equation: 177
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p649
lola: reporting
lola: not produced: 519
lola: state equation: 180
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
sara: try reading problem file stateEquationProblem-ConstantPlace-1544.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 518
lola: state equation: 181
lola: find path: 1221
lola: goal oriented search: 520
lola: symmetry: 145
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 p1793
sara: try reading problem file stateEquationProblem-ConstantPlace-2478.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 513
lola: state equation: 183
lola: find path: 1224
lola: goal oriented search: 520
lola: symmetry: 145

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 p1731
sara: try reading problem file stateEquationProblem-ConstantPlace-2416.sara.
lola: reporting
lola: not produced: 511
lola: state equation: 185
lola: find path: 1224
lola: goal oriented search: 520
lola: symmetry: 145
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 p676
sara: try reading problem file stateEquationProblem-ConstantPlace-1571.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 509
lola: state equation: 187
lola: find path: 1224
lola: goal oriented search: 520
lola: symmetry: 145

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

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

lola: reporting
lola: not produced: 507
lola: state equation: 189
lola: find path: 1224
lola: goal oriented search: 520
lola: symmetry: 145
lola: STATE EQUATION TRIES PLACE p875
sara: try reading problem file stateEquationProblem-ConstantPlace-1970.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: 501
lola: state equation: 191
lola: find path: 1228
lola: goal oriented search: 520
lola: symmetry: 145
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 p2203
sara: try reading problem file stateEquationProblem-ConstantPlace-503.sara.
lola: reporting
lola: not produced: 499
lola: state equation: 193
lola: find path: 1228
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p872
sara: try reading problem file stateEquationProblem-ConstantPlace-1967.sara.
lola: reporting
lola: not produced: 497
lola: state equation: 195
lola: find path: 1228
lola: goal oriented search: 520
lola: symmetry: 145
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 p2412
sara: try reading problem file stateEquationProblem-ConstantPlace-1022.sara.
lola: reporting
lola: not produced: 495
lola: state equation: 197
lola: find path: 1228
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1085
sara: try reading problem file stateEquationProblem-ConstantPlace-895.sara.
lola: reporting
lola: not produced: 493
lola: state equation: 199
lola: find path: 1228
lola: goal oriented search: 520
lola: symmetry: 145
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 p1825
lola: reporting
lola: not produced: 491
lola: state equation: 201
lola: find path: 1228
lola: goal oriented search: 520
lola: symmetry: 145
sara: try reading problem file stateEquationProblem-ConstantPlace-2510.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1076
sara: try reading problem file stateEquationProblem-ConstantPlace-886.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 490
lola: state equation: 202
lola: find path: 1228
lola: goal oriented search: 520
lola: symmetry: 145

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

lola: STATE EQUATION TRIES PLACE p2392
sara: try reading problem file stateEquationProblem-ConstantPlace-863.sara.
lola: reporting
lola: not produced: 488
lola: state equation: 204
lola: find path: 1228
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2074
sara: try reading problem file stateEquationProblem-ConstantPlace-184.sara.
lola: reporting
lola: not produced: 483
lola: state equation: 206
lola: find path: 1231
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2485
sara: try reading problem file stateEquationProblem-ConstantPlace-1149.sara.
lola: reporting
lola: not produced: 481
lola: state equation: 208
lola: find path: 1231
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p273
sara: try reading problem file stateEquationProblem-ConstantPlace-483.sara.
lola: reporting
lola: not produced: 479
lola: state equation: 210
lola: find path: 1231
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 479
lola: state equation: 210
lola: find path: 1231
lola: goal oriented search: 520
lola: symmetry: 145

lola: STATE EQUATION TRIES PLACE p271
sara: try reading problem file stateEquationProblem-ConstantPlace-481.sara.
lola: reporting
lola: not produced: 477
lola: state equation: 211
lola: find path: 1232
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 476
lola: state equation: 211
lola: find path: 1233
lola: goal oriented search: 520
lola: symmetry: 145

lola: STATE EQUATION TRIES PLACE p1972
sara: try reading problem file stateEquationProblem-ConstantPlace-72.sara.
lola: reporting
lola: not produced: 475
lola: state equation: 212
lola: find path: 1233
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1539
sara: try reading problem file stateEquationProblem-ConstantPlace-2034.sara.
lola: reporting
lola: not produced: 473
lola: state equation: 214
lola: find path: 1233
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1528
sara: try reading problem file stateEquationProblem-ConstantPlace-2023.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 472
lola: state equation: 215
lola: find path: 1233
lola: goal oriented search: 520
lola: symmetry: 145

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

lola: reporting
lola: not produced: 470
lola: state equation: 217
lola: find path: 1233
lola: goal oriented search: 520
lola: symmetry: 145
lola: STATE EQUATION TRIES PLACE p1701
sara: try reading problem file stateEquationProblem-ConstantPlace-2386.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2388
sara: try reading problem file stateEquationProblem-ConstantPlace-855.sara.
lola: reporting
lola: not produced: 468
lola: state equation: 219
lola: find path: 1233
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1848
sara: try reading problem file stateEquationProblem-ConstantPlace-2533.sara.
lola: reporting
lola: not produced: 462
lola: state equation: 221
lola: find path: 1237
lola: goal oriented search: 520
lola: symmetry: 145
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 p1824
sara: try reading problem file stateEquationProblem-ConstantPlace-2509.sara.
lola: reporting
lola: not produced: 460
lola: state equation: 223
lola: find path: 1237
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2533
sara: try reading problem file stateEquationProblem-ConstantPlace-1345.sara.
lola: reporting
lola: not produced: 458
lola: state equation: 225
lola: find path: 1237
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p738
lola: reporting
lola: not produced: 456
lola: state equation: 227
lola: find path: 1237
lola: goal oriented search: 520
lola: symmetry: 145
sara: try reading problem file stateEquationProblem-ConstantPlace-1733.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: reporting
lola: not produced: 448
lola: state equation: 228
lola: find path: 1244
lola: goal oriented search: 520
lola: symmetry: 145

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 p2535
sara: try reading problem file stateEquationProblem-ConstantPlace-1349.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 443
lola: state equation: 230
lola: find path: 1247
lola: goal oriented search: 520
lola: symmetry: 145

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

lola: reporting
lola: not produced: 442
lola: state equation: 231
lola: find path: 1247
lola: goal oriented search: 520
lola: symmetry: 145
lola: STATE EQUATION TRIES PLACE p2073
sara: try reading problem file stateEquationProblem-ConstantPlace-183.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 p884
sara: try reading problem file stateEquationProblem-ConstantPlace-1979.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: 423
lola: state equation: 235
lola: find path: 1262
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2066
sara: try reading problem file stateEquationProblem-ConstantPlace-176.sara.
lola: reporting
lola: not produced: 421
lola: state equation: 237
lola: find path: 1262
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2000
sara: try reading problem file stateEquationProblem-ConstantPlace-110.sara.
lola: reporting
lola: not produced: 418
lola: state equation: 239
lola: find path: 1263
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2072
sara: try reading problem file stateEquationProblem-ConstantPlace-182.sara.
lola: reporting
lola: not produced: 416
lola: state equation: 241
lola: find path: 1263
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1090
sara: try reading problem file stateEquationProblem-ConstantPlace-900.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: 414
lola: state equation: 243
lola: find path: 1263
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1725
sara: try reading problem file stateEquationProblem-ConstantPlace-2410.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 413
lola: state equation: 244
lola: find path: 1263
lola: goal oriented search: 520
lola: symmetry: 145

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

lola: STATE EQUATION TRIES PLACE p1456
sara: try reading problem file stateEquationProblem-ConstantPlace-1851.sara.
lola: reporting
lola: not produced: 411
lola: state equation: 246
lola: find path: 1263
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2513
sara: try reading problem file stateEquationProblem-ConstantPlace-1323.sara.
lola: reporting
lola: not produced: 410
lola: state equation: 247
lola: find path: 1263
lola: goal oriented search: 520
lola: symmetry: 145
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 p1174
sara: try reading problem file stateEquationProblem-ConstantPlace-1184.sara.
lola: reporting
lola: not produced: 408
lola: state equation: 249
lola: find path: 1263
lola: goal oriented search: 520
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2455
sara: try reading problem file stateEquationProblem-ConstantPlace-1089.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 407
lola: state equation: 250
lola: find path: 1263
lola: goal oriented search: 520
lola: symmetry: 145

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

lola: STATE EQUATION TRIES PLACE p674
sara: try reading problem file stateEquationProblem-ConstantPlace-1569.sara.
lola: reporting
lola: not produced: 405
lola: state equation: 252
lola: find path: 1263
lola: goal oriented search: 520
lola: symmetry: 145
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: 399
lola: state equation: 253
lola: find path: 1266
lola: goal oriented search: 520
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1728
sara: try reading problem file stateEquationProblem-ConstantPlace-2413.sara.
lola: reporting
lola: not produced: 397
lola: state equation: 255
lola: find path: 1266
lola: goal oriented search: 520
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1418
sara: try reading problem file stateEquationProblem-ConstantPlace-1813.sara.
lola: reporting
lola: not produced: 394
lola: state equation: 256
lola: find path: 1268
lola: goal oriented search: 520
lola: symmetry: 147
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 p1088
sara: try reading problem file stateEquationProblem-ConstantPlace-898.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 391
lola: state equation: 258
lola: find path: 1268
lola: goal oriented search: 520
lola: symmetry: 148

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

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

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

lola: STATE EQUATION TRIES PLACE p1810
sara: try reading problem file stateEquationProblem-ConstantPlace-2495.sara.
lola: reporting
lola: not produced: 387
lola: state equation: 262
lola: find path: 1268
lola: goal oriented search: 520
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1344
sara: try reading problem file stateEquationProblem-ConstantPlace-1639.sara.
lola: reporting
lola: not produced: 384
lola: state equation: 264
lola: find path: 1269
lola: goal oriented search: 520
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1421
sara: try reading problem file stateEquationProblem-ConstantPlace-1816.sara.
lola: reporting
lola: not produced: 381
lola: state equation: 267
lola: find path: 1269
lola: goal oriented search: 520
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2527
sara: try reading problem file stateEquationProblem-ConstantPlace-1337.sara.
lola: reporting
lola: not produced: 379
lola: state equation: 269
lola: find path: 1269
lola: goal oriented search: 520
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1150
sara: try reading problem file stateEquationProblem-ConstantPlace-1142.sara.
lola: reporting
lola: not produced: 376
lola: state equation: 271
lola: find path: 1270
lola: goal oriented search: 520
lola: symmetry: 148
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 p1010
sara: try reading problem file stateEquationProblem-ConstantPlace-762.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1404
sara: try reading problem file stateEquationProblem-ConstantPlace-1799.sara.
lola: reporting
lola: not produced: 373
lola: state equation: 274
lola: find path: 1270
lola: goal oriented search: 520
lola: symmetry: 148
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 p1062
sara: try reading problem file stateEquationProblem-ConstantPlace-866.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 370
lola: state equation: 277
lola: find path: 1270
lola: goal oriented search: 520
lola: symmetry: 148
lola: STATE EQUATION TRIES PLACE p897
sara: try reading problem file stateEquationProblem-ConstantPlace-1992.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1058
sara: try reading problem file stateEquationProblem-ConstantPlace-858.sara.
lola: reporting
lola: not produced: 365
lola: state equation: 281
lola: find path: 1271
lola: goal oriented search: 520
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2430
sara: try reading problem file stateEquationProblem-ConstantPlace-1040.sara.
lola: reporting
lola: not produced: 361
lola: state equation: 285
lola: find path: 1271
lola: goal oriented search: 520
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1544
sara: try reading problem file stateEquationProblem-ConstantPlace-2039.sara.
lola: reporting
lola: not produced: 359
lola: state equation: 287
lola: find path: 1271
lola: goal oriented search: 520
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1432
sara: try reading problem file stateEquationProblem-ConstantPlace-1827.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: 344
lola: state equation: 291
lola: find path: 1281
lola: goal oriented search: 520
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1809
sara: try reading problem file stateEquationProblem-ConstantPlace-2494.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: 341
lola: state equation: 294
lola: find path: 1281
lola: goal oriented search: 520
lola: symmetry: 149

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

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

lola: STATE EQUATION TRIES PLACE p1130
sara: try reading problem file stateEquationProblem-ConstantPlace-1102.sara.
lola: reporting
lola: not produced: 337
lola: state equation: 298
lola: find path: 1281
lola: goal oriented search: 520
lola: symmetry: 149
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 p1724
sara: try reading problem file stateEquationProblem-ConstantPlace-2409.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p664
sara: try reading problem file stateEquationProblem-ConstantPlace-1559.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 334
lola: state equation: 301
lola: find path: 1281
lola: goal oriented search: 520
lola: symmetry: 149

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

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

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

lola: STATE EQUATION TRIES PLACE p2446
sara: try reading problem file stateEquationProblem-ConstantPlace-1071.sara.
lola: reporting
lola: not produced: 329
lola: state equation: 305
lola: find path: 1282
lola: goal oriented search: 520
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1018
sara: try reading problem file stateEquationProblem-ConstantPlace-778.sara.
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 p1149
sara: try reading problem file stateEquationProblem-ConstantPlace-1139.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 326
lola: state equation: 308
lola: find path: 1282
lola: goal oriented search: 520
lola: symmetry: 149

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

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

lola: STATE EQUATION TRIES PLACE p2198
sara: try reading problem file stateEquationProblem-ConstantPlace-408.sara.
lola: reporting
lola: not produced: 322
lola: state equation: 311
lola: find path: 1282
lola: goal oriented search: 520
lola: symmetry: 150
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: STATE EQUATION TRIES PLACE p2482
sara: try reading problem file stateEquationProblem-ConstantPlace-1143.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1066
sara: try reading problem file stateEquationProblem-ConstantPlace-874.sara.
lola: reporting
lola: not produced: 316
lola: state equation: 315
lola: find path: 1284
lola: goal oriented search: 520
lola: symmetry: 150
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 p2219
sara: try reading problem file stateEquationProblem-ConstantPlace-529.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 307
lola: state equation: 317
lola: find path: 1291
lola: goal oriented search: 520
lola: symmetry: 150
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 p1547
sara: try reading problem file stateEquationProblem-ConstantPlace-2042.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p866
sara: try reading problem file stateEquationProblem-ConstantPlace-1961.sara.
lola: reporting
lola: not produced: 303
lola: state equation: 321
lola: find path: 1291
lola: goal oriented search: 520
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 300
lola: state equation: 324
lola: find path: 1291
lola: goal oriented search: 520
lola: symmetry: 150
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 p1785
sara: try reading problem file stateEquationProblem-ConstantPlace-2470.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 p2200
sara: try reading problem file stateEquationProblem-ConstantPlace-500.sara.
lola: reporting
lola: not produced: 296
lola: state equation: 328
lola: find path: 1291
lola: goal oriented search: 520
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1828
sara: try reading problem file stateEquationProblem-ConstantPlace-2513.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 291
lola: state equation: 331
lola: find path: 1293
lola: goal oriented search: 520
lola: symmetry: 150

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

lola: STATE EQUATION TRIES PLACE p1414
sara: try reading problem file stateEquationProblem-ConstantPlace-1809.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 p663
sara: try reading problem file stateEquationProblem-ConstantPlace-1558.sara.
lola: reporting
lola: not produced: 287
lola: state equation: 335
lola: find path: 1293
lola: goal oriented search: 520
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1071
lola: reporting
lola: not produced: 285
lola: state equation: 337
lola: find path: 1293
lola: goal oriented search: 520
lola: symmetry: 150
sara: try reading problem file stateEquationProblem-ConstantPlace-881.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p752
sara: try reading problem file stateEquationProblem-ConstantPlace-1747.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 284
lola: state equation: 338
lola: find path: 1293
lola: goal oriented search: 520
lola: symmetry: 150

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

lola: STATE EQUATION TRIES PLACE p1216
sara: try reading problem file stateEquationProblem-ConstantPlace-1374.sara.
lola: reporting
lola: not produced: 282
lola: state equation: 340
lola: find path: 1293
lola: goal oriented search: 520
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1086
sara: try reading problem file stateEquationProblem-ConstantPlace-896.sara.
lola: reporting
lola: not produced: 279
lola: state equation: 342
lola: find path: 1293
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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 p1703
sara: try reading problem file stateEquationProblem-ConstantPlace-2388.sara.
lola: reporting
lola: not produced: 277
lola: state equation: 344
lola: find path: 1293
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 276
lola: state equation: 345
lola: find path: 1293
lola: goal oriented search: 520
lola: symmetry: 151
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 p1125
sara: try reading problem file stateEquationProblem-ConstantPlace-1092.sara.
lola: reporting
lola: not produced: 273
lola: state equation: 347
lola: find path: 1294
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1994
sara: try reading problem file stateEquationProblem-ConstantPlace-94.sara.
lola: reporting
lola: not produced: 271
lola: state equation: 349
lola: find path: 1294
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2452
sara: try reading problem file stateEquationProblem-ConstantPlace-1083.sara.
lola: reporting
lola: not produced: 269
lola: state equation: 351
lola: find path: 1294
lola: goal oriented search: 520
lola: symmetry: 151
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: reporting
lola: not produced: 268
lola: state equation: 352
lola: find path: 1294
lola: goal oriented search: 520
lola: symmetry: 151
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 p1822
sara: try reading problem file stateEquationProblem-ConstantPlace-2507.sara.
lola: reporting
lola: not produced: 266
lola: state equation: 354
lola: find path: 1294
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1542
sara: try reading problem file stateEquationProblem-ConstantPlace-2037.sara.
lola: reporting
lola: not produced: 264
lola: state equation: 356
lola: find path: 1294
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p747
sara: try reading problem file stateEquationProblem-ConstantPlace-1742.sara.
lola: reporting
lola: not produced: 262
lola: state equation: 358
lola: find path: 1294
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1872
sara: try reading problem file stateEquationProblem-ConstantPlace-2557.sara.
lola: reporting
lola: not produced: 260
lola: state equation: 360
lola: find path: 1294
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 259
lola: state equation: 361
lola: find path: 1294
lola: goal oriented search: 520
lola: symmetry: 151
lola: STATE EQUATION TRIES PLACE p1730
sara: try reading problem file stateEquationProblem-ConstantPlace-2415.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p681
sara: try reading problem file stateEquationProblem-ConstantPlace-1576.sara.
lola: reporting
lola: not produced: 251
lola: state equation: 363
lola: find path: 1300
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p672
sara: try reading problem file stateEquationProblem-ConstantPlace-1567.sara.
lola: reporting
lola: not produced: 249
lola: state equation: 365
lola: find path: 1300
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1203
sara: try reading problem file stateEquationProblem-ConstantPlace-1348.sara.
lola: reporting
lola: not produced: 247
lola: state equation: 367
lola: find path: 1300
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1727
sara: try reading problem file stateEquationProblem-ConstantPlace-2412.sara.
lola: reporting
lola: not produced: 245
lola: state equation: 369
lola: find path: 1300
lola: goal oriented search: 520
lola: symmetry: 151
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 p1178
sara: try reading problem file stateEquationProblem-ConstantPlace-1188.sara.
lola: reporting
lola: not produced: 243
lola: state equation: 371
lola: find path: 1300
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 242
lola: state equation: 372
lola: find path: 1300
lola: goal oriented search: 520
lola: symmetry: 151
lola: STATE EQUATION TRIES PLACE p1405
sara: try reading problem file stateEquationProblem-ConstantPlace-1800.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1794
sara: try reading problem file stateEquationProblem-ConstantPlace-2479.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 240
lola: state equation: 374
lola: find path: 1300
lola: goal oriented search: 520
lola: symmetry: 151

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

lola: STATE EQUATION TRIES PLACE p2056
sara: try reading problem file stateEquationProblem-ConstantPlace-166.sara.
lola: reporting
lola: not produced: 238
lola: state equation: 376
lola: find path: 1300
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1162
sara: try reading problem file stateEquationProblem-ConstantPlace-1166.sara.
lola: reporting
lola: not produced: 236
lola: state equation: 378
lola: find path: 1300
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1087
sara: try reading problem file stateEquationProblem-ConstantPlace-897.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: 233
lola: state equation: 381
lola: find path: 1300
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2258
sara: try reading problem file stateEquationProblem-ConstantPlace-568.sara.
lola: reporting
lola: not produced: 230
lola: state equation: 384
lola: find path: 1300
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2512
sara: try reading problem file stateEquationProblem-ConstantPlace-1322.sara.
lola: reporting
lola: not produced: 226
lola: state equation: 387
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 223
lola: state equation: 390
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
lola: STATE EQUATION TRIES PLACE p2059
sara: try reading problem file stateEquationProblem-ConstantPlace-169.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2195
sara: try reading problem file stateEquationProblem-ConstantPlace-405.sara.
lola: reporting
lola: not produced: 220
lola: state equation: 393
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p330
sara: try reading problem file stateEquationProblem-ConstantPlace-640.sara.
lola: reporting
lola: not produced: 219
lola: state equation: 394
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 219
lola: state equation: 394
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
lola: reporting
lola: not produced: 219
lola: state equation: 394
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151

lola: STATE EQUATION TRIES PLACE p1146
sara: try reading problem file stateEquationProblem-ConstantPlace-1134.sara.
lola: reporting
lola: not produced: 218
lola: state equation: 395
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
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: 217
lola: state equation: 396
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
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: reporting
lola: not produced: 216
lola: state equation: 397
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
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 p1829
sara: try reading problem file stateEquationProblem-ConstantPlace-2514.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 214
lola: state equation: 399
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151

lola: STATE EQUATION TRIES PLACE p744
sara: try reading problem file stateEquationProblem-ConstantPlace-1739.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: 212
lola: state equation: 401
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
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: 211
lola: state equation: 402
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2336
sara: try reading problem file stateEquationProblem-ConstantPlace-751.sara.
lola: reporting
lola: not produced: 210
lola: state equation: 403
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 209
lola: state equation: 404
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
lola: STATE EQUATION TRIES PLACE p732
sara: try reading problem file stateEquationProblem-ConstantPlace-1727.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: 207
lola: state equation: 406
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1988
sara: try reading problem file stateEquationProblem-ConstantPlace-88.sara.
lola: reporting
lola: not produced: 206
lola: state equation: 407
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 204
lola: state equation: 409
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
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 p1031
sara: try reading problem file stateEquationProblem-ConstantPlace-804.sara.
lola: reporting
lola: not produced: 202
lola: state equation: 411
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1155
sara: try reading problem file stateEquationProblem-ConstantPlace-1152.sara.
lola: reporting
lola: not produced: 200
lola: state equation: 412
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 152
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: reporting
lola: not produced: 199
lola: state equation: 413
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 152

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

lola: reporting
lola: not produced: 198
lola: state equation: 414
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p750
sara: try reading problem file stateEquationProblem-ConstantPlace-1745.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2480
sara: try reading problem file stateEquationProblem-ConstantPlace-1140.sara.
lola: reporting
lola: not produced: 196
lola: state equation: 416
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p881
sara: try reading problem file stateEquationProblem-ConstantPlace-1976.sara.
lola: reporting
lola: not produced: 195
lola: state equation: 417
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 152
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: reporting
lola: not produced: 194
lola: state equation: 418
lola: find path: 1301
lola: goal oriented search: 520
lola: symmetry: 152

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: 192
lola: state equation: 419
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p1330
sara: try reading problem file stateEquationProblem-ConstantPlace-1625.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2207
sara: try reading problem file stateEquationProblem-ConstantPlace-507.sara.
lola: reporting
lola: not produced: 190
lola: state equation: 421
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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 p2488
sara: try reading problem file stateEquationProblem-ConstantPlace-1155.sara.
lola: reporting
lola: not produced: 188
lola: state equation: 423
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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 p647
sara: try reading problem file stateEquationProblem-ConstantPlace-1542.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 p1808
sara: try reading problem file stateEquationProblem-ConstantPlace-2493.sara.
lola: reporting
lola: not produced: 184
lola: state equation: 427
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2539
sara: try reading problem file stateEquationProblem-ConstantPlace-1357.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 181
lola: state equation: 430
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152

lola: STATE EQUATION TRIES PLACE p2437
sara: try reading problem file stateEquationProblem-ConstantPlace-1053.sara.
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 p731
sara: try reading problem file stateEquationProblem-ConstantPlace-1726.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 178
lola: state equation: 433
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p1538
sara: try reading problem file stateEquationProblem-ConstantPlace-2033.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1176
sara: try reading problem file stateEquationProblem-ConstantPlace-1186.sara.
lola: reporting
lola: not produced: 174
lola: state equation: 437
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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 p1865
sara: try reading problem file stateEquationProblem-ConstantPlace-2550.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1840
sara: try reading problem file stateEquationProblem-ConstantPlace-2525.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 171
lola: state equation: 440
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152

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

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

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

lola: STATE EQUATION TRIES PLACE p1064
sara: try reading problem file stateEquationProblem-ConstantPlace-870.sara.
lola: reporting
lola: not produced: 167
lola: state equation: 444
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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: STATE EQUATION TRIES PLACE p1735
sara: try reading problem file stateEquationProblem-ConstantPlace-2420.sara.
lola: reporting
lola: not produced: 165
lola: state equation: 446
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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 p749
sara: try reading problem file stateEquationProblem-ConstantPlace-1744.sara.
lola: reporting
lola: not produced: 163
lola: state equation: 448
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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: reporting
lola: not produced: 162
lola: state equation: 449
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p1986
sara: try reading problem file stateEquationProblem-ConstantPlace-86.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1411
sara: try reading problem file stateEquationProblem-ConstantPlace-1806.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 160
lola: state equation: 451
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152

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

lola: STATE EQUATION TRIES PLACE p1218
sara: try reading problem file stateEquationProblem-ConstantPlace-1378.sara.
lola: reporting
lola: not produced: 158
lola: state equation: 453
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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 p1212
sara: try reading problem file stateEquationProblem-ConstantPlace-1366.sara.
lola: reporting
lola: not produced: 156
lola: state equation: 455
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2445
sara: try reading problem file stateEquationProblem-ConstantPlace-1069.sara.
lola: reporting
lola: not produced: 154
lola: state equation: 457
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1103
sara: try reading problem file stateEquationProblem-ConstantPlace-1048.sara.
lola: reporting
lola: not produced: 152
lola: state equation: 459
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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 p2531
sara: try reading problem file stateEquationProblem-ConstantPlace-1341.sara.
lola: reporting
lola: not produced: 150
lola: state equation: 461
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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 p2538
sara: try reading problem file stateEquationProblem-ConstantPlace-1355.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p745
sara: try reading problem file stateEquationProblem-ConstantPlace-1740.sara.
lola: reporting
lola: not produced: 147
lola: state equation: 464
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1837
sara: try reading problem file stateEquationProblem-ConstantPlace-2522.sara.
lola: reporting
lola: not produced: 144
lola: state equation: 467
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2366
sara: try reading problem file stateEquationProblem-ConstantPlace-811.sara.
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 p1400
sara: try reading problem file stateEquationProblem-ConstantPlace-1795.sara.
lola: reporting
lola: not produced: 140
lola: state equation: 471
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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 p684
sara: try reading problem file stateEquationProblem-ConstantPlace-1579.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1841
sara: try reading problem file stateEquationProblem-ConstantPlace-2526.sara.
lola: reporting
lola: not produced: 137
lola: state equation: 474
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2541
sara: try reading problem file stateEquationProblem-ConstantPlace-1361.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 p1393
sara: try reading problem file stateEquationProblem-ConstantPlace-1688.sara.
lola: reporting
lola: not produced: 134
lola: state equation: 477
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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: 133
lola: state equation: 478
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1122
sara: try reading problem file stateEquationProblem-ConstantPlace-1086.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 132
lola: state equation: 479
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152

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

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

lola: reporting
lola: not produced: 130
lola: state equation: 481
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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 p2016
sara: try reading problem file stateEquationProblem-ConstantPlace-126.sara.
lola: reporting
lola: not produced: 128
lola: state equation: 483
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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 p1187
sara: try reading problem file stateEquationProblem-ConstantPlace-1197.sara.
lola: reporting
lola: not produced: 126
lola: state equation: 485
lola: find path: 1302
lola: goal oriented search: 520
lola: symmetry: 152
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 p2061
sara: try reading problem file stateEquationProblem-ConstantPlace-171.sara.
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: 114
lola: state equation: 488
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152
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 p1217
sara: try reading problem file stateEquationProblem-ConstantPlace-1376.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2442
sara: try reading problem file stateEquationProblem-ConstantPlace-1063.sara.
lola: reporting
lola: not produced: 110
lola: state equation: 492
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p746
sara: try reading problem file stateEquationProblem-ConstantPlace-1741.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 p733
sara: try reading problem file stateEquationProblem-ConstantPlace-1728.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 107
lola: state equation: 495
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152

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 p669
sara: try reading problem file stateEquationProblem-ConstantPlace-1564.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 p1989
sara: try reading problem file stateEquationProblem-ConstantPlace-89.sara.
lola: reporting
lola: not produced: 103
lola: state equation: 499
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152
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 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.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 100
lola: state equation: 502
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p1060
sara: try reading problem file stateEquationProblem-ConstantPlace-862.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1992
sara: try reading problem file stateEquationProblem-ConstantPlace-92.sara.
lola: reporting
lola: not produced: 97
lola: state equation: 505
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1430
sara: try reading problem file stateEquationProblem-ConstantPlace-1825.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 96
lola: state equation: 506
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152

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

lola: STATE EQUATION TRIES PLACE p1309
sara: try reading problem file stateEquationProblem-ConstantPlace-1604.sara.
lola: reporting
lola: not produced: 94
lola: state equation: 508
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 93
lola: state equation: 509
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152
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 p2432
sara: try reading problem file stateEquationProblem-ConstantPlace-1043.sara.
lola: reporting
lola: not produced: 91
lola: state equation: 511
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1996
sara: try reading problem file stateEquationProblem-ConstantPlace-96.sara.
lola: reporting
lola: not produced: 89
lola: state equation: 513
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152
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 p2532
sara: try reading problem file stateEquationProblem-ConstantPlace-1343.sara.
lola: reporting
lola: not produced: 87
lola: state equation: 515
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152
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 p795
lola: reporting
lola: not produced: 85
lola: state equation: 517
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152
sara: try reading problem file stateEquationProblem-ConstantPlace-1790.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 84
lola: state equation: 518
lola: find path: 1311
lola: goal oriented search: 520
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p1180
sara: try reading problem file stateEquationProblem-ConstantPlace-1190.sara.
sara: place or transition ordering is non-deterministic

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

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