Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 124K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 88K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 15:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 15:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 15:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:55 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 23 03:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 03:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 22 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 22 12:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 912K May 5 16:51 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME StableMarking

=== Now, execution of the tool begins

BK_START 1620655403666

starting LoLA
BK_INPUT CloudReconfiguration-PT-402
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking

FORMULA StableMarking FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1620657103889

--------------------
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: reporting
lola: not produced: 1275
lola: find path: 227
lola: goal oriented search: 1987
lola: symmetry: 65
lola: STATE EQUATION TRIES PLACE p1581
sara: try reading problem file stateEquationProblem-ConstantPlace-2945.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2226
sara: try reading problem file stateEquationProblem-ConstantPlace-1090.sara.
lola: reporting
lola: not produced: 1114
lola: state equation: 2
lola: find path: 274
lola: goal oriented search: 2095
lola: symmetry: 69
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2492
sara: try reading problem file stateEquationProblem-ConstantPlace-1717.sara.
lola: reporting
lola: not produced: 1096
lola: state equation: 3
lola: find path: 291
lola: goal oriented search: 2095
lola: symmetry: 69
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1435
sara: try reading problem file stateEquationProblem-ConstantPlace-2566.sara.
lola: reporting
lola: not produced: 1057
lola: state equation: 4
lola: find path: 326
lola: goal oriented search: 2095
lola: symmetry: 72
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: 1009
lola: state equation: 5
lola: find path: 365
lola: goal oriented search: 2095
lola: symmetry: 80
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2714
sara: try reading problem file stateEquationProblem-ConstantPlace-2478.sara.
lola: reporting
lola: not produced: 985
lola: state equation: 6
lola: find path: 387
lola: goal oriented search: 2095
lola: symmetry: 81
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p586
sara: try reading problem file stateEquationProblem-ConstantPlace-1850.sara.
lola: reporting
lola: not produced: 983
lola: state equation: 7
lola: find path: 388
lola: goal oriented search: 2095
lola: symmetry: 81
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 977
lola: state equation: 7
lola: find path: 393
lola: goal oriented search: 2095
lola: symmetry: 82

lola: STATE EQUATION TRIES PLACE p802
sara: try reading problem file stateEquationProblem-ConstantPlace-2666.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 947
lola: state equation: 8
lola: find path: 421
lola: goal oriented search: 2095
lola: symmetry: 83

lola: STATE EQUATION TRIES PLACE p1507
sara: try reading problem file stateEquationProblem-ConstantPlace-2810.sara.
lola: reporting
lola: not produced: 942
lola: state equation: 9
lola: find path: 425
lola: goal oriented search: 2095
lola: symmetry: 83
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 875
lola: state equation: 10
lola: find path: 485
lola: goal oriented search: 2095
lola: symmetry: 89
lola: STATE EQUATION TRIES PLACE p3498
sara: try reading problem file stateEquationProblem-ConstantPlace-875.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 874
lola: state equation: 11
lola: find path: 485
lola: goal oriented search: 2095
lola: symmetry: 89
lola: STATE EQUATION TRIES PLACE p2242
sara: try reading problem file stateEquationProblem-ConstantPlace-1106.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1636
sara: try reading problem file stateEquationProblem-ConstantPlace-3258.sara.
lola: reporting
lola: not produced: 856
lola: state equation: 13
lola: find path: 500
lola: goal oriented search: 2095
lola: symmetry: 90
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2033
sara: try reading problem file stateEquationProblem-ConstantPlace-508.sara.
lola: reporting
lola: not produced: 845
lola: state equation: 14
lola: find path: 509
lola: goal oriented search: 2095
lola: symmetry: 91
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2789
sara: try reading problem file stateEquationProblem-ConstantPlace-2611.sara.
lola: reporting
lola: not produced: 830
lola: state equation: 15
lola: find path: 520
lola: goal oriented search: 2095
lola: symmetry: 94
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2334
sara: try reading problem file stateEquationProblem-ConstantPlace-1301.sara.
lola: reporting
lola: not produced: 811
lola: state equation: 16
lola: find path: 534
lola: goal oriented search: 2095
lola: symmetry: 98
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1411
sara: try reading problem file stateEquationProblem-ConstantPlace-2518.sara.
lola: reporting
lola: not produced: 797
lola: state equation: 18
lola: find path: 546
lola: goal oriented search: 2095
lola: symmetry: 98
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: 794
lola: state equation: 19
lola: find path: 548
lola: goal oriented search: 2095
lola: symmetry: 98
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p366
sara: try reading problem file stateEquationProblem-ConstantPlace-1230.sara.
lola: reporting
lola: not produced: 778
lola: state equation: 21
lola: find path: 559
lola: goal oriented search: 2095
lola: symmetry: 101
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 777
lola: state equation: 21
lola: find path: 560
lola: goal oriented search: 2095
lola: symmetry: 101

lola: STATE EQUATION TRIES PLACE p375
sara: try reading problem file stateEquationProblem-ConstantPlace-1239.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 769
lola: state equation: 22
lola: find path: 567
lola: goal oriented search: 2095
lola: symmetry: 101

lola: STATE EQUATION TRIES PLACE p2997
sara: try reading problem file stateEquationProblem-ConstantPlace-3317.sara.
lola: reporting
lola: not produced: 767
lola: state equation: 23
lola: find path: 568
lola: goal oriented search: 2095
lola: symmetry: 101
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2031
sara: try reading problem file stateEquationProblem-ConstantPlace-504.sara.
lola: reporting
lola: not produced: 765
lola: state equation: 24
lola: find path: 569
lola: goal oriented search: 2095
lola: symmetry: 101
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 738
lola: state equation: 25
lola: find path: 592
lola: goal oriented search: 2095
lola: symmetry: 104
lola: STATE EQUATION TRIES PLACE p2658
sara: try reading problem file stateEquationProblem-ConstantPlace-2249.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: 735
lola: state equation: 27
lola: find path: 592
lola: goal oriented search: 2095
lola: symmetry: 105
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1494
sara: try reading problem file stateEquationProblem-ConstantPlace-2658.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 732
lola: state equation: 28
lola: find path: 593
lola: goal oriented search: 2095
lola: symmetry: 106

lola: STATE EQUATION TRIES PLACE p512
sara: try reading problem file stateEquationProblem-ConstantPlace-1776.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 730
lola: state equation: 29
lola: find path: 594
lola: goal oriented search: 2095
lola: symmetry: 106

lola: STATE EQUATION TRIES PLACE p1700
sara: try reading problem file stateEquationProblem-ConstantPlace-3354.sara.
lola: reporting
lola: not produced: 718
lola: state equation: 30
lola: find path: 605
lola: goal oriented search: 2095
lola: symmetry: 106
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: reporting
lola: not produced: 713
lola: state equation: 31
lola: find path: 609
lola: goal oriented search: 2095
lola: symmetry: 106

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

lola: STATE EQUATION TRIES PLACE p1639
sara: try reading problem file stateEquationProblem-ConstantPlace-3263.sara.
lola: reporting
lola: not produced: 700
lola: state equation: 33
lola: find path: 619
lola: goal oriented search: 2095
lola: symmetry: 107
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3417
sara: try reading problem file stateEquationProblem-ConstantPlace-697.sara.
lola: reporting
lola: not produced: 699
lola: state equation: 34
lola: find path: 619
lola: goal oriented search: 2095
lola: symmetry: 107
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p506
sara: try reading problem file stateEquationProblem-ConstantPlace-1770.sara.
lola: reporting
lola: not produced: 693
lola: state equation: 36
lola: find path: 623
lola: goal oriented search: 2095
lola: symmetry: 107
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2966
sara: try reading problem file stateEquationProblem-ConstantPlace-3255.sara.
lola: reporting
lola: not produced: 690
lola: state equation: 37
lola: find path: 623
lola: goal oriented search: 2095
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2952
sara: try reading problem file stateEquationProblem-ConstantPlace-3227.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: 679
lola: state equation: 39
lola: find path: 632
lola: goal oriented search: 2095
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p576
sara: try reading problem file stateEquationProblem-ConstantPlace-1840.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 678
lola: state equation: 40
lola: find path: 632
lola: goal oriented search: 2095
lola: symmetry: 109

