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-162038304300333.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-308, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-162038304300333
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 135K 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.8K Mar 28 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 28 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 23 03:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 23 03:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 22 12:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 22 12:51 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 660K 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 1620655013462

starting LoLA
BK_INPUT CloudReconfiguration-PT-308
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 1620655884692

--------------------
content from stderr:

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES PLACE p2215
sara: try reading problem file stateEquationProblem-ConstantPlace-525.sara.
lola: LAUNCH SYMM
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1748
sara: try reading problem file stateEquationProblem-ConstantPlace-2433.sara.
lola: reporting
lola: not produced: 1389
lola: state equation: 3
lola: find path: 404
lola: goal oriented search: 734
lola: symmetry: 55
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p236
sara: try reading problem file stateEquationProblem-ConstantPlace-446.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1298
lola: state equation: 4
lola: find path: 491
lola: goal oriented search: 734
lola: symmetry: 58

lola: STATE EQUATION TRIES PLACE p2512
sara: try reading problem file stateEquationProblem-ConstantPlace-1322.sara.
lola: reporting
lola: not produced: 1150
lola: state equation: 5
lola: find path: 629
lola: goal oriented search: 734
lola: symmetry: 67
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2353
sara: try reading problem file stateEquationProblem-ConstantPlace-785.sara.
lola: reporting
lola: not produced: 1112
lola: state equation: 9
lola: find path: 662
lola: goal oriented search: 734
lola: symmetry: 68
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p157
sara: try reading problem file stateEquationProblem-ConstantPlace-267.sara.
lola: reporting
lola: not produced: 1059
lola: state equation: 12
lola: find path: 707
lola: goal oriented search: 734
lola: symmetry: 73
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2376
sara: try reading problem file stateEquationProblem-ConstantPlace-831.sara.
lola: reporting
lola: not produced: 993
lola: state equation: 15
lola: find path: 765
lola: goal oriented search: 734
lola: symmetry: 78
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1200
sara: try reading problem file stateEquationProblem-ConstantPlace-1342.sara.
lola: reporting
lola: not produced: 959
lola: state equation: 18
lola: find path: 795
lola: goal oriented search: 734
lola: symmetry: 79
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p341
sara: try reading problem file stateEquationProblem-ConstantPlace-651.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 933
lola: state equation: 20
lola: find path: 819
lola: goal oriented search: 734
lola: symmetry: 79

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

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

lola: reporting
lola: not produced: 899
lola: state equation: 22
lola: find path: 847
lola: goal oriented search: 734
lola: symmetry: 83
lola: STATE EQUATION TRIES PLACE p1551
sara: try reading problem file stateEquationProblem-ConstantPlace-2046.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p306
sara: try reading problem file stateEquationProblem-ConstantPlace-616.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 882
lola: state equation: 25
lola: find path: 860
lola: goal oriented search: 734
lola: symmetry: 84

lola: STATE EQUATION TRIES PLACE p1431
sara: try reading problem file stateEquationProblem-ConstantPlace-1826.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 862
lola: state equation: 26
lola: find path: 875
lola: goal oriented search: 734
lola: symmetry: 88

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

lola: STATE EQUATION TRIES PLACE p2441
sara: try reading problem file stateEquationProblem-ConstantPlace-1061.sara.
lola: reporting
lola: not produced: 836
lola: state equation: 28
lola: find path: 893
lola: goal oriented search: 734
lola: symmetry: 94
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1532
sara: try reading problem file stateEquationProblem-ConstantPlace-2027.sara.
lola: reporting
lola: not produced: 823
lola: state equation: 30
lola: find path: 903
lola: goal oriented search: 734
lola: symmetry: 95
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p274
sara: try reading problem file stateEquationProblem-ConstantPlace-484.sara.
lola: reporting
lola: not produced: 817
lola: state equation: 33
lola: find path: 906
lola: goal oriented search: 734
lola: symmetry: 95
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2492
sara: try reading problem file stateEquationProblem-ConstantPlace-1163.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 805
lola: state equation: 35
lola: find path: 916
lola: goal oriented search: 734
lola: symmetry: 95

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

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

lola: STATE EQUATION TRIES PLACE p1982
sara: try reading problem file stateEquationProblem-ConstantPlace-82.sara.
lola: reporting
lola: not produced: 783
lola: state equation: 38
lola: find path: 933
lola: goal oriented search: 734
lola: symmetry: 97
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1001
sara: try reading problem file stateEquationProblem-ConstantPlace-744.sara.
lola: reporting
lola: not produced: 776
lola: state equation: 40
lola: find path: 938
lola: goal oriented search: 734
lola: symmetry: 97
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1325
sara: try reading problem file stateEquationProblem-ConstantPlace-1620.sara.
lola: reporting
lola: not produced: 757
lola: state equation: 42
lola: find path: 952
lola: goal oriented search: 734
lola: symmetry: 100
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p331
sara: try reading problem file stateEquationProblem-ConstantPlace-641.sara.
lola: reporting
lola: not produced: 754
lola: state equation: 45
lola: find path: 952
lola: goal oriented search: 734
lola: symmetry: 100
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1426
sara: try reading problem file stateEquationProblem-ConstantPlace-1821.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 750
lola: state equation: 46
lola: find path: 954
lola: goal oriented search: 734
lola: symmetry: 101

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

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

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

