fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r116-tall-167814494200043
Last Updated
May 14, 2023

About the Execution of LoLA for CloudReconfiguration-PT-309

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2860.896 895952.00 3556127.00 52.40 F normal

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.8K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 11:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 25 11:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K 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.4K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 11:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 11:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 25 11:51 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 1678366515339

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-309
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT CloudReconfiguration-PT-309
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 1678367411291

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

lola: STATE EQUATION TRIES PLACE p1750
sara: try reading problem file stateEquationProblem-ConstantPlace-2435.sara.
lola: reporting
lola: not produced: 1342
lola: state equation: 2
lola: find path: 495
lola: goal oriented search: 671
lola: symmetry: 75
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p250
sara: try reading problem file stateEquationProblem-ConstantPlace-460.sara.
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 p656
sara: try reading problem file stateEquationProblem-ConstantPlace-1551.sara.
lola: reporting
lola: not produced: 1208
lola: state equation: 5
lola: find path: 616
lola: goal oriented search: 671
lola: symmetry: 85
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2246
sara: try reading problem file stateEquationProblem-ConstantPlace-556.sara.
lola: reporting
lola: not produced: 1150
lola: state equation: 8
lola: find path: 669
lola: goal oriented search: 671
lola: symmetry: 87
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1351
sara: try reading problem file stateEquationProblem-ConstantPlace-1646.sara.
lola: reporting
lola: not produced: 970
lola: state equation: 10
lola: find path: 837
lola: goal oriented search: 671
lola: symmetry: 97
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 937
lola: state equation: 11
lola: find path: 867
lola: goal oriented search: 671
lola: symmetry: 99
lola: STATE EQUATION TRIES PLACE p1790
sara: try reading problem file stateEquationProblem-ConstantPlace-2475.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p513
sara: try reading problem file stateEquationProblem-ConstantPlace-1223.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 893
lola: state equation: 13
lola: find path: 906
lola: goal oriented search: 671
lola: symmetry: 102

lola: STATE EQUATION TRIES PLACE p1406
sara: try reading problem file stateEquationProblem-ConstantPlace-1801.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: reporting
lola: not produced: 875
lola: state equation: 15
lola: find path: 921
lola: goal oriented search: 671
lola: symmetry: 103

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

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

lola: STATE EQUATION TRIES PLACE p613
sara: try reading problem file stateEquationProblem-ConstantPlace-1508.sara.
lola: reporting
lola: not produced: 864
lola: state equation: 18
lola: find path: 929
lola: goal oriented search: 671
lola: symmetry: 103
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2092
sara: try reading problem file stateEquationProblem-ConstantPlace-202.sara.
lola: reporting
lola: not produced: 846
lola: state equation: 20
lola: find path: 945
lola: goal oriented search: 671
lola: symmetry: 103
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 p2456
sara: try reading problem file stateEquationProblem-ConstantPlace-1091.sara.
lola: reporting
lola: not produced: 823
lola: state equation: 22
lola: find path: 966
lola: goal oriented search: 671
lola: symmetry: 103
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p86
sara: try reading problem file stateEquationProblem-ConstantPlace-2281.sara.
lola: reporting
lola: not produced: 803
lola: state equation: 25
lola: find path: 980
lola: goal oriented search: 671
lola: symmetry: 106
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1527
sara: try reading problem file stateEquationProblem-ConstantPlace-2022.sara.
lola: reporting
lola: not produced: 780
lola: state equation: 26
lola: find path: 997
lola: goal oriented search: 671
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p259
sara: try reading problem file stateEquationProblem-ConstantPlace-469.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 751
lola: state equation: 28
lola: find path: 1019
lola: goal oriented search: 671
lola: symmetry: 116

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

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

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

lola: STATE EQUATION TRIES PLACE p1415
sara: try reading problem file stateEquationProblem-ConstantPlace-1810.sara.
lola: reporting
lola: not produced: 742
lola: state equation: 32
lola: find path: 1022
lola: goal oriented search: 671
lola: symmetry: 118
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 736
lola: state equation: 35
lola: find path: 1025
lola: goal oriented search: 671
lola: symmetry: 118
lola: STATE EQUATION TRIES PLACE p2468
sara: try reading problem file stateEquationProblem-ConstantPlace-1115.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2002
sara: try reading problem file stateEquationProblem-ConstantPlace-112.sara.
lola: reporting
lola: not produced: 707
lola: state equation: 39
lola: find path: 1040
lola: goal oriented search: 671
lola: symmetry: 128
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 p679
sara: try reading problem file stateEquationProblem-ConstantPlace-1574.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1155
lola: reporting
lola: not produced: 692
lola: state equation: 43
lola: find path: 1051
lola: goal oriented search: 671
lola: symmetry: 128
sara: try reading problem file stateEquationProblem-ConstantPlace-1152.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 p1646
sara: try reading problem file stateEquationProblem-ConstantPlace-2331.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2357
sara: try reading problem file stateEquationProblem-ConstantPlace-793.sara.
lola: reporting
lola: not produced: 684
lola: state equation: 46
lola: find path: 1056
lola: goal oriented search: 671
lola: symmetry: 128
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 p309
sara: try reading problem file stateEquationProblem-ConstantPlace-619.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 665
lola: state equation: 48
lola: find path: 1070
lola: goal oriented search: 671
lola: symmetry: 131

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 p2086
sara: try reading problem file stateEquationProblem-ConstantPlace-196.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 p1179
sara: try reading problem file stateEquationProblem-ConstantPlace-1189.sara.
lola: reporting
lola: not produced: 661
lola: state equation: 52
lola: find path: 1070
lola: goal oriented search: 671
lola: symmetry: 131
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 p1010
sara: try reading problem file stateEquationProblem-ConstantPlace-762.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2327
sara: try reading problem file stateEquationProblem-ConstantPlace-737.sara.
lola: reporting
lola: not produced: 651
lola: state equation: 55
lola: find path: 1077
lola: goal oriented search: 671
lola: symmetry: 131
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 p1460
sara: try reading problem file stateEquationProblem-ConstantPlace-1855.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2453
sara: try reading problem file stateEquationProblem-ConstantPlace-1085.sara.
lola: reporting
lola: not produced: 623
lola: state equation: 58
lola: find path: 1102
lola: goal oriented search: 671
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2198
sara: try reading problem file stateEquationProblem-ConstantPlace-408.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: STATE EQUATION TRIES PLACE p2083
sara: try reading problem file stateEquationProblem-ConstantPlace-193.sara.
lola: reporting
lola: not produced: 619
lola: state equation: 62
lola: find path: 1102
lola: goal oriented search: 671
lola: symmetry: 131
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 p1534
sara: try reading problem file stateEquationProblem-ConstantPlace-2029.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1553
sara: try reading problem file stateEquationProblem-ConstantPlace-2048.sara.
lola: reporting
lola: not produced: 610
lola: state equation: 65
lola: find path: 1107
lola: goal oriented search: 671
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2413
sara: try reading problem file stateEquationProblem-ConstantPlace-1023.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: reporting
lola: not produced: 605
lola: state equation: 68
lola: find path: 1108
lola: goal oriented search: 671
lola: symmetry: 133

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

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

