Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 9.0K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:46 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:46 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K Mar 5 18:22 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME StableMarking

=== Now, execution of the tool begins

BK_START 1678364666058

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=CloudReconfiguration-PT-302
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT CloudReconfiguration-PT-302
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking

FORMULA StableMarking FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1678365517308

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

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

lola: STATE EQUATION TRIES PLACE p2325
sara: try reading problem file stateEquationProblem-ConstantPlace-735.sara.
lola: reporting
lola: not produced: 993
lola: state equation: 3
lola: find path: 376
lola: goal oriented search: 1149
lola: symmetry: 64
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1329
sara: try reading problem file stateEquationProblem-ConstantPlace-1624.sara.
lola: reporting
lola: not produced: 873
lola: state equation: 6
lola: find path: 483
lola: goal oriented search: 1149
lola: symmetry: 74
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2228
lola: reporting
lola: not produced: 827
lola: state equation: 10
lola: find path: 523
lola: goal oriented search: 1149
lola: symmetry: 76
sara: try reading problem file stateEquationProblem-ConstantPlace-538.sara.
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: STATE EQUATION TRIES PLACE p1471
sara: try reading problem file stateEquationProblem-ConstantPlace-1866.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2012
sara: try reading problem file stateEquationProblem-ConstantPlace-122.sara.
lola: reporting
lola: not produced: 776
lola: state equation: 13
lola: find path: 570
lola: goal oriented search: 1149
lola: symmetry: 77
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1446
sara: try reading problem file stateEquationProblem-ConstantPlace-1841.sara.
lola: reporting
lola: not produced: 752
lola: state equation: 17
lola: find path: 587
lola: goal oriented search: 1149
lola: symmetry: 80
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p667
sara: try reading problem file stateEquationProblem-ConstantPlace-1562.sara.
lola: reporting
lola: not produced: 740
lola: state equation: 20
lola: find path: 596
lola: goal oriented search: 1149
lola: symmetry: 80
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1534
sara: try reading problem file stateEquationProblem-ConstantPlace-2029.sara.
lola: reporting
lola: not produced: 706
lola: state equation: 24
lola: find path: 621
lola: goal oriented search: 1149
lola: symmetry: 85
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2383
lola: reporting
lola: not produced: 693
lola: state equation: 28
lola: find path: 630
lola: goal oriented search: 1149
lola: symmetry: 85
sara: try reading problem file stateEquationProblem-ConstantPlace-845.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2536
sara: try reading problem file stateEquationProblem-ConstantPlace-1351.sara.
lola: reporting
lola: not produced: 682
lola: state equation: 31
lola: find path: 637
lola: goal oriented search: 1149
lola: symmetry: 86
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2190
sara: try reading problem file stateEquationProblem-ConstantPlace-400.sara.
lola: reporting
lola: not produced: 664
lola: state equation: 35
lola: find path: 648
lola: goal oriented search: 1149
lola: symmetry: 89
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 660
lola: state equation: 38
lola: find path: 649
lola: goal oriented search: 1149
lola: symmetry: 89
lola: STATE EQUATION TRIES PLACE p2345
sara: try reading problem file stateEquationProblem-ConstantPlace-769.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2410
sara: try reading problem file stateEquationProblem-ConstantPlace-1020.sara.
lola: reporting
lola: not produced: 652
lola: state equation: 42
lola: find path: 649
lola: goal oriented search: 1149
lola: symmetry: 93
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 p666
sara: try reading problem file stateEquationProblem-ConstantPlace-1561.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 p1689
sara: try reading problem file stateEquationProblem-ConstantPlace-2374.sara.
lola: reporting
lola: not produced: 631
lola: state equation: 46
lola: find path: 666
lola: goal oriented search: 1149
lola: symmetry: 93
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2334
sara: try reading problem file stateEquationProblem-ConstantPlace-747.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: 626
lola: state equation: 49
lola: find path: 666
lola: goal oriented search: 1149
lola: symmetry: 95
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2395
sara: try reading problem file stateEquationProblem-ConstantPlace-869.sara.
lola: reporting
lola: not produced: 613
lola: state equation: 51
lola: find path: 677
lola: goal oriented search: 1149
lola: symmetry: 95
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1883
sara: try reading problem file stateEquationProblem-ConstantPlace-2568.sara.
lola: reporting
lola: not produced: 611
lola: state equation: 53
lola: find path: 677
lola: goal oriented search: 1149
lola: symmetry: 95
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2527
sara: try reading problem file stateEquationProblem-ConstantPlace-1337.sara.
lola: reporting
lola: not produced: 603
lola: state equation: 55
lola: find path: 682
lola: goal oriented search: 1149
lola: symmetry: 96
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 p1679
sara: try reading problem file stateEquationProblem-ConstantPlace-2364.sara.
lola: reporting
lola: not produced: 593
lola: state equation: 57
lola: find path: 688
lola: goal oriented search: 1149
lola: symmetry: 98
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1770
sara: try reading problem file stateEquationProblem-ConstantPlace-2455.sara.
lola: reporting
lola: not produced: 578
lola: state equation: 59
lola: find path: 698
lola: goal oriented search: 1149
lola: symmetry: 101
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 p2369
sara: try reading problem file stateEquationProblem-ConstantPlace-817.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1780
sara: try reading problem file stateEquationProblem-ConstantPlace-2465.sara.
lola: reporting
lola: not produced: 574
lola: state equation: 62
lola: find path: 699
lola: goal oriented search: 1149
lola: symmetry: 101
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: STATE EQUATION TRIES PLACE p2544
sara: try reading problem file stateEquationProblem-ConstantPlace-1367.sara.
lola: reporting
lola: not produced: 567
lola: state equation: 64
lola: find path: 704
lola: goal oriented search: 1149
lola: symmetry: 101
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2512
sara: try reading problem file stateEquationProblem-ConstantPlace-1322.sara.
lola: reporting
lola: not produced: 564
lola: state equation: 66
lola: find path: 705
lola: goal oriented search: 1149
lola: symmetry: 101
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2515
sara: try reading problem file stateEquationProblem-ConstantPlace-1325.sara.
lola: reporting
lola: not produced: 555
lola: state equation: 68
lola: find path: 712
lola: goal oriented search: 1149
lola: symmetry: 101
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2120
sara: try reading problem file stateEquationProblem-ConstantPlace-330.sara.
lola: reporting
lola: not produced: 553
lola: state equation: 70
lola: find path: 712
lola: goal oriented search: 1149
lola: symmetry: 101
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2389
sara: try reading problem file stateEquationProblem-ConstantPlace-857.sara.
lola: reporting
lola: not produced: 546
lola: state equation: 72
lola: find path: 717
lola: goal oriented search: 1149
lola: symmetry: 101
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 p1690
sara: try reading problem file stateEquationProblem-ConstantPlace-2375.sara.
lola: reporting
lola: not produced: 544
lola: state equation: 74
lola: find path: 717
lola: goal oriented search: 1149
lola: symmetry: 101
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2203
sara: try reading problem file stateEquationProblem-ConstantPlace-503.sara.
lola: reporting
lola: not produced: 538
lola: state equation: 76
lola: find path: 720
lola: goal oriented search: 1149
lola: symmetry: 102
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p689
sara: try reading problem file stateEquationProblem-ConstantPlace-1584.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: 536
lola: state equation: 78
lola: find path: 720
lola: goal oriented search: 1149
lola: symmetry: 102
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1752
sara: try reading problem file stateEquationProblem-ConstantPlace-2437.sara.
lola: reporting
lola: not produced: 534
lola: state equation: 80
lola: find path: 720
lola: goal oriented search: 1149
lola: symmetry: 102
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1247
sara: try reading problem file stateEquationProblem-ConstantPlace-1436.sara.
lola: reporting
lola: not produced: 532
lola: state equation: 82
lola: find path: 720
lola: goal oriented search: 1149
lola: symmetry: 102
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 531
lola: state equation: 83
lola: find path: 720
lola: goal oriented search: 1149
lola: symmetry: 102
lola: STATE EQUATION TRIES PLACE p2456
sara: try reading problem file stateEquationProblem-ConstantPlace-1091.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1790
sara: try reading problem file stateEquationProblem-ConstantPlace-2475.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 529
lola: state equation: 85
lola: find path: 720
lola: goal oriented search: 1149
lola: symmetry: 102

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

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

