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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 7.8K Feb 25 11:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 11:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 11:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 11:51 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:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 11:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 25 11:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 11:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 11:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 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 912K 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 1678369308072

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

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

lola: STATE EQUATION TRIES PLACE p2309
sara: try reading problem file stateEquationProblem-ConstantPlace-1263.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1474
lola: state equation: 1
lola: find path: 340
lola: goal oriented search: 1671
lola: symmetry: 68

lola: STATE EQUATION TRIES PLACE p409
sara: try reading problem file stateEquationProblem-ConstantPlace-1473.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1307
lola: state equation: 2
lola: find path: 483
lola: goal oriented search: 1671
lola: symmetry: 91

lola: STATE EQUATION TRIES PLACE p1870
sara: try reading problem file stateEquationProblem-ConstantPlace-3524.sara.
lola: reporting
lola: not produced: 1223
lola: state equation: 3
lola: find path: 561
lola: goal oriented search: 1671
lola: symmetry: 96
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1487
sara: try reading problem file stateEquationProblem-ConstantPlace-2651.sara.
lola: reporting
lola: not produced: 1174
lola: state equation: 5
lola: find path: 607
lola: goal oriented search: 1671
lola: symmetry: 97
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2067
sara: try reading problem file stateEquationProblem-ConstantPlace-576.sara.
lola: reporting
lola: not produced: 1153
lola: state equation: 7
lola: find path: 623
lola: goal oriented search: 1671
lola: symmetry: 100
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 1132
lola: state equation: 8
lola: find path: 642
lola: goal oriented search: 1671
lola: symmetry: 101
lola: STATE EQUATION TRIES PLACE p587
sara: try reading problem file stateEquationProblem-ConstantPlace-1851.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1127
lola: state equation: 9
lola: find path: 645
lola: goal oriented search: 1671
lola: symmetry: 102

lola: STATE EQUATION TRIES PLACE p397
sara: try reading problem file stateEquationProblem-ConstantPlace-1271.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1036
lola: state equation: 10
lola: find path: 724
lola: goal oriented search: 1671
lola: symmetry: 113
lola: reporting
lola: not produced: 1007
lola: state equation: 10
lola: find path: 750
lola: goal oriented search: 1671
lola: symmetry: 116

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

lola: STATE EQUATION TRIES PLACE p1703
sara: try reading problem file stateEquationProblem-ConstantPlace-3357.sara.
lola: reporting
lola: not produced: 965
lola: state equation: 12
lola: find path: 784
lola: goal oriented search: 1671
lola: symmetry: 122
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 949
lola: state equation: 13
lola: find path: 799
lola: goal oriented search: 1671
lola: symmetry: 122
lola: STATE EQUATION TRIES PLACE p2139
sara: try reading problem file stateEquationProblem-ConstantPlace-819.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2089
sara: try reading problem file stateEquationProblem-ConstantPlace-599.sara.
lola: reporting
lola: not produced: 947
lola: state equation: 15
lola: find path: 799
lola: goal oriented search: 1671
lola: symmetry: 122
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p307
sara: try reading problem file stateEquationProblem-ConstantPlace-1171.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 944
lola: state equation: 16
lola: find path: 801
lola: goal oriented search: 1671
lola: symmetry: 122

lola: STATE EQUATION TRIES PLACE p1346
sara: try reading problem file stateEquationProblem-ConstantPlace-2288.sara.
lola: reporting
lola: not produced: 912
lola: state equation: 17
lola: find path: 830
lola: goal oriented search: 1671
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1774
sara: try reading problem file stateEquationProblem-ConstantPlace-3428.sara.
lola: reporting
lola: not produced: 887
lola: state equation: 18
lola: find path: 847
lola: goal oriented search: 1671
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 852
lola: state equation: 19
lola: find path: 875
lola: goal oriented search: 1671
lola: symmetry: 137
lola: STATE EQUATION TRIES PLACE p980
sara: try reading problem file stateEquationProblem-ConstantPlace-3074.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2049
sara: try reading problem file stateEquationProblem-ConstantPlace-539.sara.
lola: reporting
lola: not produced: 843
lola: state equation: 21
lola: find path: 882
lola: goal oriented search: 1671
lola: symmetry: 137
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2193
sara: try reading problem file stateEquationProblem-ConstantPlace-903.sara.
lola: reporting
lola: not produced: 840
lola: state equation: 23
lola: find path: 883
lola: goal oriented search: 1671
lola: symmetry: 137
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 836
lola: state equation: 24
lola: find path: 885
lola: goal oriented search: 1671
lola: symmetry: 138
lola: STATE EQUATION TRIES PLACE p2385
sara: try reading problem file stateEquationProblem-ConstantPlace-1403.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2493
sara: try reading problem file stateEquationProblem-ConstantPlace-1719.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 827
lola: state equation: 26
lola: find path: 892
lola: goal oriented search: 1671
lola: symmetry: 138

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

