Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r116-tall-167814494200063.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is CloudReconfiguration-PT-313, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r116-tall-167814494200063
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 5.2K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME StableMarking

=== Now, execution of the tool begins

BK_START 1678366664939

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=CloudReconfiguration-PT-313
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT CloudReconfiguration-PT-313
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking

FORMULA StableMarking FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1678367547081

--------------------
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 p1545
sara: try reading problem file stateEquationProblem-ConstantPlace-2040.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 p2433
sara: try reading problem file stateEquationProblem-ConstantPlace-1045.sara.
lola: reporting
lola: not produced: 1326
lola: state equation: 3
lola: find path: 407
lola: goal oriented search: 786
lola: symmetry: 63
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 1134
lola: state equation: 6
lola: find path: 585
lola: goal oriented search: 786
lola: symmetry: 74
lola: STATE EQUATION TRIES PLACE p2393
sara: try reading problem file stateEquationProblem-ConstantPlace-865.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1445
sara: try reading problem file stateEquationProblem-ConstantPlace-1840.sara.
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: 1073
lola: state equation: 9
lola: find path: 642
lola: goal oriented search: 786
lola: symmetry: 75

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

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

lola: STATE EQUATION TRIES PLACE p1183
sara: try reading problem file stateEquationProblem-ConstantPlace-1193.sara.
lola: reporting
lola: not produced: 1025
lola: state equation: 12
lola: find path: 683
lola: goal oriented search: 786
lola: symmetry: 79
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 p285
sara: try reading problem file stateEquationProblem-ConstantPlace-495.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2126
sara: try reading problem file stateEquationProblem-ConstantPlace-336.sara.
lola: reporting
lola: not produced: 1002
lola: state equation: 15
lola: find path: 701
lola: goal oriented search: 786
lola: symmetry: 81
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1710
sara: try reading problem file stateEquationProblem-ConstantPlace-2395.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 935
lola: state equation: 18
lola: find path: 761
lola: goal oriented search: 786
lola: symmetry: 85

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

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

lola: STATE EQUATION TRIES PLACE p1329
sara: try reading problem file stateEquationProblem-ConstantPlace-1624.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: 901
lola: state equation: 22
lola: find path: 790
lola: goal oriented search: 786
lola: symmetry: 86
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 p735
sara: try reading problem file stateEquationProblem-ConstantPlace-1730.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2013
sara: try reading problem file stateEquationProblem-ConstantPlace-123.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 856
lola: state equation: 25
lola: find path: 829
lola: goal oriented search: 786
lola: symmetry: 89

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

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

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

lola: STATE EQUATION TRIES PLACE p1533
sara: try reading problem file stateEquationProblem-ConstantPlace-2028.sara.
lola: reporting
lola: not produced: 848
lola: state equation: 29
lola: find path: 833
lola: goal oriented search: 786
lola: symmetry: 89
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1561
sara: try reading problem file stateEquationProblem-ConstantPlace-2056.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 818
lola: state equation: 31
lola: find path: 858
lola: goal oriented search: 786
lola: symmetry: 92

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 p1547
sara: try reading problem file stateEquationProblem-ConstantPlace-2042.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 p2530
sara: try reading problem file stateEquationProblem-ConstantPlace-1340.sara.
lola: reporting
lola: not produced: 798
lola: state equation: 35
lola: find path: 874
lola: goal oriented search: 786
lola: symmetry: 92
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2121
sara: try reading problem file stateEquationProblem-ConstantPlace-331.sara.
lola: reporting
lola: not produced: 776
lola: state equation: 38
lola: find path: 890
lola: goal oriented search: 786
lola: symmetry: 95
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1043
sara: try reading problem file stateEquationProblem-ConstantPlace-828.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 p2084
sara: try reading problem file stateEquationProblem-ConstantPlace-194.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p891
sara: try reading problem file stateEquationProblem-ConstantPlace-1986.sara.
lola: reporting
lola: not produced: 765
lola: state equation: 42
lola: find path: 897
lola: goal oriented search: 786
lola: symmetry: 95
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p653
sara: try reading problem file stateEquationProblem-ConstantPlace-1548.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: 756
lola: state equation: 45
lola: find path: 903
lola: goal oriented search: 786
lola: symmetry: 95
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p270
sara: try reading problem file stateEquationProblem-ConstantPlace-480.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: 742
lola: state equation: 48
lola: find path: 913
lola: goal oriented search: 786
lola: symmetry: 96
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1087
sara: try reading problem file stateEquationProblem-ConstantPlace-897.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: 739
lola: state equation: 51
lola: find path: 913
lola: goal oriented search: 786
lola: symmetry: 96
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 p1155
sara: try reading problem file stateEquationProblem-ConstantPlace-1152.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p693
sara: try reading problem file stateEquationProblem-ConstantPlace-1588.sara.
lola: reporting
lola: not produced: 734
lola: state equation: 55
lola: find path: 914
lola: goal oriented search: 786
lola: symmetry: 96
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 p1217
sara: try reading problem file stateEquationProblem-ConstantPlace-1376.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: 730
lola: state equation: 58
lola: find path: 915
lola: goal oriented search: 786
lola: symmetry: 96
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1986
sara: try reading problem file stateEquationProblem-ConstantPlace-86.sara.
lola: reporting
lola: not produced: 710
lola: state equation: 62
lola: find path: 924
lola: goal oriented search: 786
lola: symmetry: 103
sara: place or transition ordering is non-deterministic

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

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

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

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

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

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