lola: STATE EQUATION TRIES PLACE p1312
sara: try reading problem file stateEquationProblem-ConstantPlace-1607.sara.
lola: reporting
lola: not produced: 743
lola: state equation: 50
lola: find path: 956
lola: goal oriented search: 734
lola: symmetry: 102
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p340
sara: try reading problem file stateEquationProblem-ConstantPlace-650.sara.
lola: reporting
lola: not produced: 729
lola: state equation: 54
lola: find path: 966
lola: goal oriented search: 734
lola: symmetry: 102
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2534
sara: try reading problem file stateEquationProblem-ConstantPlace-1347.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 670
lola: state equation: 55
lola: find path: 1010
lola: goal oriented search: 734
lola: symmetry: 116

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

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

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

lola: STATE EQUATION TRIES PLACE p2193
sara: try reading problem file stateEquationProblem-ConstantPlace-403.sara.
lola: reporting
lola: not produced: 660
lola: state equation: 59
lola: find path: 1016
lola: goal oriented search: 734
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p327
sara: try reading problem file stateEquationProblem-ConstantPlace-637.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 657
lola: state equation: 62
lola: find path: 1016
lola: goal oriented search: 734
lola: symmetry: 116

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

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

lola: reporting
lola: not produced: 654
lola: state equation: 64
lola: find path: 1017
lola: goal oriented search: 734
lola: symmetry: 116
lola: STATE EQUATION TRIES PLACE p1027
sara: try reading problem file stateEquationProblem-ConstantPlace-796.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1872
sara: try reading problem file stateEquationProblem-ConstantPlace-2557.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 649
lola: state equation: 67
lola: find path: 1017
lola: goal oriented search: 734
lola: symmetry: 118

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

lola: STATE EQUATION TRIES PLACE p310
sara: try reading problem file stateEquationProblem-ConstantPlace-620.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 640
lola: state equation: 69
lola: find path: 1022
lola: goal oriented search: 734
lola: symmetry: 120
lola: reporting
lola: not produced: 637
lola: state equation: 69
lola: find path: 1025
lola: goal oriented search: 734
lola: symmetry: 120

lola: STATE EQUATION TRIES PLACE p1773
sara: try reading problem file stateEquationProblem-ConstantPlace-2458.sara.
lola: reporting
lola: not produced: 636
lola: state equation: 70
lola: find path: 1025
lola: goal oriented search: 734
lola: symmetry: 120
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2415
sara: try reading problem file stateEquationProblem-ConstantPlace-1025.sara.
lola: reporting
lola: not produced: 634
lola: state equation: 71
lola: find path: 1026
lola: goal oriented search: 734
lola: symmetry: 120
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p455
lola: reporting
lola: not produced: 631
lola: state equation: 73
lola: find path: 1027
lola: goal oriented search: 734
lola: symmetry: 120
sara: try reading problem file stateEquationProblem-ConstantPlace-965.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1531
sara: try reading problem file stateEquationProblem-ConstantPlace-2026.sara.
lola: reporting
lola: not produced: 629
lola: state equation: 74
lola: find path: 1028
lola: goal oriented search: 734
lola: symmetry: 120
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1177
sara: try reading problem file stateEquationProblem-ConstantPlace-1187.sara.
lola: reporting
lola: not produced: 627
lola: state equation: 76
lola: find path: 1028
lola: goal oriented search: 734
lola: symmetry: 120
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2189
sara: try reading problem file stateEquationProblem-ConstantPlace-399.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 626
lola: state equation: 77
lola: find path: 1028
lola: goal oriented search: 734
lola: symmetry: 120

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

lola: STATE EQUATION TRIES PLACE p2421
sara: try reading problem file stateEquationProblem-ConstantPlace-1031.sara.
lola: reporting
lola: not produced: 623
lola: state equation: 79
lola: find path: 1028
lola: goal oriented search: 734
lola: symmetry: 121
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1064
sara: try reading problem file stateEquationProblem-ConstantPlace-870.sara.
lola: reporting
lola: not produced: 615
lola: state equation: 81
lola: find path: 1032
lola: goal oriented search: 734
lola: symmetry: 123
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2373
sara: try reading problem file stateEquationProblem-ConstantPlace-825.sara.
lola: reporting
lola: not produced: 612
lola: state equation: 83
lola: find path: 1033
lola: goal oriented search: 734
lola: symmetry: 123
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p344
lola: reporting
lola: not produced: 610
lola: state equation: 85
lola: find path: 1033
lola: goal oriented search: 734
lola: symmetry: 123
sara: try reading problem file stateEquationProblem-ConstantPlace-654.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 609
lola: state equation: 85
lola: find path: 1034
lola: goal oriented search: 734
lola: symmetry: 123