lola: STATE EQUATION TRIES PLACE p1546
sara: try reading problem file stateEquationProblem-ConstantPlace-2041.sara.
lola: reporting
lola: not produced: 601
lola: state equation: 72
lola: find path: 1108
lola: goal oriented search: 671
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p648
sara: try reading problem file stateEquationProblem-ConstantPlace-1543.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 p1734
sara: try reading problem file stateEquationProblem-ConstantPlace-2419.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 584
lola: state equation: 75
lola: find path: 1122
lola: goal oriented search: 671
lola: symmetry: 133
lola: STATE EQUATION TRIES PLACE p2396
sara: try reading problem file stateEquationProblem-ConstantPlace-871.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1132
sara: try reading problem file stateEquationProblem-ConstantPlace-1106.sara.
lola: reporting
lola: not produced: 579
lola: state equation: 79
lola: find path: 1123
lola: goal oriented search: 671
lola: symmetry: 133
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 p1105
sara: try reading problem file stateEquationProblem-ConstantPlace-1052.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1845
sara: try reading problem file stateEquationProblem-ConstantPlace-2530.sara.
lola: reporting
lola: not produced: 570
lola: state equation: 82
lola: find path: 1128
lola: goal oriented search: 671
lola: symmetry: 134
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 p2508
sara: try reading problem file stateEquationProblem-ConstantPlace-1308.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2400
sara: try reading problem file stateEquationProblem-ConstantPlace-1000.sara.
lola: reporting
lola: not produced: 557
lola: state equation: 86
lola: find path: 1134
lola: goal oriented search: 671
lola: symmetry: 137
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2259
sara: try reading problem file stateEquationProblem-ConstantPlace-569.sara.
lola: reporting
lola: not produced: 554
lola: state equation: 89
lola: find path: 1134
lola: goal oriented search: 671
lola: symmetry: 137
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 p1412
sara: try reading problem file stateEquationProblem-ConstantPlace-1807.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2255
sara: try reading problem file stateEquationProblem-ConstantPlace-565.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: 549
lola: state equation: 93
lola: find path: 1135
lola: goal oriented search: 671
lola: symmetry: 137
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1098
sara: try reading problem file stateEquationProblem-ConstantPlace-908.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 p1220
sara: try reading problem file stateEquationProblem-ConstantPlace-1382.sara.
lola: reporting
lola: not produced: 543
lola: state equation: 96
lola: find path: 1137
lola: goal oriented search: 671
lola: symmetry: 138
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 p1108
sara: try reading problem file stateEquationProblem-ConstantPlace-1058.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1794
sara: try reading problem file stateEquationProblem-ConstantPlace-2479.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 539
lola: state equation: 99
lola: find path: 1138
lola: goal oriented search: 671
lola: symmetry: 138

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

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

lola: STATE EQUATION TRIES PLACE p2065
sara: try reading problem file stateEquationProblem-ConstantPlace-175.sara.
lola: reporting
lola: not produced: 525
lola: state equation: 103
lola: find path: 1148
lola: goal oriented search: 671
lola: symmetry: 138
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1767
sara: try reading problem file stateEquationProblem-ConstantPlace-2452.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 518
lola: state equation: 106
lola: find path: 1151
lola: goal oriented search: 671
lola: symmetry: 139

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

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

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