lola: STATE EQUATION TRIES PLACE p1980
sara: try reading problem file stateEquationProblem-ConstantPlace-80.sara.
lola: reporting
lola: not produced: 821
lola: state equation: 28
lola: find path: 896
lola: goal oriented search: 1671
lola: symmetry: 138
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1496
sara: try reading problem file stateEquationProblem-ConstantPlace-2660.sara.
lola: reporting
lola: not produced: 810
lola: state equation: 30
lola: find path: 904
lola: goal oriented search: 1671
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2845
sara: try reading problem file stateEquationProblem-ConstantPlace-2823.sara.
lola: reporting
lola: not produced: 759
lola: state equation: 32
lola: find path: 950
lola: goal oriented search: 1671
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2143
sara: try reading problem file stateEquationProblem-ConstantPlace-828.sara.
lola: reporting
lola: not produced: 746
lola: state equation: 34
lola: find path: 961
lola: goal oriented search: 1671
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1990
lola: reporting
lola: not produced: 734
lola: state equation: 36
lola: find path: 971
lola: goal oriented search: 1671
lola: symmetry: 142
sara: try reading problem file stateEquationProblem-ConstantPlace-90.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2495
sara: try reading problem file stateEquationProblem-ConstantPlace-1723.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 723
lola: state equation: 37
lola: find path: 980
lola: goal oriented search: 1671
lola: symmetry: 143

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

lola: STATE EQUATION TRIES PLACE p1861
sara: try reading problem file stateEquationProblem-ConstantPlace-3515.sara.
lola: reporting
lola: not produced: 719
lola: state equation: 39
lola: find path: 982
lola: goal oriented search: 1671
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2058
sara: try reading problem file stateEquationProblem-ConstantPlace-558.sara.
lola: reporting
lola: not produced: 701
lola: state equation: 41
lola: find path: 997
lola: goal oriented search: 1671
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p499
sara: try reading problem file stateEquationProblem-ConstantPlace-1573.sara.
lola: reporting
lola: not produced: 686
lola: state equation: 43
lola: find path: 1010
lola: goal oriented search: 1671
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2519
sara: try reading problem file stateEquationProblem-ConstantPlace-1883.sara.
lola: reporting
lola: not produced: 673
lola: state equation: 44
lola: find path: 1021
lola: goal oriented search: 1671
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2276
sara: try reading problem file stateEquationProblem-ConstantPlace-1140.sara.
lola: reporting
lola: not produced: 664
lola: state equation: 46
lola: find path: 1027
lola: goal oriented search: 1671
lola: symmetry: 146
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2069
lola: reporting
lola: not produced: 654
lola: state equation: 48
lola: find path: 1035
lola: goal oriented search: 1671
lola: symmetry: 146
sara: try reading problem file stateEquationProblem-ConstantPlace-579.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2938
sara: try reading problem file stateEquationProblem-ConstantPlace-3179.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 649
lola: state equation: 49
lola: find path: 1038
lola: goal oriented search: 1671
lola: symmetry: 147

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

lola: STATE EQUATION TRIES PLACE p1497
sara: try reading problem file stateEquationProblem-ConstantPlace-2661.sara.
lola: reporting
lola: not produced: 633
lola: state equation: 51
lola: find path: 1051
lola: goal oriented search: 1671
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1996
sara: try reading problem file stateEquationProblem-ConstantPlace-96.sara.
lola: reporting
lola: not produced: 629
lola: state equation: 53
lola: find path: 1053
lola: goal oriented search: 1671
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1831
sara: try reading problem file stateEquationProblem-ConstantPlace-3485.sara.
lola: reporting
lola: not produced: 626
lola: state equation: 55
lola: find path: 1053
lola: goal oriented search: 1671
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2172
sara: try reading problem file stateEquationProblem-ConstantPlace-882.sara.
lola: reporting
lola: not produced: 620
lola: state equation: 57
lola: find path: 1055
lola: goal oriented search: 1671
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1485
sara: try reading problem file stateEquationProblem-ConstantPlace-2649.sara.
lola: reporting
lola: not produced: 614
lola: state equation: 59
lola: find path: 1059
lola: goal oriented search: 1671
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 608
lola: state equation: 60
lola: find path: 1064
lola: goal oriented search: 1671
lola: symmetry: 151
lola: STATE EQUATION TRIES PLACE p2780
sara: try reading problem file stateEquationProblem-ConstantPlace-2594.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1704
sara: try reading problem file stateEquationProblem-ConstantPlace-3358.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 597
lola: state equation: 62
lola: find path: 1073
lola: goal oriented search: 1671
lola: symmetry: 151

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