lola: STATE EQUATION TRIES PLACE p2696
sara: try reading problem file stateEquationProblem-ConstantPlace-2325.sara.
lola: reporting
lola: not produced: 674
lola: state equation: 41
lola: find path: 634
lola: goal oriented search: 2095
lola: symmetry: 110
sara: place or transition ordering is non-deterministic

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 p2838
sara: try reading problem file stateEquationProblem-ConstantPlace-2809.sara.
lola: reporting
lola: not produced: 657
lola: state equation: 43
lola: find path: 642
lola: goal oriented search: 2095
lola: symmetry: 117
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2647
sara: try reading problem file stateEquationProblem-ConstantPlace-2227.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 656
lola: state equation: 44
lola: find path: 642
lola: goal oriented search: 2095
lola: symmetry: 117

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

lola: reporting
lola: not produced: 653
lola: state equation: 45
lola: find path: 643
lola: goal oriented search: 2095
lola: symmetry: 118
lola: STATE EQUATION TRIES PLACE p3092
sara: try reading problem file stateEquationProblem-ConstantPlace-202.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2983
sara: try reading problem file stateEquationProblem-ConstantPlace-3289.sara.
lola: reporting
lola: not produced: 651
lola: state equation: 47
lola: find path: 643
lola: goal oriented search: 2095
lola: symmetry: 118
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p497
sara: try reading problem file stateEquationProblem-ConstantPlace-1571.sara.
lola: reporting
lola: not produced: 643
lola: state equation: 48
lola: find path: 648
lola: goal oriented search: 2095
lola: symmetry: 120
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2695
sara: try reading problem file stateEquationProblem-ConstantPlace-2323.sara.
lola: reporting
lola: not produced: 641
lola: state equation: 49
lola: find path: 648
lola: goal oriented search: 2095
lola: symmetry: 121
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2939
sara: try reading problem file stateEquationProblem-ConstantPlace-3181.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: 634
lola: state equation: 51
lola: find path: 651
lola: goal oriented search: 2095
lola: symmetry: 123
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: 632
lola: state equation: 52
lola: find path: 651
lola: goal oriented search: 2095
lola: symmetry: 124

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

lola: STATE EQUATION TRIES PLACE p299
sara: try reading problem file stateEquationProblem-ConstantPlace-1059.sara.
lola: reporting
lola: not produced: 629
lola: state equation: 54
lola: find path: 651
lola: goal oriented search: 2095
lola: symmetry: 125
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 629
lola: state equation: 54
lola: find path: 651
lola: goal oriented search: 2095
lola: symmetry: 125

lola: STATE EQUATION TRIES PLACE p3473
sara: try reading problem file stateEquationProblem-ConstantPlace-825.sara.
lola: reporting
lola: not produced: 625
lola: state equation: 55
lola: find path: 652
lola: goal oriented search: 2095
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p494
sara: try reading problem file stateEquationProblem-ConstantPlace-1568.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 623
lola: state equation: 56
lola: find path: 653
lola: goal oriented search: 2095
lola: symmetry: 127

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

lola: STATE EQUATION TRIES PLACE p1651
sara: try reading problem file stateEquationProblem-ConstantPlace-3288.sara.
lola: reporting
lola: not produced: 620
lola: state equation: 58
lola: find path: 654
lola: goal oriented search: 2095
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p514
sara: try reading problem file stateEquationProblem-ConstantPlace-1778.sara.
lola: reporting
lola: not produced: 615
lola: state equation: 60
lola: find path: 655
lola: goal oriented search: 2095
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 607
lola: state equation: 60
lola: find path: 663
lola: goal oriented search: 2095
lola: symmetry: 129
lola: STATE EQUATION TRIES PLACE p2096
sara: try reading problem file stateEquationProblem-ConstantPlace-606.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 606
lola: state equation: 61
lola: find path: 663
lola: goal oriented search: 2095
lola: symmetry: 129
lola: STATE EQUATION TRIES PLACE p2169
sara: try reading problem file stateEquationProblem-ConstantPlace-879.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1235
sara: try reading problem file stateEquationProblem-ConstantPlace-1966.sara.
lola: reporting
lola: not produced: 603
lola: state equation: 63
lola: find path: 664
lola: goal oriented search: 2095
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2630
sara: try reading problem file stateEquationProblem-ConstantPlace-2194.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 593
lola: state equation: 64
lola: find path: 673
lola: goal oriented search: 2095
lola: symmetry: 129

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

lola: STATE EQUATION TRIES PLACE p2773
sara: try reading problem file stateEquationProblem-ConstantPlace-2579.sara.
lola: reporting
lola: not produced: 578
lola: state equation: 66
lola: find path: 686
lola: goal oriented search: 2095
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2118
sara: try reading problem file stateEquationProblem-ConstantPlace-778.sara.
lola: reporting
lola: not produced: 575
lola: state equation: 68
lola: find path: 687
lola: goal oriented search: 2095
lola: symmetry: 129
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2978
lola: reporting
lola: not produced: 573
lola: state equation: 70
lola: find path: 687
lola: goal oriented search: 2095
lola: symmetry: 129
sara: try reading problem file stateEquationProblem-ConstantPlace-3279.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2377
sara: try reading problem file stateEquationProblem-ConstantPlace-1387.sara.
lola: reporting
lola: not produced: 570
lola: state equation: 71
lola: find path: 687
lola: goal oriented search: 2095
lola: symmetry: 131
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 p1711
sara: try reading problem file stateEquationProblem-ConstantPlace-3365.sara.
lola: reporting
lola: not produced: 568
lola: state equation: 73
lola: find path: 687
lola: goal oriented search: 2095
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p326
sara: try reading problem file stateEquationProblem-ConstantPlace-1190.sara.
lola: reporting
lola: not produced: 566
lola: state equation: 75
lola: find path: 687
lola: goal oriented search: 2095
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3089
sara: try reading problem file stateEquationProblem-ConstantPlace-199.sara.
lola: reporting
lola: not produced: 564
lola: state equation: 76
lola: find path: 688
lola: goal oriented search: 2095
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2074
sara: try reading problem file stateEquationProblem-ConstantPlace-584.sara.
lola: reporting
lola: not produced: 563
lola: state equation: 77
lola: find path: 688
lola: goal oriented search: 2095
lola: symmetry: 131
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 562
lola: state equation: 78
lola: find path: 688
lola: goal oriented search: 2095
lola: symmetry: 131
lola: STATE EQUATION TRIES PLACE p3317
sara: try reading problem file stateEquationProblem-ConstantPlace-427.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: 559
lola: state equation: 80
lola: find path: 688
lola: goal oriented search: 2095
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3351
sara: try reading problem file stateEquationProblem-ConstantPlace-481.sara.
lola: reporting
lola: not produced: 556
lola: state equation: 82
lola: find path: 689
lola: goal oriented search: 2095
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2803
sara: try reading problem file stateEquationProblem-ConstantPlace-2757.sara.
lola: reporting
lola: not produced: 555
lola: state equation: 83
lola: find path: 689
lola: goal oriented search: 2095
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3377
sara: try reading problem file stateEquationProblem-ConstantPlace-533.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 553
lola: state equation: 84
lola: find path: 690
lola: goal oriented search: 2095
lola: symmetry: 132

lola: STATE EQUATION TRIES PLACE p2646
sara: try reading problem file stateEquationProblem-ConstantPlace-2225.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 552
lola: state equation: 85
lola: find path: 690
lola: goal oriented search: 2095
lola: symmetry: 132

lola: STATE EQUATION TRIES PLACE p3180
sara: try reading problem file stateEquationProblem-ConstantPlace-290.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 543
lola: state equation: 86
lola: find path: 693
lola: goal oriented search: 2095
lola: symmetry: 137

lola: STATE EQUATION TRIES PLACE p1642
sara: try reading problem file stateEquationProblem-ConstantPlace-3270.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 541
lola: state equation: 87
lola: find path: 693
lola: goal oriented search: 2095
lola: symmetry: 138

lola: STATE EQUATION TRIES PLACE p2503
sara: try reading problem file stateEquationProblem-ConstantPlace-1857.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 540
lola: state equation: 88
lola: find path: 693
lola: goal oriented search: 2095
lola: symmetry: 138

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