lola: STATE EQUATION TRIES PLACE p1701
sara: try reading problem file stateEquationProblem-ConstantPlace-2386.sara.
lola: reporting
lola: not produced: 514
lola: state equation: 110
lola: find path: 1151
lola: goal oriented search: 671
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2262
sara: try reading problem file stateEquationProblem-ConstantPlace-572.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: reporting
lola: not produced: 505
lola: state equation: 113
lola: find path: 1157
lola: goal oriented search: 671
lola: symmetry: 139
lola: STATE EQUATION TRIES PLACE p1074
sara: try reading problem file stateEquationProblem-ConstantPlace-884.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p665
sara: try reading problem file stateEquationProblem-ConstantPlace-1560.sara.
lola: reporting
lola: not produced: 495
lola: state equation: 117
lola: find path: 1163
lola: goal oriented search: 671
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2404
sara: try reading problem file stateEquationProblem-ConstantPlace-1004.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 p2452
sara: try reading problem file stateEquationProblem-ConstantPlace-1083.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 490
lola: state equation: 120
lola: find path: 1165
lola: goal oriented search: 671
lola: symmetry: 139
lola: STATE EQUATION TRIES PLACE p90
sara: try reading problem file stateEquationProblem-ConstantPlace-2295.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 489
lola: state equation: 121
lola: find path: 1165
lola: goal oriented search: 671
lola: symmetry: 139

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

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

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

lola: STATE EQUATION TRIES PLACE p2082
sara: try reading problem file stateEquationProblem-ConstantPlace-192.sara.
lola: reporting
lola: not produced: 482
lola: state equation: 125
lola: find path: 1167
lola: goal oriented search: 671
lola: symmetry: 140
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 p1548
sara: try reading problem file stateEquationProblem-ConstantPlace-2043.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1195
sara: try reading problem file stateEquationProblem-ConstantPlace-1205.sara.
lola: reporting
lola: not produced: 478
lola: state equation: 128
lola: find path: 1168
lola: goal oriented search: 671
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p270
sara: try reading problem file stateEquationProblem-ConstantPlace-480.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 475
lola: state equation: 131
lola: find path: 1168
lola: goal oriented search: 671
lola: symmetry: 140

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

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

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

lola: STATE EQUATION TRIES PLACE p2510
lola: reporting
lola: not produced: 469
lola: state equation: 135
lola: find path: 1170
lola: goal oriented search: 671
lola: symmetry: 140
sara: try reading problem file stateEquationProblem-ConstantPlace-1320.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: 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 p1323
sara: try reading problem file stateEquationProblem-ConstantPlace-1618.sara.
lola: reporting
lola: not produced: 466
lola: state equation: 138
lola: find path: 1170
lola: goal oriented search: 671
lola: symmetry: 140
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 p2421
sara: try reading problem file stateEquationProblem-ConstantPlace-1031.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1989
sara: try reading problem file stateEquationProblem-ConstantPlace-89.sara.
lola: reporting
lola: not produced: 460
lola: state equation: 142
lola: find path: 1171
lola: goal oriented search: 671
lola: symmetry: 141
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 p1182
sara: try reading problem file stateEquationProblem-ConstantPlace-1192.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p732
sara: try reading problem file stateEquationProblem-ConstantPlace-1727.sara.
lola: reporting
lola: not produced: 448
lola: state equation: 145
lola: find path: 1177
lola: goal oriented search: 671
lola: symmetry: 144
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 p2084
sara: try reading problem file stateEquationProblem-ConstantPlace-194.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 p1205
sara: try reading problem file stateEquationProblem-ConstantPlace-1352.sara.
lola: reporting
lola: not produced: 444
lola: state equation: 149
lola: find path: 1177
lola: goal oriented search: 671
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2470
sara: try reading problem file stateEquationProblem-ConstantPlace-1120.sara.
lola: reporting
lola: not produced: 440
lola: state equation: 152
lola: find path: 1178
lola: goal oriented search: 671
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1159
sara: try reading problem file stateEquationProblem-ConstantPlace-1159.sara.
lola: reporting
lola: not produced: 436
lola: state equation: 156
lola: find path: 1178
lola: goal oriented search: 671
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

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

lola: 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 p1549
sara: try reading problem file stateEquationProblem-ConstantPlace-2044.sara.
lola: reporting
lola: not produced: 432
lola: state equation: 159
lola: find path: 1179
lola: goal oriented search: 671
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1729
sara: try reading problem file stateEquationProblem-ConstantPlace-2414.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: STATE EQUATION TRIES PLACE p869
sara: try reading problem file stateEquationProblem-ConstantPlace-1964.sara.
lola: reporting
lola: not produced: 427
lola: state equation: 163
lola: find path: 1180
lola: goal oriented search: 671
lola: symmetry: 144
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 p1204
sara: try reading problem file stateEquationProblem-ConstantPlace-1350.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1867
sara: try reading problem file stateEquationProblem-ConstantPlace-2552.sara.
lola: reporting
lola: not produced: 424
lola: state equation: 166
lola: find path: 1180
lola: goal oriented search: 671
lola: symmetry: 144
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 p2486
sara: try reading problem file stateEquationProblem-ConstantPlace-1151.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 p1208
sara: try reading problem file stateEquationProblem-ConstantPlace-1358.sara.
lola: reporting
lola: not produced: 420
lola: state equation: 170
lola: find path: 1180
lola: goal oriented search: 671
lola: symmetry: 144
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 p1770
sara: try reading problem file stateEquationProblem-ConstantPlace-2455.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1402
sara: try reading problem file stateEquationProblem-ConstantPlace-1797.sara.
lola: reporting
lola: not produced: 417
lola: state equation: 173
lola: find path: 1180
lola: goal oriented search: 671
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2394
sara: try reading problem file stateEquationProblem-ConstantPlace-867.sara.
lola: reporting
lola: not produced: 413
lola: state equation: 177
lola: find path: 1180
lola: goal oriented search: 671
lola: symmetry: 144
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 p1539
sara: try reading problem file stateEquationProblem-ConstantPlace-2034.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2221
sara: try reading problem file stateEquationProblem-ConstantPlace-531.sara.
lola: reporting
lola: not produced: 410
lola: state equation: 180
lola: find path: 1180
lola: goal oriented search: 671
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2069
sara: try reading problem file stateEquationProblem-ConstantPlace-179.sara.
lola: reporting
lola: not produced: 407
lola: state equation: 183
lola: find path: 1180
lola: goal oriented search: 671
lola: symmetry: 144
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: STATE EQUATION TRIES PLACE p1407
sara: try reading problem file stateEquationProblem-ConstantPlace-1802.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2411
sara: try reading problem file stateEquationProblem-ConstantPlace-1021.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 404
lola: state equation: 186
lola: find path: 1180
lola: goal oriented search: 671
lola: symmetry: 144

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

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

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