lola: STATE EQUATION TRIES PLACE p1559
sara: try reading problem file stateEquationProblem-ConstantPlace-2054.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 602
lola: state equation: 86
lola: find path: 1040
lola: goal oriented search: 734
lola: symmetry: 123

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

lola: STATE EQUATION TRIES PLACE p272
sara: try reading problem file stateEquationProblem-ConstantPlace-482.sara.
lola: reporting
lola: not produced: 600
lola: state equation: 88
lola: find path: 1040
lola: goal oriented search: 734
lola: symmetry: 123
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1721
sara: try reading problem file stateEquationProblem-ConstantPlace-2406.sara.
lola: reporting
lola: not produced: 599
lola: state equation: 89
lola: find path: 1040
lola: goal oriented search: 734
lola: symmetry: 123
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1407
sara: try reading problem file stateEquationProblem-ConstantPlace-1802.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 598
lola: state equation: 90
lola: find path: 1040
lola: goal oriented search: 734
lola: symmetry: 123

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

lola: STATE EQUATION TRIES PLACE p2358
sara: try reading problem file stateEquationProblem-ConstantPlace-795.sara.
lola: reporting
lola: not produced: 592
lola: state equation: 92
lola: find path: 1044
lola: goal oriented search: 734
lola: symmetry: 123
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1816
sara: try reading problem file stateEquationProblem-ConstantPlace-2501.sara.
lola: reporting
lola: not produced: 585
lola: state equation: 94
lola: find path: 1048
lola: goal oriented search: 734
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p308
sara: try reading problem file stateEquationProblem-ConstantPlace-618.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 581
lola: state equation: 97
lola: find path: 1049
lola: goal oriented search: 734
lola: symmetry: 124

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

lola: STATE EQUATION TRIES PLACE p1828
sara: try reading problem file stateEquationProblem-ConstantPlace-2513.sara.
lola: reporting
lola: not produced: 579
lola: state equation: 99
lola: find path: 1049
lola: goal oriented search: 734
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 565
lola: state equation: 101
lola: find path: 1059
lola: goal oriented search: 734
lola: symmetry: 126
lola: STATE EQUATION TRIES PLACE p2401
sara: try reading problem file stateEquationProblem-ConstantPlace-1001.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2424
sara: try reading problem file stateEquationProblem-ConstantPlace-1034.sara.
lola: reporting
lola: not produced: 560
lola: state equation: 105
lola: find path: 1060
lola: goal oriented search: 734
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2462
sara: try reading problem file stateEquationProblem-ConstantPlace-1103.sara.
lola: reporting
lola: not produced: 557
lola: state equation: 107
lola: find path: 1060
lola: goal oriented search: 734
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1212
lola: reporting
lola: not produced: 552
lola: state equation: 111
lola: find path: 1061
lola: goal oriented search: 734
lola: symmetry: 127
sara: try reading problem file stateEquationProblem-ConstantPlace-1366.sara.
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 549
lola: state equation: 114
lola: find path: 1061
lola: goal oriented search: 734
lola: symmetry: 127
lola: STATE EQUATION TRIES PLACE p2538
sara: try reading problem file stateEquationProblem-ConstantPlace-1355.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2467
sara: try reading problem file stateEquationProblem-ConstantPlace-1113.sara.
lola: reporting
lola: not produced: 546
lola: state equation: 117
lola: find path: 1061
lola: goal oriented search: 734
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1727
sara: try reading problem file stateEquationProblem-ConstantPlace-2412.sara.
lola: reporting
lola: not produced: 541
lola: state equation: 121
lola: find path: 1062
lola: goal oriented search: 734
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2205
sara: try reading problem file stateEquationProblem-ConstantPlace-505.sara.
lola: reporting
lola: not produced: 525
lola: state equation: 124
lola: find path: 1075
lola: goal oriented search: 734
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2502
sara: try reading problem file stateEquationProblem-ConstantPlace-1302.sara.
lola: reporting
lola: not produced: 519
lola: state equation: 128
lola: find path: 1077
lola: goal oriented search: 734
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1738
sara: try reading problem file stateEquationProblem-ConstantPlace-2423.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 515
lola: state equation: 131
lola: find path: 1078
lola: goal oriented search: 734
lola: symmetry: 127

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

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

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