lola: reporting
lola: not produced: 539
lola: state equation: 89
lola: find path: 693
lola: goal oriented search: 2095
lola: symmetry: 138
lola: STATE EQUATION TRIES PLACE p2505
sara: try reading problem file stateEquationProblem-ConstantPlace-1859.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 538
lola: state equation: 90
lola: find path: 693
lola: goal oriented search: 2095
lola: symmetry: 138

lola: STATE EQUATION TRIES PLACE p3332
sara: try reading problem file stateEquationProblem-ConstantPlace-443.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 537
lola: state equation: 91
lola: find path: 693
lola: goal oriented search: 2095
lola: symmetry: 138

lola: STATE EQUATION TRIES PLACE p521
sara: try reading problem file stateEquationProblem-ConstantPlace-1785.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 530
lola: state equation: 92
lola: find path: 699
lola: goal oriented search: 2095
lola: symmetry: 138

lola: reporting
lola: not produced: 529
lola: state equation: 92
lola: find path: 700
lola: goal oriented search: 2095
lola: symmetry: 138
lola: STATE EQUATION TRIES PLACE p2699
sara: try reading problem file stateEquationProblem-ConstantPlace-2331.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 528
lola: state equation: 93
lola: find path: 700
lola: goal oriented search: 2095
lola: symmetry: 138
lola: STATE EQUATION TRIES PLACE p2783
sara: try reading problem file stateEquationProblem-ConstantPlace-2599.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 520
lola: state equation: 94
lola: find path: 703
lola: goal oriented search: 2095
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p3384
sara: try reading problem file stateEquationProblem-ConstantPlace-547.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 519
lola: state equation: 95
lola: find path: 703
lola: goal oriented search: 2095
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p1665
sara: try reading problem file stateEquationProblem-ConstantPlace-3316.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1633
sara: try reading problem file stateEquationProblem-ConstantPlace-3252.sara.
lola: reporting
lola: not produced: 517
lola: state equation: 97
lola: find path: 703
lola: goal oriented search: 2095
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1696
sara: try reading problem file stateEquationProblem-ConstantPlace-3350.sara.
lola: reporting
lola: not produced: 516
lola: state equation: 98
lola: find path: 703
lola: goal oriented search: 2095
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2294
sara: try reading problem file stateEquationProblem-ConstantPlace-1158.sara.
lola: reporting
lola: not produced: 515
lola: state equation: 99
lola: find path: 703
lola: goal oriented search: 2095
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p519
sara: try reading problem file stateEquationProblem-ConstantPlace-1783.sara.
lola: reporting
lola: not produced: 513
lola: state equation: 100
lola: find path: 704
lola: goal oriented search: 2095
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 513
lola: state equation: 100
lola: find path: 704
lola: goal oriented search: 2095
lola: symmetry: 142

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 p2113
sara: try reading problem file stateEquationProblem-ConstantPlace-768.sara.
lola: reporting
lola: not produced: 505
lola: state equation: 102
lola: find path: 710
lola: goal oriented search: 2095
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1967
sara: try reading problem file stateEquationProblem-ConstantPlace-67.sara.
lola: reporting
lola: not produced: 504
lola: state equation: 103
lola: find path: 710
lola: goal oriented search: 2095
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 503
lola: state equation: 104
lola: find path: 710
lola: goal oriented search: 2095
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p2497
sara: try reading problem file stateEquationProblem-ConstantPlace-1727.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 502
lola: state equation: 105
lola: find path: 710
lola: goal oriented search: 2095
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p1766
sara: try reading problem file stateEquationProblem-ConstantPlace-3420.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 501
lola: state equation: 106
lola: find path: 710
lola: goal oriented search: 2095
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p2290
sara: try reading problem file stateEquationProblem-ConstantPlace-1154.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2359
sara: try reading problem file stateEquationProblem-ConstantPlace-1351.sara.
lola: reporting
lola: not produced: 499
lola: state equation: 108
lola: find path: 710
lola: goal oriented search: 2095
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2328
sara: try reading problem file stateEquationProblem-ConstantPlace-1292.sara.
lola: reporting
lola: not produced: 497
lola: state equation: 110
lola: find path: 710
lola: goal oriented search: 2095
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2791
sara: try reading problem file stateEquationProblem-ConstantPlace-2615.sara.
lola: reporting
lola: not produced: 495
lola: state equation: 112
lola: find path: 710
lola: goal oriented search: 2095
lola: symmetry: 142
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 p2173
sara: try reading problem file stateEquationProblem-ConstantPlace-883.sara.
lola: reporting
lola: not produced: 492
lola: state equation: 114
lola: find path: 711
lola: goal oriented search: 2095
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1710
sara: try reading problem file stateEquationProblem-ConstantPlace-3364.sara.
lola: reporting
lola: not produced: 489
lola: state equation: 116
lola: find path: 712
lola: goal oriented search: 2095
lola: symmetry: 142
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1709
sara: try reading problem file stateEquationProblem-ConstantPlace-3363.sara.
lola: reporting
lola: not produced: 483
lola: state equation: 118
lola: find path: 715
lola: goal oriented search: 2095
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3158
sara: try reading problem file stateEquationProblem-ConstantPlace-268.sara.
lola: reporting
lola: not produced: 481
lola: state equation: 120
lola: find path: 715
lola: goal oriented search: 2095
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1503
sara: try reading problem file stateEquationProblem-ConstantPlace-2802.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 480
lola: state equation: 121
lola: find path: 715
lola: goal oriented search: 2095
lola: symmetry: 143

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

lola: reporting
lola: not produced: 479
lola: state equation: 122
lola: find path: 715
lola: goal oriented search: 2095
lola: symmetry: 143
lola: STATE EQUATION TRIES PLACE p1518
sara: try reading problem file stateEquationProblem-ConstantPlace-2832.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2120
sara: try reading problem file stateEquationProblem-ConstantPlace-782.sara.
lola: reporting
lola: not produced: 477
lola: state equation: 124
lola: find path: 715
lola: goal oriented search: 2095
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3493
sara: try reading problem file stateEquationProblem-ConstantPlace-865.sara.
lola: reporting
lola: not produced: 470
lola: state equation: 125
lola: find path: 721
lola: goal oriented search: 2095
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1432
sara: try reading problem file stateEquationProblem-ConstantPlace-2560.sara.
lola: reporting
lola: not produced: 469
lola: state equation: 126
lola: find path: 721
lola: goal oriented search: 2095
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1170
sara: try reading problem file stateEquationProblem-ConstantPlace-1734.sara.
lola: reporting
lola: not produced: 460
lola: state equation: 128
lola: find path: 728
lola: goal oriented search: 2095
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 459
lola: state equation: 129
lola: find path: 728
lola: goal oriented search: 2095
lola: symmetry: 143
lola: STATE EQUATION TRIES PLACE p2174
sara: try reading problem file stateEquationProblem-ConstantPlace-884.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2961
sara: try reading problem file stateEquationProblem-ConstantPlace-3245.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 457
lola: state equation: 131
lola: find path: 728
lola: goal oriented search: 2095
lola: symmetry: 143

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

lola: STATE EQUATION TRIES PLACE p3162
sara: try reading problem file stateEquationProblem-ConstantPlace-272.sara.
lola: reporting
lola: not produced: 455
lola: state equation: 133
lola: find path: 728
lola: goal oriented search: 2095
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2056
sara: try reading problem file stateEquationProblem-ConstantPlace-554.sara.
lola: reporting
lola: not produced: 454
lola: state equation: 134
lola: find path: 728
lola: goal oriented search: 2095
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2323
sara: try reading problem file stateEquationProblem-ConstantPlace-1287.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: 452
lola: state equation: 136
lola: find path: 728
lola: goal oriented search: 2095
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2670
sara: try reading problem file stateEquationProblem-ConstantPlace-2274.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 451
lola: state equation: 137
lola: find path: 728
lola: goal oriented search: 2095
lola: symmetry: 143