lola: STATE EQUATION TRIES PLACE p2195
sara: try reading problem file stateEquationProblem-ConstantPlace-405.sara.
lola: reporting
lola: not produced: 400
lola: state equation: 190
lola: find path: 1180
lola: goal oriented search: 671
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

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

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

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

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

lola: STATE EQUATION TRIES PLACE p1038
sara: try reading problem file stateEquationProblem-ConstantPlace-818.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 p1868
sara: try reading problem file stateEquationProblem-ConstantPlace-2553.sara.
lola: reporting
lola: not produced: 392
lola: state equation: 197
lola: find path: 1181
lola: goal oriented search: 671
lola: symmetry: 144
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 p2398
sara: try reading problem file stateEquationProblem-ConstantPlace-875.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: 389
lola: state equation: 200
lola: find path: 1181
lola: goal oriented search: 671
lola: symmetry: 144

lola: STATE EQUATION TRIES PLACE p290
sara: try reading problem file stateEquationProblem-ConstantPlace-510.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: reporting
lola: not produced: 387
lola: state equation: 202
lola: find path: 1181
lola: goal oriented search: 671
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p2074
sara: try reading problem file stateEquationProblem-ConstantPlace-184.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1147
sara: try reading problem file stateEquationProblem-ConstantPlace-1136.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 p1535
sara: try reading problem file stateEquationProblem-ConstantPlace-2030.sara.
lola: reporting
lola: not produced: 379
lola: state equation: 206
lola: find path: 1185
lola: goal oriented search: 671
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2091
sara: try reading problem file stateEquationProblem-ConstantPlace-201.sara.
lola: reporting
lola: not produced: 376
lola: state equation: 209
lola: find path: 1185
lola: goal oriented search: 671
lola: symmetry: 144
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 p1812
sara: try reading problem file stateEquationProblem-ConstantPlace-2497.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 p2529
sara: try reading problem file stateEquationProblem-ConstantPlace-1339.sara.
lola: reporting
lola: not produced: 372
lola: state equation: 213
lola: find path: 1185
lola: goal oriented search: 671
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1200
sara: try reading problem file stateEquationProblem-ConstantPlace-1342.sara.
lola: reporting
lola: not produced: 369
lola: state equation: 216
lola: find path: 1185
lola: goal oriented search: 671
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1731
sara: try reading problem file stateEquationProblem-ConstantPlace-2416.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 p1173
lola: reporting
lola: not produced: 365
lola: state equation: 220
lola: find path: 1185
lola: goal oriented search: 671
lola: symmetry: 144
sara: try reading problem file stateEquationProblem-ConstantPlace-1183.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 p888
sara: try reading problem file stateEquationProblem-ConstantPlace-1983.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1529
sara: try reading problem file stateEquationProblem-ConstantPlace-2024.sara.
lola: reporting
lola: not produced: 361
lola: state equation: 223
lola: find path: 1185
lola: goal oriented search: 671
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1403
sara: try reading problem file stateEquationProblem-ConstantPlace-1798.sara.
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 p1342
sara: try reading problem file stateEquationProblem-ConstantPlace-1637.sara.
lola: reporting
lola: not produced: 358
lola: state equation: 226
lola: find path: 1185
lola: goal oriented search: 671
lola: symmetry: 145
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 p1681
sara: try reading problem file stateEquationProblem-ConstantPlace-2366.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1560
lola: reporting
lola: not produced: 354
lola: state equation: 230
lola: find path: 1185
lola: goal oriented search: 671
lola: symmetry: 145
sara: try reading problem file stateEquationProblem-ConstantPlace-2055.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 p2089
sara: try reading problem file stateEquationProblem-ConstantPlace-199.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1818
sara: try reading problem file stateEquationProblem-ConstantPlace-2503.sara.
lola: reporting
lola: not produced: 350
lola: state equation: 233
lola: find path: 1186
lola: goal oriented search: 671
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1156
sara: try reading problem file stateEquationProblem-ConstantPlace-1154.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 347
lola: state equation: 236
lola: find path: 1186
lola: goal oriented search: 671
lola: symmetry: 145

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

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

lola: STATE EQUATION TRIES PLACE p1733
sara: try reading problem file stateEquationProblem-ConstantPlace-2418.sara.
lola: reporting
lola: not produced: 343
lola: state equation: 240
lola: find path: 1186
lola: goal oriented search: 671
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2061
sara: try reading problem file stateEquationProblem-ConstantPlace-171.sara.
lola: reporting
lola: not produced: 338
lola: state equation: 243
lola: find path: 1188
lola: goal oriented search: 671
lola: symmetry: 145
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 p2210
sara: try reading problem file stateEquationProblem-ConstantPlace-520.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: 335
lola: state equation: 246
lola: find path: 1188
lola: goal oriented search: 671
lola: symmetry: 145

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

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