lola: reporting
lola: not produced: 679
lola: state equation: 68
lola: find path: 948
lola: goal oriented search: 786
lola: symmetry: 104
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 p96
sara: try reading problem file stateEquationProblem-ConstantPlace-2301.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p254
sara: try reading problem file stateEquationProblem-ConstantPlace-464.sara.
lola: reporting
lola: not produced: 665
lola: state equation: 71
lola: find path: 959
lola: goal oriented search: 786
lola: symmetry: 104
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 p1740
sara: try reading problem file stateEquationProblem-ConstantPlace-2425.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1767
lola: reporting
lola: not produced: 655
lola: state equation: 74
lola: find path: 965
lola: goal oriented search: 786
lola: symmetry: 105
sara: try reading problem file stateEquationProblem-ConstantPlace-2452.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2475
sara: try reading problem file stateEquationProblem-ConstantPlace-1129.sara.
lola: reporting
lola: not produced: 650
lola: state equation: 76
lola: find path: 968
lola: goal oriented search: 786
lola: symmetry: 105
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1732
sara: try reading problem file stateEquationProblem-ConstantPlace-2417.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 646
lola: state equation: 78
lola: find path: 970
lola: goal oriented search: 786
lola: symmetry: 105

lola: STATE EQUATION TRIES PLACE p685
sara: try reading problem file stateEquationProblem-ConstantPlace-1580.sara.
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 p1980
sara: try reading problem file stateEquationProblem-ConstantPlace-80.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2478
sara: try reading problem file stateEquationProblem-ConstantPlace-1135.sara.
lola: reporting
lola: not produced: 637
lola: state equation: 82
lola: find path: 973
lola: goal oriented search: 786
lola: symmetry: 107
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 p2261
sara: try reading problem file stateEquationProblem-ConstantPlace-571.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2194
sara: try reading problem file stateEquationProblem-ConstantPlace-404.sara.
lola: reporting
lola: not produced: 632
lola: state equation: 85
lola: find path: 975
lola: goal oriented search: 786
lola: symmetry: 107
sara: place or transition ordering is non-deterministic

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

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

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 p1039
sara: try reading problem file stateEquationProblem-ConstantPlace-819.sara.
lola: reporting
lola: not produced: 627
lola: state equation: 89
lola: find path: 975
lola: goal oriented search: 786
lola: symmetry: 108
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1118
sara: try reading problem file stateEquationProblem-ConstantPlace-1078.sara.
lola: reporting
lola: not produced: 623
lola: state equation: 92
lola: find path: 976
lola: goal oriented search: 786
lola: symmetry: 108
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1123
lola: reporting
lola: not produced: 618
lola: state equation: 96
lola: find path: 977
lola: goal oriented search: 786
lola: symmetry: 108
sara: try reading problem file stateEquationProblem-ConstantPlace-1088.sara.
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 p769
sara: try reading problem file stateEquationProblem-ConstantPlace-1764.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2262
sara: try reading problem file stateEquationProblem-ConstantPlace-572.sara.
lola: reporting
lola: not produced: 613
lola: state equation: 99
lola: find path: 979
lola: goal oriented search: 786
lola: symmetry: 108
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1007
sara: try reading problem file stateEquationProblem-ConstantPlace-756.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: reporting
lola: not produced: 610
lola: state equation: 102
lola: find path: 979
lola: goal oriented search: 786
lola: symmetry: 108
lola: STATE EQUATION TRIES PLACE p1688
sara: try reading problem file stateEquationProblem-ConstantPlace-2373.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p310
sara: try reading problem file stateEquationProblem-ConstantPlace-620.sara.
lola: reporting
lola: not produced: 604
lola: state equation: 106
lola: find path: 980
lola: goal oriented search: 786
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1840
sara: try reading problem file stateEquationProblem-ConstantPlace-2525.sara.
lola: reporting
lola: not produced: 600
lola: state equation: 108
lola: find path: 981
lola: goal oriented search: 786
lola: symmetry: 110
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1692
sara: try reading problem file stateEquationProblem-ConstantPlace-2377.sara.
lola: reporting
lola: not produced: 592
lola: state equation: 112
lola: find path: 985
lola: goal oriented search: 786
lola: symmetry: 110
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1865
sara: try reading problem file stateEquationProblem-ConstantPlace-2550.sara.
lola: reporting
lola: not produced: 582
lola: state equation: 115
lola: find path: 991
lola: goal oriented search: 786
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1880
lola: reporting
lola: not produced: 577
lola: state equation: 119
lola: find path: 991
lola: goal oriented search: 786
lola: symmetry: 112
sara: try reading problem file stateEquationProblem-ConstantPlace-2565.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1558
sara: try reading problem file stateEquationProblem-ConstantPlace-2053.sara.
lola: reporting
lola: not produced: 570
lola: state equation: 122
lola: find path: 995
lola: goal oriented search: 786
lola: symmetry: 112
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 566
lola: state equation: 125
lola: find path: 995
lola: goal oriented search: 786
lola: symmetry: 113
lola: STATE EQUATION TRIES PLACE p1337
sara: try reading problem file stateEquationProblem-ConstantPlace-1632.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1145
sara: try reading problem file stateEquationProblem-ConstantPlace-1132.sara.
lola: reporting
lola: not produced: 562
lola: state equation: 129
lola: find path: 995
lola: goal oriented search: 786
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2368
lola: reporting
lola: not produced: 557
lola: state equation: 133
lola: find path: 996
lola: goal oriented search: 786
lola: symmetry: 113
sara: try reading problem file stateEquationProblem-ConstantPlace-815.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2205
sara: try reading problem file stateEquationProblem-ConstantPlace-505.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: 554
lola: state equation: 136
lola: find path: 996
lola: goal oriented search: 786
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p864
sara: try reading problem file stateEquationProblem-ConstantPlace-1959.sara.
lola: reporting
lola: not produced: 550
lola: state equation: 140
lola: find path: 996
lola: goal oriented search: 786
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1736
sara: try reading problem file stateEquationProblem-ConstantPlace-2421.sara.
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: reporting
lola: not produced: 547
lola: state equation: 143
lola: find path: 996
lola: goal oriented search: 786
lola: symmetry: 113

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

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

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