lola: STATE EQUATION TRIES PLACE p1664
sara: try reading problem file stateEquationProblem-ConstantPlace-3314.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: 449
lola: state equation: 139
lola: find path: 728
lola: goal oriented search: 2095
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3444
sara: try reading problem file stateEquationProblem-ConstantPlace-767.sara.
lola: reporting
lola: not produced: 447
lola: state equation: 141
lola: find path: 728
lola: goal oriented search: 2095
lola: symmetry: 143
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: 446
lola: state equation: 142
lola: find path: 728
lola: goal oriented search: 2095
lola: symmetry: 143
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: 445
lola: state equation: 143
lola: find path: 728
lola: goal oriented search: 2095
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1990
sara: try reading problem file stateEquationProblem-ConstantPlace-90.sara.
lola: reporting
lola: not produced: 440
lola: state equation: 145
lola: find path: 730
lola: goal oriented search: 2095
lola: symmetry: 144
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 437
lola: state equation: 146
lola: find path: 731
lola: goal oriented search: 2095
lola: symmetry: 145
lola: STATE EQUATION TRIES PLACE p3466
sara: try reading problem file stateEquationProblem-ConstantPlace-811.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3477
lola: reporting
lola: not produced: 433
lola: state equation: 149
lola: find path: 732
lola: goal oriented search: 2095
lola: symmetry: 145
sara: try reading problem file stateEquationProblem-ConstantPlace-833.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1515
lola: reporting
lola: not produced: 431
lola: state equation: 151
lola: find path: 732
lola: goal oriented search: 2095
lola: symmetry: 145
sara: try reading problem file stateEquationProblem-ConstantPlace-2826.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2829
lola: reporting
lola: not produced: 429
lola: state equation: 153
lola: find path: 732
lola: goal oriented search: 2095
lola: symmetry: 145
sara: try reading problem file stateEquationProblem-ConstantPlace-2793.sara.
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: STATE EQUATION TRIES PLACE p1666
sara: try reading problem file stateEquationProblem-ConstantPlace-3318.sara.
lola: reporting
lola: not produced: 427
lola: state equation: 155
lola: find path: 732
lola: goal oriented search: 2095
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2494
sara: try reading problem file stateEquationProblem-ConstantPlace-1721.sara.
lola: reporting
lola: not produced: 424
lola: state equation: 157
lola: find path: 732
lola: goal oriented search: 2095
lola: symmetry: 146
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 p3166
sara: try reading problem file stateEquationProblem-ConstantPlace-276.sara.
lola: reporting
lola: not produced: 422
lola: state equation: 159
lola: find path: 732
lola: goal oriented search: 2095
lola: symmetry: 146
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2393
sara: try reading problem file stateEquationProblem-ConstantPlace-1419.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: 420
lola: state equation: 161
lola: find path: 732
lola: goal oriented search: 2095
lola: symmetry: 146
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1644
sara: try reading problem file stateEquationProblem-ConstantPlace-3274.sara.
lola: reporting
lola: not produced: 418
lola: state equation: 163
lola: find path: 732
lola: goal oriented search: 2095
lola: symmetry: 146
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3321
sara: try reading problem file stateEquationProblem-ConstantPlace-431.sara.
lola: reporting
lola: not produced: 412
lola: state equation: 164
lola: find path: 737
lola: goal oriented search: 2095
lola: symmetry: 146
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2701
sara: try reading problem file stateEquationProblem-ConstantPlace-2455.sara.
lola: reporting
lola: not produced: 410
lola: state equation: 165
lola: find path: 737
lola: goal oriented search: 2095
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3189
sara: try reading problem file stateEquationProblem-ConstantPlace-299.sara.
lola: reporting
lola: not produced: 409
lola: state equation: 166
lola: find path: 737
lola: goal oriented search: 2095
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3509
sara: try reading problem file stateEquationProblem-ConstantPlace-979.sara.
lola: reporting
lola: not produced: 408
lola: state equation: 167
lola: find path: 737
lola: goal oriented search: 2095
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2085
sara: try reading problem file stateEquationProblem-ConstantPlace-595.sara.
lola: reporting
lola: not produced: 407
lola: state equation: 168
lola: find path: 737
lola: goal oriented search: 2095
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1708
sara: try reading problem file stateEquationProblem-ConstantPlace-3362.sara.
lola: reporting
lola: not produced: 402
lola: state equation: 169
lola: find path: 741
lola: goal oriented search: 2095
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1658
sara: try reading problem file stateEquationProblem-ConstantPlace-3302.sara.
lola: reporting
lola: not produced: 397
lola: state equation: 170
lola: find path: 745
lola: goal oriented search: 2095
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1995
sara: try reading problem file stateEquationProblem-ConstantPlace-95.sara.
lola: reporting
lola: not produced: 396
lola: state equation: 171
lola: find path: 745
lola: goal oriented search: 2095
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1647
sara: try reading problem file stateEquationProblem-ConstantPlace-3280.sara.
lola: reporting
lola: not produced: 394
lola: state equation: 172
lola: find path: 745
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3159
sara: try reading problem file stateEquationProblem-ConstantPlace-269.sara.
lola: reporting
lola: not produced: 393
lola: state equation: 173
lola: find path: 745
lola: goal oriented search: 2095
lola: symmetry: 148
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: 392
lola: state equation: 174
lola: find path: 745
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3395
sara: try reading problem file stateEquationProblem-ConstantPlace-569.sara.
lola: reporting
lola: not produced: 391
lola: state equation: 175
lola: find path: 745
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3164
sara: try reading problem file stateEquationProblem-ConstantPlace-274.sara.
lola: reporting
lola: not produced: 389
lola: state equation: 176
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2119
sara: try reading problem file stateEquationProblem-ConstantPlace-779.sara.
lola: reporting
lola: not produced: 388
lola: state equation: 177
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3470
sara: try reading problem file stateEquationProblem-ConstantPlace-820.sara.
lola: reporting
lola: not produced: 387
lola: state equation: 178
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p916
sara: try reading problem file stateEquationProblem-ConstantPlace-2980.sara.
lola: reporting
lola: not produced: 385
lola: state equation: 180
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2299
sara: try reading problem file stateEquationProblem-ConstantPlace-1163.sara.
lola: reporting
lola: not produced: 384
lola: state equation: 181
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2306
sara: try reading problem file stateEquationProblem-ConstantPlace-1260.sara.
lola: reporting
lola: not produced: 383
lola: state equation: 182
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1168
sara: try reading problem file stateEquationProblem-ConstantPlace-1732.sara.
lola: reporting
lola: not produced: 382
lola: state equation: 183
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1832
sara: try reading problem file stateEquationProblem-ConstantPlace-3486.sara.
lola: reporting
lola: not produced: 381
lola: state equation: 184
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2841
sara: try reading problem file stateEquationProblem-ConstantPlace-2815.sara.
lola: reporting
lola: not produced: 380
lola: state equation: 185
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2504
sara: try reading problem file stateEquationProblem-ConstantPlace-1858.sara.
lola: reporting
lola: not produced: 379
lola: state equation: 186
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 148
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 p3497
sara: try reading problem file stateEquationProblem-ConstantPlace-873.sara.
lola: reporting
lola: not produced: 377
lola: state equation: 188
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2700
sara: try reading problem file stateEquationProblem-ConstantPlace-2454.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: 375
lola: state equation: 190
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1185
sara: try reading problem file stateEquationProblem-ConstantPlace-1749.sara.
lola: reporting
lola: not produced: 372
lola: state equation: 192
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 149
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 p2084
sara: try reading problem file stateEquationProblem-ConstantPlace-594.sara.
lola: reporting
lola: not produced: 370
lola: state equation: 194
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2953
sara: try reading problem file stateEquationProblem-ConstantPlace-3229.sara.
lola: reporting
lola: not produced: 368
lola: state equation: 196
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2500
sara: try reading problem file stateEquationProblem-ConstantPlace-1854.sara.
lola: reporting
lola: not produced: 366
lola: state equation: 198
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 149
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 p2006
sara: try reading problem file stateEquationProblem-ConstantPlace-454.sara.
lola: reporting
lola: not produced: 364
lola: state equation: 200
lola: find path: 746
lola: goal oriented search: 2095
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2974
sara: try reading problem file stateEquationProblem-ConstantPlace-3271.sara.
lola: reporting
lola: not produced: 352
lola: state equation: 202
lola: find path: 756
lola: goal oriented search: 2095
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2967
sara: try reading problem file stateEquationProblem-ConstantPlace-3257.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 351
lola: state equation: 204
lola: find path: 755
lola: goal oriented search: 2095
lola: symmetry: 149

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