lola: STATE EQUATION TRIES PLACE p662
sara: try reading problem file stateEquationProblem-ConstantPlace-1557.sara.
lola: reporting
lola: not produced: 331
lola: state equation: 250
lola: find path: 1188
lola: goal oriented search: 671
lola: symmetry: 145
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 p1723
sara: try reading problem file stateEquationProblem-ConstantPlace-2408.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2535
sara: try reading problem file stateEquationProblem-ConstantPlace-1349.sara.
lola: reporting
lola: not produced: 328
lola: state equation: 253
lola: find path: 1188
lola: goal oriented search: 671
lola: symmetry: 145
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 p1533
sara: try reading problem file stateEquationProblem-ConstantPlace-2028.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2217
sara: try reading problem file stateEquationProblem-ConstantPlace-527.sara.
lola: reporting
lola: not produced: 325
lola: state equation: 256
lola: find path: 1188
lola: goal oriented search: 671
lola: symmetry: 145
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 p2435
sara: try reading problem file stateEquationProblem-ConstantPlace-1049.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 p2196
lola: reporting
lola: not produced: 321
lola: state equation: 260
lola: find path: 1188
lola: goal oriented search: 671
lola: symmetry: 145
sara: try reading problem file stateEquationProblem-ConstantPlace-406.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 p2223
sara: try reading problem file stateEquationProblem-ConstantPlace-533.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1994
sara: try reading problem file stateEquationProblem-ConstantPlace-94.sara.
lola: reporting
lola: not produced: 317
lola: state equation: 263
lola: find path: 1188
lola: goal oriented search: 671
lola: symmetry: 146
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 p685
sara: try reading problem file stateEquationProblem-ConstantPlace-1580.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1084
sara: try reading problem file stateEquationProblem-ConstantPlace-894.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 310
lola: state equation: 266
lola: find path: 1190
lola: goal oriented search: 671
lola: symmetry: 148

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

lola: STATE EQUATION TRIES PLACE p1865
lola: reporting
lola: not produced: 305
lola: state equation: 270
lola: find path: 1190
lola: goal oriented search: 671
lola: symmetry: 149
sara: try reading problem file stateEquationProblem-ConstantPlace-2550.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1085
sara: try reading problem file stateEquationProblem-ConstantPlace-895.sara.
lola: reporting
lola: not produced: 302
lola: state equation: 273
lola: find path: 1190
lola: goal oriented search: 671
lola: symmetry: 149
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 p1769
sara: try reading problem file stateEquationProblem-ConstantPlace-2454.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1126
sara: try reading problem file stateEquationProblem-ConstantPlace-1094.sara.
lola: reporting
lola: not produced: 299
lola: state equation: 276
lola: find path: 1190
lola: goal oriented search: 671
lola: symmetry: 149
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 p2527
sara: try reading problem file stateEquationProblem-ConstantPlace-1337.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 296
lola: state equation: 279
lola: find path: 1190
lola: goal oriented search: 671
lola: symmetry: 149
lola: STATE EQUATION TRIES PLACE p1850
sara: try reading problem file stateEquationProblem-ConstantPlace-2535.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: STATE EQUATION TRIES PLACE p1328
sara: try reading problem file stateEquationProblem-ConstantPlace-1623.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1131
sara: try reading problem file stateEquationProblem-ConstantPlace-1104.sara.
lola: reporting
lola: not produced: 292
lola: state equation: 283
lola: find path: 1190
lola: goal oriented search: 671
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1192
sara: try reading problem file stateEquationProblem-ConstantPlace-1202.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 p2442
sara: try reading problem file stateEquationProblem-ConstantPlace-1063.sara.
lola: reporting
lola: not produced: 289
lola: state equation: 286
lola: find path: 1190
lola: goal oriented search: 671
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1062
sara: try reading problem file stateEquationProblem-ConstantPlace-866.sara.
lola: reporting
lola: not produced: 281
lola: state equation: 289
lola: find path: 1194
lola: goal oriented search: 671
lola: symmetry: 150
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 p2077
sara: try reading problem file stateEquationProblem-ConstantPlace-187.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: reporting
lola: not produced: 278
lola: state equation: 292
lola: find path: 1194
lola: goal oriented search: 671
lola: symmetry: 150

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

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

lola: STATE EQUATION TRIES PLACE p275
sara: try reading problem file stateEquationProblem-ConstantPlace-485.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 275
lola: state equation: 295
lola: find path: 1194
lola: goal oriented search: 671
lola: symmetry: 150

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