lola: STATE EQUATION TRIES PLACE p1087
lola: reporting
lola: not produced: 508
lola: state equation: 135
lola: find path: 1080
lola: goal oriented search: 734
lola: symmetry: 128
sara: try reading problem file stateEquationProblem-ConstantPlace-897.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1208
sara: try reading problem file stateEquationProblem-ConstantPlace-1358.sara.
lola: reporting
lola: not produced: 505
lola: state equation: 136
lola: find path: 1082
lola: goal oriented search: 734
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1187
sara: try reading problem file stateEquationProblem-ConstantPlace-1197.sara.
lola: reporting
lola: not produced: 503
lola: state equation: 138
lola: find path: 1082
lola: goal oriented search: 734
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1277
sara: try reading problem file stateEquationProblem-ConstantPlace-1472.sara.
lola: reporting
lola: not produced: 493
lola: state equation: 140
lola: find path: 1090
lola: goal oriented search: 734
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 491
lola: state equation: 141
lola: find path: 1091
lola: goal oriented search: 734
lola: symmetry: 128
lola: STATE EQUATION TRIES PLACE p1206
sara: try reading problem file stateEquationProblem-ConstantPlace-1354.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1404
sara: try reading problem file stateEquationProblem-ConstantPlace-1799.sara.
lola: reporting
lola: not produced: 489
lola: state equation: 143
lola: find path: 1091
lola: goal oriented search: 734
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2388
sara: try reading problem file stateEquationProblem-ConstantPlace-855.sara.
lola: reporting
lola: not produced: 487
lola: state equation: 145
lola: find path: 1091
lola: goal oriented search: 734
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1537
sara: try reading problem file stateEquationProblem-ConstantPlace-2032.sara.
lola: reporting
lola: not produced: 485
lola: state equation: 147
lola: find path: 1091
lola: goal oriented search: 734
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 484
lola: state equation: 148
lola: find path: 1091
lola: goal oriented search: 734
lola: symmetry: 128
lola: STATE EQUATION TRIES PLACE p1841
sara: try reading problem file stateEquationProblem-ConstantPlace-2526.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1555
sara: try reading problem file stateEquationProblem-ConstantPlace-2050.sara.
lola: reporting
lola: not produced: 473
lola: state equation: 150
lola: find path: 1098
lola: goal oriented search: 734
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2417
sara: try reading problem file stateEquationProblem-ConstantPlace-1027.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 471
lola: state equation: 151
lola: find path: 1099
lola: goal oriented search: 734
lola: symmetry: 130

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

lola: STATE EQUATION TRIES PLACE p1400
sara: try reading problem file stateEquationProblem-ConstantPlace-1795.sara.
lola: reporting
lola: not produced: 461
lola: state equation: 153
lola: find path: 1107
lola: goal oriented search: 734
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1563
sara: try reading problem file stateEquationProblem-ConstantPlace-2058.sara.
lola: reporting
lola: not produced: 452
lola: state equation: 155
lola: find path: 1114
lola: goal oriented search: 734
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1530
sara: try reading problem file stateEquationProblem-ConstantPlace-2025.sara.
lola: reporting
lola: not produced: 448
lola: state equation: 157
lola: find path: 1114
lola: goal oriented search: 734
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 447
lola: state equation: 158
lola: find path: 1114
lola: goal oriented search: 734
lola: symmetry: 132
lola: STATE EQUATION TRIES PLACE p2201
sara: try reading problem file stateEquationProblem-ConstantPlace-501.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1401
sara: try reading problem file stateEquationProblem-ConstantPlace-1796.sara.
lola: reporting
lola: not produced: 441
lola: state equation: 160
lola: find path: 1118
lola: goal oriented search: 734
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p661
sara: try reading problem file stateEquationProblem-ConstantPlace-1556.sara.
lola: reporting
lola: not produced: 438
lola: state equation: 162
lola: find path: 1119
lola: goal oriented search: 734
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2208
sara: try reading problem file stateEquationProblem-ConstantPlace-508.sara.
lola: reporting
lola: not produced: 436
lola: state equation: 164
lola: find path: 1119
lola: goal oriented search: 734
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2456
sara: try reading problem file stateEquationProblem-ConstantPlace-1091.sara.
lola: reporting
lola: not produced: 434
lola: state equation: 166
lola: find path: 1119
lola: goal oriented search: 734
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1205
sara: try reading problem file stateEquationProblem-ConstantPlace-1352.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 432
lola: state equation: 167
lola: find path: 1120
lola: goal oriented search: 734
lola: symmetry: 132

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

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

lola: STATE EQUATION TRIES PLACE p730
lola: reporting
lola: not produced: 416
lola: state equation: 170
lola: find path: 1133
lola: goal oriented search: 734
lola: symmetry: 132
sara: try reading problem file stateEquationProblem-ConstantPlace-1725.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p795
sara: try reading problem file stateEquationProblem-ConstantPlace-1790.sara.
lola: reporting
lola: not produced: 413
lola: state equation: 173
lola: find path: 1133
lola: goal oriented search: 734
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1414
sara: try reading problem file stateEquationProblem-ConstantPlace-1809.sara.
lola: reporting
lola: not produced: 409
lola: state equation: 177
lola: find path: 1133
lola: goal oriented search: 734
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2212
sara: try reading problem file stateEquationProblem-ConstantPlace-522.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 406
lola: state equation: 180
lola: find path: 1133
lola: goal oriented search: 734
lola: symmetry: 132

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

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