lola: STATE EQUATION TRIES PLACE p2088
sara: try reading problem file stateEquationProblem-ConstantPlace-598.sara.
lola: reporting
lola: not produced: 588
lola: state equation: 64
lola: find path: 1080
lola: goal oriented search: 1671
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2042
sara: try reading problem file stateEquationProblem-ConstantPlace-526.sara.
lola: reporting
lola: not produced: 586
lola: state equation: 66
lola: find path: 1080
lola: goal oriented search: 1671
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2906
sara: try reading problem file stateEquationProblem-ConstantPlace-3100.sara.
lola: reporting
lola: not produced: 576
lola: state equation: 68
lola: find path: 1084
lola: goal oriented search: 1671
lola: symmetry: 155
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2054
sara: try reading problem file stateEquationProblem-ConstantPlace-550.sara.
lola: reporting
lola: not produced: 574
lola: state equation: 70
lola: find path: 1084
lola: goal oriented search: 1671
lola: symmetry: 155
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1500
sara: try reading problem file stateEquationProblem-ConstantPlace-2796.sara.
lola: reporting
lola: not produced: 572
lola: state equation: 72
lola: find path: 1084
lola: goal oriented search: 1671
lola: symmetry: 155
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2523
sara: try reading problem file stateEquationProblem-ConstantPlace-1887.sara.
lola: reporting
lola: not produced: 570
lola: state equation: 74
lola: find path: 1084
lola: goal oriented search: 1671
lola: symmetry: 155
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2942
sara: try reading problem file stateEquationProblem-ConstantPlace-3197.sara.
lola: reporting
lola: not produced: 567
lola: state equation: 76
lola: find path: 1085
lola: goal oriented search: 1671
lola: symmetry: 155
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 566
lola: state equation: 77
lola: find path: 1085
lola: goal oriented search: 1671
lola: symmetry: 155
lola: STATE EQUATION TRIES PLACE p2141
sara: try reading problem file stateEquationProblem-ConstantPlace-824.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 560
lola: state equation: 79
lola: find path: 1088
lola: goal oriented search: 1671
lola: symmetry: 156
lola: STATE EQUATION TRIES PLACE p2425
sara: try reading problem file stateEquationProblem-ConstantPlace-1589.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2501
sara: try reading problem file stateEquationProblem-ConstantPlace-1855.sara.
lola: reporting
lola: not produced: 552
lola: state equation: 81
lola: find path: 1094
lola: goal oriented search: 1671
lola: symmetry: 156
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p917
sara: try reading problem file stateEquationProblem-ConstantPlace-2981.sara.
lola: reporting
lola: not produced: 536
lola: state equation: 83
lola: find path: 1108
lola: goal oriented search: 1671
lola: symmetry: 156
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2112
sara: try reading problem file stateEquationProblem-ConstantPlace-766.sara.
lola: reporting
lola: not produced: 531
lola: state equation: 85
lola: find path: 1110
lola: goal oriented search: 1671
lola: symmetry: 157
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2190
sara: try reading problem file stateEquationProblem-ConstantPlace-900.sara.
lola: reporting
lola: not produced: 529
lola: state equation: 87
lola: find path: 1110
lola: goal oriented search: 1671
lola: symmetry: 157
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2163
sara: try reading problem file stateEquationProblem-ConstantPlace-868.sara.
lola: reporting
lola: not produced: 527
lola: state equation: 89
lola: find path: 1110
lola: goal oriented search: 1671
lola: symmetry: 157
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2958
sara: try reading problem file stateEquationProblem-ConstantPlace-3239.sara.
lola: reporting
lola: not produced: 523
lola: state equation: 91
lola: find path: 1112
lola: goal oriented search: 1671
lola: symmetry: 157
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2094
sara: try reading problem file stateEquationProblem-ConstantPlace-604.sara.
lola: reporting
lola: not produced: 520
lola: state equation: 93
lola: find path: 1113
lola: goal oriented search: 1671
lola: symmetry: 157
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 514
lola: state equation: 94
lola: find path: 1118
lola: goal oriented search: 1671
lola: symmetry: 157
lola: STATE EQUATION TRIES PLACE p2274
sara: try reading problem file stateEquationProblem-ConstantPlace-1138.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 512
lola: state equation: 96
lola: find path: 1118
lola: goal oriented search: 1671
lola: symmetry: 157
lola: STATE EQUATION TRIES PLACE p1420
sara: try reading problem file stateEquationProblem-ConstantPlace-2536.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1614
sara: try reading problem file stateEquationProblem-ConstantPlace-3204.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 508
lola: state equation: 98
lola: find path: 1120
lola: goal oriented search: 1671
lola: symmetry: 157

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

lola: STATE EQUATION TRIES PLACE p2306
sara: try reading problem file stateEquationProblem-ConstantPlace-1260.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 499
lola: state equation: 100
lola: find path: 1127
lola: goal oriented search: 1671
lola: symmetry: 157

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