lola: STATE EQUATION TRIES PLACE p2419
sara: try reading problem file stateEquationProblem-ConstantPlace-1029.sara.
lola: reporting
lola: not produced: 525
lola: state equation: 88
lola: find path: 721
lola: goal oriented search: 1149
lola: symmetry: 102
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1825
sara: try reading problem file stateEquationProblem-ConstantPlace-2510.sara.
lola: reporting
lola: not produced: 520
lola: state equation: 90
lola: find path: 724
lola: goal oriented search: 1149
lola: symmetry: 102
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1754
sara: try reading problem file stateEquationProblem-ConstantPlace-2439.sara.
lola: reporting
lola: not produced: 516
lola: state equation: 93
lola: find path: 724
lola: goal oriented search: 1149
lola: symmetry: 103
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2273
sara: try reading problem file stateEquationProblem-ConstantPlace-583.sara.
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 p2199
sara: try reading problem file stateEquationProblem-ConstantPlace-409.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: 510
lola: state equation: 97
lola: find path: 726
lola: goal oriented search: 1149
lola: symmetry: 103
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 p2458
sara: try reading problem file stateEquationProblem-ConstantPlace-1095.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 504
lola: state equation: 100
lola: find path: 729
lola: goal oriented search: 1149
lola: symmetry: 103
lola: STATE EQUATION TRIES PLACE p1821
sara: try reading problem file stateEquationProblem-ConstantPlace-2506.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2009
sara: try reading problem file stateEquationProblem-ConstantPlace-119.sara.
lola: reporting
lola: not produced: 500
lola: state equation: 104
lola: find path: 729
lola: goal oriented search: 1149
lola: symmetry: 103
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 497
lola: state equation: 107
lola: find path: 729
lola: goal oriented search: 1149
lola: symmetry: 103
lola: STATE EQUATION TRIES PLACE p2486
sara: try reading problem file stateEquationProblem-ConstantPlace-1151.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p685
sara: try reading problem file stateEquationProblem-ConstantPlace-1580.sara.
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: STATE EQUATION TRIES PLACE p1536
sara: try reading problem file stateEquationProblem-ConstantPlace-2031.sara.
lola: reporting
lola: not produced: 490
lola: state equation: 111
lola: find path: 729
lola: goal oriented search: 1149
lola: symmetry: 106
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: STATE EQUATION TRIES PLACE p2132
sara: try reading problem file stateEquationProblem-ConstantPlace-342.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: reporting
lola: not produced: 478
lola: state equation: 114
lola: find path: 735
lola: goal oriented search: 1149
lola: symmetry: 109
lola: STATE EQUATION TRIES PLACE p2229
sara: try reading problem file stateEquationProblem-ConstantPlace-539.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1739
sara: try reading problem file stateEquationProblem-ConstantPlace-2424.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: 471
lola: state equation: 118
lola: find path: 738
lola: goal oriented search: 1149
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2460
sara: try reading problem file stateEquationProblem-ConstantPlace-1100.sara.
lola: reporting
lola: not produced: 466
lola: state equation: 122
lola: find path: 739
lola: goal oriented search: 1149
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2270
sara: try reading problem file stateEquationProblem-ConstantPlace-580.sara.
lola: reporting
lola: not produced: 460
lola: state equation: 125
lola: find path: 742
lola: goal oriented search: 1149
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1971
sara: try reading problem file stateEquationProblem-ConstantPlace-71.sara.
lola: reporting
lola: not produced: 454
lola: state equation: 129
lola: find path: 744
lola: goal oriented search: 1149
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2266
sara: try reading problem file stateEquationProblem-ConstantPlace-576.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 451
lola: state equation: 132
lola: find path: 744
lola: goal oriented search: 1149
lola: symmetry: 109

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