lola: STATE EQUATION TRIES PLACE p2413
sara: try reading problem file stateEquationProblem-ConstantPlace-1023.sara.
lola: reporting
lola: not produced: 402
lola: state equation: 183
lola: find path: 1133
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2068
sara: try reading problem file stateEquationProblem-ConstantPlace-178.sara.
lola: reporting
lola: not produced: 398
lola: state equation: 187
lola: find path: 1133
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1173
sara: try reading problem file stateEquationProblem-ConstantPlace-1183.sara.
lola: reporting
lola: not produced: 395
lola: state equation: 190
lola: find path: 1133
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2017
sara: try reading problem file stateEquationProblem-ConstantPlace-127.sara.
lola: reporting
lola: not produced: 386
lola: state equation: 194
lola: find path: 1138
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1393
sara: try reading problem file stateEquationProblem-ConstantPlace-1688.sara.
lola: reporting
lola: not produced: 382
lola: state equation: 198
lola: find path: 1138
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1061
sara: try reading problem file stateEquationProblem-ConstantPlace-864.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 379
lola: state equation: 201
lola: find path: 1138
lola: goal oriented search: 734
lola: symmetry: 133

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

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

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

lola: STATE EQUATION TRIES PLACE p1323
sara: try reading problem file stateEquationProblem-ConstantPlace-1618.sara.
lola: reporting
lola: not produced: 375
lola: state equation: 205
lola: find path: 1138
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1166
sara: try reading problem file stateEquationProblem-ConstantPlace-1174.sara.
lola: reporting
lola: not produced: 372
lola: state equation: 207
lola: find path: 1139
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1458
sara: try reading problem file stateEquationProblem-ConstantPlace-1853.sara.
lola: reporting
lola: not produced: 370
lola: state equation: 208
lola: find path: 1140
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2389
sara: try reading problem file stateEquationProblem-ConstantPlace-857.sara.
lola: reporting
lola: not produced: 369
lola: state equation: 209
lola: find path: 1140
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 368
lola: state equation: 210
lola: find path: 1140
lola: goal oriented search: 734
lola: symmetry: 133
lola: STATE EQUATION TRIES PLACE p2005
sara: try reading problem file stateEquationProblem-ConstantPlace-115.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2399
sara: try reading problem file stateEquationProblem-ConstantPlace-877.sara.
lola: reporting
lola: not produced: 366
lola: state equation: 212
lola: find path: 1140
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1838
sara: try reading problem file stateEquationProblem-ConstantPlace-2523.sara.
lola: reporting
lola: not produced: 364
lola: state equation: 214
lola: find path: 1140
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2511
sara: try reading problem file stateEquationProblem-ConstantPlace-1321.sara.
lola: reporting
lola: not produced: 363
lola: state equation: 215
lola: find path: 1140
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1018
sara: try reading problem file stateEquationProblem-ConstantPlace-778.sara.
lola: reporting
lola: not produced: 362
lola: state equation: 216
lola: find path: 1140
lola: goal oriented search: 734
lola: symmetry: 133
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1725
sara: try reading problem file stateEquationProblem-ConstantPlace-2410.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 359
lola: state equation: 219
lola: find path: 1140
lola: goal oriented search: 734
lola: symmetry: 133

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

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

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

lola: STATE EQUATION TRIES PLACE p679
sara: try reading problem file stateEquationProblem-ConstantPlace-1574.sara.
lola: reporting
lola: not produced: 354
lola: state equation: 223
lola: find path: 1140
lola: goal oriented search: 734
lola: symmetry: 134
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2470
sara: try reading problem file stateEquationProblem-ConstantPlace-1120.sara.
lola: reporting
lola: not produced: 350
lola: state equation: 227
lola: find path: 1140
lola: goal oriented search: 734
lola: symmetry: 134
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1181
sara: try reading problem file stateEquationProblem-ConstantPlace-1191.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 346
lola: state equation: 230
lola: find path: 1141
lola: goal oriented search: 734
lola: symmetry: 134

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

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

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