lola: STATE EQUATION TRIES PLACE p2692
sara: try reading problem file stateEquationProblem-ConstantPlace-2317.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 349
lola: state equation: 206
lola: find path: 755
lola: goal oriented search: 2095
lola: symmetry: 149

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

lola: STATE EQUATION TRIES PLACE p3022
sara: try reading problem file stateEquationProblem-ConstantPlace-122.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 347
lola: state equation: 208
lola: find path: 755
lola: goal oriented search: 2095
lola: symmetry: 149

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

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

lola: reporting
lola: not produced: 345
lola: state equation: 210
lola: find path: 755
lola: goal oriented search: 2095
lola: symmetry: 149
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 p1343
sara: try reading problem file stateEquationProblem-ConstantPlace-2282.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 343
lola: state equation: 212
lola: find path: 755
lola: goal oriented search: 2095
lola: symmetry: 149
lola: STATE EQUATION TRIES PLACE p1640
sara: try reading problem file stateEquationProblem-ConstantPlace-3266.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 341
lola: state equation: 214
lola: find path: 755
lola: goal oriented search: 2095
lola: symmetry: 149
lola: STATE EQUATION TRIES PLACE p1762
sara: try reading problem file stateEquationProblem-ConstantPlace-3416.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 339
lola: state equation: 216
lola: find path: 755
lola: goal oriented search: 2095
lola: symmetry: 149
lola: STATE EQUATION TRIES PLACE p3315
sara: try reading problem file stateEquationProblem-ConstantPlace-425.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 335
lola: state equation: 217
lola: find path: 758
lola: goal oriented search: 2095
lola: symmetry: 149
lola: STATE EQUATION TRIES PLACE p2057
sara: try reading problem file stateEquationProblem-ConstantPlace-556.sara.
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: reporting
lola: not produced: 331
lola: state equation: 219
lola: find path: 759
lola: goal oriented search: 2095
lola: symmetry: 150

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 p2168
sara: try reading problem file stateEquationProblem-ConstantPlace-878.sara.
lola: reporting
lola: not produced: 329
lola: state equation: 221
lola: find path: 759
lola: goal oriented search: 2095
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1634
sara: try reading problem file stateEquationProblem-ConstantPlace-3254.sara.
lola: reporting
lola: not produced: 327
lola: state equation: 222
lola: find path: 760
lola: goal oriented search: 2095
lola: symmetry: 150
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: STATE EQUATION TRIES PLACE p2815
sara: try reading problem file stateEquationProblem-ConstantPlace-2779.sara.
lola: reporting
lola: not produced: 325
lola: state equation: 224
lola: find path: 760
lola: goal oriented search: 2095
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3156
sara: try reading problem file stateEquationProblem-ConstantPlace-266.sara.
lola: reporting
lola: not produced: 324
lola: state equation: 225
lola: find path: 760
lola: goal oriented search: 2095
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2785
sara: try reading problem file stateEquationProblem-ConstantPlace-2603.sara.
lola: reporting
lola: not produced: 322
lola: state equation: 227
lola: find path: 760
lola: goal oriented search: 2095
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2141
sara: try reading problem file stateEquationProblem-ConstantPlace-824.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 320
lola: state equation: 229
lola: find path: 760
lola: goal oriented search: 2095
lola: symmetry: 150

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

lola: STATE EQUATION TRIES PLACE p3174
sara: try reading problem file stateEquationProblem-ConstantPlace-284.sara.
lola: reporting
lola: not produced: 318
lola: state equation: 231
lola: find path: 760
lola: goal oriented search: 2095
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1509
sara: try reading problem file stateEquationProblem-ConstantPlace-2813.sara.
lola: reporting
lola: not produced: 317
lola: state equation: 232
lola: find path: 760
lola: goal oriented search: 2095
lola: symmetry: 150
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: 315
lola: state equation: 233
lola: find path: 761
lola: goal oriented search: 2095
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2179
sara: try reading problem file stateEquationProblem-ConstantPlace-889.sara.
lola: reporting
lola: not produced: 314
lola: state equation: 234
lola: find path: 761
lola: goal oriented search: 2095
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3088
sara: try reading problem file stateEquationProblem-ConstantPlace-198.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: 312
lola: state equation: 236
lola: find path: 761
lola: goal oriented search: 2095
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 311
lola: state equation: 237
lola: find path: 761
lola: goal oriented search: 2095
lola: symmetry: 150
lola: STATE EQUATION TRIES PLACE p2115
sara: try reading problem file stateEquationProblem-ConstantPlace-772.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 310
lola: state equation: 238
lola: find path: 761
lola: goal oriented search: 2095
lola: symmetry: 150
lola: STATE EQUATION TRIES PLACE p1980
sara: try reading problem file stateEquationProblem-ConstantPlace-80.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3191
sara: try reading problem file stateEquationProblem-ConstantPlace-301.sara.
lola: reporting
lola: not produced: 307
lola: state equation: 240
lola: find path: 761
lola: goal oriented search: 2095
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 305
lola: state equation: 241
lola: find path: 762
lola: goal oriented search: 2095
lola: symmetry: 151
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 p2957
sara: try reading problem file stateEquationProblem-ConstantPlace-3237.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 303
lola: state equation: 243
lola: find path: 762
lola: goal oriented search: 2095
lola: symmetry: 151
lola: STATE EQUATION TRIES PLACE p1863
sara: try reading problem file stateEquationProblem-ConstantPlace-3517.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: 301
lola: state equation: 245
lola: find path: 762
lola: goal oriented search: 2095
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1764
sara: try reading problem file stateEquationProblem-ConstantPlace-3418.sara.
lola: reporting
lola: not produced: 295
lola: state equation: 246
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1656
sara: try reading problem file stateEquationProblem-ConstantPlace-3298.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: 293
lola: state equation: 248
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1846
sara: try reading problem file stateEquationProblem-ConstantPlace-3500.sara.
lola: reporting
lola: not produced: 292
lola: state equation: 249
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3173
sara: try reading problem file stateEquationProblem-ConstantPlace-283.sara.
lola: reporting
lola: not produced: 290
lola: state equation: 251
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2311
sara: try reading problem file stateEquationProblem-ConstantPlace-1275.sara.
lola: reporting
lola: not produced: 289
lola: state equation: 252
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2304
sara: try reading problem file stateEquationProblem-ConstantPlace-1258.sara.
lola: reporting
lola: not produced: 288
lola: state equation: 253
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 151
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 p2293
sara: try reading problem file stateEquationProblem-ConstantPlace-1157.sara.
lola: reporting
lola: not produced: 285
lola: state equation: 255
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 284
lola: state equation: 256
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p2960
sara: try reading problem file stateEquationProblem-ConstantPlace-3244.sara.
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: reporting
lola: not produced: 282
lola: state equation: 258
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p1630
sara: try reading problem file stateEquationProblem-ConstantPlace-3246.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 280
lola: state equation: 260
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 152
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 p2802
sara: try reading problem file stateEquationProblem-ConstantPlace-2756.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 278
lola: state equation: 262
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 152
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 p3087
sara: try reading problem file stateEquationProblem-ConstantPlace-197.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 276
lola: state equation: 264
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 152
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 p2790
sara: try reading problem file stateEquationProblem-ConstantPlace-2614.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 274
lola: state equation: 266
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 152

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 p3472
sara: try reading problem file stateEquationProblem-ConstantPlace-823.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 272
lola: state equation: 268
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 152

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

lola: STATE EQUATION TRIES PLACE p1648
sara: try reading problem file stateEquationProblem-ConstantPlace-3282.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 270
lola: state equation: 270
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 152

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

lola: STATE EQUATION TRIES PLACE p1458
sara: try reading problem file stateEquationProblem-ConstantPlace-2612.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 268
lola: state equation: 272
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 152

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