lola: STATE EQUATION TRIES PLACE p694
sara: try reading problem file stateEquationProblem-ConstantPlace-1589.sara.
lola: reporting
lola: not produced: 543
lola: state equation: 147
lola: find path: 996
lola: goal oriented search: 786
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1412
sara: try reading problem file stateEquationProblem-ConstantPlace-1807.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 p664
sara: try reading problem file stateEquationProblem-ConstantPlace-1559.sara.
lola: reporting
lola: not produced: 539
lola: state equation: 151
lola: find path: 996
lola: goal oriented search: 786
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2455
sara: try reading problem file stateEquationProblem-ConstantPlace-1089.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 536
lola: state equation: 154
lola: find path: 996
lola: goal oriented search: 786
lola: symmetry: 113

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

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

lola: STATE EQUATION TRIES PLACE p1991
sara: try reading problem file stateEquationProblem-ConstantPlace-91.sara.
lola: reporting
lola: not produced: 531
lola: state equation: 157
lola: find path: 998
lola: goal oriented search: 786
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p795
sara: try reading problem file stateEquationProblem-ConstantPlace-1790.sara.
lola: reporting
lola: not produced: 522
lola: state equation: 161
lola: find path: 1003
lola: goal oriented search: 786
lola: symmetry: 113
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 p1726
sara: try reading problem file stateEquationProblem-ConstantPlace-2411.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2436
sara: try reading problem file stateEquationProblem-ConstantPlace-1051.sara.
lola: reporting
lola: not produced: 518
lola: state equation: 164
lola: find path: 1004
lola: goal oriented search: 786
lola: symmetry: 113
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 p676
sara: try reading problem file stateEquationProblem-ConstantPlace-1571.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1842
sara: try reading problem file stateEquationProblem-ConstantPlace-2527.sara.
lola: reporting
lola: not produced: 514
lola: state equation: 168
lola: find path: 1004
lola: goal oriented search: 786
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 506
lola: state equation: 171
lola: find path: 1009
lola: goal oriented search: 786
lola: symmetry: 113
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 p734
sara: try reading problem file stateEquationProblem-ConstantPlace-1729.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1531
sara: try reading problem file stateEquationProblem-ConstantPlace-2026.sara.
lola: reporting
lola: not produced: 498
lola: state equation: 175
lola: find path: 1011
lola: goal oriented search: 786
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1062
lola: reporting
lola: not produced: 494
lola: state equation: 179
lola: find path: 1011
lola: goal oriented search: 786
lola: symmetry: 115
sara: try reading problem file stateEquationProblem-ConstantPlace-866.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2196
sara: try reading problem file stateEquationProblem-ConstantPlace-406.sara.
lola: reporting
lola: not produced: 491
lola: state equation: 182
lola: find path: 1011
lola: goal oriented search: 786
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1704
sara: try reading problem file stateEquationProblem-ConstantPlace-2389.sara.
lola: reporting
lola: not produced: 483
lola: state equation: 186
lola: find path: 1015
lola: goal oriented search: 786
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p759
sara: try reading problem file stateEquationProblem-ConstantPlace-1754.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 480
lola: state equation: 189
lola: find path: 1015
lola: goal oriented search: 786
lola: symmetry: 115

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

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

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

lola: STATE EQUATION TRIES PLACE p2000
sara: try reading problem file stateEquationProblem-ConstantPlace-110.sara.
lola: reporting
lola: not produced: 469
lola: state equation: 193
lola: find path: 1022
lola: goal oriented search: 786
lola: symmetry: 115
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 p584
sara: try reading problem file stateEquationProblem-ConstantPlace-1294.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1551
sara: try reading problem file stateEquationProblem-ConstantPlace-2046.sara.
lola: reporting
lola: not produced: 466
lola: state equation: 196
lola: find path: 1022
lola: goal oriented search: 786
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p329
sara: try reading problem file stateEquationProblem-ConstantPlace-639.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 460
lola: state equation: 199
lola: find path: 1024
lola: goal oriented search: 786
lola: symmetry: 116

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

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

lola: STATE EQUATION TRIES PLACE p274
sara: try reading problem file stateEquationProblem-ConstantPlace-484.sara.
lola: reporting
lola: not produced: 456
lola: state equation: 202
lola: find path: 1025
lola: goal oriented search: 786
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1104
sara: try reading problem file stateEquationProblem-ConstantPlace-1050.sara.
lola: reporting
lola: not produced: 453
lola: state equation: 205
lola: find path: 1025
lola: goal oriented search: 786
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p675
sara: try reading problem file stateEquationProblem-ConstantPlace-1570.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 450
lola: state equation: 208
lola: find path: 1025
lola: goal oriented search: 786
lola: symmetry: 116

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