lola: STATE EQUATION TRIES PLACE p1070
sara: try reading problem file stateEquationProblem-ConstantPlace-880.sara.
lola: reporting
lola: not produced: 342
lola: state equation: 234
lola: find path: 1141
lola: goal oriented search: 734
lola: symmetry: 134
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2007
sara: try reading problem file stateEquationProblem-ConstantPlace-117.sara.
lola: reporting
lola: not produced: 338
lola: state equation: 238
lola: find path: 1141
lola: goal oriented search: 734
lola: symmetry: 134
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 337
lola: state equation: 239
lola: find path: 1141
lola: goal oriented search: 734
lola: symmetry: 134
lola: STATE EQUATION TRIES PLACE p1822
sara: try reading problem file stateEquationProblem-ConstantPlace-2507.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2073
sara: try reading problem file stateEquationProblem-ConstantPlace-183.sara.
lola: reporting
lola: not produced: 334
lola: state equation: 241
lola: find path: 1141
lola: goal oriented search: 734
lola: symmetry: 135
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1999
sara: try reading problem file stateEquationProblem-ConstantPlace-99.sara.
lola: reporting
lola: not produced: 332
lola: state equation: 242
lola: find path: 1142
lola: goal oriented search: 734
lola: symmetry: 135
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2385
sara: try reading problem file stateEquationProblem-ConstantPlace-849.sara.
lola: reporting
lola: not produced: 331
lola: state equation: 243
lola: find path: 1142
lola: goal oriented search: 734
lola: symmetry: 135
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1144
sara: try reading problem file stateEquationProblem-ConstantPlace-1130.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 330
lola: state equation: 244
lola: find path: 1142
lola: goal oriented search: 734
lola: symmetry: 135

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

lola: reporting
lola: not produced: 329
lola: state equation: 245
lola: find path: 1142
lola: goal oriented search: 734
lola: symmetry: 135
lola: STATE EQUATION TRIES PLACE p2195
sara: try reading problem file stateEquationProblem-ConstantPlace-405.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2444
sara: try reading problem file stateEquationProblem-ConstantPlace-1067.sara.
lola: reporting
lola: not produced: 325
lola: state equation: 249
lola: find path: 1142
lola: goal oriented search: 734
lola: symmetry: 135
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 322
lola: state equation: 252
lola: find path: 1142
lola: goal oriented search: 734
lola: symmetry: 135
lola: STATE EQUATION TRIES PLACE p2414
sara: try reading problem file stateEquationProblem-ConstantPlace-1024.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1420
sara: try reading problem file stateEquationProblem-ConstantPlace-1815.sara.
lola: reporting
lola: not produced: 318
lola: state equation: 256
lola: find path: 1142
lola: goal oriented search: 734
lola: symmetry: 135
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2124
sara: try reading problem file stateEquationProblem-ConstantPlace-334.sara.
lola: reporting
lola: not produced: 316
lola: state equation: 257
lola: find path: 1142
lola: goal oriented search: 734
lola: symmetry: 136
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2343
sara: try reading problem file stateEquationProblem-ConstantPlace-765.sara.
lola: reporting
lola: not produced: 315
lola: state equation: 258
lola: find path: 1142
lola: goal oriented search: 734
lola: symmetry: 136
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 313
lola: state equation: 259
lola: find path: 1142
lola: goal oriented search: 734
lola: symmetry: 137
lola: STATE EQUATION TRIES PLACE p2402
sara: try reading problem file stateEquationProblem-ConstantPlace-1002.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1543
sara: try reading problem file stateEquationProblem-ConstantPlace-2038.sara.
lola: reporting
lola: not produced: 311
lola: state equation: 261
lola: find path: 1142
lola: goal oriented search: 734
lola: symmetry: 137
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1422
sara: try reading problem file stateEquationProblem-ConstantPlace-1817.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 310
lola: state equation: 262
lola: find path: 1142
lola: goal oriented search: 734
lola: symmetry: 137

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

lola: STATE EQUATION TRIES PLACE p1351
sara: try reading problem file stateEquationProblem-ConstantPlace-1646.sara.
lola: reporting
lola: not produced: 307
lola: state equation: 264
lola: find path: 1143
lola: goal oriented search: 734
lola: symmetry: 137
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 304
lola: state equation: 265
lola: find path: 1143
lola: goal oriented search: 734
lola: symmetry: 139
lola: STATE EQUATION TRIES PLACE p2015
sara: try reading problem file stateEquationProblem-ConstantPlace-125.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1155
sara: try reading problem file stateEquationProblem-ConstantPlace-1152.sara.
lola: reporting
lola: not produced: 302
lola: state equation: 267
lola: find path: 1143
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1781
sara: try reading problem file stateEquationProblem-ConstantPlace-2466.sara.
lola: reporting
lola: not produced: 301
lola: state equation: 268
lola: find path: 1143
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2449
sara: try reading problem file stateEquationProblem-ConstantPlace-1077.sara.
lola: reporting
lola: not produced: 299
lola: state equation: 269
lola: find path: 1144
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 298
lola: state equation: 270
lola: find path: 1144
lola: goal oriented search: 734
lola: symmetry: 139
lola: STATE EQUATION TRIES PLACE p748
sara: try reading problem file stateEquationProblem-ConstantPlace-1743.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2504
sara: try reading problem file stateEquationProblem-ConstantPlace-1304.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 296
lola: state equation: 272
lola: find path: 1144
lola: goal oriented search: 734
lola: symmetry: 139

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