lola: STATE EQUATION TRIES PLACE p2426
sara: try reading problem file stateEquationProblem-ConstantPlace-1036.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 p1704
sara: try reading problem file stateEquationProblem-ConstantPlace-2389.sara.
lola: reporting
lola: not produced: 447
lola: state equation: 136
lola: find path: 744
lola: goal oriented search: 1149
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2542
sara: try reading problem file stateEquationProblem-ConstantPlace-1363.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 442
lola: state equation: 139
lola: find path: 746
lola: goal oriented search: 1149
lola: symmetry: 109

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

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

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

lola: STATE EQUATION TRIES PLACE p2070
sara: try reading problem file stateEquationProblem-ConstantPlace-180.sara.
lola: reporting
lola: not produced: 437
lola: state equation: 143
lola: find path: 747
lola: goal oriented search: 1149
lola: symmetry: 109
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 434
lola: state equation: 146
lola: find path: 747
lola: goal oriented search: 1149
lola: symmetry: 109
lola: STATE EQUATION TRIES PLACE p1403
sara: try reading problem file stateEquationProblem-ConstantPlace-1798.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1979
sara: try reading problem file stateEquationProblem-ConstantPlace-79.sara.
lola: reporting
lola: not produced: 420
lola: state equation: 150
lola: find path: 756
lola: goal oriented search: 1149
lola: symmetry: 110
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2340
sara: try reading problem file stateEquationProblem-ConstantPlace-760.sara.
lola: reporting
lola: not produced: 415
lola: state equation: 154
lola: find path: 757
lola: goal oriented search: 1149
lola: symmetry: 110
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p678
sara: try reading problem file stateEquationProblem-ConstantPlace-1573.sara.
lola: reporting
lola: not produced: 411
lola: state equation: 157
lola: find path: 757
lola: goal oriented search: 1149
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2269
sara: try reading problem file stateEquationProblem-ConstantPlace-579.sara.
lola: reporting
lola: not produced: 406
lola: state equation: 161
lola: find path: 758
lola: goal oriented search: 1149
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1753
sara: try reading problem file stateEquationProblem-ConstantPlace-2438.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 403
lola: state equation: 164
lola: find path: 758
lola: goal oriented search: 1149
lola: symmetry: 111

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

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