lola: STATE EQUATION TRIES PLACE p2059
sara: try reading problem file stateEquationProblem-ConstantPlace-559.sara.
lola: reporting
lola: not produced: 497
lola: state equation: 102
lola: find path: 1127
lola: goal oriented search: 1671
lola: symmetry: 157
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2364
sara: try reading problem file stateEquationProblem-ConstantPlace-1361.sara.
lola: reporting
lola: not produced: 493
lola: state equation: 104
lola: find path: 1129
lola: goal oriented search: 1671
lola: symmetry: 157
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2666
sara: try reading problem file stateEquationProblem-ConstantPlace-2265.sara.
lola: reporting
lola: not produced: 485
lola: state equation: 106
lola: find path: 1135
lola: goal oriented search: 1671
lola: symmetry: 157
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2776
sara: try reading problem file stateEquationProblem-ConstantPlace-2585.sara.
lola: reporting
lola: not produced: 483
lola: state equation: 108
lola: find path: 1135
lola: goal oriented search: 1671
lola: symmetry: 157
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1326
sara: try reading problem file stateEquationProblem-ConstantPlace-2248.sara.
lola: reporting
lola: not produced: 477
lola: state equation: 110
lola: find path: 1138
lola: goal oriented search: 1671
lola: symmetry: 158
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2024
sara: try reading problem file stateEquationProblem-ConstantPlace-490.sara.
lola: reporting
lola: not produced: 473
lola: state equation: 112
lola: find path: 1139
lola: goal oriented search: 1671
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 454
lola: state equation: 113
lola: find path: 1156
lola: goal oriented search: 1671
lola: symmetry: 160
lola: STATE EQUATION TRIES PLACE p2154
sara: try reading problem file stateEquationProblem-ConstantPlace-850.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 447
lola: state equation: 115
lola: find path: 1161
lola: goal oriented search: 1671
lola: symmetry: 160
lola: STATE EQUATION TRIES PLACE p2688
sara: try reading problem file stateEquationProblem-ConstantPlace-2309.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2811
sara: try reading problem file stateEquationProblem-ConstantPlace-2775.sara.
lola: reporting
lola: not produced: 445
lola: state equation: 117
lola: find path: 1161
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p950
sara: try reading problem file stateEquationProblem-ConstantPlace-3014.sara.
lola: reporting
lola: not produced: 443
lola: state equation: 119
lola: find path: 1161
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2499
sara: try reading problem file stateEquationProblem-ConstantPlace-1731.sara.
lola: reporting
lola: not produced: 440
lola: state equation: 121
lola: find path: 1162
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2180
sara: try reading problem file stateEquationProblem-ConstantPlace-890.sara.
lola: reporting
lola: not produced: 438
lola: state equation: 123
lola: find path: 1162
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2961
sara: try reading problem file stateEquationProblem-ConstantPlace-3245.sara.
lola: reporting
lola: not produced: 436
lola: state equation: 125
lola: find path: 1162
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2087
sara: try reading problem file stateEquationProblem-ConstantPlace-597.sara.
lola: reporting
lola: not produced: 432
lola: state equation: 127
lola: find path: 1164
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1713
sara: try reading problem file stateEquationProblem-ConstantPlace-3367.sara.
lola: reporting
lola: not produced: 428
lola: state equation: 129
lola: find path: 1166
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 427
lola: state equation: 130
lola: find path: 1166
lola: goal oriented search: 1671
lola: symmetry: 160
lola: STATE EQUATION TRIES PLACE p978
sara: try reading problem file stateEquationProblem-ConstantPlace-3062.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 425
lola: state equation: 132
lola: find path: 1166
lola: goal oriented search: 1671
lola: symmetry: 160
lola: STATE EQUATION TRIES PLACE p1373
sara: try reading problem file stateEquationProblem-ConstantPlace-2337.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2779
sara: try reading problem file stateEquationProblem-ConstantPlace-2591.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 415
lola: state equation: 134
lola: find path: 1174
lola: goal oriented search: 1671
lola: symmetry: 160

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

lola: STATE EQUATION TRIES PLACE p1629
sara: try reading problem file stateEquationProblem-ConstantPlace-3243.sara.
lola: reporting
lola: not produced: 411
lola: state equation: 136
lola: find path: 1176
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2363
sara: try reading problem file stateEquationProblem-ConstantPlace-1359.sara.
lola: reporting
lola: not produced: 409
lola: state equation: 138
lola: find path: 1176
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2093
sara: try reading problem file stateEquationProblem-ConstantPlace-603.sara.
lola: reporting
lola: not produced: 404
lola: state equation: 140
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2303
sara: try reading problem file stateEquationProblem-ConstantPlace-1257.sara.
lola: reporting
lola: not produced: 402
lola: state equation: 142
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2008
sara: try reading problem file stateEquationProblem-ConstantPlace-458.sara.
lola: reporting
lola: not produced: 400
lola: state equation: 144
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 399
lola: state equation: 145
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 160
lola: STATE EQUATION TRIES PLACE p2305
sara: try reading problem file stateEquationProblem-ConstantPlace-1259.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2528
sara: try reading problem file stateEquationProblem-ConstantPlace-1892.sara.
lola: reporting
lola: not produced: 397
lola: state equation: 147
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2044
sara: try reading problem file stateEquationProblem-ConstantPlace-530.sara.
lola: reporting
lola: not produced: 395
lola: state equation: 149
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 160
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2686
sara: try reading problem file stateEquationProblem-ConstantPlace-2305.sara.
lola: reporting
lola: not produced: 392
lola: state equation: 151
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 161
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2424
sara: try reading problem file stateEquationProblem-ConstantPlace-1588.sara.
lola: reporting
lola: not produced: 390
lola: state equation: 153
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 161
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2188
sara: try reading problem file stateEquationProblem-ConstantPlace-898.sara.
lola: reporting
lola: not produced: 388
lola: state equation: 155
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 161
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2699
lola: reporting
lola: not produced: 384
lola: state equation: 157
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 163
sara: try reading problem file stateEquationProblem-ConstantPlace-2331.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2158
sara: try reading problem file stateEquationProblem-ConstantPlace-858.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 383
lola: state equation: 158
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 163

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