lola: STATE EQUATION TRIES PLACE p1646
sara: try reading problem file stateEquationProblem-ConstantPlace-3278.sara.
lola: reporting
lola: not produced: 266
lola: state equation: 274
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3508
sara: try reading problem file stateEquationProblem-ConstantPlace-978.sara.
lola: reporting
lola: not produced: 264
lola: state equation: 276
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1989
sara: try reading problem file stateEquationProblem-ConstantPlace-89.sara.
lola: reporting
lola: not produced: 261
lola: state equation: 278
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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 p1992
sara: try reading problem file stateEquationProblem-ConstantPlace-92.sara.
lola: reporting
lola: not produced: 258
lola: state equation: 280
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2498
sara: try reading problem file stateEquationProblem-ConstantPlace-1729.sara.
lola: reporting
lola: not produced: 255
lola: state equation: 282
lola: find path: 767
lola: goal oriented search: 2095
lola: symmetry: 155
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1991
sara: try reading problem file stateEquationProblem-ConstantPlace-91.sara.
lola: reporting
lola: not produced: 252
lola: state equation: 284
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 155
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3465
sara: try reading problem file stateEquationProblem-ConstantPlace-809.sara.
lola: reporting
lola: not produced: 249
lola: state equation: 286
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 156
sara: place or transition ordering is non-deterministic

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 p3423
sara: try reading problem file stateEquationProblem-ConstantPlace-713.sara.
lola: reporting
lola: not produced: 247
lola: state equation: 288
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 156
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 p2954
sara: try reading problem file stateEquationProblem-ConstantPlace-3231.sara.
lola: reporting
lola: not produced: 245
lola: state equation: 290
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 156
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2697
sara: try reading problem file stateEquationProblem-ConstantPlace-2327.sara.
lola: reporting
lola: not produced: 243
lola: state equation: 292
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 156
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3172
sara: try reading problem file stateEquationProblem-ConstantPlace-282.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: 241
lola: state equation: 294
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 156
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3421
sara: try reading problem file stateEquationProblem-ConstantPlace-711.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: 239
lola: state equation: 296
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 156
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2315
sara: try reading problem file stateEquationProblem-ConstantPlace-1279.sara.
lola: reporting
lola: not produced: 237
lola: state equation: 298
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 156
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2693
sara: try reading problem file stateEquationProblem-ConstantPlace-2319.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: 233
lola: state equation: 300
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 158
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 p2830
sara: try reading problem file stateEquationProblem-ConstantPlace-2794.sara.
lola: reporting
lola: not produced: 231
lola: state equation: 302
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 158
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 p3352
sara: try reading problem file stateEquationProblem-ConstantPlace-483.sara.
lola: reporting
lola: not produced: 229
lola: state equation: 304
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 158
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2152
sara: try reading problem file stateEquationProblem-ConstantPlace-846.sara.
lola: reporting
lola: not produced: 227
lola: state equation: 306
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 158
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3177
sara: try reading problem file stateEquationProblem-ConstantPlace-287.sara.
lola: reporting
lola: not produced: 225
lola: state equation: 308
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 158
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2361
sara: try reading problem file stateEquationProblem-ConstantPlace-1355.sara.
lola: reporting
lola: not produced: 223
lola: state equation: 310
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 158
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1433
sara: try reading problem file stateEquationProblem-ConstantPlace-2562.sara.
lola: reporting
lola: not produced: 221
lola: state equation: 312
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 158
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3506
sara: try reading problem file stateEquationProblem-ConstantPlace-976.sara.
lola: reporting
lola: not produced: 219
lola: state equation: 314
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 158
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3091
sara: try reading problem file stateEquationProblem-ConstantPlace-201.sara.
lola: reporting
lola: not produced: 217
lola: state equation: 316
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 158
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2320
sara: try reading problem file stateEquationProblem-ConstantPlace-1284.sara.
lola: reporting
lola: not produced: 215
lola: state equation: 318
lola: find path: 768
lola: goal oriented search: 2095
lola: symmetry: 158
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2147
sara: try reading problem file stateEquationProblem-ConstantPlace-836.sara.
lola: reporting
lola: not produced: 212
lola: state equation: 320
lola: find path: 769
lola: goal oriented search: 2095
lola: symmetry: 158
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: STATE EQUATION TRIES PLACE p2326
sara: try reading problem file stateEquationProblem-ConstantPlace-1290.sara.
lola: reporting
lola: not produced: 210
lola: state equation: 322
lola: find path: 769
lola: goal oriented search: 2095
lola: symmetry: 158
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: STATE EQUATION TRIES PLACE p1613
sara: try reading problem file stateEquationProblem-ConstantPlace-3202.sara.
lola: reporting
lola: not produced: 206
lola: state equation: 324
lola: find path: 771
lola: goal oriented search: 2095
lola: symmetry: 158
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: STATE EQUATION TRIES PLACE p2308
sara: try reading problem file stateEquationProblem-ConstantPlace-1262.sara.
lola: reporting
lola: not produced: 204
lola: state equation: 326
lola: find path: 771
lola: goal oriented search: 2095
lola: symmetry: 158
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1184
sara: try reading problem file stateEquationProblem-ConstantPlace-1748.sara.
lola: reporting
lola: not produced: 202
lola: state equation: 328
lola: find path: 771
lola: goal oriented search: 2095
lola: symmetry: 158
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: STATE EQUATION TRIES PLACE p2687
sara: try reading problem file stateEquationProblem-ConstantPlace-2307.sara.
lola: reporting
lola: not produced: 200
lola: state equation: 330
lola: find path: 771
lola: goal oriented search: 2095
lola: symmetry: 158
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3499
sara: try reading problem file stateEquationProblem-ConstantPlace-877.sara.
lola: reporting
lola: not produced: 197
lola: state equation: 332
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 158
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3316
sara: try reading problem file stateEquationProblem-ConstantPlace-426.sara.
lola: reporting
lola: not produced: 195
lola: state equation: 334
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 158
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: 193
lola: state equation: 335
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1657
sara: try reading problem file stateEquationProblem-ConstantPlace-3300.sara.
lola: reporting
lola: not produced: 192
lola: state equation: 336
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3507
sara: try reading problem file stateEquationProblem-ConstantPlace-977.sara.
lola: reporting
lola: not produced: 191
lola: state equation: 337
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
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: 190
lola: state equation: 338
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3383
sara: try reading problem file stateEquationProblem-ConstantPlace-545.sara.
lola: reporting
lola: not produced: 189
lola: state equation: 339
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1455
sara: try reading problem file stateEquationProblem-ConstantPlace-2606.sara.
lola: reporting
lola: not produced: 188
lola: state equation: 340
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2876
sara: try reading problem file stateEquationProblem-ConstantPlace-2885.sara.
lola: reporting
lola: not produced: 187
lola: state equation: 341
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2069
sara: try reading problem file stateEquationProblem-ConstantPlace-579.sara.
lola: reporting
lola: not produced: 186
lola: state equation: 342
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3513
sara: try reading problem file stateEquationProblem-ConstantPlace-993.sara.
lola: reporting
lola: not produced: 185
lola: state equation: 343
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2837
sara: try reading problem file stateEquationProblem-ConstantPlace-2807.sara.
lola: reporting
lola: not produced: 184
lola: state equation: 344
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3157
sara: try reading problem file stateEquationProblem-ConstantPlace-267.sara.
lola: reporting
lola: not produced: 183
lola: state equation: 345
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2075
sara: try reading problem file stateEquationProblem-ConstantPlace-585.sara.
lola: reporting
lola: not produced: 181
lola: state equation: 347
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 180
lola: state equation: 348
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
lola: STATE EQUATION TRIES PLACE p2303
sara: try reading problem file stateEquationProblem-ConstantPlace-1257.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 178
lola: state equation: 350
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
lola: STATE EQUATION TRIES PLACE p3170
sara: try reading problem file stateEquationProblem-ConstantPlace-280.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 176
lola: state equation: 352
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
lola: STATE EQUATION TRIES PLACE p3511
sara: try reading problem file stateEquationProblem-ConstantPlace-991.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 174
lola: state equation: 354
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
lola: STATE EQUATION TRIES PLACE p2376
sara: try reading problem file stateEquationProblem-ConstantPlace-1385.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 172
lola: state equation: 356
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
lola: STATE EQUATION TRIES PLACE p1635
sara: try reading problem file stateEquationProblem-ConstantPlace-3256.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 170
lola: state equation: 358
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
lola: STATE EQUATION TRIES PLACE p2793
sara: try reading problem file stateEquationProblem-ConstantPlace-2619.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 168
lola: state equation: 360
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
lola: STATE EQUATION TRIES PLACE p3192
sara: try reading problem file stateEquationProblem-ConstantPlace-302.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 166
lola: state equation: 362
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
lola: STATE EQUATION TRIES PLACE p1363
sara: try reading problem file stateEquationProblem-ConstantPlace-2322.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 164
lola: state equation: 364
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
lola: STATE EQUATION TRIES PLACE p1169
sara: try reading problem file stateEquationProblem-ConstantPlace-1733.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3379
sara: try reading problem file stateEquationProblem-ConstantPlace-537.sara.
lola: reporting
lola: not produced: 162
lola: state equation: 366
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 161
lola: state equation: 367
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
lola: STATE EQUATION TRIES PLACE p1166
sara: try reading problem file stateEquationProblem-ConstantPlace-1728.sara.
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: reporting
lola: not produced: 159
lola: state equation: 369
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
lola: STATE EQUATION TRIES PLACE p1183
sara: try reading problem file stateEquationProblem-ConstantPlace-1747.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: STATE EQUATION TRIES PLACE p3186
lola: reporting
lola: not produced: 156
lola: state equation: 372
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: try reading problem file stateEquationProblem-ConstantPlace-296.sara.
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: STATE EQUATION TRIES PLACE p2810
sara: try reading problem file stateEquationProblem-ConstantPlace-2774.sara.
lola: reporting
lola: not produced: 154
lola: state equation: 374
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2025
sara: try reading problem file stateEquationProblem-ConstantPlace-492.sara.
lola: reporting
lola: not produced: 152
lola: state equation: 376
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2181
sara: try reading problem file stateEquationProblem-ConstantPlace-891.sara.
lola: reporting
lola: not produced: 150
lola: state equation: 378
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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 p3090
sara: try reading problem file stateEquationProblem-ConstantPlace-200.sara.
lola: reporting
lola: not produced: 148
lola: state equation: 380
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1344
sara: try reading problem file stateEquationProblem-ConstantPlace-2284.sara.
lola: reporting
lola: not produced: 146
lola: state equation: 382
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2027
sara: try reading problem file stateEquationProblem-ConstantPlace-496.sara.
lola: reporting
lola: not produced: 144
lola: state equation: 384
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2146
sara: try reading problem file stateEquationProblem-ConstantPlace-834.sara.
lola: reporting
lola: not produced: 142
lola: state equation: 386
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
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: STATE EQUATION TRIES PLACE p3176
sara: try reading problem file stateEquationProblem-ConstantPlace-286.sara.
lola: reporting
lola: not produced: 140
lola: state equation: 388
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2148
sara: try reading problem file stateEquationProblem-ConstantPlace-838.sara.
lola: reporting
lola: not produced: 138
lola: state equation: 390
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2964
sara: try reading problem file stateEquationProblem-ConstantPlace-3251.sara.
lola: reporting
lola: not produced: 136
lola: state equation: 392
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3224
sara: try reading problem file stateEquationProblem-ConstantPlace-334.sara.
lola: reporting
lola: not produced: 134
lola: state equation: 394
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2153
sara: try reading problem file stateEquationProblem-ConstantPlace-848.sara.
lola: reporting
lola: not produced: 132
lola: state equation: 396
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3181
sara: try reading problem file stateEquationProblem-ConstantPlace-291.sara.
lola: reporting
lola: not produced: 131
lola: state equation: 397
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3190
sara: try reading problem file stateEquationProblem-ConstantPlace-300.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 130
lola: state equation: 398
lola: find path: 772
lola: goal oriented search: 2095
lola: symmetry: 159

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