lola: STATE EQUATION TRIES PLACE p1785
sara: try reading problem file stateEquationProblem-ConstantPlace-2470.sara.
lola: reporting
lola: not produced: 399
lola: state equation: 168
lola: find path: 758
lola: goal oriented search: 1149
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 396
lola: state equation: 171
lola: find path: 758
lola: goal oriented search: 1149
lola: symmetry: 111
lola: STATE EQUATION TRIES PLACE p2444
sara: try reading problem file stateEquationProblem-ConstantPlace-1067.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2084
sara: try reading problem file stateEquationProblem-ConstantPlace-194.sara.
lola: reporting
lola: not produced: 392
lola: state equation: 175
lola: find path: 758
lola: goal oriented search: 1149
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 389
lola: state equation: 178
lola: find path: 758
lola: goal oriented search: 1149
lola: symmetry: 111
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 p1849
sara: try reading problem file stateEquationProblem-ConstantPlace-2534.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2078
sara: try reading problem file stateEquationProblem-ConstantPlace-188.sara.
lola: reporting
lola: not produced: 383
lola: state equation: 182
lola: find path: 760
lola: goal oriented search: 1149
lola: symmetry: 111
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 p2503
sara: try reading problem file stateEquationProblem-ConstantPlace-1303.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2211
sara: try reading problem file stateEquationProblem-ConstantPlace-521.sara.
lola: reporting
lola: not produced: 378
lola: state equation: 186
lola: find path: 761
lola: goal oriented search: 1149
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2455
sara: try reading problem file stateEquationProblem-ConstantPlace-1089.sara.
lola: reporting
lola: not produced: 375
lola: state equation: 189
lola: find path: 761
lola: goal oriented search: 1149
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1400
sara: try reading problem file stateEquationProblem-ConstantPlace-1795.sara.
lola: reporting
lola: not produced: 371
lola: state equation: 193
lola: find path: 761
lola: goal oriented search: 1149
lola: symmetry: 111
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 p2206
sara: try reading problem file stateEquationProblem-ConstantPlace-506.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1729
sara: try reading problem file stateEquationProblem-ConstantPlace-2414.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 368
lola: state equation: 196
lola: find path: 761
lola: goal oriented search: 1149
lola: symmetry: 111

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 p1755
sara: try reading problem file stateEquationProblem-ConstantPlace-2440.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: STATE EQUATION TRIES PLACE p1842
sara: try reading problem file stateEquationProblem-ConstantPlace-2527.sara.
lola: reporting
lola: not produced: 363
lola: state equation: 200
lola: find path: 762
lola: goal oriented search: 1149
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2195
sara: try reading problem file stateEquationProblem-ConstantPlace-405.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 348
lola: state equation: 203
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 111

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

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

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 p2085
sara: try reading problem file stateEquationProblem-ConstantPlace-195.sara.
lola: reporting
lola: not produced: 344
lola: state equation: 207
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 111
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 p1808
sara: try reading problem file stateEquationProblem-ConstantPlace-2493.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 341
lola: state equation: 210
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 111
lola: STATE EQUATION TRIES PLACE p1881
sara: try reading problem file stateEquationProblem-ConstantPlace-2566.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2081
sara: try reading problem file stateEquationProblem-ConstantPlace-191.sara.
lola: reporting
lola: not produced: 337
lola: state equation: 214
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2008
lola: reporting
lola: not produced: 332
lola: state equation: 218
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 112
sara: try reading problem file stateEquationProblem-ConstantPlace-118.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2403
sara: try reading problem file stateEquationProblem-ConstantPlace-1003.sara.
lola: reporting
lola: not produced: 329
lola: state equation: 221
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 112
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2531
sara: try reading problem file stateEquationProblem-ConstantPlace-1341.sara.
lola: reporting
lola: not produced: 325
lola: state equation: 225
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 112
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2096
sara: try reading problem file stateEquationProblem-ConstantPlace-206.sara.
lola: reporting
lola: not produced: 322
lola: state equation: 228
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 112
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2468
sara: try reading problem file stateEquationProblem-ConstantPlace-1115.sara.
lola: reporting
lola: not produced: 318
lola: state equation: 232
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 112
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1681
sara: try reading problem file stateEquationProblem-ConstantPlace-2366.sara.
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: reporting
lola: not produced: 315
lola: state equation: 235
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 112

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

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

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