lola: STATE EQUATION TRIES PLACE p2115
sara: try reading problem file stateEquationProblem-ConstantPlace-772.sara.
lola: reporting
lola: not produced: 381
lola: state equation: 160
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1476
sara: try reading problem file stateEquationProblem-ConstantPlace-2640.sara.
lola: reporting
lola: not produced: 379
lola: state equation: 162
lola: find path: 1179
lola: goal oriented search: 1671
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2144
sara: try reading problem file stateEquationProblem-ConstantPlace-830.sara.
lola: reporting
lola: not produced: 360
lola: state equation: 164
lola: find path: 1196
lola: goal oriented search: 1671
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1429
sara: try reading problem file stateEquationProblem-ConstantPlace-2553.sara.
lola: reporting
lola: not produced: 358
lola: state equation: 166
lola: find path: 1196
lola: goal oriented search: 1671
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2296
sara: try reading problem file stateEquationProblem-ConstantPlace-1160.sara.
lola: reporting
lola: not produced: 356
lola: state equation: 168
lola: find path: 1196
lola: goal oriented search: 1671
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p887
lola: reporting
lola: not produced: 354
lola: state equation: 170
lola: find path: 1196
lola: goal oriented search: 1671
lola: symmetry: 163
sara: try reading problem file stateEquationProblem-ConstantPlace-2751.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1706
sara: try reading problem file stateEquationProblem-ConstantPlace-3360.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 353
lola: state equation: 171
lola: find path: 1196
lola: goal oriented search: 1671
lola: symmetry: 163

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

lola: STATE EQUATION TRIES PLACE p2362
sara: try reading problem file stateEquationProblem-ConstantPlace-1357.sara.
lola: reporting
lola: not produced: 351
lola: state equation: 173
lola: find path: 1196
lola: goal oriented search: 1671
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2184
sara: try reading problem file stateEquationProblem-ConstantPlace-894.sara.
lola: reporting
lola: not produced: 345
lola: state equation: 175
lola: find path: 1200
lola: goal oriented search: 1671
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2038
sara: try reading problem file stateEquationProblem-ConstantPlace-518.sara.
lola: reporting
lola: not produced: 336
lola: state equation: 177
lola: find path: 1207
lola: goal oriented search: 1671
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2652
sara: try reading problem file stateEquationProblem-ConstantPlace-2237.sara.
lola: reporting
lola: not produced: 332
lola: state equation: 179
lola: find path: 1209
lola: goal oriented search: 1671
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p964
sara: try reading problem file stateEquationProblem-ConstantPlace-3038.sara.
lola: reporting
lola: not produced: 329
lola: state equation: 181
lola: find path: 1209
lola: goal oriented search: 1671
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2090
sara: try reading problem file stateEquationProblem-ConstantPlace-600.sara.
lola: reporting
lola: not produced: 327
lola: state equation: 183
lola: find path: 1209
lola: goal oriented search: 1671
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2153
sara: try reading problem file stateEquationProblem-ConstantPlace-848.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 316
lola: state equation: 184
lola: find path: 1219
lola: goal oriented search: 1671
lola: symmetry: 164

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

lola: STATE EQUATION TRIES PLACE p2436
sara: try reading problem file stateEquationProblem-ConstantPlace-1605.sara.
lola: reporting
lola: not produced: 314
lola: state equation: 186
lola: find path: 1219
lola: goal oriented search: 1671
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2689
sara: try reading problem file stateEquationProblem-ConstantPlace-2311.sara.
lola: reporting
lola: not produced: 312
lola: state equation: 188
lola: find path: 1219
lola: goal oriented search: 1671
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1847
sara: try reading problem file stateEquationProblem-ConstantPlace-3501.sara.
lola: reporting
lola: not produced: 310
lola: state equation: 190
lola: find path: 1219
lola: goal oriented search: 1671
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2313
sara: try reading problem file stateEquationProblem-ConstantPlace-1277.sara.
lola: reporting
lola: not produced: 308
lola: state equation: 192
lola: find path: 1219
lola: goal oriented search: 1671
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2989
sara: try reading problem file stateEquationProblem-ConstantPlace-3301.sara.
lola: reporting
lola: not produced: 306
lola: state equation: 194
lola: find path: 1219
lola: goal oriented search: 1671
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p502
sara: try reading problem file stateEquationProblem-ConstantPlace-1766.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 305
lola: state equation: 195
lola: find path: 1219
lola: goal oriented search: 1671
lola: symmetry: 164

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 p1701
sara: try reading problem file stateEquationProblem-ConstantPlace-3355.sara.
lola: reporting
lola: not produced: 302
lola: state equation: 197
lola: find path: 1219
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2521
sara: try reading problem file stateEquationProblem-ConstantPlace-1885.sara.
lola: reporting
lola: not produced: 299
lola: state equation: 199
lola: find path: 1220
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 298
lola: state equation: 200
lola: find path: 1220
lola: goal oriented search: 1671
lola: symmetry: 165
lola: STATE EQUATION TRIES PLACE p2299
sara: try reading problem file stateEquationProblem-ConstantPlace-1163.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2810
sara: try reading problem file stateEquationProblem-ConstantPlace-2774.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 296
lola: state equation: 202
lola: find path: 1220
lola: goal oriented search: 1671
lola: symmetry: 165

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