lola: STATE EQUATION TRIES PLACE p1409
sara: try reading problem file stateEquationProblem-ConstantPlace-1804.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: 271
lola: state equation: 298
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
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 p1704
sara: try reading problem file stateEquationProblem-ConstantPlace-2389.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2505
sara: try reading problem file stateEquationProblem-ConstantPlace-1305.sara.
lola: reporting
lola: not produced: 268
lola: state equation: 301
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
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 p1530
sara: try reading problem file stateEquationProblem-ConstantPlace-2025.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 p1787
lola: reporting
lola: not produced: 264
lola: state equation: 305
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
sara: try reading problem file stateEquationProblem-ConstantPlace-2472.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 p2418
sara: try reading problem file stateEquationProblem-ConstantPlace-1028.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2078
sara: try reading problem file stateEquationProblem-ConstantPlace-188.sara.
lola: reporting
lola: not produced: 261
lola: state equation: 308
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1564
sara: try reading problem file stateEquationProblem-ConstantPlace-2059.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: reporting
lola: not produced: 258
lola: state equation: 311
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150

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 p2389
sara: try reading problem file stateEquationProblem-ConstantPlace-857.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: STATE EQUATION TRIES PLACE p1532
sara: try reading problem file stateEquationProblem-ConstantPlace-2027.sara.
lola: reporting
lola: not produced: 254
lola: state equation: 315
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1194
sara: try reading problem file stateEquationProblem-ConstantPlace-1204.sara.
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 p2056
sara: try reading problem file stateEquationProblem-ConstantPlace-166.sara.
lola: reporting
lola: not produced: 251
lola: state equation: 318
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2383
sara: try reading problem file stateEquationProblem-ConstantPlace-845.sara.
lola: reporting
lola: not produced: 248
lola: state equation: 321
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p734
sara: try reading problem file stateEquationProblem-ConstantPlace-1729.sara.
lola: reporting
lola: not produced: 245
lola: state equation: 324
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1823
sara: try reading problem file stateEquationProblem-ConstantPlace-2508.sara.
lola: reporting
lola: not produced: 242
lola: state equation: 327
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2450
sara: try reading problem file stateEquationProblem-ConstantPlace-1080.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 p1772
sara: try reading problem file stateEquationProblem-ConstantPlace-2457.sara.
lola: reporting
lola: not produced: 239
lola: state equation: 330
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
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 p1398
sara: try reading problem file stateEquationProblem-ConstantPlace-1693.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 p1040
lola: reporting
lola: not produced: 235
lola: state equation: 334
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
sara: try reading problem file stateEquationProblem-ConstantPlace-822.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 233
lola: state equation: 336
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
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 p2498
sara: try reading problem file stateEquationProblem-ConstantPlace-1175.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1849
sara: try reading problem file stateEquationProblem-ConstantPlace-2534.sara.
lola: reporting
lola: not produced: 230
lola: state equation: 339
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
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 p2059
sara: try reading problem file stateEquationProblem-ConstantPlace-169.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1186
sara: try reading problem file stateEquationProblem-ConstantPlace-1196.sara.
lola: reporting
lola: not produced: 227
lola: state equation: 342
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1526
sara: try reading problem file stateEquationProblem-ConstantPlace-2021.sara.
lola: reporting
lola: not produced: 225
lola: state equation: 344
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1463
sara: try reading problem file stateEquationProblem-ConstantPlace-1858.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 222
lola: state equation: 347
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150

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

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

lola: STATE EQUATION TRIES PLACE p1820
sara: try reading problem file stateEquationProblem-ConstantPlace-2505.sara.
lola: reporting
lola: not produced: 219
lola: state equation: 350
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p661
sara: try reading problem file stateEquationProblem-ConstantPlace-1556.sara.
lola: reporting
lola: not produced: 216
lola: state equation: 353
lola: find path: 1195
lola: goal oriented search: 671
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p733
sara: try reading problem file stateEquationProblem-ConstantPlace-1728.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 208
lola: state equation: 356
lola: find path: 1200
lola: goal oriented search: 671
lola: symmetry: 150

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

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

lola: 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: 205
lola: state equation: 359
lola: find path: 1200
lola: goal oriented search: 671
lola: symmetry: 150

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

lola: STATE EQUATION TRIES PLACE p2197
sara: try reading problem file stateEquationProblem-ConstantPlace-407.sara.
lola: reporting
lola: not produced: 203
lola: state equation: 361
lola: find path: 1200
lola: goal oriented search: 671
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1399
sara: try reading problem file stateEquationProblem-ConstantPlace-1694.sara.
lola: reporting
lola: not produced: 197
lola: state equation: 364
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1999
sara: try reading problem file stateEquationProblem-ConstantPlace-99.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 193
lola: state equation: 367
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151

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

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

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

lola: STATE EQUATION TRIES PLACE p2212
sara: try reading problem file stateEquationProblem-ConstantPlace-522.sara.
lola: reporting
lola: not produced: 189
lola: state equation: 371
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151
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 p1863
sara: try reading problem file stateEquationProblem-ConstantPlace-2548.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: 186
lola: state equation: 374
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151
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 p2058
sara: try reading problem file stateEquationProblem-ConstantPlace-168.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2367
sara: try reading problem file stateEquationProblem-ConstantPlace-813.sara.
lola: reporting
lola: not produced: 183
lola: state equation: 377
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151
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 p1554
sara: try reading problem file stateEquationProblem-ConstantPlace-2049.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2397
sara: try reading problem file stateEquationProblem-ConstantPlace-873.sara.
lola: reporting
lola: not produced: 180
lola: state equation: 380
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151
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 p736
sara: try reading problem file stateEquationProblem-ConstantPlace-1731.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p870
sara: try reading problem file stateEquationProblem-ConstantPlace-1965.sara.
lola: reporting
lola: not produced: 177
lola: state equation: 383
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151
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 p1562
sara: try reading problem file stateEquationProblem-ConstantPlace-2057.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1411
sara: try reading problem file stateEquationProblem-ConstantPlace-1806.sara.
lola: reporting
lola: not produced: 174
lola: state equation: 386
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151
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 p2417
sara: try reading problem file stateEquationProblem-ConstantPlace-1027.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2087
sara: try reading problem file stateEquationProblem-ConstantPlace-197.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 171
lola: state equation: 389
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151

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 p2079
sara: try reading problem file stateEquationProblem-ConstantPlace-189.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 p1550
sara: try reading problem file stateEquationProblem-ConstantPlace-2045.sara.
lola: reporting
lola: not produced: 167
lola: state equation: 393
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151
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 p2416
sara: try reading problem file stateEquationProblem-ConstantPlace-1026.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1057
sara: try reading problem file stateEquationProblem-ConstantPlace-856.sara.
lola: reporting
lola: not produced: 164
lola: state equation: 396
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151
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 p1703
sara: try reading problem file stateEquationProblem-ConstantPlace-2388.sara.
sara: place or transition ordering is non-deterministic

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

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

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

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