lola: STATE EQUATION TRIES PLACE p2502
sara: try reading problem file stateEquationProblem-ConstantPlace-1302.sara.
lola: reporting
lola: not produced: 311
lola: state equation: 239
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 112
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 p1784
sara: try reading problem file stateEquationProblem-ConstantPlace-2469.sara.
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 308
lola: state equation: 242
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 112
lola: STATE EQUATION TRIES PLACE p1995
sara: try reading problem file stateEquationProblem-ConstantPlace-95.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2404
sara: try reading problem file stateEquationProblem-ConstantPlace-1004.sara.
lola: reporting
lola: not produced: 304
lola: state equation: 246
lola: find path: 774
lola: goal oriented search: 1149
lola: symmetry: 112
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1417
sara: try reading problem file stateEquationProblem-ConstantPlace-1812.sara.
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 p1549
sara: try reading problem file stateEquationProblem-ConstantPlace-2044.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2337
lola: reporting
lola: not produced: 299
lola: state equation: 250
lola: find path: 775
lola: goal oriented search: 1149
lola: symmetry: 112
sara: try reading problem file stateEquationProblem-ConstantPlace-753.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1792
sara: try reading problem file stateEquationProblem-ConstantPlace-2477.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: 295
lola: state equation: 253
lola: find path: 775
lola: goal oriented search: 1149
lola: symmetry: 113
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 p1786
sara: try reading problem file stateEquationProblem-ConstantPlace-2471.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2471
sara: try reading problem file stateEquationProblem-ConstantPlace-1121.sara.
lola: reporting
lola: not produced: 290
lola: state equation: 257
lola: find path: 776
lola: goal oriented search: 1149
lola: symmetry: 113
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 p2406
sara: try reading problem file stateEquationProblem-ConstantPlace-1006.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2082
sara: try reading problem file stateEquationProblem-ConstantPlace-192.sara.
lola: reporting
lola: not produced: 287
lola: state equation: 260
lola: find path: 776
lola: goal oriented search: 1149
lola: symmetry: 113
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 p1884
sara: try reading problem file stateEquationProblem-ConstantPlace-2569.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2220
sara: try reading problem file stateEquationProblem-ConstantPlace-530.sara.
lola: reporting
lola: not produced: 283
lola: state equation: 264
lola: find path: 776
lola: goal oriented search: 1149
lola: symmetry: 113
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 p2094
sara: try reading problem file stateEquationProblem-ConstantPlace-204.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1395
sara: try reading problem file stateEquationProblem-ConstantPlace-1690.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 280
lola: state equation: 267
lola: find path: 776
lola: goal oriented search: 1149
lola: symmetry: 113

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

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

lola: STATE EQUATION TRIES PLACE p1737
sara: try reading problem file stateEquationProblem-ConstantPlace-2422.sara.
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: 276
lola: state equation: 271
lola: find path: 776
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1558
sara: try reading problem file stateEquationProblem-ConstantPlace-2053.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 272
lola: state equation: 274
lola: find path: 777
lola: goal oriented search: 1149
lola: symmetry: 113

lola: STATE EQUATION TRIES PLACE p2379
sara: try reading problem file stateEquationProblem-ConstantPlace-837.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 p1723
sara: try reading problem file stateEquationProblem-ConstantPlace-2408.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1973
sara: try reading problem file stateEquationProblem-ConstantPlace-73.sara.
lola: reporting
lola: not produced: 268
lola: state equation: 278
lola: find path: 777
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p671
lola: reporting
lola: not produced: 264
lola: state equation: 282
lola: find path: 777
lola: goal oriented search: 1149
lola: symmetry: 113
sara: try reading problem file stateEquationProblem-ConstantPlace-1566.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 p2196
sara: try reading problem file stateEquationProblem-ConstantPlace-406.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2222
sara: try reading problem file stateEquationProblem-ConstantPlace-532.sara.
lola: reporting
lola: not produced: 260
lola: state equation: 285
lola: find path: 778
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2400
sara: try reading problem file stateEquationProblem-ConstantPlace-1000.sara.
lola: reporting
lola: not produced: 256
lola: state equation: 289
lola: find path: 778
lola: goal oriented search: 1149
lola: symmetry: 113
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 p1724
sara: try reading problem file stateEquationProblem-ConstantPlace-2409.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2402
sara: try reading problem file stateEquationProblem-ConstantPlace-1002.sara.
lola: reporting
lola: not produced: 253
lola: state equation: 292
lola: find path: 778
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1826
sara: try reading problem file stateEquationProblem-ConstantPlace-2511.sara.
lola: reporting
lola: not produced: 249
lola: state equation: 296
lola: find path: 778
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2065
sara: try reading problem file stateEquationProblem-ConstantPlace-175.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: 245
lola: state equation: 299
lola: find path: 779
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2417
sara: try reading problem file stateEquationProblem-ConstantPlace-1027.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: 241
lola: state equation: 303
lola: find path: 779
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2394
sara: try reading problem file stateEquationProblem-ConstantPlace-867.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 238
lola: state equation: 306
lola: find path: 779
lola: goal oriented search: 1149
lola: symmetry: 113