lola: STATE EQUATION TRIES PLACE p2041
sara: try reading problem file stateEquationProblem-ConstantPlace-524.sara.
lola: reporting
lola: not produced: 293
lola: state equation: 204
lola: find path: 1221
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2748
sara: try reading problem file stateEquationProblem-ConstantPlace-2529.sara.
lola: reporting
lola: not produced: 290
lola: state equation: 206
lola: find path: 1222
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p312
sara: try reading problem file stateEquationProblem-ConstantPlace-1176.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 289
lola: state equation: 207
lola: find path: 1222
lola: goal oriented search: 1671
lola: symmetry: 165

lola: STATE EQUATION TRIES PLACE p2031
sara: try reading problem file stateEquationProblem-ConstantPlace-504.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 288
lola: state equation: 208
lola: find path: 1222
lola: goal oriented search: 1671
lola: symmetry: 165

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

lola: STATE EQUATION TRIES PLACE p1663
sara: try reading problem file stateEquationProblem-ConstantPlace-3312.sara.
lola: reporting
lola: not produced: 286
lola: state equation: 210
lola: find path: 1222
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2310
sara: try reading problem file stateEquationProblem-ConstantPlace-1274.sara.
lola: reporting
lola: not produced: 278
lola: state equation: 212
lola: find path: 1228
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1489
sara: try reading problem file stateEquationProblem-ConstantPlace-2653.sara.
lola: reporting
lola: not produced: 276
lola: state equation: 214
lola: find path: 1228
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2168
sara: try reading problem file stateEquationProblem-ConstantPlace-878.sara.
lola: reporting
lola: not produced: 274
lola: state equation: 216
lola: find path: 1228
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1702
sara: try reading problem file stateEquationProblem-ConstantPlace-3356.sara.
lola: reporting
lola: not produced: 272
lola: state equation: 218
lola: find path: 1228
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 271
lola: state equation: 219
lola: find path: 1228
lola: goal oriented search: 1671
lola: symmetry: 165
lola: STATE EQUATION TRIES PLACE p2829
sara: try reading problem file stateEquationProblem-ConstantPlace-2793.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2178
sara: try reading problem file stateEquationProblem-ConstantPlace-888.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 269
lola: state equation: 221
lola: find path: 1228
lola: goal oriented search: 1671
lola: symmetry: 165

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

lola: STATE EQUATION TRIES PLACE p2062
sara: try reading problem file stateEquationProblem-ConstantPlace-566.sara.
lola: reporting
lola: not produced: 267
lola: state equation: 223
lola: find path: 1228
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2783
sara: try reading problem file stateEquationProblem-ConstantPlace-2599.sara.
lola: reporting
lola: not produced: 265
lola: state equation: 225
lola: find path: 1228
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2502
sara: try reading problem file stateEquationProblem-ConstantPlace-1856.sara.
lola: reporting
lola: not produced: 263
lola: state equation: 227
lola: find path: 1228
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2506
sara: try reading problem file stateEquationProblem-ConstantPlace-1860.sara.
lola: reporting
lola: not produced: 260
lola: state equation: 229
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2301
sara: try reading problem file stateEquationProblem-ConstantPlace-1255.sara.
lola: reporting
lola: not produced: 258
lola: state equation: 231
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 257
lola: state equation: 232
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
lola: STATE EQUATION TRIES PLACE p2307
sara: try reading problem file stateEquationProblem-ConstantPlace-1261.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2841
sara: try reading problem file stateEquationProblem-ConstantPlace-2815.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 255
lola: state equation: 234
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165

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

lola: STATE EQUATION TRIES PLACE p1711
sara: try reading problem file stateEquationProblem-ConstantPlace-3365.sara.
lola: reporting
lola: not produced: 253
lola: state equation: 236
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2023
sara: try reading problem file stateEquationProblem-ConstantPlace-488.sara.
lola: reporting
lola: not produced: 251
lola: state equation: 238
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2513
sara: try reading problem file stateEquationProblem-ConstantPlace-1877.sara.
lola: reporting
lola: not produced: 249
lola: state equation: 240
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2036
sara: try reading problem file stateEquationProblem-ConstantPlace-514.sara.
lola: reporting
lola: not produced: 247
lola: state equation: 242
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2318
sara: try reading problem file stateEquationProblem-ConstantPlace-1282.sara.
lola: reporting
lola: not produced: 245
lola: state equation: 244
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 244
lola: state equation: 245
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
lola: STATE EQUATION TRIES PLACE p2967
sara: try reading problem file stateEquationProblem-ConstantPlace-3257.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2121
sara: try reading problem file stateEquationProblem-ConstantPlace-784.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 242
lola: state equation: 247
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165

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