lola: STATE EQUATION TRIES PLACE p1417
sara: try reading problem file stateEquationProblem-ConstantPlace-1812.sara.
lola: reporting
lola: not produced: 293
lola: state equation: 274
lola: find path: 1145
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2476
sara: try reading problem file stateEquationProblem-ConstantPlace-1131.sara.
lola: reporting
lola: not produced: 291
lola: state equation: 276
lola: find path: 1145
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 290
lola: state equation: 277
lola: find path: 1145
lola: goal oriented search: 734
lola: symmetry: 139
lola: STATE EQUATION TRIES PLACE p1826
sara: try reading problem file stateEquationProblem-ConstantPlace-2511.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1819
sara: try reading problem file stateEquationProblem-ConstantPlace-2504.sara.
lola: reporting
lola: not produced: 288
lola: state equation: 279
lola: find path: 1145
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2368
sara: try reading problem file stateEquationProblem-ConstantPlace-815.sara.
lola: reporting
lola: not produced: 286
lola: state equation: 281
lola: find path: 1145
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2002
sara: try reading problem file stateEquationProblem-ConstantPlace-112.sara.
lola: reporting
lola: not produced: 284
lola: state equation: 283
lola: find path: 1145
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 282
lola: state equation: 284
lola: find path: 1146
lola: goal oriented search: 734
lola: symmetry: 139
lola: STATE EQUATION TRIES PLACE p1219
sara: try reading problem file stateEquationProblem-ConstantPlace-1379.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1179
sara: try reading problem file stateEquationProblem-ConstantPlace-1189.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 280
lola: state equation: 286
lola: find path: 1146
lola: goal oriented search: 734
lola: symmetry: 139

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

lola: STATE EQUATION TRIES PLACE p1814
sara: try reading problem file stateEquationProblem-ConstantPlace-2499.sara.
lola: reporting
lola: not produced: 278
lola: state equation: 288
lola: find path: 1146
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p676
sara: try reading problem file stateEquationProblem-ConstantPlace-1571.sara.
lola: reporting
lola: not produced: 276
lola: state equation: 290
lola: find path: 1146
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1328
sara: try reading problem file stateEquationProblem-ConstantPlace-1623.sara.
lola: reporting
lola: not produced: 271
lola: state equation: 292
lola: find path: 1149
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1848
sara: try reading problem file stateEquationProblem-ConstantPlace-2533.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 270
lola: state equation: 293
lola: find path: 1149
lola: goal oriented search: 734
lola: symmetry: 139

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

lola: STATE EQUATION TRIES PLACE p2475
sara: try reading problem file stateEquationProblem-ConstantPlace-1129.sara.
lola: reporting
lola: not produced: 268
lola: state equation: 295
lola: find path: 1149
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1815
sara: try reading problem file stateEquationProblem-ConstantPlace-2500.sara.
lola: reporting
lola: not produced: 266
lola: state equation: 297
lola: find path: 1149
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1153
sara: try reading problem file stateEquationProblem-ConstantPlace-1148.sara.
lola: reporting
lola: not produced: 264
lola: state equation: 299
lola: find path: 1149
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 263
lola: state equation: 300
lola: find path: 1149
lola: goal oriented search: 734
lola: symmetry: 139
lola: STATE EQUATION TRIES PLACE p2075
sara: try reading problem file stateEquationProblem-ConstantPlace-185.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p864
sara: try reading problem file stateEquationProblem-ConstantPlace-1959.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 260
lola: state equation: 302
lola: find path: 1150
lola: goal oriented search: 734
lola: symmetry: 139

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

lola: STATE EQUATION TRIES PLACE p1686
sara: try reading problem file stateEquationProblem-ConstantPlace-2371.sara.
lola: reporting
lola: not produced: 258
lola: state equation: 304
lola: find path: 1150
lola: goal oriented search: 734
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1092
sara: try reading problem file stateEquationProblem-ConstantPlace-902.sara.
lola: reporting
lola: not produced: 255
lola: state equation: 306
lola: find path: 1150
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1040
sara: try reading problem file stateEquationProblem-ConstantPlace-822.sara.
lola: reporting
lola: not produced: 253
lola: state equation: 308
lola: find path: 1150
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1793
sara: try reading problem file stateEquationProblem-ConstantPlace-2478.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 252
lola: state equation: 309
lola: find path: 1150
lola: goal oriented search: 734
lola: symmetry: 140

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