lola: STATE EQUATION TRIES PLACE p2463
sara: try reading problem file stateEquationProblem-ConstantPlace-1105.sara.
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 p2058
sara: try reading problem file stateEquationProblem-ConstantPlace-168.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: 230
lola: state equation: 310
lola: find path: 783
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1812
sara: try reading problem file stateEquationProblem-ConstantPlace-2497.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 227
lola: state equation: 313
lola: find path: 783
lola: goal oriented search: 1149
lola: symmetry: 113

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

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

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

lola: STATE EQUATION TRIES PLACE p2380
sara: try reading problem file stateEquationProblem-ConstantPlace-840.sara.
lola: reporting
lola: not produced: 223
lola: state equation: 317
lola: find path: 783
lola: goal oriented search: 1149
lola: symmetry: 113
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: 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 p1414
sara: try reading problem file stateEquationProblem-ConstantPlace-1809.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 220
lola: state equation: 320
lola: find path: 783
lola: goal oriented search: 1149
lola: symmetry: 113

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

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

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

lola: STATE EQUATION TRIES PLACE p672
sara: try reading problem file stateEquationProblem-ConstantPlace-1567.sara.
lola: reporting
lola: not produced: 216
lola: state equation: 324
lola: find path: 783
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1705
sara: try reading problem file stateEquationProblem-ConstantPlace-2390.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: reporting
lola: not produced: 213
lola: state equation: 327
lola: find path: 783
lola: goal oriented search: 1149
lola: symmetry: 113
lola: STATE EQUATION TRIES PLACE p2459
sara: try reading problem file stateEquationProblem-ConstantPlace-1097.sara.
sara: place or transition ordering is non-deterministic

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

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 p1730
sara: try reading problem file stateEquationProblem-ConstantPlace-2415.sara.
lola: reporting
lola: not produced: 209
lola: state equation: 331
lola: find path: 783
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 205
lola: state equation: 334
lola: find path: 784
lola: goal oriented search: 1149
lola: symmetry: 113
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 p1741
sara: try reading problem file stateEquationProblem-ConstantPlace-2426.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 p1807
sara: try reading problem file stateEquationProblem-ConstantPlace-2492.sara.
lola: reporting
lola: not produced: 201
lola: state equation: 338
lola: find path: 784
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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 p1562
sara: try reading problem file stateEquationProblem-ConstantPlace-2057.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: 197
lola: state equation: 342
lola: find path: 784
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1412
sara: try reading problem file stateEquationProblem-ConstantPlace-1807.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 194
lola: state equation: 345
lola: find path: 784
lola: goal oriented search: 1149
lola: symmetry: 113

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

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

lola: STATE EQUATION TRIES PLACE p2123
sara: try reading problem file stateEquationProblem-ConstantPlace-333.sara.
lola: reporting
lola: not produced: 190
lola: state equation: 349
lola: find path: 784
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1556
sara: try reading problem file stateEquationProblem-ConstantPlace-2051.sara.
lola: reporting
lola: not produced: 186
lola: state equation: 353
lola: find path: 784
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p677
sara: try reading problem file stateEquationProblem-ConstantPlace-1572.sara.
lola: reporting
lola: not produced: 183
lola: state equation: 356
lola: find path: 784
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1766
sara: try reading problem file stateEquationProblem-ConstantPlace-2451.sara.
lola: reporting
lola: not produced: 178
lola: state equation: 360
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2488
sara: try reading problem file stateEquationProblem-ConstantPlace-1155.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 175
lola: state equation: 363
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113

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

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