lola: STATE EQUATION TRIES PLACE p2508
sara: try reading problem file stateEquationProblem-ConstantPlace-1308.sara.
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 p1594
sara: try reading problem file stateEquationProblem-ConstantPlace-2089.sara.
lola: reporting
lola: not produced: 446
lola: state equation: 212
lola: find path: 1025
lola: goal oriented search: 786
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 443
lola: state equation: 215
lola: find path: 1025
lola: goal oriented search: 786
lola: symmetry: 116
lola: STATE EQUATION TRIES PLACE p2020
sara: try reading problem file stateEquationProblem-ConstantPlace-130.sara.
sara: place or transition ordering is non-deterministic

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

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 p1172
sara: try reading problem file stateEquationProblem-ConstantPlace-1182.sara.
lola: reporting
lola: not produced: 439
lola: state equation: 219
lola: find path: 1025
lola: goal oriented search: 786
lola: symmetry: 116
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: STATE EQUATION TRIES PLACE p1165
sara: try reading problem file stateEquationProblem-ConstantPlace-1172.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1532
sara: try reading problem file stateEquationProblem-ConstantPlace-2027.sara.
lola: reporting
lola: not produced: 435
lola: state equation: 223
lola: find path: 1025
lola: goal oriented search: 786
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2489
sara: try reading problem file stateEquationProblem-ConstantPlace-1157.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: reporting
lola: not produced: 427
lola: state equation: 226
lola: find path: 1030
lola: goal oriented search: 786
lola: symmetry: 116

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

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

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

lola: STATE EQUATION TRIES PLACE p1768
sara: try reading problem file stateEquationProblem-ConstantPlace-2453.sara.
lola: reporting
lola: not produced: 423
lola: state equation: 230
lola: find path: 1030
lola: goal oriented search: 786
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 420
lola: state equation: 233
lola: find path: 1030
lola: goal oriented search: 786
lola: symmetry: 116
lola: STATE EQUATION TRIES PLACE p1998
sara: try reading problem file stateEquationProblem-ConstantPlace-98.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2482
sara: try reading problem file stateEquationProblem-ConstantPlace-1143.sara.
lola: reporting
lola: not produced: 412
lola: state equation: 237
lola: find path: 1031
lola: goal oriented search: 786
lola: symmetry: 119
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 p736
sara: try reading problem file stateEquationProblem-ConstantPlace-1731.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 405
lola: state equation: 240
lola: find path: 1035
lola: goal oriented search: 786
lola: symmetry: 119
lola: STATE EQUATION TRIES PLACE p1212
sara: try reading problem file stateEquationProblem-ConstantPlace-1366.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2443
sara: try reading problem file stateEquationProblem-ConstantPlace-1065.sara.
lola: reporting
lola: not produced: 402
lola: state equation: 244
lola: find path: 1034
lola: goal oriented search: 786
lola: symmetry: 119
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1108
lola: reporting
lola: not produced: 397
lola: state equation: 248
lola: find path: 1035
lola: goal oriented search: 786
lola: symmetry: 119
sara: try reading problem file stateEquationProblem-ConstantPlace-1058.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2075
sara: try reading problem file stateEquationProblem-ConstantPlace-185.sara.
lola: reporting
lola: not produced: 394
lola: state equation: 251
lola: find path: 1035
lola: goal oriented search: 786
lola: symmetry: 119
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: STATE EQUATION TRIES PLACE p743
sara: try reading problem file stateEquationProblem-ConstantPlace-1738.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 390
lola: state equation: 254
lola: find path: 1036
lola: goal oriented search: 786
lola: symmetry: 119
lola: STATE EQUATION TRIES PLACE p2226
sara: try reading problem file stateEquationProblem-ConstantPlace-536.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2485
sara: try reading problem file stateEquationProblem-ConstantPlace-1149.sara.
lola: reporting
lola: not produced: 386
lola: state equation: 258
lola: find path: 1036
lola: goal oriented search: 786
lola: symmetry: 119
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 383
lola: state equation: 261
lola: find path: 1036
lola: goal oriented search: 786
lola: symmetry: 119
lola: STATE EQUATION TRIES PLACE p1882
sara: try reading problem file stateEquationProblem-ConstantPlace-2567.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1680
sara: try reading problem file stateEquationProblem-ConstantPlace-2365.sara.
lola: reporting
lola: not produced: 375
lola: state equation: 265
lola: find path: 1040
lola: goal oriented search: 786
lola: symmetry: 119
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 371
lola: state equation: 268
lola: find path: 1040
lola: goal oriented search: 786
lola: symmetry: 120
lola: STATE EQUATION TRIES PLACE p742
sara: try reading problem file stateEquationProblem-ConstantPlace-1737.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2457
sara: try reading problem file stateEquationProblem-ConstantPlace-1093.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: 367
lola: state equation: 272
lola: find path: 1040
lola: goal oriented search: 786
lola: symmetry: 120
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p660
lola: reporting
lola: not produced: 363
lola: state equation: 276
lola: find path: 1040
lola: goal oriented search: 786
lola: symmetry: 120
sara: try reading problem file stateEquationProblem-ConstantPlace-1555.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1772
sara: try reading problem file stateEquationProblem-ConstantPlace-2457.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 p2010
sara: try reading problem file stateEquationProblem-ConstantPlace-120.sara.
lola: reporting
lola: not produced: 360
lola: state equation: 279
lola: find path: 1040
lola: goal oriented search: 786
lola: symmetry: 120
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1540
sara: try reading problem file stateEquationProblem-ConstantPlace-2035.sara.
lola: reporting
lola: not produced: 356
lola: state equation: 283
lola: find path: 1040
lola: goal oriented search: 786
lola: symmetry: 120
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 p1530
sara: try reading problem file stateEquationProblem-ConstantPlace-2025.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: reporting
lola: not produced: 348
lola: state equation: 286
lola: find path: 1043
lola: goal oriented search: 786
lola: symmetry: 122

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