lola: STATE EQUATION TRIES PLACE p2780
sara: try reading problem file stateEquationProblem-ConstantPlace-2594.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 126
lola: state equation: 400
lola: find path: 774
lola: goal oriented search: 2095
lola: symmetry: 159

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

lola: STATE EQUATION TRIES PLACE p3322
sara: try reading problem file stateEquationProblem-ConstantPlace-432.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 124
lola: state equation: 402
lola: find path: 774
lola: goal oriented search: 2095
lola: symmetry: 159

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

lola: STATE EQUATION TRIES PLACE p1835
sara: try reading problem file stateEquationProblem-ConstantPlace-3489.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 121
lola: state equation: 404
lola: find path: 774
lola: goal oriented search: 2095
lola: symmetry: 160

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

lola: STATE EQUATION TRIES PLACE p2087
sara: try reading problem file stateEquationProblem-ConstantPlace-597.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 118
lola: state equation: 406
lola: find path: 774
lola: goal oriented search: 2095
lola: symmetry: 161

lola: STATE EQUATION TRIES PLACE p950
sara: try reading problem file stateEquationProblem-ConstantPlace-3014.sara.
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: reporting
lola: not produced: 116
lola: state equation: 408
lola: find path: 774
lola: goal oriented search: 2095
lola: symmetry: 161

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

lola: reporting
lola: not produced: 115
lola: state equation: 409
lola: find path: 774
lola: goal oriented search: 2095
lola: symmetry: 161
lola: STATE EQUATION TRIES PLACE p2121
sara: try reading problem file stateEquationProblem-ConstantPlace-784.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2698
sara: try reading problem file stateEquationProblem-ConstantPlace-2329.sara.
lola: reporting
lola: not produced: 113
lola: state equation: 411
lola: find path: 774
lola: goal oriented search: 2095
lola: symmetry: 161
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1712
sara: try reading problem file stateEquationProblem-ConstantPlace-3366.sara.
lola: reporting
lola: not produced: 112
lola: state equation: 412
lola: find path: 774
lola: goal oriented search: 2095
lola: symmetry: 161
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 110
lola: state equation: 412
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 161
lola: STATE EQUATION TRIES PLACE p2055
sara: try reading problem file stateEquationProblem-ConstantPlace-552.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 108
lola: state equation: 414
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 161
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 p2776
sara: try reading problem file stateEquationProblem-ConstantPlace-2585.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 106
lola: state equation: 416
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 161
lola: STATE EQUATION TRIES PLACE p3505
sara: try reading problem file stateEquationProblem-ConstantPlace-975.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: 104
lola: state equation: 418
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 161
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3304
sara: try reading problem file stateEquationProblem-ConstantPlace-414.sara.
lola: reporting
lola: not produced: 103
lola: state equation: 419
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 161
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2300
sara: try reading problem file stateEquationProblem-ConstantPlace-1254.sara.
lola: reporting
lola: not produced: 100
lola: state equation: 421
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 162
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3179
sara: try reading problem file stateEquationProblem-ConstantPlace-289.sara.
lola: reporting
lola: not produced: 97
lola: state equation: 423
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2322
sara: try reading problem file stateEquationProblem-ConstantPlace-1286.sara.
lola: reporting
lola: not produced: 95
lola: state equation: 425
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2786
sara: try reading problem file stateEquationProblem-ConstantPlace-2605.sara.
lola: reporting
lola: not produced: 93
lola: state equation: 427
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3333
sara: try reading problem file stateEquationProblem-ConstantPlace-445.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: 91
lola: state equation: 429
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3355
sara: try reading problem file stateEquationProblem-ConstantPlace-489.sara.
lola: reporting
lola: not produced: 90
lola: state equation: 430
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2111
sara: try reading problem file stateEquationProblem-ConstantPlace-764.sara.
lola: reporting
lola: not produced: 89
lola: state equation: 431
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2143
sara: try reading problem file stateEquationProblem-ConstantPlace-828.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 88
lola: state equation: 432
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 163

lola: STATE EQUATION TRIES PLACE p2116
sara: try reading problem file stateEquationProblem-ConstantPlace-774.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 87
lola: state equation: 433
lola: find path: 776
lola: goal oriented search: 2095
lola: symmetry: 163

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