lola: STATE EQUATION TRIES PLACE p2089
sara: try reading problem file stateEquationProblem-ConstantPlace-199.sara.
lola: reporting
lola: not produced: 172
lola: state equation: 366
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1539
sara: try reading problem file stateEquationProblem-ConstantPlace-2034.sara.
lola: reporting
lola: not produced: 170
lola: state equation: 368
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1554
sara: try reading problem file stateEquationProblem-ConstantPlace-2049.sara.
lola: reporting
lola: not produced: 168
lola: state equation: 370
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113
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 p1820
sara: try reading problem file stateEquationProblem-ConstantPlace-2505.sara.
lola: reporting
lola: not produced: 166
lola: state equation: 372
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2197
sara: try reading problem file stateEquationProblem-ConstantPlace-407.sara.
lola: reporting
lola: not produced: 164
lola: state equation: 374
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 162
lola: state equation: 376
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113
lola: STATE EQUATION TRIES PLACE p2481
sara: try reading problem file stateEquationProblem-ConstantPlace-1141.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1458
sara: try reading problem file stateEquationProblem-ConstantPlace-1853.sara.
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 p2192
sara: try reading problem file stateEquationProblem-ConstantPlace-402.sara.
lola: reporting
lola: not produced: 158
lola: state equation: 380
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2093
sara: try reading problem file stateEquationProblem-ConstantPlace-203.sara.
lola: reporting
lola: not produced: 155
lola: state equation: 383
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1538
sara: try reading problem file stateEquationProblem-ConstantPlace-2033.sara.
lola: reporting
lola: not produced: 152
lola: state equation: 386
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2368
sara: try reading problem file stateEquationProblem-ConstantPlace-815.sara.
lola: reporting
lola: not produced: 149
lola: state equation: 389
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2342
sara: try reading problem file stateEquationProblem-ConstantPlace-763.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 147
lola: state equation: 391
lola: find path: 785
lola: goal oriented search: 1149
lola: symmetry: 113

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 p1528
sara: try reading problem file stateEquationProblem-ConstantPlace-2023.sara.
lola: reporting
lola: not produced: 141
lola: state equation: 393
lola: find path: 788
lola: goal oriented search: 1149
lola: symmetry: 114
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 p2447
sara: try reading problem file stateEquationProblem-ConstantPlace-1073.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 139
lola: state equation: 395
lola: find path: 788
lola: goal oriented search: 1149
lola: symmetry: 114

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

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

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

lola: STATE EQUATION TRIES PLACE p670
sara: try reading problem file stateEquationProblem-ConstantPlace-1565.sara.
lola: reporting
lola: not produced: 135
lola: state equation: 399
lola: find path: 788
lola: goal oriented search: 1149
lola: symmetry: 114
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1980
sara: try reading problem file stateEquationProblem-ConstantPlace-80.sara.
lola: reporting
lola: not produced: 132
lola: state equation: 402
lola: find path: 788
lola: goal oriented search: 1149
lola: symmetry: 114
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1396
lola: reporting
lola: not produced: 128
lola: state equation: 406
lola: find path: 788
lola: goal oriented search: 1149
lola: symmetry: 114
sara: try reading problem file stateEquationProblem-ConstantPlace-1691.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2262
sara: try reading problem file stateEquationProblem-ConstantPlace-572.sara.
lola: reporting
lola: not produced: 125
lola: state equation: 409
lola: find path: 788
lola: goal oriented search: 1149
lola: symmetry: 114
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2338
lola: reporting
lola: not produced: 121
lola: state equation: 413
lola: find path: 788
lola: goal oriented search: 1149
lola: symmetry: 114
sara: try reading problem file stateEquationProblem-ConstantPlace-755.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2500
sara: try reading problem file stateEquationProblem-ConstantPlace-1300.sara.
lola: reporting
lola: not produced: 117
lola: state equation: 416
lola: find path: 788
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1993
lola: reporting
lola: not produced: 112
lola: state equation: 420
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: try reading problem file stateEquationProblem-ConstantPlace-93.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2505
sara: try reading problem file stateEquationProblem-ConstantPlace-1305.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: 109
lola: state equation: 423
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1998
sara: try reading problem file stateEquationProblem-ConstantPlace-98.sara.
lola: reporting
lola: not produced: 106
lola: state equation: 426
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2376
sara: try reading problem file stateEquationProblem-ConstantPlace-831.sara.
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: 103
lola: state equation: 429
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2087
sara: try reading problem file stateEquationProblem-ConstantPlace-197.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: 100
lola: state equation: 432
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1791
sara: try reading problem file stateEquationProblem-ConstantPlace-2476.sara.
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: reporting
lola: not produced: 97
lola: state equation: 435
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115

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

lola: STATE EQUATION TRIES PLACE p2470
sara: try reading problem file stateEquationProblem-ConstantPlace-1120.sara.
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: reporting
lola: not produced: 94
lola: state equation: 438
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
lola: STATE EQUATION TRIES PLACE p2448
sara: try reading problem file stateEquationProblem-ConstantPlace-1075.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2224
sara: try reading problem file stateEquationProblem-ConstantPlace-534.sara.
lola: reporting
lola: not produced: 91
lola: state equation: 441
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 88
lola: state equation: 444
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
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 p2472
sara: try reading problem file stateEquationProblem-ConstantPlace-1123.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: 85
lola: state equation: 447
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2387
sara: try reading problem file stateEquationProblem-ConstantPlace-853.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: 82
lola: state equation: 450
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
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 p647
sara: try reading problem file stateEquationProblem-ConstantPlace-1542.sara.
lola: reporting
lola: not produced: 80
lola: state equation: 452
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 79
lola: state equation: 453
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
lola: STATE EQUATION TRIES PLACE p2060
sara: try reading problem file stateEquationProblem-ConstantPlace-170.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2088
sara: try reading problem file stateEquationProblem-ConstantPlace-198.sara.
lola: reporting
lola: not produced: 77
lola: state equation: 455
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2509
sara: try reading problem file stateEquationProblem-ConstantPlace-1309.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 75
lola: state equation: 457
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115

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