lola: STATE EQUATION TRIES PLACE p1206
sara: try reading problem file stateEquationProblem-ConstantPlace-1354.sara.
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 p2366
sara: try reading problem file stateEquationProblem-ConstantPlace-811.sara.
lola: reporting
lola: not produced: 343
lola: state equation: 290
lola: find path: 1043
lola: goal oriented search: 786
lola: symmetry: 123
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p768
sara: try reading problem file stateEquationProblem-ConstantPlace-1763.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 340
lola: state equation: 293
lola: find path: 1043
lola: goal oriented search: 786
lola: symmetry: 123

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

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

lola: STATE EQUATION TRIES PLACE p2001
sara: try reading problem file stateEquationProblem-ConstantPlace-111.sara.
lola: reporting
lola: not produced: 335
lola: state equation: 297
lola: find path: 1044
lola: goal oriented search: 786
lola: symmetry: 123
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 p1175
sara: try reading problem file stateEquationProblem-ConstantPlace-1185.sara.
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: 331
lola: state equation: 300
lola: find path: 1044
lola: goal oriented search: 786
lola: symmetry: 124

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

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

lola: STATE EQUATION TRIES PLACE p1088
sara: try reading problem file stateEquationProblem-ConstantPlace-898.sara.
lola: reporting
lola: not produced: 327
lola: state equation: 304
lola: find path: 1044
lola: goal oriented search: 786
lola: symmetry: 124
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 p1989
sara: try reading problem file stateEquationProblem-ConstantPlace-89.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p673
lola: reporting
lola: not produced: 323
lola: state equation: 308
lola: find path: 1044
lola: goal oriented search: 786
lola: symmetry: 124
sara: try reading problem file stateEquationProblem-ConstantPlace-1568.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 p2389
sara: try reading problem file stateEquationProblem-ConstantPlace-857.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p668
sara: try reading problem file stateEquationProblem-ConstantPlace-1563.sara.
lola: reporting
lola: not produced: 320
lola: state equation: 311
lola: find path: 1044
lola: goal oriented search: 786
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2450
sara: try reading problem file stateEquationProblem-ConstantPlace-1080.sara.
lola: reporting
lola: not produced: 316
lola: state equation: 315
lola: find path: 1044
lola: goal oriented search: 786
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 313
lola: state equation: 318
lola: find path: 1044
lola: goal oriented search: 786
lola: symmetry: 124
lola: STATE EQUATION TRIES PLACE p680
sara: try reading problem file stateEquationProblem-ConstantPlace-1575.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1144
sara: try reading problem file stateEquationProblem-ConstantPlace-1130.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 p1018
sara: try reading problem file stateEquationProblem-ConstantPlace-778.sara.
lola: reporting
lola: not produced: 308
lola: state equation: 322
lola: find path: 1045
lola: goal oriented search: 786
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1990
sara: try reading problem file stateEquationProblem-ConstantPlace-90.sara.
lola: reporting
lola: not produced: 304
lola: state equation: 326
lola: find path: 1045
lola: goal oriented search: 786
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p752
sara: try reading problem file stateEquationProblem-ConstantPlace-1747.sara.
lola: reporting
lola: not produced: 301
lola: state equation: 329
lola: find path: 1045
lola: goal oriented search: 786
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1089
sara: try reading problem file stateEquationProblem-ConstantPlace-899.sara.
lola: reporting
lola: not produced: 297
lola: state equation: 333
lola: find path: 1045
lola: goal oriented search: 786
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2260
sara: try reading problem file stateEquationProblem-ConstantPlace-570.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 292
lola: state equation: 336
lola: find path: 1047
lola: goal oriented search: 786
lola: symmetry: 124

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

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

lola: STATE EQUATION TRIES PLACE p1876
sara: try reading problem file stateEquationProblem-ConstantPlace-2561.sara.
lola: reporting
lola: not produced: 285
lola: state equation: 340
lola: find path: 1050
lola: goal oriented search: 786
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1867
lola: reporting
lola: not produced: 281
lola: state equation: 344
lola: find path: 1050
lola: goal oriented search: 786
lola: symmetry: 124
sara: try reading problem file stateEquationProblem-ConstantPlace-2552.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1331
sara: try reading problem file stateEquationProblem-ConstantPlace-1626.sara.
lola: reporting
lola: not produced: 278
lola: state equation: 347
lola: find path: 1050
lola: goal oriented search: 786
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2502
sara: try reading problem file stateEquationProblem-ConstantPlace-1302.sara.
lola: reporting
lola: not produced: 274
lola: state equation: 351
lola: find path: 1050
lola: goal oriented search: 786
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p865
sara: try reading problem file stateEquationProblem-ConstantPlace-1960.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: 270
lola: state equation: 354
lola: find path: 1051
lola: goal oriented search: 786
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1544
sara: try reading problem file stateEquationProblem-ConstantPlace-2039.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: 266
lola: state equation: 358
lola: find path: 1051
lola: goal oriented search: 786
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