lola: reporting
lola: not produced: 158
lola: state equation: 402
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151
lola: STATE EQUATION TRIES PLACE p1309
sara: try reading problem file stateEquationProblem-ConstantPlace-1604.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2499
sara: try reading problem file stateEquationProblem-ConstantPlace-1177.sara.
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 p1866
sara: try reading problem file stateEquationProblem-ConstantPlace-2551.sara.
lola: reporting
lola: not produced: 154
lola: state equation: 406
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151
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 p1067
sara: try reading problem file stateEquationProblem-ConstantPlace-876.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1414
sara: try reading problem file stateEquationProblem-ConstantPlace-1809.sara.
lola: reporting
lola: not produced: 151
lola: state equation: 409
lola: find path: 1203
lola: goal oriented search: 671
lola: symmetry: 151
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 p2410
sara: try reading problem file stateEquationProblem-ConstantPlace-1020.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1544
sara: try reading problem file stateEquationProblem-ConstantPlace-2039.sara.
lola: reporting
lola: not produced: 146
lola: state equation: 413
lola: find path: 1204
lola: goal oriented search: 671
lola: symmetry: 151
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 p2366
sara: try reading problem file stateEquationProblem-ConstantPlace-811.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1125
sara: try reading problem file stateEquationProblem-ConstantPlace-1092.sara.
lola: reporting
lola: not produced: 142
lola: state equation: 416
lola: find path: 1205
lola: goal oriented search: 671
lola: symmetry: 151
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 p2225
sara: try reading problem file stateEquationProblem-ConstantPlace-535.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2426
sara: try reading problem file stateEquationProblem-ConstantPlace-1036.sara.
lola: reporting
lola: not produced: 138
lola: state equation: 419
lola: find path: 1206
lola: goal oriented search: 671
lola: symmetry: 151
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 p2451
sara: try reading problem file stateEquationProblem-ConstantPlace-1081.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2432
sara: try reading problem file stateEquationProblem-ConstantPlace-1043.sara.
lola: reporting
lola: not produced: 135
lola: state equation: 422
lola: find path: 1206
lola: goal oriented search: 671
lola: symmetry: 151
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 p1324
sara: try reading problem file stateEquationProblem-ConstantPlace-1619.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1788
sara: try reading problem file stateEquationProblem-ConstantPlace-2473.sara.
lola: reporting
lola: not produced: 130
lola: state equation: 426
lola: find path: 1207
lola: goal oriented search: 671
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2202
sara: try reading problem file stateEquationProblem-ConstantPlace-502.sara.
lola: reporting
lola: not produced: 126
lola: state equation: 429
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p731
sara: try reading problem file stateEquationProblem-ConstantPlace-1726.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 123
lola: state equation: 432
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 151

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

lola: STATE EQUATION TRIES PLACE p2534
sara: try reading problem file stateEquationProblem-ConstantPlace-1347.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 p1410
sara: try reading problem file stateEquationProblem-ConstantPlace-1805.sara.
lola: reporting
lola: not produced: 119
lola: state equation: 436
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 151
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 p1730
sara: try reading problem file stateEquationProblem-ConstantPlace-2415.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1161
sara: try reading problem file stateEquationProblem-ConstantPlace-1164.sara.
lola: reporting
lola: not produced: 116
lola: state equation: 439
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2364
sara: try reading problem file stateEquationProblem-ConstantPlace-807.sara.
lola: reporting
lola: not produced: 113
lola: state equation: 442
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1694
lola: reporting
lola: not produced: 109
lola: state equation: 446
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 151
sara: try reading problem file stateEquationProblem-ConstantPlace-2379.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1185
sara: try reading problem file stateEquationProblem-ConstantPlace-1195.sara.
lola: reporting
lola: not produced: 105
lola: state equation: 449
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p666
sara: try reading problem file stateEquationProblem-ConstantPlace-1561.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2200
sara: try reading problem file stateEquationProblem-ConstantPlace-500.sara.
lola: reporting
lola: not produced: 102
lola: state equation: 452
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1153
sara: try reading problem file stateEquationProblem-ConstantPlace-1148.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 99
lola: state equation: 455
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152

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

lola: STATE EQUATION TRIES PLACE p1104
sara: try reading problem file stateEquationProblem-ConstantPlace-1050.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: STATE EQUATION TRIES PLACE p1107
lola: reporting
lola: not produced: 95
lola: state equation: 459
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: try reading problem file stateEquationProblem-ConstantPlace-1056.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1538
sara: try reading problem file stateEquationProblem-ConstantPlace-2033.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: 92
lola: state equation: 462
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p730
sara: try reading problem file stateEquationProblem-ConstantPlace-1725.sara.
lola: reporting
lola: not produced: 89
lola: state equation: 465
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2536
sara: try reading problem file stateEquationProblem-ConstantPlace-1351.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: reporting
lola: not produced: 86
lola: state equation: 468
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152

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

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

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