lola: reporting
lola: not produced: 85
lola: state equation: 434
lola: find path: 777
lola: goal oriented search: 2095
lola: symmetry: 163
lola: STATE EQUATION TRIES PLACE p3504
sara: try reading problem file stateEquationProblem-ConstantPlace-974.sara.
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: reporting
lola: not produced: 83
lola: state equation: 436
lola: find path: 777
lola: goal oriented search: 2095
lola: symmetry: 163
lola: STATE EQUATION TRIES PLACE p1707
sara: try reading problem file stateEquationProblem-ConstantPlace-3361.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 82
lola: state equation: 437
lola: find path: 777
lola: goal oriented search: 2095
lola: symmetry: 163
lola: STATE EQUATION TRIES PLACE p2213
sara: try reading problem file stateEquationProblem-ConstantPlace-1068.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3353
sara: try reading problem file stateEquationProblem-ConstantPlace-485.sara.
lola: reporting
lola: not produced: 78
lola: state equation: 439
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1641
sara: try reading problem file stateEquationProblem-ConstantPlace-3268.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 77
lola: state equation: 440
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163

lola: STATE EQUATION TRIES PLACE p3349
sara: try reading problem file stateEquationProblem-ConstantPlace-477.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: 75
lola: state equation: 442
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1428
sara: try reading problem file stateEquationProblem-ConstantPlace-2552.sara.
lola: reporting
lola: not produced: 74
lola: state equation: 443
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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 p1702
sara: try reading problem file stateEquationProblem-ConstantPlace-3356.sara.
lola: reporting
lola: not produced: 72
lola: state equation: 445
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2030
sara: try reading problem file stateEquationProblem-ConstantPlace-502.sara.
lola: reporting
lola: not produced: 70
lola: state equation: 447
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3163
sara: try reading problem file stateEquationProblem-ConstantPlace-273.sara.
lola: reporting
lola: not produced: 69
lola: state equation: 448
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
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: STATE EQUATION TRIES PLACE p1649
sara: try reading problem file stateEquationProblem-ConstantPlace-3283.sara.
lola: reporting
lola: not produced: 67
lola: state equation: 450
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2690
sara: try reading problem file stateEquationProblem-ConstantPlace-2314.sara.
lola: reporting
lola: not produced: 66
lola: state equation: 451
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2794
sara: try reading problem file stateEquationProblem-ConstantPlace-2621.sara.
lola: reporting
lola: not produced: 65
lola: state equation: 452
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1697
sara: try reading problem file stateEquationProblem-ConstantPlace-3351.sara.
lola: reporting
lola: not produced: 64
lola: state equation: 453
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3165
sara: try reading problem file stateEquationProblem-ConstantPlace-275.sara.
lola: reporting
lola: not produced: 63
lola: state equation: 454
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1730
sara: try reading problem file stateEquationProblem-ConstantPlace-3384.sara.
lola: reporting
lola: not produced: 62
lola: state equation: 455
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1200
sara: try reading problem file stateEquationProblem-ConstantPlace-1896.sara.
lola: reporting
lola: not produced: 61
lola: state equation: 456
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2298
sara: try reading problem file stateEquationProblem-ConstantPlace-1162.sara.
lola: reporting
lola: not produced: 59
lola: state equation: 458
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3305
sara: try reading problem file stateEquationProblem-ConstantPlace-415.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 58
lola: state equation: 459
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 163

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 p3468
sara: try reading problem file stateEquationProblem-ConstantPlace-815.sara.
lola: reporting
lola: not produced: 55
lola: state equation: 461
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
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: 54
lola: state equation: 462
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2968
sara: try reading problem file stateEquationProblem-ConstantPlace-3259.sara.
lola: reporting
lola: not produced: 53
lola: state equation: 463
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3358
sara: try reading problem file stateEquationProblem-ConstantPlace-495.sara.
lola: reporting
lola: not produced: 52
lola: state equation: 464
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1365
sara: try reading problem file stateEquationProblem-ConstantPlace-2326.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 51
lola: state equation: 465
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164

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 p2295
sara: try reading problem file stateEquationProblem-ConstantPlace-1159.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 49
lola: state equation: 467
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164

lola: STATE EQUATION TRIES PLACE p1638
sara: try reading problem file stateEquationProblem-ConstantPlace-3262.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: 47
lola: state equation: 469
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164

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

lola: STATE EQUATION TRIES PLACE p2034
sara: try reading problem file stateEquationProblem-ConstantPlace-510.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 45
lola: state equation: 471
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164

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 p2114
sara: try reading problem file stateEquationProblem-ConstantPlace-770.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 43
lola: state equation: 473
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164

lola: STATE EQUATION TRIES PLACE p2301
sara: try reading problem file stateEquationProblem-ConstantPlace-1255.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 42
lola: state equation: 474
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164

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

lola: STATE EQUATION TRIES PLACE p1034
sara: try reading problem file stateEquationProblem-ConstantPlace-1364.sara.
lola: reporting
lola: not produced: 40
lola: state equation: 476
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3422
sara: try reading problem file stateEquationProblem-ConstantPlace-712.sara.
lola: reporting
lola: not produced: 38
lola: state equation: 478
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3184
sara: try reading problem file stateEquationProblem-ConstantPlace-294.sara.
lola: reporting
lola: not produced: 37
lola: state equation: 479
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2095
sara: try reading problem file stateEquationProblem-ConstantPlace-605.sara.
lola: reporting
lola: not produced: 35
lola: state equation: 481
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3396
sara: try reading problem file stateEquationProblem-ConstantPlace-571.sara.
lola: reporting
lola: not produced: 34
lola: state equation: 482
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3510
sara: try reading problem file stateEquationProblem-ConstantPlace-990.sara.
lola: reporting
lola: not produced: 33
lola: state equation: 483
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1829
sara: try reading problem file stateEquationProblem-ConstantPlace-3483.sara.
lola: reporting
lola: not produced: 32
lola: state equation: 484
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1631
sara: try reading problem file stateEquationProblem-ConstantPlace-3248.sara.
lola: reporting
lola: not produced: 31
lola: state equation: 485
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2965
sara: try reading problem file stateEquationProblem-ConstantPlace-3253.sara.
lola: reporting
lola: not produced: 29
lola: state equation: 487
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3354
sara: try reading problem file stateEquationProblem-ConstantPlace-487.sara.
lola: reporting
lola: not produced: 28
lola: state equation: 488
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2166
sara: try reading problem file stateEquationProblem-ConstantPlace-874.sara.
lola: reporting
lola: not produced: 27
lola: state equation: 489
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2694
sara: try reading problem file stateEquationProblem-ConstantPlace-2321.sara.
lola: reporting
lola: not produced: 25
lola: state equation: 491
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
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 p2170
sara: try reading problem file stateEquationProblem-ConstantPlace-880.sara.
lola: reporting
lola: not produced: 23
lola: state equation: 493
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3175
sara: try reading problem file stateEquationProblem-ConstantPlace-285.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: 21
lola: state equation: 495
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2754
sara: try reading problem file stateEquationProblem-ConstantPlace-2541.sara.
lola: reporting
lola: not produced: 19
lola: state equation: 497
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
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 p2956
sara: try reading problem file stateEquationProblem-ConstantPlace-3235.sara.
lola: reporting
lola: not produced: 17
lola: state equation: 499
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3161
sara: try reading problem file stateEquationProblem-ConstantPlace-271.sara.
lola: reporting
lola: not produced: 15
lola: state equation: 501
lola: find path: 779
lola: goal oriented search: 2095
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 p2816
sara: try reading problem file stateEquationProblem-ConstantPlace-2780.sara.
lola: reporting
lola: not produced: 13
lola: state equation: 503
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
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 p1171
sara: try reading problem file stateEquationProblem-ConstantPlace-1735.sara.
lola: reporting
lola: not produced: 11
lola: state equation: 505
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1761
sara: try reading problem file stateEquationProblem-ConstantPlace-3415.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 9
lola: state equation: 507
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164

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

lola: STATE EQUATION TRIES PLACE p1511
sara: try reading problem file stateEquationProblem-ConstantPlace-2818.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7
lola: state equation: 509
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164

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

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

lola: reporting
lola: not produced: 5
lola: state equation: 511
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
lola: STATE EQUATION TRIES PLACE p1476
sara: try reading problem file stateEquationProblem-ConstantPlace-2640.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1650
lola: reporting
lola: not produced: 2
lola: state equation: 514
lola: find path: 779
lola: goal oriented search: 2095
lola: symmetry: 164
sara: try reading problem file stateEquationProblem-ConstantPlace-3286.sara.
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: 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-4028"
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 r049-oct2-162038304400403"
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 ;