lola: 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 p1458
sara: try reading problem file stateEquationProblem-ConstantPlace-1853.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 262
lola: state equation: 361
lola: find path: 1052
lola: goal oriented search: 786
lola: symmetry: 124

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

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

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

lola: STATE EQUATION TRIES PLACE p2021
sara: try reading problem file stateEquationProblem-ConstantPlace-131.sara.
lola: reporting
lola: not produced: 258
lola: state equation: 365
lola: find path: 1052
lola: goal oriented search: 786
lola: symmetry: 124
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 p667
sara: try reading problem file stateEquationProblem-ConstantPlace-1562.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2057
sara: try reading problem file stateEquationProblem-ConstantPlace-167.sara.
lola: reporting
lola: not produced: 254
lola: state equation: 369
lola: find path: 1052
lola: goal oriented search: 786
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1995
sara: try reading problem file stateEquationProblem-ConstantPlace-95.sara.
lola: reporting
lola: not produced: 250
lola: state equation: 372
lola: find path: 1052
lola: goal oriented search: 786
lola: symmetry: 125
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1877
sara: try reading problem file stateEquationProblem-ConstantPlace-2562.sara.
lola: reporting
lola: not produced: 246
lola: state equation: 376
lola: find path: 1052
lola: goal oriented search: 786
lola: symmetry: 125
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1023
sara: try reading problem file stateEquationProblem-ConstantPlace-788.sara.
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: 379
lola: find path: 1052
lola: goal oriented search: 786
lola: symmetry: 126

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

lola: STATE EQUATION TRIES PLACE p1091
sara: try reading problem file stateEquationProblem-ConstantPlace-901.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 p1327
sara: try reading problem file stateEquationProblem-ConstantPlace-1622.sara.
lola: reporting
lola: not produced: 238
lola: state equation: 383
lola: find path: 1052
lola: goal oriented search: 786
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1338
sara: try reading problem file stateEquationProblem-ConstantPlace-1633.sara.
lola: reporting
lola: not produced: 234
lola: state equation: 387
lola: find path: 1052
lola: goal oriented search: 786
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1158
sara: try reading problem file stateEquationProblem-ConstantPlace-1158.sara.
lola: reporting
lola: not produced: 226
lola: state equation: 390
lola: find path: 1057
lola: goal oriented search: 786
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1110
sara: try reading problem file stateEquationProblem-ConstantPlace-1062.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: STATE EQUATION TRIES PLACE p646
sara: try reading problem file stateEquationProblem-ConstantPlace-1541.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1808
sara: try reading problem file stateEquationProblem-ConstantPlace-2493.sara.
lola: reporting
lola: not produced: 222
lola: state equation: 394
lola: find path: 1057
lola: goal oriented search: 786
lola: symmetry: 126
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 p1184
sara: try reading problem file stateEquationProblem-ConstantPlace-1194.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: 219
lola: state equation: 397
lola: find path: 1057
lola: goal oriented search: 786
lola: symmetry: 126
lola: STATE EQUATION TRIES PLACE p1555
sara: try reading problem file stateEquationProblem-ConstantPlace-2050.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2223
sara: try reading problem file stateEquationProblem-ConstantPlace-533.sara.
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 p2484
sara: try reading problem file stateEquationProblem-ConstantPlace-1147.sara.
lola: reporting
lola: not produced: 215
lola: state equation: 401
lola: find path: 1057
lola: goal oriented search: 786
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1411
lola: reporting
lola: not produced: 211
lola: state equation: 405
lola: find path: 1057
lola: goal oriented search: 786
lola: symmetry: 126
sara: try reading problem file stateEquationProblem-ConstantPlace-1806.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 p877
sara: try reading problem file stateEquationProblem-ConstantPlace-1972.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1156
sara: try reading problem file stateEquationProblem-ConstantPlace-1154.sara.
lola: reporting
lola: not produced: 208
lola: state equation: 408
lola: find path: 1057
lola: goal oriented search: 786
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1703
sara: try reading problem file stateEquationProblem-ConstantPlace-2388.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: 204
lola: state equation: 412
lola: find path: 1057
lola: goal oriented search: 786
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1107
sara: try reading problem file stateEquationProblem-ConstantPlace-1056.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 p1032
sara: try reading problem file stateEquationProblem-ConstantPlace-806.sara.
lola: reporting
lola: not produced: 201
lola: state equation: 415
lola: find path: 1057
lola: goal oriented search: 786
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

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

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 p1731
sara: try reading problem file stateEquationProblem-ConstantPlace-2416.sara.
lola: reporting
lola: not produced: 193
lola: state equation: 419
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1070
sara: try reading problem file stateEquationProblem-ConstantPlace-880.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 190
lola: state equation: 422
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 126

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

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