lola: STATE EQUATION TRIES PLACE p2222
sara: try reading problem file stateEquationProblem-ConstantPlace-532.sara.
lola: reporting
lola: not produced: 82
lola: state equation: 472
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1822
sara: try reading problem file stateEquationProblem-ConstantPlace-2507.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 p1178
sara: try reading problem file stateEquationProblem-ConstantPlace-1188.sara.
lola: reporting
lola: not produced: 79
lola: state equation: 475
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p2481
sara: try reading problem file stateEquationProblem-ConstantPlace-1141.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: 76
lola: state equation: 478
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p2073
sara: try reading problem file stateEquationProblem-ConstantPlace-183.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1405
sara: try reading problem file stateEquationProblem-ConstantPlace-1800.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 73
lola: state equation: 481
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152

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

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

lola: STATE EQUATION TRIES PLACE p2368
sara: try reading problem file stateEquationProblem-ConstantPlace-815.sara.
lola: reporting
lola: not produced: 69
lola: state equation: 485
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p1735
sara: try reading problem file stateEquationProblem-ConstantPlace-2420.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1109
sara: try reading problem file stateEquationProblem-ConstantPlace-1059.sara.
lola: reporting
lola: not produced: 66
lola: state equation: 488
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p2075
sara: try reading problem file stateEquationProblem-ConstantPlace-185.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1870
sara: try reading problem file stateEquationProblem-ConstantPlace-2555.sara.
lola: reporting
lola: not produced: 63
lola: state equation: 491
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2479
sara: try reading problem file stateEquationProblem-ConstantPlace-1137.sara.
lola: reporting
lola: not produced: 59
lola: state equation: 495
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1545
sara: try reading problem file stateEquationProblem-ConstantPlace-2040.sara.
lola: reporting
lola: not produced: 56
lola: state equation: 498
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p2415
sara: try reading problem file stateEquationProblem-ConstantPlace-1025.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1176
sara: try reading problem file stateEquationProblem-ConstantPlace-1186.sara.
lola: reporting
lola: not produced: 53
lola: state equation: 501
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p2057
sara: try reading problem file stateEquationProblem-ConstantPlace-167.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1993
sara: try reading problem file stateEquationProblem-ConstantPlace-93.sara.
lola: reporting
lola: not produced: 50
lola: state equation: 504
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2358
sara: try reading problem file stateEquationProblem-ConstantPlace-795.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 p1815
sara: try reading problem file stateEquationProblem-ConstantPlace-2500.sara.
lola: reporting
lola: not produced: 46
lola: state equation: 508
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p864
sara: try reading problem file stateEquationProblem-ConstantPlace-1959.sara.
lola: reporting
lola: not produced: 43
lola: state equation: 511
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p932
sara: try reading problem file stateEquationProblem-ConstantPlace-2127.sara.
lola: reporting
lola: not produced: 40
lola: state equation: 514
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p1528
sara: try reading problem file stateEquationProblem-ConstantPlace-2023.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: 37
lola: state equation: 517
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p2204
sara: try reading problem file stateEquationProblem-ConstantPlace-504.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1871
sara: try reading problem file stateEquationProblem-ConstantPlace-2556.sara.
lola: reporting
lola: not produced: 33
lola: state equation: 521
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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: 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 p2068
sara: try reading problem file stateEquationProblem-ConstantPlace-178.sara.
lola: reporting
lola: not produced: 30
lola: state equation: 524
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p1875
sara: try reading problem file stateEquationProblem-ConstantPlace-2560.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: 27
lola: state equation: 527
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p748
sara: try reading problem file stateEquationProblem-ConstantPlace-1743.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1995
sara: try reading problem file stateEquationProblem-ConstantPlace-95.sara.
lola: reporting
lola: not produced: 23
lola: state equation: 531
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p1997
sara: try reading problem file stateEquationProblem-ConstantPlace-97.sara.
lola: reporting
lola: not produced: 21
lola: state equation: 533
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 20
lola: state equation: 534
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p1427
sara: try reading problem file stateEquationProblem-ConstantPlace-1822.sara.
lola: reporting
lola: not produced: 18
lola: state equation: 536
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2483
sara: try reading problem file stateEquationProblem-ConstantPlace-1145.sara.
lola: reporting
lola: not produced: 16
lola: state equation: 538
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2391
sara: try reading problem file stateEquationProblem-ConstantPlace-861.sara.
lola: reporting
lola: not produced: 14
lola: state equation: 540
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2430
sara: try reading problem file stateEquationProblem-ConstantPlace-1040.sara.
lola: reporting
lola: not produced: 12
lola: state equation: 542
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p78
sara: try reading problem file stateEquationProblem-ConstantPlace-2263.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 11
lola: state equation: 543
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152

lola: STATE EQUATION TRIES PLACE p2206
sara: try reading problem file stateEquationProblem-ConstantPlace-506.sara.
lola: reporting
lola: not produced: 10
lola: state equation: 544
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1780
sara: try reading problem file stateEquationProblem-ConstantPlace-2465.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 8
lola: state equation: 546
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152

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 p273
sara: try reading problem file stateEquationProblem-ConstantPlace-483.sara.
lola: reporting
lola: not produced: 6
lola: state equation: 548
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p2006
sara: try reading problem file stateEquationProblem-ConstantPlace-116.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 4
lola: state equation: 550
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152
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 p1848
sara: try reading problem file stateEquationProblem-ConstantPlace-2533.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1174
sara: try reading problem file stateEquationProblem-ConstantPlace-1184.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1
lola: state equation: 553
lola: find path: 1208
lola: goal oriented search: 671
lola: symmetry: 152

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

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