lola: STATE EQUATION TRIES PLACE p1458
sara: try reading problem file stateEquationProblem-ConstantPlace-2612.sara.
lola: reporting
lola: not produced: 240
lola: state equation: 249
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1365
sara: try reading problem file stateEquationProblem-ConstantPlace-2326.sara.
lola: reporting
lola: not produced: 238
lola: state equation: 251
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1845
sara: try reading problem file stateEquationProblem-ConstantPlace-3499.sara.
lola: reporting
lola: not produced: 236
lola: state equation: 253
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1632
sara: try reading problem file stateEquationProblem-ConstantPlace-3250.sara.
lola: reporting
lola: not produced: 234
lola: state equation: 255
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2051
sara: try reading problem file stateEquationProblem-ConstantPlace-544.sara.
lola: reporting
lola: not produced: 232
lola: state equation: 257
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2498
sara: try reading problem file stateEquationProblem-ConstantPlace-1729.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 231
lola: state equation: 258
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165

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

lola: STATE EQUATION TRIES PLACE p2997
sara: try reading problem file stateEquationProblem-ConstantPlace-3317.sara.
lola: reporting
lola: not produced: 229
lola: state equation: 260
lola: find path: 1229
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p968
sara: try reading problem file stateEquationProblem-ConstantPlace-3042.sara.
lola: reporting
lola: not produced: 220
lola: state equation: 262
lola: find path: 1236
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1837
sara: try reading problem file stateEquationProblem-ConstantPlace-3491.sara.
lola: reporting
lola: not produced: 218
lola: state equation: 264
lola: find path: 1236
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2508
sara: try reading problem file stateEquationProblem-ConstantPlace-1862.sara.
lola: reporting
lola: not produced: 216
lola: state equation: 266
lola: find path: 1236
lola: goal oriented search: 1671
lola: symmetry: 165
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2376
sara: try reading problem file stateEquationProblem-ConstantPlace-1385.sara.
lola: reporting
lola: not produced: 212
lola: state equation: 268
lola: find path: 1236
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p949
sara: try reading problem file stateEquationProblem-ConstantPlace-3013.sara.
lola: reporting
lola: not produced: 210
lola: state equation: 270
lola: find path: 1236
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 209
lola: state equation: 271
lola: find path: 1236
lola: goal oriented search: 1671
lola: symmetry: 167
lola: STATE EQUATION TRIES PLACE p2962
sara: try reading problem file stateEquationProblem-ConstantPlace-3247.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2037
sara: try reading problem file stateEquationProblem-ConstantPlace-516.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 207
lola: state equation: 273
lola: find path: 1236
lola: goal oriented search: 1671
lola: symmetry: 167

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

lola: STATE EQUATION TRIES PLACE p2959
sara: try reading problem file stateEquationProblem-ConstantPlace-3241.sara.
lola: reporting
lola: not produced: 205
lola: state equation: 275
lola: find path: 1236
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2026
sara: try reading problem file stateEquationProblem-ConstantPlace-494.sara.
lola: reporting
lola: not produced: 203
lola: state equation: 277
lola: find path: 1236
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2113
sara: try reading problem file stateEquationProblem-ConstantPlace-768.sara.
lola: reporting
lola: not produced: 201
lola: state equation: 279
lola: find path: 1236
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2169
sara: try reading problem file stateEquationProblem-ConstantPlace-879.sara.
lola: reporting
lola: not produced: 199
lola: state equation: 281
lola: find path: 1236
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2291
sara: try reading problem file stateEquationProblem-ConstantPlace-1155.sara.
lola: reporting
lola: not produced: 195
lola: state equation: 283
lola: find path: 1238
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 192
lola: state equation: 284
lola: find path: 1240
lola: goal oriented search: 1671
lola: symmetry: 167
lola: STATE EQUATION TRIES PLACE p1000
sara: try reading problem file stateEquationProblem-ConstantPlace-1296.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1447
sara: try reading problem file stateEquationProblem-ConstantPlace-2590.sara.
lola: reporting
lola: not produced: 189
lola: state equation: 286
lola: find path: 1241
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1511
sara: try reading problem file stateEquationProblem-ConstantPlace-2818.sara.
lola: reporting
lola: not produced: 187
lola: state equation: 288
lola: find path: 1241
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2963
sara: try reading problem file stateEquationProblem-ConstantPlace-3249.sara.
lola: reporting
lola: not produced: 185
lola: state equation: 290
lola: find path: 1241
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1698
sara: try reading problem file stateEquationProblem-ConstantPlace-3352.sara.
lola: reporting
lola: not produced: 183
lola: state equation: 292
lola: find path: 1241
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2150
sara: try reading problem file stateEquationProblem-ConstantPlace-842.sara.
lola: reporting
lola: not produced: 181
lola: state equation: 294
lola: find path: 1241
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 180
lola: state equation: 295
lola: find path: 1241
lola: goal oriented search: 1671
lola: symmetry: 167
lola: STATE EQUATION TRIES PLACE p1696
sara: try reading problem file stateEquationProblem-ConstantPlace-3350.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2033
sara: try reading problem file stateEquationProblem-ConstantPlace-508.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 177
lola: state equation: 297
lola: find path: 1242
lola: goal oriented search: 1671
lola: symmetry: 167

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