lola: STATE EQUATION TRIES PLACE p871
sara: try reading problem file stateEquationProblem-ConstantPlace-1966.sara.
lola: reporting
lola: not produced: 186
lola: state equation: 426
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 183
lola: state equation: 429
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 126
lola: STATE EQUATION TRIES PLACE p1174
sara: try reading problem file stateEquationProblem-ConstantPlace-1184.sara.
sara: place or transition ordering is non-deterministic

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 p1997
sara: try reading problem file stateEquationProblem-ConstantPlace-97.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: 179
lola: state equation: 433
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1180
sara: try reading problem file stateEquationProblem-ConstantPlace-1190.sara.
lola: reporting
lola: not produced: 176
lola: state equation: 436
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 126
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 p2060
sara: try reading problem file stateEquationProblem-ConstantPlace-170.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2388
sara: try reading problem file stateEquationProblem-ConstantPlace-855.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 173
lola: state equation: 439
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 126

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

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

lola: STATE EQUATION TRIES PLACE p2507
sara: try reading problem file stateEquationProblem-ConstantPlace-1307.sara.
lola: reporting
lola: not produced: 169
lola: state equation: 443
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 126
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 p1208
sara: try reading problem file stateEquationProblem-ConstantPlace-1358.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2220
sara: try reading problem file stateEquationProblem-ConstantPlace-530.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 166
lola: state equation: 446
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 126

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

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

lola: STATE EQUATION TRIES PLACE p2224
sara: try reading problem file stateEquationProblem-ConstantPlace-534.sara.
lola: reporting
lola: not produced: 162
lola: state equation: 450
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p682
sara: try reading problem file stateEquationProblem-ConstantPlace-1577.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: reporting
lola: not produced: 159
lola: state equation: 453
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 126
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 p863
sara: try reading problem file stateEquationProblem-ConstantPlace-1958.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1841
sara: try reading problem file stateEquationProblem-ConstantPlace-2526.sara.
lola: reporting
lola: not produced: 154
lola: state equation: 457
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1878
sara: try reading problem file stateEquationProblem-ConstantPlace-2563.sara.
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 p647
sara: try reading problem file stateEquationProblem-ConstantPlace-1542.sara.
lola: reporting
lola: not produced: 151
lola: state equation: 460
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1207
sara: try reading problem file stateEquationProblem-ConstantPlace-1356.sara.
lola: reporting
lola: not produced: 147
lola: state equation: 464
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
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 p1213
sara: try reading problem file stateEquationProblem-ConstantPlace-1368.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1157
sara: try reading problem file stateEquationProblem-ConstantPlace-1156.sara.
lola: reporting
lola: not produced: 144
lola: state equation: 467
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2456
sara: try reading problem file stateEquationProblem-ConstantPlace-1091.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: 141
lola: state equation: 470
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127

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

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

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

lola: STATE EQUATION TRIES PLACE p1340
sara: try reading problem file stateEquationProblem-ConstantPlace-1635.sara.
lola: reporting
lola: not produced: 137
lola: state equation: 474
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 134
lola: state equation: 477
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
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 p692
sara: try reading problem file stateEquationProblem-ConstantPlace-1587.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2074
sara: try reading problem file stateEquationProblem-ConstantPlace-184.sara.
lola: reporting
lola: not produced: 130
lola: state equation: 481
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1559
sara: try reading problem file stateEquationProblem-ConstantPlace-2054.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 p1720
sara: try reading problem file stateEquationProblem-ConstantPlace-2405.sara.
lola: reporting
lola: not produced: 126
lola: state equation: 485
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1771
sara: try reading problem file stateEquationProblem-ConstantPlace-2456.sara.
lola: reporting
lola: not produced: 123
lola: state equation: 488
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2009
sara: try reading problem file stateEquationProblem-ConstantPlace-119.sara.
lola: reporting
lola: not produced: 119
lola: state equation: 492
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1203
sara: try reading problem file stateEquationProblem-ConstantPlace-1348.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 116
lola: state equation: 495
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127

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

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

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

lola: STATE EQUATION TRIES PLACE p1001
sara: try reading problem file stateEquationProblem-ConstantPlace-744.sara.
lola: reporting
lola: not produced: 112
lola: state equation: 499
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 109
lola: state equation: 502
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
lola: STATE EQUATION TRIES PLACE p1875
sara: try reading problem file stateEquationProblem-ConstantPlace-2560.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1204
sara: try reading problem file stateEquationProblem-ConstantPlace-1350.sara.
lola: reporting
lola: not produced: 105
lola: state equation: 506
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
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 p879
sara: try reading problem file stateEquationProblem-ConstantPlace-1974.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 102
lola: state equation: 509
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
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 p2471
sara: try reading problem file stateEquationProblem-ConstantPlace-1121.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1201
sara: try reading problem file stateEquationProblem-ConstantPlace-1344.sara.
lola: reporting
lola: not produced: 98
lola: state equation: 513
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2018
sara: try reading problem file stateEquationProblem-ConstantPlace-128.sara.
lola: reporting
lola: not produced: 94
lola: state equation: 517
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1151
sara: try reading problem file stateEquationProblem-ConstantPlace-1144.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 p900
sara: try reading problem file stateEquationProblem-ConstantPlace-2095.sara.
lola: reporting
lola: not produced: 91
lola: state equation: 520
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1725
lola: reporting
lola: not produced: 87
lola: state equation: 524
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: try reading problem file stateEquationProblem-ConstantPlace-2410.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1214
sara: try reading problem file stateEquationProblem-ConstantPlace-1370.sara.
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: 84
lola: state equation: 527
lola: find path: 1061
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p271
lola: reporting
lola: not produced: 79
lola: state equation: 531
lola: find path: 1062
lola: goal oriented search: 786
lola: symmetry: 127
sara: try reading problem file stateEquationProblem-ConstantPlace-481.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p679
sara: try reading problem file stateEquationProblem-ConstantPlace-1574.sara.
lola: reporting
lola: not produced: 77
lola: state equation: 533
lola: find path: 1062
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p275
sara: try reading problem file stateEquationProblem-ConstantPlace-485.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 75
lola: state equation: 535
lola: find path: 1062
lola: goal oriented search: 786
lola: symmetry: 127

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

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

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