lola: STATE EQUATION TRIES PLACE p1829
sara: try reading problem file stateEquationProblem-ConstantPlace-2514.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 73
lola: state equation: 459
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115

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 p2514
sara: try reading problem file stateEquationProblem-ConstantPlace-1324.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: 70
lola: state equation: 462
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1411
sara: try reading problem file stateEquationProblem-ConstantPlace-1806.sara.
lola: reporting
lola: not produced: 68
lola: state equation: 464
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
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 p1738
sara: try reading problem file stateEquationProblem-ConstantPlace-2423.sara.
lola: reporting
lola: not produced: 66
lola: state equation: 466
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1725
sara: try reading problem file stateEquationProblem-ConstantPlace-2410.sara.
lola: reporting
lola: not produced: 63
lola: state equation: 469
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2535
sara: try reading problem file stateEquationProblem-ConstantPlace-1349.sara.
lola: reporting
lola: not produced: 60
lola: state equation: 472
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2457
sara: try reading problem file stateEquationProblem-ConstantPlace-1093.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 58
lola: state equation: 474
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115

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

lola: STATE EQUATION TRIES PLACE p1419
sara: try reading problem file stateEquationProblem-ConstantPlace-1814.sara.
lola: reporting
lola: not produced: 56
lola: state equation: 476
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

lola: reporting
lola: not produced: 54
lola: state equation: 478
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
lola: STATE EQUATION TRIES PLACE p2476
sara: try reading problem file stateEquationProblem-ConstantPlace-1131.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2490
sara: try reading problem file stateEquationProblem-ConstantPlace-1160.sara.
lola: reporting
lola: not produced: 52
lola: state equation: 480
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2260
sara: try reading problem file stateEquationProblem-ConstantPlace-570.sara.
lola: reporting
lola: not produced: 49
lola: state equation: 483
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2464
sara: try reading problem file stateEquationProblem-ConstantPlace-1107.sara.
lola: reporting
lola: not produced: 46
lola: state equation: 486
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2484
sara: try reading problem file stateEquationProblem-ConstantPlace-1147.sara.
lola: reporting
lola: not produced: 44
lola: state equation: 488
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1844
sara: try reading problem file stateEquationProblem-ConstantPlace-2529.sara.
lola: reporting
lola: not produced: 40
lola: state equation: 492
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2381
sara: try reading problem file stateEquationProblem-ConstantPlace-841.sara.
lola: reporting
lola: not produced: 36
lola: state equation: 495
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2526
lola: reporting
lola: not produced: 32
lola: state equation: 499
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 116
sara: try reading problem file stateEquationProblem-ConstantPlace-1336.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2191
sara: try reading problem file stateEquationProblem-ConstantPlace-401.sara.
lola: reporting
lola: not produced: 29
lola: state equation: 502
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2546
sara: try reading problem file stateEquationProblem-ConstantPlace-1371.sara.
lola: reporting
lola: not produced: 25
lola: state equation: 506
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1847
sara: try reading problem file stateEquationProblem-ConstantPlace-2532.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: 22
lola: state equation: 509
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1332
sara: try reading problem file stateEquationProblem-ConstantPlace-1627.sara.
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: STATE EQUATION TRIES PLACE p2080
lola: reporting
lola: not produced: 18
lola: state equation: 513
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 116
sara: try reading problem file stateEquationProblem-ConstantPlace-190.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2004
sara: try reading problem file stateEquationProblem-ConstantPlace-114.sara.
lola: reporting
lola: not produced: 15
lola: state equation: 516
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1526
sara: try reading problem file stateEquationProblem-ConstantPlace-2021.sara.
lola: reporting
lola: not produced: 11
lola: state equation: 520
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2491
sara: try reading problem file stateEquationProblem-ConstantPlace-1161.sara.
lola: reporting
lola: not produced: 8
lola: state equation: 523
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2378
sara: try reading problem file stateEquationProblem-ConstantPlace-835.sara.
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 p2068
sara: try reading problem file stateEquationProblem-ConstantPlace-178.sara.
lola: reporting
lola: not produced: 4
lola: state equation: 527
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 116
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2079
sara: try reading problem file stateEquationProblem-ConstantPlace-189.sara.
lola: reporting
lola: not produced: 1
lola: state equation: 530
lola: find path: 789
lola: goal oriented search: 1149
lola: symmetry: 116
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-302"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-302, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r116-tall-167814494200008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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