About the Execution of LoLA for CloudReconfiguration-PT-304
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1366.611 | 483811.00 | 1925139.00 | 24.60 | F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r116-tall-167814494200018.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-304, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r116-tall-167814494200018
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 9.5K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:46 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 11K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1678364687000
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-304
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT CloudReconfiguration-PT-304
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 1678365170811
--------------------
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 p2041
sara: try reading problem file stateEquationProblem-ConstantPlace-151.sara.
lola: LAUNCH SYMM
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p453
sara: try reading problem file stateEquationProblem-ConstantPlace-963.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2410
sara: try reading problem file stateEquationProblem-ConstantPlace-1020.sara.
lola: reporting
lola: not produced: 1726
lola: state equation: 2
lola: find path: 622
lola: goal oriented search: 196
lola: symmetry: 38
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p755
sara: try reading problem file stateEquationProblem-ConstantPlace-1749.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2207
sara: try reading problem file stateEquationProblem-ConstantPlace-507.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p868
sara: try reading problem file stateEquationProblem-ConstantPlace-1962.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1509
lola: state equation: 5
lola: find path: 818
lola: goal oriented search: 196
lola: symmetry: 56
lola: STATE EQUATION TRIES PLACE p172
sara: try reading problem file stateEquationProblem-ConstantPlace-282.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p436
sara: try reading problem file stateEquationProblem-ConstantPlace-946.sara.
lola: reporting
lola: not produced: 1375
lola: state equation: 7
lola: find path: 935
lola: goal oriented search: 196
lola: symmetry: 71
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1461
sara: try reading problem file stateEquationProblem-ConstantPlace-1855.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1304
lola: state equation: 8
lola: find path: 998
lola: goal oriented search: 196
lola: symmetry: 78
lola: STATE EQUATION TRIES PLACE p126
sara: try reading problem file stateEquationProblem-ConstantPlace-236.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1973
sara: try reading problem file stateEquationProblem-ConstantPlace-73.sara.
lola: reporting
lola: not produced: 1260
lola: state equation: 10
lola: find path: 1037
lola: goal oriented search: 196
lola: symmetry: 81
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2472
sara: try reading problem file stateEquationProblem-ConstantPlace-1123.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1028
sara: try reading problem file stateEquationProblem-ConstantPlace-798.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2066
sara: try reading problem file stateEquationProblem-ConstantPlace-176.sara.
lola: reporting
lola: not produced: 1189
lola: state equation: 13
lola: find path: 1096
lola: goal oriented search: 196
lola: symmetry: 90
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1027
sara: try reading problem file stateEquationProblem-ConstantPlace-796.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 p1186
sara: try reading problem file stateEquationProblem-ConstantPlace-1196.sara.
lola: reporting
lola: not produced: 1170
lola: state equation: 16
lola: find path: 1110
lola: goal oriented search: 196
lola: symmetry: 92
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 p732
sara: try reading problem file stateEquationProblem-ConstantPlace-1726.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: STATE EQUATION TRIES PLACE p1708
lola: reporting
lola: not produced: 1149
lola: state equation: 20
lola: find path: 1127
lola: goal oriented search: 196
lola: symmetry: 92
sara: try reading problem file stateEquationProblem-ConstantPlace-2392.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2092
sara: try reading problem file stateEquationProblem-ConstantPlace-202.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2338
sara: try reading problem file stateEquationProblem-ConstantPlace-755.sara.
lola: reporting
lola: not produced: 1102
lola: state equation: 22
lola: find path: 1169
lola: goal oriented search: 196
lola: symmetry: 95
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p881
sara: try reading problem file stateEquationProblem-ConstantPlace-1975.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p796
sara: try reading problem file stateEquationProblem-ConstantPlace-1790.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1063
lola: state equation: 24
lola: find path: 1198
lola: goal oriented search: 196
lola: symmetry: 103
lola: STATE EQUATION TRIES PLACE p108
sara: try reading problem file stateEquationProblem-ConstantPlace-218.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2351
sara: try reading problem file stateEquationProblem-ConstantPlace-781.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1092
sara: try reading problem file stateEquationProblem-ConstantPlace-902.sara.
lola: reporting
lola: not produced: 1027
lola: state equation: 27
lola: find path: 1227
lola: goal oriented search: 196
lola: symmetry: 107
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1800
sara: try reading problem file stateEquationProblem-ConstantPlace-2484.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1840
sara: try reading problem file stateEquationProblem-ConstantPlace-2524.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2424
sara: try reading problem file stateEquationProblem-ConstantPlace-1034.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1865
sara: try reading problem file stateEquationProblem-ConstantPlace-2549.sara.
lola: reporting
lola: not produced: 997
lola: state equation: 31
lola: find path: 1252
lola: goal oriented search: 196
lola: symmetry: 108
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 p797
sara: try reading problem file stateEquationProblem-ConstantPlace-1791.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1061
sara: try reading problem file stateEquationProblem-ConstantPlace-864.sara.
lola: reporting
lola: not produced: 962
lola: state equation: 34
lola: find path: 1283
lola: goal oriented search: 196
lola: symmetry: 109
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1166
sara: try reading problem file stateEquationProblem-ConstantPlace-1174.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1197
sara: try reading problem file stateEquationProblem-ConstantPlace-1207.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2493
sara: try reading problem file stateEquationProblem-ConstantPlace-1165.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1782
lola: reporting
lola: not produced: 949
lola: state equation: 38
lola: find path: 1292
lola: goal oriented search: 196
lola: symmetry: 109
sara: try reading problem file stateEquationProblem-ConstantPlace-2466.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 p1753
sara: try reading problem file stateEquationProblem-ConstantPlace-2437.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1545
sara: try reading problem file stateEquationProblem-ConstantPlace-2039.sara.
lola: reporting
lola: not produced: 939
lola: state equation: 41
lola: find path: 1299
lola: goal oriented search: 196
lola: symmetry: 109
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 p665
sara: try reading problem file stateEquationProblem-ConstantPlace-1559.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 p2528
lola: reporting
lola: not produced: 930
lola: state equation: 45
lola: find path: 1304
lola: goal oriented search: 196
lola: symmetry: 109
sara: try reading problem file stateEquationProblem-ConstantPlace-1338.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1116
sara: try reading problem file stateEquationProblem-ConstantPlace-1074.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1722
sara: try reading problem file stateEquationProblem-ConstantPlace-2406.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1843
sara: try reading problem file stateEquationProblem-ConstantPlace-2527.sara.
lola: reporting
lola: not produced: 906
lola: state equation: 48
lola: find path: 1325
lola: goal oriented search: 196
lola: symmetry: 109
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1089
sara: try reading problem file stateEquationProblem-ConstantPlace-899.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1133
sara: try reading problem file stateEquationProblem-ConstantPlace-1108.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1328
sara: try reading problem file stateEquationProblem-ConstantPlace-1622.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 902
lola: state equation: 51
lola: find path: 1326
lola: goal oriented search: 196
lola: symmetry: 109
lola: STATE EQUATION TRIES PLACE p1178
sara: try reading problem file stateEquationProblem-ConstantPlace-1188.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2211
sara: try reading problem file stateEquationProblem-ConstantPlace-521.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 p2193
sara: try reading problem file stateEquationProblem-ConstantPlace-403.sara.
lola: reporting
lola: not produced: 883
lola: state equation: 55
lola: find path: 1335
lola: goal oriented search: 196
lola: symmetry: 115
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1026
sara: try reading problem file stateEquationProblem-ConstantPlace-794.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1873
sara: try reading problem file stateEquationProblem-ConstantPlace-2557.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2002
sara: try reading problem file stateEquationProblem-ConstantPlace-112.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 862
lola: state equation: 58
lola: find path: 1352
lola: goal oriented search: 196
lola: symmetry: 116
lola: STATE EQUATION TRIES PLACE p873
sara: try reading problem file stateEquationProblem-ConstantPlace-1967.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p647
sara: try reading problem file stateEquationProblem-ConstantPlace-1541.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1161
sara: try reading problem file stateEquationProblem-ConstantPlace-1164.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p673
sara: try reading problem file stateEquationProblem-ConstantPlace-1567.sara.
lola: reporting
lola: not produced: 855
lola: state equation: 62
lola: find path: 1355
lola: goal oriented search: 196
lola: symmetry: 116
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 p2507
sara: try reading problem file stateEquationProblem-ConstantPlace-1307.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p890
sara: try reading problem file stateEquationProblem-ConstantPlace-1984.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 846
lola: state equation: 65
lola: find path: 1360
lola: goal oriented search: 196
lola: symmetry: 117
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 p752
sara: try reading problem file stateEquationProblem-ConstantPlace-1746.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 p800
sara: try reading problem file stateEquationProblem-ConstantPlace-1894.sara.
lola: reporting
lola: not produced: 817
lola: state equation: 69
lola: find path: 1377
lola: goal oriented search: 196
lola: symmetry: 125
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 p1741
sara: try reading problem file stateEquationProblem-ConstantPlace-2425.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1201
sara: try reading problem file stateEquationProblem-ConstantPlace-1344.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 799
lola: state equation: 72
lola: find path: 1392
lola: goal oriented search: 196
lola: symmetry: 125
lola: STATE EQUATION TRIES PLACE p895
sara: try reading problem file stateEquationProblem-ConstantPlace-1989.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2009
sara: try reading problem file stateEquationProblem-ConstantPlace-119.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1703
sara: try reading problem file stateEquationProblem-ConstantPlace-2387.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2399
sara: try reading problem file stateEquationProblem-ConstantPlace-877.sara.
lola: reporting
lola: not produced: 776
lola: state equation: 76
lola: find path: 1409
lola: goal oriented search: 196
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1549
sara: try reading problem file stateEquationProblem-ConstantPlace-2043.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2414
sara: try reading problem file stateEquationProblem-ConstantPlace-1024.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p680
sara: try reading problem file stateEquationProblem-ConstantPlace-1574.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 770
lola: state equation: 79
lola: find path: 1412
lola: goal oriented search: 196
lola: symmetry: 127
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 p2192
sara: try reading problem file stateEquationProblem-ConstantPlace-402.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1142
sara: try reading problem file stateEquationProblem-ConstantPlace-1126.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1058
sara: try reading problem file stateEquationProblem-ConstantPlace-858.sara.
lola: reporting
lola: not produced: 763
lola: state equation: 83
lola: find path: 1415
lola: goal oriented search: 196
lola: symmetry: 127
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1225
sara: try reading problem file stateEquationProblem-ConstantPlace-1392.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2373
sara: try reading problem file stateEquationProblem-ConstantPlace-825.sara.
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: reporting
lola: not produced: 750
lola: state equation: 86
lola: find path: 1421
lola: goal oriented search: 196
lola: symmetry: 131
lola: STATE EQUATION TRIES PLACE p1797
sara: try reading problem file stateEquationProblem-ConstantPlace-2481.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 p1177
sara: try reading problem file stateEquationProblem-ConstantPlace-1187.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p746
sara: try reading problem file stateEquationProblem-ConstantPlace-1740.sara.
lola: reporting
lola: not produced: 732
lola: state equation: 90
lola: find path: 1435
lola: goal oriented search: 196
lola: symmetry: 131
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2535
sara: try reading problem file stateEquationProblem-ConstantPlace-1349.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2406
sara: try reading problem file stateEquationProblem-ConstantPlace-1006.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1793
sara: try reading problem file stateEquationProblem-ConstantPlace-2477.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 729
lola: state equation: 93
lola: find path: 1435
lola: goal oriented search: 196
lola: symmetry: 131
lola: STATE EQUATION TRIES PLACE p2344
sara: try reading problem file stateEquationProblem-ConstantPlace-767.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1074
sara: try reading problem file stateEquationProblem-ConstantPlace-884.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p681
sara: try reading problem file stateEquationProblem-ConstantPlace-1575.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: 725
lola: state equation: 97
lola: find path: 1435
lola: goal oriented search: 196
lola: symmetry: 131
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1813
sara: try reading problem file stateEquationProblem-ConstantPlace-2497.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2015
sara: try reading problem file stateEquationProblem-ConstantPlace-125.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1220
sara: try reading problem file stateEquationProblem-ConstantPlace-1382.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 722
lola: state equation: 100
lola: find path: 1435
lola: goal oriented search: 196
lola: symmetry: 131
lola: STATE EQUATION TRIES PLACE p1153
sara: try reading problem file stateEquationProblem-ConstantPlace-1148.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2216
sara: try reading problem file stateEquationProblem-ConstantPlace-526.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 p1208
sara: try reading problem file stateEquationProblem-ConstantPlace-1358.sara.
lola: reporting
lola: not produced: 716
lola: state equation: 104
lola: find path: 1436
lola: goal oriented search: 196
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2523
sara: try reading problem file stateEquationProblem-ConstantPlace-1333.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1792
sara: try reading problem file stateEquationProblem-ConstantPlace-2476.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1866
sara: try reading problem file stateEquationProblem-ConstantPlace-2550.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 696
lola: state equation: 107
lola: find path: 1453
lola: goal oriented search: 196
lola: symmetry: 132
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 p1540
sara: try reading problem file stateEquationProblem-ConstantPlace-2034.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1071
sara: try reading problem file stateEquationProblem-ConstantPlace-881.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1875
sara: try reading problem file stateEquationProblem-ConstantPlace-2559.sara.
lola: reporting
lola: not produced: 692
lola: state equation: 111
lola: find path: 1453
lola: goal oriented search: 196
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1175
sara: try reading problem file stateEquationProblem-ConstantPlace-1185.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2413
sara: try reading problem file stateEquationProblem-ConstantPlace-1023.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1310
sara: try reading problem file stateEquationProblem-ConstantPlace-1604.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 689
lola: state equation: 114
lola: find path: 1453
lola: goal oriented search: 196
lola: symmetry: 132
lola: STATE EQUATION TRIES PLACE p2549
sara: try reading problem file stateEquationProblem-ConstantPlace-1377.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 p2403
sara: try reading problem file stateEquationProblem-ConstantPlace-1003.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2058
sara: try reading problem file stateEquationProblem-ConstantPlace-168.sara.
lola: reporting
lola: not produced: 684
lola: state equation: 118
lola: find path: 1454
lola: goal oriented search: 196
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1735
sara: try reading problem file stateEquationProblem-ConstantPlace-2419.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1884
sara: try reading problem file stateEquationProblem-ConstantPlace-2568.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1881
sara: try reading problem file stateEquationProblem-ConstantPlace-2565.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: 679
lola: state equation: 122
lola: find path: 1455
lola: goal oriented search: 196
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p758
sara: try reading problem file stateEquationProblem-ConstantPlace-1752.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1863
sara: try reading problem file stateEquationProblem-ConstantPlace-2547.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p741
sara: try reading problem file stateEquationProblem-ConstantPlace-1735.sara.
lola: reporting
lola: not produced: 674
lola: state equation: 125
lola: find path: 1457
lola: goal oriented search: 196
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2074
sara: try reading problem file stateEquationProblem-ConstantPlace-184.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1323
sara: try reading problem file stateEquationProblem-ConstantPlace-1617.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1040
sara: try reading problem file stateEquationProblem-ConstantPlace-822.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1728
sara: try reading problem file stateEquationProblem-ConstantPlace-2412.sara.
lola: reporting
lola: not produced: 669
lola: state equation: 129
lola: find path: 1458
lola: goal oriented search: 196
lola: symmetry: 132
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 p2190
sara: try reading problem file stateEquationProblem-ConstantPlace-400.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: reporting
lola: not produced: 666
lola: state equation: 132
lola: find path: 1458
lola: goal oriented search: 196
lola: symmetry: 132
lola: STATE EQUATION TRIES PLACE p2227
sara: try reading problem file stateEquationProblem-ConstantPlace-537.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1705
sara: try reading problem file stateEquationProblem-ConstantPlace-2389.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p748
sara: try reading problem file stateEquationProblem-ConstantPlace-1742.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1726
sara: try reading problem file stateEquationProblem-ConstantPlace-2410.sara.
lola: reporting
lola: not produced: 661
lola: state equation: 136
lola: find path: 1459
lola: goal oriented search: 196
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p661
sara: try reading problem file stateEquationProblem-ConstantPlace-1555.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1165
sara: try reading problem file stateEquationProblem-ConstantPlace-1172.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1731
sara: try reading problem file stateEquationProblem-ConstantPlace-2415.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1752
lola: reporting
lola: not produced: 656
lola: state equation: 140
lola: find path: 1460
lola: goal oriented search: 196
lola: symmetry: 132
sara: try reading problem file stateEquationProblem-ConstantPlace-2436.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2335
sara: try reading problem file stateEquationProblem-ConstantPlace-749.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2442
sara: try reading problem file stateEquationProblem-ConstantPlace-1063.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1108
sara: try reading problem file stateEquationProblem-ConstantPlace-1058.sara.
lola: reporting
lola: not produced: 652
lola: state equation: 143
lola: find path: 1460
lola: goal oriented search: 196
lola: symmetry: 133
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2428
sara: try reading problem file stateEquationProblem-ConstantPlace-1038.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 p1736
sara: try reading problem file stateEquationProblem-ConstantPlace-2420.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1011
sara: try reading problem file stateEquationProblem-ConstantPlace-764.sara.
lola: reporting
lola: not produced: 647
lola: state equation: 147
lola: find path: 1460
lola: goal oriented search: 196
lola: symmetry: 134
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1356
sara: try reading problem file stateEquationProblem-ConstantPlace-1650.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2264
sara: try reading problem file stateEquationProblem-ConstantPlace-574.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1766
sara: try reading problem file stateEquationProblem-ConstantPlace-2450.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 642
lola: state equation: 150
lola: find path: 1461
lola: goal oriented search: 196
lola: symmetry: 135
lola: STATE EQUATION TRIES PLACE p2514
sara: try reading problem file stateEquationProblem-ConstantPlace-1324.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1164
sara: try reading problem file stateEquationProblem-ConstantPlace-1170.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 p1354
sara: try reading problem file stateEquationProblem-ConstantPlace-1648.sara.
lola: reporting
lola: not produced: 629
lola: state equation: 154
lola: find path: 1470
lola: goal oriented search: 196
lola: symmetry: 135
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1017
sara: try reading problem file stateEquationProblem-ConstantPlace-776.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1462
sara: try reading problem file stateEquationProblem-ConstantPlace-1856.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2001
sara: try reading problem file stateEquationProblem-ConstantPlace-111.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 623
lola: state equation: 157
lola: find path: 1472
lola: goal oriented search: 196
lola: symmetry: 136
lola: STATE EQUATION TRIES PLACE p795
sara: try reading problem file stateEquationProblem-ConstantPlace-1789.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 p1001
sara: try reading problem file stateEquationProblem-ConstantPlace-744.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1330
sara: try reading problem file stateEquationProblem-ConstantPlace-1624.sara.
lola: reporting
lola: not produced: 612
lola: state equation: 161
lola: find path: 1477
lola: goal oriented search: 196
lola: symmetry: 138
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: STATE EQUATION TRIES PLACE p1337
sara: try reading problem file stateEquationProblem-ConstantPlace-1631.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2375
sara: try reading problem file stateEquationProblem-ConstantPlace-829.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2520
sara: try reading problem file stateEquationProblem-ConstantPlace-1330.sara.
lola: reporting
lola: not produced: 608
lola: state equation: 165
lola: find path: 1477
lola: goal oriented search: 196
lola: symmetry: 138
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2470
sara: try reading problem file stateEquationProblem-ConstantPlace-1120.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1547
sara: try reading problem file stateEquationProblem-ConstantPlace-2041.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1531
sara: try reading problem file stateEquationProblem-ConstantPlace-2025.sara.
lola: reporting
lola: not produced: 596
lola: state equation: 168
lola: find path: 1486
lola: goal oriented search: 196
lola: symmetry: 138
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1427
sara: try reading problem file stateEquationProblem-ConstantPlace-1821.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1877
sara: try reading problem file stateEquationProblem-ConstantPlace-2561.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p866
sara: try reading problem file stateEquationProblem-ConstantPlace-1960.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2204
sara: try reading problem file stateEquationProblem-ConstantPlace-504.sara.
lola: reporting
lola: not produced: 580
lola: state equation: 172
lola: find path: 1496
lola: goal oriented search: 196
lola: symmetry: 140
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1342
sara: try reading problem file stateEquationProblem-ConstantPlace-1636.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2432
sara: try reading problem file stateEquationProblem-ConstantPlace-1043.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2540
sara: try reading problem file stateEquationProblem-ConstantPlace-1360.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 576
lola: state equation: 175
lola: find path: 1497
lola: goal oriented search: 196
lola: symmetry: 140
lola: STATE EQUATION TRIES PLACE p1009
sara: try reading problem file stateEquationProblem-ConstantPlace-759.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1204
sara: try reading problem file stateEquationProblem-ConstantPlace-1350.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1179
sara: try reading problem file stateEquationProblem-ConstantPlace-1189.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1309
sara: try reading problem file stateEquationProblem-ConstantPlace-1603.sara.
lola: reporting
lola: not produced: 571
lola: state equation: 179
lola: find path: 1497
lola: goal oriented search: 196
lola: symmetry: 141
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 p1541
sara: try reading problem file stateEquationProblem-ConstantPlace-2035.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2082
sara: try reading problem file stateEquationProblem-ConstantPlace-192.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1748
lola: reporting
lola: not produced: 567
lola: state equation: 183
lola: find path: 1497
lola: goal oriented search: 196
lola: symmetry: 141
sara: try reading problem file stateEquationProblem-ConstantPlace-2432.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1704
sara: try reading problem file stateEquationProblem-ConstantPlace-2388.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 p1532
sara: try reading problem file stateEquationProblem-ConstantPlace-2026.sara.
lola: reporting
lola: not produced: 563
lola: state equation: 186
lola: find path: 1498
lola: goal oriented search: 196
lola: symmetry: 141
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 p1848
sara: try reading problem file stateEquationProblem-ConstantPlace-2532.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1216
sara: try reading problem file stateEquationProblem-ConstantPlace-1374.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p662
sara: try reading problem file stateEquationProblem-ConstantPlace-1556.sara.
lola: reporting
lola: not produced: 559
lola: state equation: 190
lola: find path: 1498
lola: goal oriented search: 196
lola: symmetry: 141
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2409
sara: try reading problem file stateEquationProblem-ConstantPlace-1009.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2544
sara: try reading problem file stateEquationProblem-ConstantPlace-1367.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p670
sara: try reading problem file stateEquationProblem-ConstantPlace-1564.sara.
lola: reporting
lola: not produced: 555
lola: state equation: 193
lola: find path: 1499
lola: goal oriented search: 196
lola: symmetry: 141
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1341
sara: try reading problem file stateEquationProblem-ConstantPlace-1635.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2217
sara: try reading problem file stateEquationProblem-ConstantPlace-527.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1841
sara: try reading problem file stateEquationProblem-ConstantPlace-2525.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1544
sara: try reading problem file stateEquationProblem-ConstantPlace-2038.sara.
lola: reporting
lola: not produced: 551
lola: state equation: 197
lola: find path: 1499
lola: goal oriented search: 196
lola: symmetry: 141
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1740
sara: try reading problem file stateEquationProblem-ConstantPlace-2424.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p669
sara: try reading problem file stateEquationProblem-ConstantPlace-1563.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1154
sara: try reading problem file stateEquationProblem-ConstantPlace-1150.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 542
lola: state equation: 200
lola: find path: 1505
lola: goal oriented search: 196
lola: symmetry: 141
lola: STATE EQUATION TRIES PLACE p1725
sara: try reading problem file stateEquationProblem-ConstantPlace-2409.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p679
sara: try reading problem file stateEquationProblem-ConstantPlace-1573.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p879
sara: try reading problem file stateEquationProblem-ConstantPlace-1973.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1060
sara: try reading problem file stateEquationProblem-ConstantPlace-862.sara.
lola: reporting
lola: not produced: 531
lola: state equation: 204
lola: find path: 1512
lola: goal oriented search: 196
lola: symmetry: 141
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1150
sara: try reading problem file stateEquationProblem-ConstantPlace-1142.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2206
sara: try reading problem file stateEquationProblem-ConstantPlace-506.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1836
sara: try reading problem file stateEquationProblem-ConstantPlace-2520.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p897
sara: try reading problem file stateEquationProblem-ConstantPlace-1991.sara.
lola: reporting
lola: not produced: 527
lola: state equation: 208
lola: find path: 1512
lola: goal oriented search: 196
lola: symmetry: 141
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1065
sara: try reading problem file stateEquationProblem-ConstantPlace-872.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2383
sara: try reading problem file stateEquationProblem-ConstantPlace-845.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2517
sara: try reading problem file stateEquationProblem-ConstantPlace-1327.sara.
lola: reporting
lola: not produced: 524
lola: state equation: 211
lola: find path: 1512
lola: goal oriented search: 196
lola: symmetry: 141
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1739
sara: try reading problem file stateEquationProblem-ConstantPlace-2423.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1393
sara: try reading problem file stateEquationProblem-ConstantPlace-1687.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2357
sara: try reading problem file stateEquationProblem-ConstantPlace-793.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1823
sara: try reading problem file stateEquationProblem-ConstantPlace-2507.sara.
lola: reporting
lola: not produced: 519
lola: state equation: 215
lola: find path: 1512
lola: goal oriented search: 196
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p684
sara: try reading problem file stateEquationProblem-ConstantPlace-1578.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2455
sara: try reading problem file stateEquationProblem-ConstantPlace-1089.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1550
sara: try reading problem file stateEquationProblem-ConstantPlace-2044.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 516
lola: state equation: 218
lola: find path: 1512
lola: goal oriented search: 196
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p799
sara: try reading problem file stateEquationProblem-ConstantPlace-1793.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1595
sara: try reading problem file stateEquationProblem-ConstantPlace-2089.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1839
sara: try reading problem file stateEquationProblem-ConstantPlace-2523.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2018
sara: try reading problem file stateEquationProblem-ConstantPlace-128.sara.
lola: reporting
lola: not produced: 512
lola: state equation: 222
lola: find path: 1512
lola: goal oriented search: 196
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
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 p1041
sara: try reading problem file stateEquationProblem-ConstantPlace-824.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p880
sara: try reading problem file stateEquationProblem-ConstantPlace-1974.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 507
lola: state equation: 225
lola: find path: 1514
lola: goal oriented search: 196
lola: symmetry: 142
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 p2542
sara: try reading problem file stateEquationProblem-ConstantPlace-1363.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 p2445
sara: try reading problem file stateEquationProblem-ConstantPlace-1069.sara.
lola: reporting
lola: not produced: 503
lola: state equation: 229
lola: find path: 1514
lola: goal oriented search: 196
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2024
sara: try reading problem file stateEquationProblem-ConstantPlace-134.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2449
sara: try reading problem file stateEquationProblem-ConstantPlace-1077.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2091
sara: try reading problem file stateEquationProblem-ConstantPlace-201.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2434
sara: try reading problem file stateEquationProblem-ConstantPlace-1047.sara.
lola: reporting
lola: not produced: 498
lola: state equation: 233
lola: find path: 1515
lola: goal oriented search: 196
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2401
sara: try reading problem file stateEquationProblem-ConstantPlace-1001.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2531
sara: try reading problem file stateEquationProblem-ConstantPlace-1341.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p675
sara: try reading problem file stateEquationProblem-ConstantPlace-1569.sara.
lola: reporting
lola: not produced: 494
lola: state equation: 236
lola: find path: 1516
lola: goal oriented search: 196
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2006
sara: try reading problem file stateEquationProblem-ConstantPlace-116.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2532
sara: try reading problem file stateEquationProblem-ConstantPlace-1343.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p884
sara: try reading problem file stateEquationProblem-ConstantPlace-1978.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1218
sara: try reading problem file stateEquationProblem-ConstantPlace-1378.sara.
lola: reporting
lola: not produced: 483
lola: state equation: 240
lola: find path: 1523
lola: goal oriented search: 196
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1100
sara: try reading problem file stateEquationProblem-ConstantPlace-1042.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2212
sara: try reading problem file stateEquationProblem-ConstantPlace-522.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2380
sara: try reading problem file stateEquationProblem-ConstantPlace-840.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 476
lola: state equation: 243
lola: find path: 1527
lola: goal oriented search: 196
lola: symmetry: 142
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 p1174
sara: try reading problem file stateEquationProblem-ConstantPlace-1184.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 p882
sara: try reading problem file stateEquationProblem-ConstantPlace-1976.sara.
lola: reporting
lola: not produced: 472
lola: state equation: 247
lola: find path: 1527
lola: goal oriented search: 196
lola: symmetry: 142
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 p2418
sara: try reading problem file stateEquationProblem-ConstantPlace-1028.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2368
sara: try reading problem file stateEquationProblem-ConstantPlace-815.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 466
lola: state equation: 250
lola: find path: 1530
lola: goal oriented search: 196
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p1821
sara: try reading problem file stateEquationProblem-ConstantPlace-2505.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1131
sara: try reading problem file stateEquationProblem-ConstantPlace-1104.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2519
sara: try reading problem file stateEquationProblem-ConstantPlace-1329.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2004
sara: try reading problem file stateEquationProblem-ConstantPlace-114.sara.
lola: reporting
lola: not produced: 462
lola: state equation: 254
lola: find path: 1530
lola: goal oriented search: 196
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2513
sara: try reading problem file stateEquationProblem-ConstantPlace-1323.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1533
sara: try reading problem file stateEquationProblem-ConstantPlace-2027.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 p2405
lola: reporting
lola: not produced: 458
lola: state equation: 258
lola: find path: 1530
lola: goal oriented search: 196
lola: symmetry: 142
sara: try reading problem file stateEquationProblem-ConstantPlace-1005.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2533
sara: try reading problem file stateEquationProblem-ConstantPlace-1345.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1557
sara: try reading problem file stateEquationProblem-ConstantPlace-2051.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: 455
lola: state equation: 261
lola: find path: 1530
lola: goal oriented search: 196
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1222
sara: try reading problem file stateEquationProblem-ConstantPlace-1386.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1878
sara: try reading problem file stateEquationProblem-ConstantPlace-2562.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p751
sara: try reading problem file stateEquationProblem-ConstantPlace-1745.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2225
sara: try reading problem file stateEquationProblem-ConstantPlace-535.sara.
lola: reporting
lola: not produced: 450
lola: state equation: 265
lola: find path: 1530
lola: goal oriented search: 196
lola: symmetry: 143
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1723
sara: try reading problem file stateEquationProblem-ConstantPlace-2407.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1126
sara: try reading problem file stateEquationProblem-ConstantPlace-1094.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1185
sara: try reading problem file stateEquationProblem-ConstantPlace-1195.sara.
lola: reporting
lola: not produced: 447
lola: state equation: 268
lola: find path: 1530
lola: goal oriented search: 196
lola: symmetry: 143
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1135
sara: try reading problem file stateEquationProblem-ConstantPlace-1112.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 p1181
sara: try reading problem file stateEquationProblem-ConstantPlace-1191.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: 433
lola: state equation: 272
lola: find path: 1540
lola: goal oriented search: 196
lola: symmetry: 143
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 p1183
sara: try reading problem file stateEquationProblem-ConstantPlace-1193.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1778
sara: try reading problem file stateEquationProblem-ConstantPlace-2462.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 430
lola: state equation: 275
lola: find path: 1540
lola: goal oriented search: 196
lola: symmetry: 143
lola: STATE EQUATION TRIES PLACE p1125
sara: try reading problem file stateEquationProblem-ConstantPlace-1092.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p764
sara: try reading problem file stateEquationProblem-ConstantPlace-1758.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1124
sara: try reading problem file stateEquationProblem-ConstantPlace-1090.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2258
sara: try reading problem file stateEquationProblem-ConstantPlace-568.sara.
lola: reporting
lola: not produced: 425
lola: state equation: 279
lola: find path: 1541
lola: goal oriented search: 196
lola: symmetry: 143
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 p1155
sara: try reading problem file stateEquationProblem-ConstantPlace-1152.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: reporting
lola: not produced: 422
lola: state equation: 282
lola: find path: 1541
lola: goal oriented search: 196
lola: symmetry: 143
lola: STATE EQUATION TRIES PLACE p1070
sara: try reading problem file stateEquationProblem-ConstantPlace-880.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p896
sara: try reading problem file stateEquationProblem-ConstantPlace-1990.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p646
sara: try reading problem file stateEquationProblem-ConstantPlace-1540.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1871
sara: try reading problem file stateEquationProblem-ConstantPlace-2555.sara.
lola: reporting
lola: not produced: 418
lola: state equation: 286
lola: find path: 1541
lola: goal oriented search: 196
lola: symmetry: 143
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2479
sara: try reading problem file stateEquationProblem-ConstantPlace-1137.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1672
sara: try reading problem file stateEquationProblem-ConstantPlace-2356.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 p2026
lola: reporting
lola: not produced: 413
lola: state equation: 290
lola: find path: 1541
lola: goal oriented search: 196
lola: symmetry: 144
sara: try reading problem file stateEquationProblem-ConstantPlace-136.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2522
sara: try reading problem file stateEquationProblem-ConstantPlace-1332.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1118
sara: try reading problem file stateEquationProblem-ConstantPlace-1078.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1203
sara: try reading problem file stateEquationProblem-ConstantPlace-1348.sara.
lola: reporting
lola: not produced: 404
lola: state equation: 293
lola: find path: 1547
lola: goal oriented search: 196
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p892
sara: try reading problem file stateEquationProblem-ConstantPlace-1986.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2069
sara: try reading problem file stateEquationProblem-ConstantPlace-179.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1072
sara: try reading problem file stateEquationProblem-ConstantPlace-882.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2527
sara: try reading problem file stateEquationProblem-ConstantPlace-1337.sara.
lola: reporting
lola: not produced: 400
lola: state equation: 297
lola: find path: 1547
lola: goal oriented search: 196
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2411
sara: try reading problem file stateEquationProblem-ConstantPlace-1021.sara.
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 p2547
sara: try reading problem file stateEquationProblem-ConstantPlace-1373.sara.
lola: reporting
lola: not produced: 397
lola: state equation: 300
lola: find path: 1547
lola: goal oriented search: 196
lola: symmetry: 144
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 p2485
sara: try reading problem file stateEquationProblem-ConstantPlace-1149.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 p874
sara: try reading problem file stateEquationProblem-ConstantPlace-1968.sara.
lola: reporting
lola: not produced: 393
lola: state equation: 304
lola: find path: 1547
lola: goal oriented search: 196
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1872
sara: try reading problem file stateEquationProblem-ConstantPlace-2556.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1986
sara: try reading problem file stateEquationProblem-ConstantPlace-86.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1721
sara: try reading problem file stateEquationProblem-ConstantPlace-2405.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 390
lola: state equation: 307
lola: find path: 1547
lola: goal oriented search: 196
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1755
sara: try reading problem file stateEquationProblem-ConstantPlace-2439.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1333
sara: try reading problem file stateEquationProblem-ConstantPlace-1627.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2093
sara: try reading problem file stateEquationProblem-ConstantPlace-203.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2395
sara: try reading problem file stateEquationProblem-ConstantPlace-869.sara.
lola: reporting
lola: not produced: 386
lola: state equation: 311
lola: find path: 1547
lola: goal oriented search: 196
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1247
sara: try reading problem file stateEquationProblem-ConstantPlace-1436.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p667
sara: try reading problem file stateEquationProblem-ConstantPlace-1561.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2516
sara: try reading problem file stateEquationProblem-ConstantPlace-1326.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 383
lola: state equation: 314
lola: find path: 1547
lola: goal oriented search: 196
lola: symmetry: 144
lola: STATE EQUATION TRIES PLACE p1819
sara: try reading problem file stateEquationProblem-ConstantPlace-2503.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p666
sara: try reading problem file stateEquationProblem-ConstantPlace-1560.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p871
sara: try reading problem file stateEquationProblem-ConstantPlace-1965.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1327
sara: try reading problem file stateEquationProblem-ConstantPlace-1621.sara.
lola: reporting
lola: not produced: 379
lola: state equation: 318
lola: find path: 1547
lola: goal oriented search: 196
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1458
sara: try reading problem file stateEquationProblem-ConstantPlace-1852.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 p893
sara: try reading problem file stateEquationProblem-ConstantPlace-1987.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1785
sara: try reading problem file stateEquationProblem-ConstantPlace-2469.sara.
lola: reporting
lola: not produced: 375
lola: state equation: 322
lola: find path: 1547
lola: goal oriented search: 196
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1156
sara: try reading problem file stateEquationProblem-ConstantPlace-1154.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2450
sara: try reading problem file stateEquationProblem-ConstantPlace-1080.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: 372
lola: state equation: 325
lola: find path: 1547
lola: goal oriented search: 196
lola: symmetry: 144
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p756
sara: try reading problem file stateEquationProblem-ConstantPlace-1750.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 p1529
sara: try reading problem file stateEquationProblem-ConstantPlace-2023.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1555
sara: try reading problem file stateEquationProblem-ConstantPlace-2049.sara.
lola: reporting
lola: not produced: 366
lola: state equation: 329
lola: find path: 1549
lola: goal oriented search: 196
lola: symmetry: 144
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 p1202
sara: try reading problem file stateEquationProblem-ConstantPlace-1346.sara.
lola: The net does not have constant places
sara: place or transition ordering is non-deterministic
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-304"
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-304, 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-167814494200018"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-304.tgz
mv CloudReconfiguration-PT-304 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;