lola: STATE EQUATION TRIES PLACE p1792
sara: try reading problem file stateEquationProblem-ConstantPlace-2477.sara.
lola: reporting
lola: not produced: 71
lola: state equation: 539
lola: find path: 1062
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2511
sara: try reading problem file stateEquationProblem-ConstantPlace-1321.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 68
lola: state equation: 542
lola: find path: 1062
lola: goal oriented search: 786
lola: symmetry: 127

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

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

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

lola: STATE EQUATION TRIES PLACE p1563
sara: try reading problem file stateEquationProblem-ConstantPlace-2058.sara.
lola: reporting
lola: not produced: 64
lola: state equation: 546
lola: find path: 1062
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 61
lola: state equation: 549
lola: find path: 1062
lola: goal oriented search: 786
lola: symmetry: 127
lola: STATE EQUATION TRIES PLACE p1529
sara: try reading problem file stateEquationProblem-ConstantPlace-2024.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p868
sara: try reading problem file stateEquationProblem-ConstantPlace-1963.sara.
lola: reporting
lola: not produced: 57
lola: state equation: 553
lola: find path: 1062
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p895
lola: reporting
lola: not produced: 51
lola: state equation: 557
lola: find path: 1064
lola: goal oriented search: 786
lola: symmetry: 127
sara: try reading problem file stateEquationProblem-ConstantPlace-1990.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 p1129
sara: try reading problem file stateEquationProblem-ConstantPlace-1099.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: 48
lola: state equation: 560
lola: find path: 1064
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p748
sara: try reading problem file stateEquationProblem-ConstantPlace-1743.sara.
lola: reporting
lola: not produced: 44
lola: state equation: 564
lola: find path: 1064
lola: goal oriented search: 786
lola: symmetry: 127
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 p1972
sara: try reading problem file stateEquationProblem-ConstantPlace-72.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1785
sara: try reading problem file stateEquationProblem-ConstantPlace-2470.sara.
lola: reporting
lola: not produced: 41
lola: state equation: 567
lola: find path: 1064
lola: goal oriented search: 786
lola: symmetry: 127
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 p1987
sara: try reading problem file stateEquationProblem-ConstantPlace-87.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2016
sara: try reading problem file stateEquationProblem-ConstantPlace-126.sara.
lola: reporting
lola: not produced: 37
lola: state equation: 571
lola: find path: 1064
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1130
sara: try reading problem file stateEquationProblem-ConstantPlace-1102.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 33
lola: state equation: 574
lola: find path: 1065
lola: goal oriented search: 786
lola: symmetry: 127

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 p753
sara: try reading problem file stateEquationProblem-ConstantPlace-1748.sara.
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 p1734
sara: try reading problem file stateEquationProblem-ConstantPlace-2419.sara.
lola: reporting
lola: not produced: 29
lola: state equation: 578
lola: find path: 1065
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 26
lola: state equation: 581
lola: find path: 1065
lola: goal oriented search: 786
lola: symmetry: 127
lola: STATE EQUATION TRIES PLACE p1218
sara: try reading problem file stateEquationProblem-ConstantPlace-1378.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1769
sara: try reading problem file stateEquationProblem-ConstantPlace-2454.sara.
lola: reporting
lola: not produced: 22
lola: state equation: 585
lola: find path: 1065
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p276
sara: try reading problem file stateEquationProblem-ConstantPlace-486.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 19
lola: state equation: 588
lola: find path: 1065
lola: goal oriented search: 786
lola: symmetry: 127

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

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

lola: reporting
lola: not produced: 17
lola: state equation: 590
lola: find path: 1065
lola: goal oriented search: 786
lola: symmetry: 127
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 p1185
sara: try reading problem file stateEquationProblem-ConstantPlace-1195.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1844
sara: try reading problem file stateEquationProblem-ConstantPlace-2529.sara.
lola: reporting
lola: not produced: 13
lola: state equation: 594
lola: find path: 1065
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1562
sara: try reading problem file stateEquationProblem-ConstantPlace-2057.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 9
lola: state equation: 597
lola: find path: 1066
lola: goal oriented search: 786
lola: symmetry: 127

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

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

lola: STATE EQUATION TRIES PLACE p674
sara: try reading problem file stateEquationProblem-ConstantPlace-1569.sara.
lola: reporting
lola: not produced: 5
lola: state equation: 601
lola: find path: 1066
lola: goal oriented search: 786
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1550
sara: try reading problem file stateEquationProblem-ConstantPlace-2045.sara.
lola: reporting
lola: not produced: 2
lola: state equation: 604
lola: find path: 1066
lola: goal oriented search: 786
lola: symmetry: 127
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: The net does not have constant places

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-313"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-313, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r116-tall-167814494200063"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' 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 ;