lola: STATE EQUATION TRIES PLACE p1327
sara: try reading problem file stateEquationProblem-ConstantPlace-1622.sara.
lola: reporting
lola: not produced: 249
lola: state equation: 311
lola: find path: 1151
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2410
sara: try reading problem file stateEquationProblem-ConstantPlace-1020.sara.
lola: reporting
lola: not produced: 247
lola: state equation: 313
lola: find path: 1151
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1792
sara: try reading problem file stateEquationProblem-ConstantPlace-2477.sara.
lola: reporting
lola: not produced: 241
lola: state equation: 315
lola: find path: 1155
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 240
lola: state equation: 316
lola: find path: 1155
lola: goal oriented search: 734
lola: symmetry: 140
lola: STATE EQUATION TRIES PLACE p1528
sara: try reading problem file stateEquationProblem-ConstantPlace-2023.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2403
sara: try reading problem file stateEquationProblem-ConstantPlace-1003.sara.
lola: reporting
lola: not produced: 238
lola: state equation: 318
lola: find path: 1155
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1131
sara: try reading problem file stateEquationProblem-ConstantPlace-1104.sara.
lola: reporting
lola: not produced: 235
lola: state equation: 320
lola: find path: 1156
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1787
sara: try reading problem file stateEquationProblem-ConstantPlace-2472.sara.
lola: reporting
lola: not produced: 233
lola: state equation: 322
lola: find path: 1156
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p672
sara: try reading problem file stateEquationProblem-ConstantPlace-1567.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 232
lola: state equation: 323
lola: find path: 1156
lola: goal oriented search: 734
lola: symmetry: 140

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

lola: STATE EQUATION TRIES PLACE p2450
sara: try reading problem file stateEquationProblem-ConstantPlace-1080.sara.
lola: reporting
lola: not produced: 230
lola: state equation: 325
lola: find path: 1156
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1207
sara: try reading problem file stateEquationProblem-ConstantPlace-1356.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 228
lola: state equation: 327
lola: find path: 1156
lola: goal oriented search: 734
lola: symmetry: 140

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

lola: STATE EQUATION TRIES PLACE p1202
sara: try reading problem file stateEquationProblem-ConstantPlace-1346.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 226
lola: state equation: 329
lola: find path: 1156
lola: goal oriented search: 734
lola: symmetry: 140

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

lola: STATE EQUATION TRIES PLACE p1120
sara: try reading problem file stateEquationProblem-ConstantPlace-1082.sara.
lola: reporting
lola: not produced: 224
lola: state equation: 331
lola: find path: 1156
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2390
sara: try reading problem file stateEquationProblem-ConstantPlace-860.sara.
lola: reporting
lola: not produced: 221
lola: state equation: 333
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1865
sara: try reading problem file stateEquationProblem-ConstantPlace-2550.sara.
lola: reporting
lola: not produced: 219
lola: state equation: 335
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p258
sara: try reading problem file stateEquationProblem-ConstantPlace-468.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 218
lola: state equation: 336
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140

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

lola: STATE EQUATION TRIES PLACE p1560
sara: try reading problem file stateEquationProblem-ConstantPlace-2055.sara.
lola: reporting
lola: not produced: 216
lola: state equation: 338
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2418
sara: try reading problem file stateEquationProblem-ConstantPlace-1028.sara.
lola: reporting
lola: not produced: 214
lola: state equation: 340
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1309
sara: try reading problem file stateEquationProblem-ConstantPlace-1604.sara.
lola: reporting
lola: not produced: 212
lola: state equation: 342
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1394
lola: reporting
lola: not produced: 208
lola: state equation: 346
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140
sara: try reading problem file stateEquationProblem-ConstantPlace-1689.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1129
sara: try reading problem file stateEquationProblem-ConstantPlace-1099.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 207
lola: state equation: 347
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140

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

lola: STATE EQUATION TRIES PLACE p2016
sara: try reading problem file stateEquationProblem-ConstantPlace-126.sara.
lola: reporting
lola: not produced: 205
lola: state equation: 349
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1786
sara: try reading problem file stateEquationProblem-ConstantPlace-2471.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 203
lola: state equation: 351
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140

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

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

lola: STATE EQUATION TRIES PLACE p2003
sara: try reading problem file stateEquationProblem-ConstantPlace-113.sara.
lola: reporting
lola: not produced: 200
lola: state equation: 354
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2393
sara: try reading problem file stateEquationProblem-ConstantPlace-865.sara.
lola: reporting
lola: not produced: 198
lola: state equation: 356
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1704
sara: try reading problem file stateEquationProblem-ConstantPlace-2389.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 197
lola: state equation: 357
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140

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

lola: STATE EQUATION TRIES PLACE p2000
sara: try reading problem file stateEquationProblem-ConstantPlace-110.sara.
lola: reporting
lola: not produced: 195
lola: state equation: 359
lola: find path: 1157
lola: goal oriented search: 734
lola: symmetry: 140
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-308"
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-308, 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-162038304300333"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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