lola: STATE EQUATION TRIES PLACE p2319
sara: try reading problem file stateEquationProblem-ConstantPlace-1283.sara.
lola: reporting
lola: not produced: 174
lola: state equation: 299
lola: find path: 1243
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2072
sara: try reading problem file stateEquationProblem-ConstantPlace-582.sara.
lola: reporting
lola: not produced: 172
lola: state equation: 301
lola: find path: 1243
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1484
sara: try reading problem file stateEquationProblem-ConstantPlace-2648.sara.
lola: reporting
lola: not produced: 170
lola: state equation: 303
lola: find path: 1243
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2524
sara: try reading problem file stateEquationProblem-ConstantPlace-1888.sara.
lola: reporting
lola: not produced: 168
lola: state equation: 305
lola: find path: 1243
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1984
sara: try reading problem file stateEquationProblem-ConstantPlace-84.sara.
lola: reporting
lola: not produced: 166
lola: state equation: 307
lola: find path: 1243
lola: goal oriented search: 1671
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 164
lola: state equation: 308
lola: find path: 1243
lola: goal oriented search: 1671
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p2097
sara: try reading problem file stateEquationProblem-ConstantPlace-607.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1859
sara: try reading problem file stateEquationProblem-ConstantPlace-3513.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 162
lola: state equation: 310
lola: find path: 1243
lola: goal oriented search: 1671
lola: symmetry: 168

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

lola: STATE EQUATION TRIES PLACE p2083
sara: try reading problem file stateEquationProblem-ConstantPlace-593.sara.
lola: reporting
lola: not produced: 160
lola: state equation: 312
lola: find path: 1243
lola: goal oriented search: 1671
lola: symmetry: 168
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1834
sara: try reading problem file stateEquationProblem-ConstantPlace-3488.sara.
lola: reporting
lola: not produced: 158
lola: state equation: 314
lola: find path: 1243
lola: goal oriented search: 1671
lola: symmetry: 168
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1700
sara: try reading problem file stateEquationProblem-ConstantPlace-3354.sara.
lola: reporting
lola: not produced: 156
lola: state equation: 316
lola: find path: 1243
lola: goal oriented search: 1671
lola: symmetry: 168
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2781
sara: try reading problem file stateEquationProblem-ConstantPlace-2595.sara.
lola: reporting
lola: not produced: 153
lola: state equation: 318
lola: find path: 1244
lola: goal oriented search: 1671
lola: symmetry: 168
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1835
sara: try reading problem file stateEquationProblem-ConstantPlace-3489.sara.
lola: reporting
lola: not produced: 151
lola: state equation: 320
lola: find path: 1244
lola: goal oriented search: 1671
lola: symmetry: 168
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2166
sara: try reading problem file stateEquationProblem-ConstantPlace-874.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 150
lola: state equation: 321
lola: find path: 1244
lola: goal oriented search: 1671
lola: symmetry: 168

lola: STATE EQUATION TRIES PLACE p2294
sara: try reading problem file stateEquationProblem-ConstantPlace-1158.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: 148
lola: state equation: 323
lola: find path: 1244
lola: goal oriented search: 1671
lola: symmetry: 168
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2511
sara: try reading problem file stateEquationProblem-ConstantPlace-1875.sara.
lola: reporting
lola: not produced: 145
lola: state equation: 325
lola: find path: 1244
lola: goal oriented search: 1671
lola: symmetry: 169
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2006
sara: try reading problem file stateEquationProblem-ConstantPlace-454.sara.
lola: reporting
lola: not produced: 142
lola: state equation: 327
lola: find path: 1244
lola: goal oriented search: 1671
lola: symmetry: 170
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2302
sara: try reading problem file stateEquationProblem-ConstantPlace-1256.sara.
lola: reporting
lola: not produced: 6
lola: state equation: 329
lola: find path: 1244
lola: goal oriented search: 1805
lola: symmetry: 170
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2939
lola: reporting
lola: not produced: 4
lola: state equation: 331
lola: find path: 1244
lola: goal oriented search: 1805
lola: symmetry: 170
sara: try reading problem file stateEquationProblem-ConstantPlace-3181.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 3
lola: state equation: 332
lola: find path: 1244
lola: goal oriented search: 1805
lola: symmetry: 170
lola: STATE EQUATION TRIES PLACE p2298
sara: try reading problem file stateEquationProblem-ConstantPlace-1162.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2316
sara: try reading problem file stateEquationProblem-ConstantPlace-1280.sara.
lola: reporting
lola: not produced: 1
lola: state equation: 334
lola: find path: 1244
lola: goal oriented search: 1805
lola: symmetry: 170
sara: place or transition ordering is non-deterministic

lola: The net does not have constant places

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-402"
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-402, 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-167814494300108"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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