About the Execution of LoLA for CloudReconfiguration-PT-401
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5390.308 | 1674476.00 | 6633355.00 | 54.90 | F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2021-input.r049-oct2-162038304300398.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is CloudReconfiguration-PT-401, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-162038304300398
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 137K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 85K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 23 03:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 23 03:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 22 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 22 12:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 912K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1620655357482
starting LoLA
BK_INPUT CloudReconfiguration-PT-401
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking
FORMULA StableMarking FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1620657031958
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES PLACE p3341
sara: try reading problem file stateEquationProblem-ConstantPlace-461.sara.
lola: LAUNCH SYMM
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1034
lola: find path: 354
lola: goal oriented search: 2058
lola: symmetry: 108
lola: STATE EQUATION TRIES PLACE p952
sara: try reading problem file stateEquationProblem-ConstantPlace-3016.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3408
sara: try reading problem file stateEquationProblem-ConstantPlace-678.sara.
lola: reporting
lola: not produced: 1012
lola: state equation: 2
lola: find path: 375
lola: goal oriented search: 2057
lola: symmetry: 108
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1386
sara: try reading problem file stateEquationProblem-ConstantPlace-2350.sara.
lola: reporting
lola: not produced: 936
lola: state equation: 3
lola: find path: 445
lola: goal oriented search: 2057
lola: symmetry: 113
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3473
sara: try reading problem file stateEquationProblem-ConstantPlace-825.sara.
lola: reporting
lola: not produced: 908
lola: state equation: 4
lola: find path: 468
lola: goal oriented search: 2057
lola: symmetry: 117
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2139
sara: try reading problem file stateEquationProblem-ConstantPlace-819.sara.
lola: reporting
lola: not produced: 891
lola: state equation: 5
lola: find path: 484
lola: goal oriented search: 2057
lola: symmetry: 117
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2749
sara: try reading problem file stateEquationProblem-ConstantPlace-2531.sara.
lola: reporting
lola: not produced: 867
lola: state equation: 6
lola: find path: 507
lola: goal oriented search: 2057
lola: symmetry: 117
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p514
sara: try reading problem file stateEquationProblem-ConstantPlace-1778.sara.
lola: reporting
lola: not produced: 866
lola: state equation: 7
lola: find path: 507
lola: goal oriented search: 2057
lola: symmetry: 117
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 864
lola: state equation: 7
lola: find path: 509
lola: goal oriented search: 2057
lola: symmetry: 117
lola: STATE EQUATION TRIES PLACE p3447
sara: try reading problem file stateEquationProblem-ConstantPlace-773.sara.
lola: reporting
lola: not produced: 841
lola: state equation: 8
lola: find path: 531
lola: goal oriented search: 2057
lola: symmetry: 117
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3030
lola: reporting
lola: not produced: 839
lola: state equation: 9
lola: find path: 532
lola: goal oriented search: 2057
lola: symmetry: 117
sara: try reading problem file stateEquationProblem-ConstantPlace-130.sara.
lola: reporting
lola: not produced: 837
lola: state equation: 9
lola: find path: 534
lola: goal oriented search: 2057
lola: symmetry: 117
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1519
sara: try reading problem file stateEquationProblem-ConstantPlace-2833.sara.
lola: reporting
lola: not produced: 834
lola: state equation: 10
lola: find path: 536
lola: goal oriented search: 2057
lola: symmetry: 117
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p214
lola: reporting
lola: not produced: 823
lola: state equation: 11
lola: find path: 543
lola: goal oriented search: 2057
lola: symmetry: 120
sara: try reading problem file stateEquationProblem-ConstantPlace-924.sara.
lola: reporting
lola: not produced: 822
lola: state equation: 11
lola: find path: 544
lola: goal oriented search: 2057
lola: symmetry: 120
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 822
lola: state equation: 11
lola: find path: 544
lola: goal oriented search: 2057
lola: symmetry: 120
lola: STATE EQUATION TRIES PLACE p1245
sara: try reading problem file stateEquationProblem-ConstantPlace-1986.sara.
lola: reporting
lola: not produced: 809
lola: state equation: 12
lola: find path: 556
lola: goal oriented search: 2057
lola: symmetry: 120
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3358
sara: try reading problem file stateEquationProblem-ConstantPlace-495.sara.
lola: reporting
lola: not produced: 804
lola: state equation: 13
lola: find path: 560
lola: goal oriented search: 2057
lola: symmetry: 120
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 785
lola: state equation: 13
lola: find path: 579
lola: goal oriented search: 2057
lola: symmetry: 120
lola: STATE EQUATION TRIES PLACE p532
sara: try reading problem file stateEquationProblem-ConstantPlace-1796.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 759
lola: state equation: 14
lola: find path: 598
lola: goal oriented search: 2057
lola: symmetry: 126
lola: reporting
lola: not produced: 747
lola: state equation: 14
lola: find path: 610
lola: goal oriented search: 2057
lola: symmetry: 126
lola: STATE EQUATION TRIES PLACE p1724
sara: try reading problem file stateEquationProblem-ConstantPlace-3378.sara.
lola: reporting
lola: not produced: 743
lola: state equation: 15
lola: find path: 613
lola: goal oriented search: 2057
lola: symmetry: 126
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2738
sara: try reading problem file stateEquationProblem-ConstantPlace-2509.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3284
sara: try reading problem file stateEquationProblem-ConstantPlace-394.sara.
lola: reporting
lola: not produced: 741
lola: state equation: 17
lola: find path: 613
lola: goal oriented search: 2057
lola: symmetry: 126
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1185
sara: try reading problem file stateEquationProblem-ConstantPlace-1749.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1830
sara: try reading problem file stateEquationProblem-ConstantPlace-3484.sara.
lola: reporting
lola: not produced: 737
lola: state equation: 19
lola: find path: 615
lola: goal oriented search: 2057
lola: symmetry: 126
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p104
sara: try reading problem file stateEquationProblem-ConstantPlace-614.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 735
lola: state equation: 20
lola: find path: 616
lola: goal oriented search: 2057
lola: symmetry: 126
lola: STATE EQUATION TRIES PLACE p3500
sara: try reading problem file stateEquationProblem-ConstantPlace-970.sara.
lola: reporting
lola: not produced: 734
lola: state equation: 21
lola: find path: 616
lola: goal oriented search: 2057
lola: symmetry: 126
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3022
sara: try reading problem file stateEquationProblem-ConstantPlace-122.sara.
lola: reporting
lola: not produced: 724
lola: state equation: 22
lola: find path: 625
lola: goal oriented search: 2057
lola: symmetry: 126
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 716
lola: state equation: 22
lola: find path: 633
lola: goal oriented search: 2057
lola: symmetry: 126
lola: STATE EQUATION TRIES PLACE p1406
sara: try reading problem file stateEquationProblem-ConstantPlace-2508.sara.
lola: reporting
lola: not produced: 713
lola: state equation: 23
lola: find path: 635
lola: goal oriented search: 2057
lola: symmetry: 126
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1449
sara: try reading problem file stateEquationProblem-ConstantPlace-2593.sara.
lola: reporting
lola: not produced: 700
lola: state equation: 24
lola: find path: 644
lola: goal oriented search: 2057
lola: symmetry: 129
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 698
lola: state equation: 24
lola: find path: 646
lola: goal oriented search: 2057
lola: symmetry: 129
lola: STATE EQUATION TRIES PLACE p1456
sara: try reading problem file stateEquationProblem-ConstantPlace-2608.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2752
sara: try reading problem file stateEquationProblem-ConstantPlace-2537.sara.
lola: reporting
lola: not produced: 696
lola: state equation: 26
lola: find path: 646
lola: goal oriented search: 2057
lola: symmetry: 129
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1997
sara: try reading problem file stateEquationProblem-ConstantPlace-97.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3208
sara: try reading problem file stateEquationProblem-ConstantPlace-318.sara.
lola: reporting
lola: not produced: 693
lola: state equation: 28
lola: find path: 646
lola: goal oriented search: 2057
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p157
sara: try reading problem file stateEquationProblem-ConstantPlace-667.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 692
lola: state equation: 29
lola: find path: 646
lola: goal oriented search: 2057
lola: symmetry: 130
lola: STATE EQUATION TRIES PLACE p963
sara: try reading problem file stateEquationProblem-ConstantPlace-3037.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2748
sara: try reading problem file stateEquationProblem-ConstantPlace-2529.sara.
lola: reporting
lola: not produced: 690
lola: state equation: 31
lola: find path: 646
lola: goal oriented search: 2057
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1433
sara: try reading problem file stateEquationProblem-ConstantPlace-2562.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1855
sara: try reading problem file stateEquationProblem-ConstantPlace-3509.sara.
lola: reporting
lola: not produced: 688
lola: state equation: 33
lola: find path: 646
lola: goal oriented search: 2057
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2171
sara: try reading problem file stateEquationProblem-ConstantPlace-881.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1447
sara: try reading problem file stateEquationProblem-ConstantPlace-2590.sara.
lola: reporting
lola: not produced: 686
lola: state equation: 35
lola: find path: 646
lola: goal oriented search: 2057
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2295
sara: try reading problem file stateEquationProblem-ConstantPlace-1159.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p531
sara: try reading problem file stateEquationProblem-ConstantPlace-1795.sara.
lola: reporting
lola: not produced: 684
lola: state equation: 37
lola: find path: 646
lola: goal oriented search: 2057
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1729
sara: try reading problem file stateEquationProblem-ConstantPlace-3383.sara.
lola: reporting
lola: not produced: 683
lola: state equation: 38
lola: find path: 646
lola: goal oriented search: 2057
lola: symmetry: 130
lola: reporting
lola: not produced: 683
lola: state equation: 38
lola: find path: 646
lola: goal oriented search: 2057
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2640
sara: try reading problem file stateEquationProblem-ConstantPlace-2214.sara.
lola: reporting
lola: not produced: 681
lola: state equation: 39
lola: find path: 647
lola: goal oriented search: 2057
lola: symmetry: 130
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3455
sara: try reading problem file stateEquationProblem-ConstantPlace-789.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1235
sara: try reading problem file stateEquationProblem-ConstantPlace-1966.sara.
lola: reporting
lola: not produced: 677
lola: state equation: 41
lola: find path: 648
lola: goal oriented search: 2057
lola: symmetry: 131
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2736
sara: try reading problem file stateEquationProblem-ConstantPlace-2505.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1488
sara: try reading problem file stateEquationProblem-ConstantPlace-2652.sara.
lola: reporting
lola: not produced: 674
lola: state equation: 43
lola: find path: 649
lola: goal oriented search: 2057
lola: symmetry: 131
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2790
sara: try reading problem file stateEquationProblem-ConstantPlace-2614.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1900
sara: try reading problem file stateEquationProblem-ConstantPlace-0.sara.
lola: reporting
lola: not produced: 663
lola: state equation: 45
lola: find path: 658
lola: goal oriented search: 2057
lola: symmetry: 131
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1715
sara: try reading problem file stateEquationProblem-ConstantPlace-3369.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3316
sara: try reading problem file stateEquationProblem-ConstantPlace-426.sara.
lola: reporting
lola: not produced: 661
lola: state equation: 47
lola: find path: 658
lola: goal oriented search: 2057
lola: symmetry: 131
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1732
sara: try reading problem file stateEquationProblem-ConstantPlace-3386.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1432
sara: try reading problem file stateEquationProblem-ConstantPlace-2560.sara.
lola: reporting
lola: not produced: 658
lola: state equation: 49
lola: find path: 658
lola: goal oriented search: 2057
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3056
sara: try reading problem file stateEquationProblem-ConstantPlace-166.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3082
sara: try reading problem file stateEquationProblem-ConstantPlace-192.sara.
lola: reporting
lola: not produced: 654
lola: state equation: 51
lola: find path: 660
lola: goal oriented search: 2057
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3377
sara: try reading problem file stateEquationProblem-ConstantPlace-533.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2174
sara: try reading problem file stateEquationProblem-ConstantPlace-884.sara.
lola: reporting
lola: not produced: 652
lola: state equation: 53
lola: find path: 660
lola: goal oriented search: 2057
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2688
sara: try reading problem file stateEquationProblem-ConstantPlace-2309.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1998
sara: try reading problem file stateEquationProblem-ConstantPlace-98.sara.
lola: reporting
lola: not produced: 649
lola: state equation: 55
lola: find path: 661
lola: goal oriented search: 2057
lola: symmetry: 132
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2952
sara: try reading problem file stateEquationProblem-ConstantPlace-3227.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2495
sara: try reading problem file stateEquationProblem-ConstantPlace-1723.sara.
lola: reporting
lola: not produced: 646
lola: state equation: 57
lola: find path: 661
lola: goal oriented search: 2057
lola: symmetry: 133
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2880
sara: try reading problem file stateEquationProblem-ConstantPlace-2894.sara.
lola: reporting
lola: not produced: 645
lola: state equation: 58
lola: find path: 661
lola: goal oriented search: 2057
lola: symmetry: 133
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3227
sara: try reading problem file stateEquationProblem-ConstantPlace-337.sara.
lola: reporting
lola: not produced: 608
lola: state equation: 59
lola: find path: 693
lola: goal oriented search: 2057
lola: symmetry: 137
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2941
sara: try reading problem file stateEquationProblem-ConstantPlace-3195.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 605
lola: state equation: 60
lola: find path: 695
lola: goal oriented search: 2057
lola: symmetry: 137
lola: STATE EQUATION TRIES PLACE p2183
sara: try reading problem file stateEquationProblem-ConstantPlace-893.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 602
lola: state equation: 61
lola: find path: 697
lola: goal oriented search: 2057
lola: symmetry: 137
lola: STATE EQUATION TRIES PLACE p971
sara: try reading problem file stateEquationProblem-ConstantPlace-3055.sara.
lola: reporting
lola: not produced: 598
lola: state equation: 62
lola: find path: 699
lola: goal oriented search: 2057
lola: symmetry: 138
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3438
sara: try reading problem file stateEquationProblem-ConstantPlace-745.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 597
lola: state equation: 63
lola: find path: 699
lola: goal oriented search: 2057
lola: symmetry: 138
lola: STATE EQUATION TRIES PLACE p2170
sara: try reading problem file stateEquationProblem-ConstantPlace-880.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3161
sara: try reading problem file stateEquationProblem-ConstantPlace-271.sara.
lola: reporting
lola: not produced: 592
lola: state equation: 65
lola: find path: 702
lola: goal oriented search: 2057
lola: symmetry: 138
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1455
sara: try reading problem file stateEquationProblem-ConstantPlace-2606.sara.
lola: reporting
lola: not produced: 588
lola: state equation: 66
lola: find path: 704
lola: goal oriented search: 2057
lola: symmetry: 139
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3397
sara: try reading problem file stateEquationProblem-ConstantPlace-573.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 587
lola: state equation: 67
lola: find path: 704
lola: goal oriented search: 2057
lola: symmetry: 139
lola: STATE EQUATION TRIES PLACE p1172
sara: try reading problem file stateEquationProblem-ConstantPlace-1736.sara.
lola: reporting
lola: not produced: 586
lola: state equation: 68
lola: find path: 704
lola: goal oriented search: 2057
lola: symmetry: 139
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1721
sara: try reading problem file stateEquationProblem-ConstantPlace-3375.sara.
lola: reporting
lola: not produced: 583
lola: state equation: 69
lola: find path: 706
lola: goal oriented search: 2057
lola: symmetry: 139
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1420
sara: try reading problem file stateEquationProblem-ConstantPlace-2536.sara.
lola: reporting
lola: not produced: 579
lola: state equation: 70
lola: find path: 707
lola: goal oriented search: 2057
lola: symmetry: 141
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p159
sara: try reading problem file stateEquationProblem-ConstantPlace-669.sara.
lola: reporting
lola: not produced: 578
lola: state equation: 71
lola: find path: 707
lola: goal oriented search: 2057
lola: symmetry: 141
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 578
lola: state equation: 71
lola: find path: 707
lola: goal oriented search: 2057
lola: symmetry: 141
lola: reporting
lola: not produced: 577
lola: state equation: 71
lola: find path: 708
lola: goal oriented search: 2057
lola: symmetry: 141
lola: STATE EQUATION TRIES PLACE p2296
sara: try reading problem file stateEquationProblem-ConstantPlace-1160.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 568
lola: state equation: 72
lola: find path: 715
lola: goal oriented search: 2057
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p2182
sara: try reading problem file stateEquationProblem-ConstantPlace-892.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 567
lola: state equation: 73
lola: find path: 715
lola: goal oriented search: 2057
lola: symmetry: 142
lola: STATE EQUATION TRIES PLACE p1832
sara: try reading problem file stateEquationProblem-ConstantPlace-3486.sara.
lola: reporting
lola: not produced: 566
lola: state equation: 74
lola: find path: 715
lola: goal oriented search: 2057
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3088
sara: try reading problem file stateEquationProblem-ConstantPlace-198.sara.
lola: reporting
lola: not produced: 565
lola: state equation: 75
lola: find path: 715
lola: goal oriented search: 2057
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3221
sara: try reading problem file stateEquationProblem-ConstantPlace-331.sara.
lola: reporting
lola: not produced: 562
lola: state equation: 76
lola: find path: 717
lola: goal oriented search: 2057
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1619
sara: try reading problem file stateEquationProblem-ConstantPlace-3213.sara.
lola: reporting
lola: not produced: 559
lola: state equation: 77
lola: find path: 719
lola: goal oriented search: 2057
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3448
sara: try reading problem file stateEquationProblem-ConstantPlace-775.sara.
lola: reporting
lola: not produced: 551
lola: state equation: 78
lola: find path: 723
lola: goal oriented search: 2057
lola: symmetry: 145
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3329
sara: try reading problem file stateEquationProblem-ConstantPlace-439.sara.
lola: reporting
lola: not produced: 549
lola: state equation: 79
lola: find path: 724
lola: goal oriented search: 2057
lola: symmetry: 145
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3314
sara: try reading problem file stateEquationProblem-ConstantPlace-424.sara.
lola: reporting
lola: not produced: 548
lola: state equation: 80
lola: find path: 724
lola: goal oriented search: 2057
lola: symmetry: 145
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3420
sara: try reading problem file stateEquationProblem-ConstantPlace-710.sara.
lola: reporting
lola: not produced: 546
lola: state equation: 81
lola: find path: 724
lola: goal oriented search: 2057
lola: symmetry: 146
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1701
sara: try reading problem file stateEquationProblem-ConstantPlace-3355.sara.
lola: reporting
lola: not produced: 545
lola: state equation: 82
lola: find path: 724
lola: goal oriented search: 2057
lola: symmetry: 146
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1698
sara: try reading problem file stateEquationProblem-ConstantPlace-3352.sara.
lola: reporting
lola: not produced: 544
lola: state equation: 83
lola: find path: 724
lola: goal oriented search: 2057
lola: symmetry: 146
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 544
lola: state equation: 83
lola: find path: 724
lola: goal oriented search: 2057
lola: symmetry: 146
lola: STATE EQUATION TRIES PLACE p1714
sara: try reading problem file stateEquationProblem-ConstantPlace-3368.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 542
lola: state equation: 84
lola: find path: 725
lola: goal oriented search: 2057
lola: symmetry: 146
lola: STATE EQUATION TRIES PLACE p2783
sara: try reading problem file stateEquationProblem-ConstantPlace-2599.sara.
lola: reporting
lola: not produced: 527
lola: state equation: 85
lola: find path: 736
lola: goal oriented search: 2057
lola: symmetry: 149
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2705
sara: try reading problem file stateEquationProblem-ConstantPlace-2459.sara.
lola: reporting
lola: not produced: 525
lola: state equation: 86
lola: find path: 737
lola: goal oriented search: 2057
lola: symmetry: 149
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2118
sara: try reading problem file stateEquationProblem-ConstantPlace-778.sara.
lola: reporting
lola: not produced: 524
lola: state equation: 87
lola: find path: 737
lola: goal oriented search: 2057
lola: symmetry: 149
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2734
sara: try reading problem file stateEquationProblem-ConstantPlace-2501.sara.
lola: reporting
lola: not produced: 520
lola: state equation: 88
lola: find path: 740
lola: goal oriented search: 2057
lola: symmetry: 149
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2733
sara: try reading problem file stateEquationProblem-ConstantPlace-2499.sara.
lola: reporting
lola: not produced: 519
lola: state equation: 89
lola: find path: 740
lola: goal oriented search: 2057
lola: symmetry: 149
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3024
sara: try reading problem file stateEquationProblem-ConstantPlace-124.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3401
lola: reporting
lola: not produced: 517
lola: state equation: 91
lola: find path: 740
lola: goal oriented search: 2057
lola: symmetry: 149
sara: try reading problem file stateEquationProblem-ConstantPlace-671.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2069
sara: try reading problem file stateEquationProblem-ConstantPlace-579.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 516
lola: state equation: 92
lola: find path: 740
lola: goal oriented search: 2057
lola: symmetry: 149
lola: STATE EQUATION TRIES PLACE p3235
sara: try reading problem file stateEquationProblem-ConstantPlace-345.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 513
lola: state equation: 93
lola: find path: 742
lola: goal oriented search: 2057
lola: symmetry: 149
lola: STATE EQUATION TRIES PLACE p2751
sara: try reading problem file stateEquationProblem-ConstantPlace-2535.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2027
sara: try reading problem file stateEquationProblem-ConstantPlace-496.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 506
lola: state equation: 95
lola: find path: 747
lola: goal oriented search: 2057
lola: symmetry: 149
lola: STATE EQUATION TRIES PLACE p2300
sara: try reading problem file stateEquationProblem-ConstantPlace-1254.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 505
lola: state equation: 96
lola: find path: 747
lola: goal oriented search: 2057
lola: symmetry: 149
lola: STATE EQUATION TRIES PLACE p3219
sara: try reading problem file stateEquationProblem-ConstantPlace-329.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3174
sara: try reading problem file stateEquationProblem-ConstantPlace-284.sara.
lola: reporting
lola: not produced: 502
lola: state equation: 98
lola: find path: 748
lola: goal oriented search: 2057
lola: symmetry: 149
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3478
sara: try reading problem file stateEquationProblem-ConstantPlace-835.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1428
sara: try reading problem file stateEquationProblem-ConstantPlace-2552.sara.
lola: reporting
lola: not produced: 500
lola: state equation: 100
lola: find path: 748
lola: goal oriented search: 2057
lola: symmetry: 149
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3465
sara: try reading problem file stateEquationProblem-ConstantPlace-809.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1856
sara: try reading problem file stateEquationProblem-ConstantPlace-3510.sara.
lola: reporting
lola: not produced: 497
lola: state equation: 102
lola: find path: 749
lola: goal oriented search: 2057
lola: symmetry: 149
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1719
sara: try reading problem file stateEquationProblem-ConstantPlace-3373.sara.
lola: reporting
lola: not produced: 495
lola: state equation: 103
lola: find path: 749
lola: goal oriented search: 2057
lola: symmetry: 150
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3453
sara: try reading problem file stateEquationProblem-ConstantPlace-785.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3354
lola: reporting
lola: not produced: 493
lola: state equation: 105
lola: find path: 749
lola: goal oriented search: 2057
lola: symmetry: 150
sara: try reading problem file stateEquationProblem-ConstantPlace-487.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3049
sara: try reading problem file stateEquationProblem-ConstantPlace-149.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2706
lola: reporting
lola: not produced: 489
lola: state equation: 107
lola: find path: 750
lola: goal oriented search: 2057
lola: symmetry: 151
sara: try reading problem file stateEquationProblem-ConstantPlace-2460.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p973
sara: try reading problem file stateEquationProblem-ConstantPlace-3057.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2704
sara: try reading problem file stateEquationProblem-ConstantPlace-2458.sara.
lola: reporting
lola: not produced: 487
lola: state equation: 109
lola: find path: 750
lola: goal oriented search: 2057
lola: symmetry: 151
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2502
sara: try reading problem file stateEquationProblem-ConstantPlace-1856.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3498
sara: try reading problem file stateEquationProblem-ConstantPlace-875.sara.
lola: reporting
lola: not produced: 485
lola: state equation: 111
lola: find path: 750
lola: goal oriented search: 2057
lola: symmetry: 151
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2178
sara: try reading problem file stateEquationProblem-ConstantPlace-888.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 480
lola: state equation: 112
lola: find path: 754
lola: goal oriented search: 2057
lola: symmetry: 151
lola: STATE EQUATION TRIES PLACE p1171
sara: try reading problem file stateEquationProblem-ConstantPlace-1735.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2179
sara: try reading problem file stateEquationProblem-ConstantPlace-889.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 478
lola: state equation: 114
lola: find path: 754
lola: goal oriented search: 2057
lola: symmetry: 151
lola: STATE EQUATION TRIES PLACE p2498
sara: try reading problem file stateEquationProblem-ConstantPlace-1729.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1166
sara: try reading problem file stateEquationProblem-ConstantPlace-1728.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 470
lola: state equation: 116
lola: find path: 760
lola: goal oriented search: 2057
lola: symmetry: 151
lola: STATE EQUATION TRIES PLACE p2291
sara: try reading problem file stateEquationProblem-ConstantPlace-1155.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3160
sara: try reading problem file stateEquationProblem-ConstantPlace-270.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 466
lola: state equation: 118
lola: find path: 762
lola: goal oriented search: 2057
lola: symmetry: 151
lola: STATE EQUATION TRIES PLACE p3034
sara: try reading problem file stateEquationProblem-ConstantPlace-134.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2697
sara: try reading problem file stateEquationProblem-ConstantPlace-2327.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 463
lola: state equation: 120
lola: find path: 763
lola: goal oriented search: 2057
lola: symmetry: 151
lola: STATE EQUATION TRIES PLACE p2750
sara: try reading problem file stateEquationProblem-ConstantPlace-2534.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1728
sara: try reading problem file stateEquationProblem-ConstantPlace-3382.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 448
lola: state equation: 122
lola: find path: 774
lola: goal oriented search: 2057
lola: symmetry: 153
lola: STATE EQUATION TRIES PLACE p2707
sara: try reading problem file stateEquationProblem-ConstantPlace-2461.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2954
sara: try reading problem file stateEquationProblem-ConstantPlace-3231.sara.
lola: reporting
lola: not produced: 446
lola: state equation: 124
lola: find path: 774
lola: goal oriented search: 2057
lola: symmetry: 153
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3501
sara: try reading problem file stateEquationProblem-ConstantPlace-971.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 445
lola: state equation: 125
lola: find path: 774
lola: goal oriented search: 2057
lola: symmetry: 153
lola: STATE EQUATION TRIES PLACE p177
sara: try reading problem file stateEquationProblem-ConstantPlace-707.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 444
lola: state equation: 126
lola: find path: 774
lola: goal oriented search: 2057
lola: symmetry: 153
lola: reporting
lola: not produced: 436
lola: state equation: 126
lola: find path: 782
lola: goal oriented search: 2057
lola: symmetry: 153
lola: STATE EQUATION TRIES PLACE p1515
sara: try reading problem file stateEquationProblem-ConstantPlace-2826.sara.
lola: reporting
lola: not produced: 432
lola: state equation: 127
lola: find path: 785
lola: goal oriented search: 2057
lola: symmetry: 153
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2030
sara: try reading problem file stateEquationProblem-ConstantPlace-502.sara.
lola: reporting
lola: not produced: 430
lola: state equation: 128
lola: find path: 786
lola: goal oriented search: 2057
lola: symmetry: 153
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2696
sara: try reading problem file stateEquationProblem-ConstantPlace-2325.sara.
lola: reporting
lola: not produced: 429
lola: state equation: 129
lola: find path: 786
lola: goal oriented search: 2057
lola: symmetry: 153
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2308
sara: try reading problem file stateEquationProblem-ConstantPlace-1262.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p176
sara: try reading problem file stateEquationProblem-ConstantPlace-706.sara.
lola: reporting
lola: not produced: 427
lola: state equation: 131
lola: find path: 786
lola: goal oriented search: 2057
lola: symmetry: 153
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3301
sara: try reading problem file stateEquationProblem-ConstantPlace-411.sara.
lola: reporting
lola: not produced: 426
lola: state equation: 132
lola: find path: 786
lola: goal oriented search: 2057
lola: symmetry: 153
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2518
sara: try reading problem file stateEquationProblem-ConstantPlace-1882.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3357
lola: reporting
lola: not produced: 422
lola: state equation: 134
lola: find path: 787
lola: goal oriented search: 2057
lola: symmetry: 154
sara: try reading problem file stateEquationProblem-ConstantPlace-493.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3353
sara: try reading problem file stateEquationProblem-ConstantPlace-485.sara.
lola: reporting
lola: not produced: 421
lola: state equation: 135
lola: find path: 787
lola: goal oriented search: 2057
lola: symmetry: 154
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p891
sara: try reading problem file stateEquationProblem-ConstantPlace-2765.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 420
lola: state equation: 136
lola: find path: 787
lola: goal oriented search: 2057
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p970
sara: try reading problem file stateEquationProblem-ConstantPlace-3054.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1344
sara: try reading problem file stateEquationProblem-ConstantPlace-2284.sara.
lola: reporting
lola: not produced: 414
lola: state equation: 138
lola: find path: 789
lola: goal oriented search: 2057
lola: symmetry: 156
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3417
sara: try reading problem file stateEquationProblem-ConstantPlace-697.sara.
lola: reporting
lola: not produced: 411
lola: state equation: 139
lola: find path: 791
lola: goal oriented search: 2057
lola: symmetry: 156
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1654
sara: try reading problem file stateEquationProblem-ConstantPlace-3294.sara.
lola: reporting
lola: not produced: 410
lola: state equation: 140
lola: find path: 791
lola: goal oriented search: 2057
lola: symmetry: 156
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2646
sara: try reading problem file stateEquationProblem-ConstantPlace-2225.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1617
sara: try reading problem file stateEquationProblem-ConstantPlace-3210.sara.
lola: reporting
lola: not produced: 405
lola: state equation: 142
lola: find path: 791
lola: goal oriented search: 2057
lola: symmetry: 159
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2428
sara: try reading problem file stateEquationProblem-ConstantPlace-1592.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3456
sara: try reading problem file stateEquationProblem-ConstantPlace-791.sara.
lola: reporting
lola: not produced: 403
lola: state equation: 144
lola: find path: 791
lola: goal oriented search: 2057
lola: symmetry: 159
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2185
sara: try reading problem file stateEquationProblem-ConstantPlace-895.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2092
sara: try reading problem file stateEquationProblem-ConstantPlace-602.sara.
lola: reporting
lola: not produced: 401
lola: state equation: 146
lola: find path: 791
lola: goal oriented search: 2057
lola: symmetry: 159
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2426
sara: try reading problem file stateEquationProblem-ConstantPlace-1590.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3395
sara: try reading problem file stateEquationProblem-ConstantPlace-569.sara.
lola: reporting
lola: not produced: 399
lola: state equation: 148
lola: find path: 791
lola: goal oriented search: 2057
lola: symmetry: 159
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3480
sara: try reading problem file stateEquationProblem-ConstantPlace-840.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1708
sara: try reading problem file stateEquationProblem-ConstantPlace-3362.sara.
lola: reporting
lola: not produced: 397
lola: state equation: 150
lola: find path: 791
lola: goal oriented search: 2057
lola: symmetry: 159
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1521
sara: try reading problem file stateEquationProblem-ConstantPlace-2838.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 396
lola: state equation: 151
lola: find path: 791
lola: goal oriented search: 2057
lola: symmetry: 159
lola: STATE EQUATION TRIES PLACE p1712
sara: try reading problem file stateEquationProblem-ConstantPlace-3366.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2979
sara: try reading problem file stateEquationProblem-ConstantPlace-3281.sara.
lola: reporting
lola: not produced: 392
lola: state equation: 153
lola: find path: 793
lola: goal oriented search: 2057
lola: symmetry: 159
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2147
sara: try reading problem file stateEquationProblem-ConstantPlace-836.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3393
sara: try reading problem file stateEquationProblem-ConstantPlace-565.sara.
lola: reporting
lola: not produced: 390
lola: state equation: 155
lola: find path: 793
lola: goal oriented search: 2057
lola: symmetry: 159
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2087
sara: try reading problem file stateEquationProblem-ConstantPlace-597.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2782
sara: try reading problem file stateEquationProblem-ConstantPlace-2597.sara.
lola: reporting
lola: not produced: 387
lola: state equation: 157
lola: find path: 793
lola: goal oriented search: 2057
lola: symmetry: 160
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2143
sara: try reading problem file stateEquationProblem-ConstantPlace-828.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1169
sara: try reading problem file stateEquationProblem-ConstantPlace-1733.sara.
lola: reporting
lola: not produced: 377
lola: state equation: 159
lola: find path: 801
lola: goal oriented search: 2057
lola: symmetry: 160
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3508
sara: try reading problem file stateEquationProblem-ConstantPlace-978.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2385
sara: try reading problem file stateEquationProblem-ConstantPlace-1403.sara.
lola: reporting
lola: not produced: 374
lola: state equation: 161
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 160
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p494
sara: try reading problem file stateEquationProblem-ConstantPlace-1568.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 373
lola: state equation: 162
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 160
lola: STATE EQUATION TRIES PLACE p1043
sara: try reading problem file stateEquationProblem-ConstantPlace-1382.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p890
sara: try reading problem file stateEquationProblem-ConstantPlace-2764.sara.
lola: reporting
lola: not produced: 371
lola: state equation: 164
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 160
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3452
sara: try reading problem file stateEquationProblem-ConstantPlace-783.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3299
sara: try reading problem file stateEquationProblem-ConstantPlace-409.sara.
lola: reporting
lola: not produced: 369
lola: state equation: 166
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 160
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3511
sara: try reading problem file stateEquationProblem-ConstantPlace-991.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2956
sara: try reading problem file stateEquationProblem-ConstantPlace-3235.sara.
lola: reporting
lola: not produced: 367
lola: state equation: 168
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 160
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2879
sara: try reading problem file stateEquationProblem-ConstantPlace-2891.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1837
sara: try reading problem file stateEquationProblem-ConstantPlace-3491.sara.
lola: reporting
lola: not produced: 365
lola: state equation: 170
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 160
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2317
sara: try reading problem file stateEquationProblem-ConstantPlace-1281.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2815
sara: try reading problem file stateEquationProblem-ConstantPlace-2779.sara.
lola: reporting
lola: not produced: 361
lola: state equation: 172
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1709
sara: try reading problem file stateEquationProblem-ConstantPlace-3363.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2360
sara: try reading problem file stateEquationProblem-ConstantPlace-1354.sara.
lola: reporting
lola: not produced: 359
lola: state equation: 174
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1628
sara: try reading problem file stateEquationProblem-ConstantPlace-3242.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2184
sara: try reading problem file stateEquationProblem-ConstantPlace-894.sara.
lola: reporting
lola: not produced: 357
lola: state equation: 176
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3467
sara: try reading problem file stateEquationProblem-ConstantPlace-813.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3440
sara: try reading problem file stateEquationProblem-ConstantPlace-760.sara.
lola: reporting
lola: not produced: 355
lola: state equation: 178
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2316
sara: try reading problem file stateEquationProblem-ConstantPlace-1280.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2690
sara: try reading problem file stateEquationProblem-ConstantPlace-2314.sara.
lola: reporting
lola: not produced: 353
lola: state equation: 180
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2969
sara: try reading problem file stateEquationProblem-ConstantPlace-3261.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2293
sara: try reading problem file stateEquationProblem-ConstantPlace-1157.sara.
lola: reporting
lola: not produced: 351
lola: state equation: 182
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1343
sara: try reading problem file stateEquationProblem-ConstantPlace-2282.sara.
lola: reporting
lola: not produced: 350
lola: state equation: 183
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1523
sara: try reading problem file stateEquationProblem-ConstantPlace-2842.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3497
sara: try reading problem file stateEquationProblem-ConstantPlace-873.sara.
lola: reporting
lola: not produced: 348
lola: state equation: 185
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1040
sara: try reading problem file stateEquationProblem-ConstantPlace-1376.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2070
sara: try reading problem file stateEquationProblem-ConstantPlace-580.sara.
lola: reporting
lola: not produced: 346
lola: state equation: 187
lola: find path: 802
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2176
sara: try reading problem file stateEquationProblem-ConstantPlace-886.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1183
sara: try reading problem file stateEquationProblem-ConstantPlace-1747.sara.
lola: reporting
lola: not produced: 338
lola: state equation: 189
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3158
sara: try reading problem file stateEquationProblem-ConstantPlace-268.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1730
sara: try reading problem file stateEquationProblem-ConstantPlace-3384.sara.
lola: reporting
lola: not produced: 336
lola: state equation: 191
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2213
sara: try reading problem file stateEquationProblem-ConstantPlace-1068.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2173
sara: try reading problem file stateEquationProblem-ConstantPlace-883.sara.
lola: reporting
lola: not produced: 334
lola: state equation: 193
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p78
sara: try reading problem file stateEquationProblem-ConstantPlace-3162.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 333
lola: state equation: 194
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
lola: STATE EQUATION TRIES PLACE p2753
sara: try reading problem file stateEquationProblem-ConstantPlace-2539.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3512
sara: try reading problem file stateEquationProblem-ConstantPlace-992.sara.
lola: reporting
lola: not produced: 331
lola: state equation: 196
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1522
sara: try reading problem file stateEquationProblem-ConstantPlace-2840.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2940
sara: try reading problem file stateEquationProblem-ConstantPlace-3194.sara.
lola: reporting
lola: not produced: 329
lola: state equation: 198
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1448
sara: try reading problem file stateEquationProblem-ConstantPlace-2592.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3451
sara: try reading problem file stateEquationProblem-ConstantPlace-781.sara.
lola: reporting
lola: not produced: 327
lola: state equation: 200
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2141
sara: try reading problem file stateEquationProblem-ConstantPlace-824.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2297
sara: try reading problem file stateEquationProblem-ConstantPlace-1161.sara.
lola: reporting
lola: not produced: 325
lola: state equation: 202
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2746
sara: try reading problem file stateEquationProblem-ConstantPlace-2525.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1717
sara: try reading problem file stateEquationProblem-ConstantPlace-3371.sara.
lola: reporting
lola: not produced: 323
lola: state equation: 204
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1711
sara: try reading problem file stateEquationProblem-ConstantPlace-3365.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2810
sara: try reading problem file stateEquationProblem-ConstantPlace-2774.sara.
lola: reporting
lola: not produced: 321
lola: state equation: 206
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3027
sara: try reading problem file stateEquationProblem-ConstantPlace-127.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p969
sara: try reading problem file stateEquationProblem-ConstantPlace-3043.sara.
lola: reporting
lola: not produced: 319
lola: state equation: 208
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2167
sara: try reading problem file stateEquationProblem-ConstantPlace-876.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1503
sara: try reading problem file stateEquationProblem-ConstantPlace-2802.sara.
lola: reporting
lola: not produced: 317
lola: state equation: 210
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3162
sara: try reading problem file stateEquationProblem-ConstantPlace-272.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2425
sara: try reading problem file stateEquationProblem-ConstantPlace-1589.sara.
lola: reporting
lola: not produced: 315
lola: state equation: 212
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2142
sara: try reading problem file stateEquationProblem-ConstantPlace-826.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3026
sara: try reading problem file stateEquationProblem-ConstantPlace-126.sara.
lola: reporting
lola: not produced: 313
lola: state equation: 214
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2324
sara: try reading problem file stateEquationProblem-ConstantPlace-1288.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2152
sara: try reading problem file stateEquationProblem-ConstantPlace-846.sara.
lola: reporting
lola: not produced: 311
lola: state equation: 216
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2671
sara: try reading problem file stateEquationProblem-ConstantPlace-2275.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1200
sara: try reading problem file stateEquationProblem-ConstantPlace-1896.sara.
lola: reporting
lola: not produced: 309
lola: state equation: 218
lola: find path: 808
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2025
sara: try reading problem file stateEquationProblem-ConstantPlace-492.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 303
lola: state equation: 219
lola: find path: 813
lola: goal oriented search: 2057
lola: symmetry: 162
lola: STATE EQUATION TRIES PLACE p3236
sara: try reading problem file stateEquationProblem-ConstantPlace-346.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3156
sara: try reading problem file stateEquationProblem-ConstantPlace-266.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 301
lola: state equation: 221
lola: find path: 813
lola: goal oriented search: 2057
lola: symmetry: 162
lola: STATE EQUATION TRIES PLACE p2700
sara: try reading problem file stateEquationProblem-ConstantPlace-2454.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2702
sara: try reading problem file stateEquationProblem-ConstantPlace-2456.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2781
lola: reporting
lola: not produced: 298
lola: state equation: 224
lola: find path: 813
lola: goal oriented search: 2057
lola: symmetry: 162
sara: try reading problem file stateEquationProblem-ConstantPlace-2595.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2814
sara: try reading problem file stateEquationProblem-ConstantPlace-2778.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1705
sara: try reading problem file stateEquationProblem-ConstantPlace-3359.sara.
lola: reporting
lola: not produced: 294
lola: state equation: 226
lola: find path: 815
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2500
sara: try reading problem file stateEquationProblem-ConstantPlace-1854.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 293
lola: state equation: 227
lola: find path: 815
lola: goal oriented search: 2057
lola: symmetry: 162
lola: STATE EQUATION TRIES PLACE p3436
sara: try reading problem file stateEquationProblem-ConstantPlace-741.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p117
sara: try reading problem file stateEquationProblem-ConstantPlace-627.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 290
lola: state equation: 229
lola: find path: 816
lola: goal oriented search: 2057
lola: symmetry: 162
lola: STATE EQUATION TRIES PLACE p2031
sara: try reading problem file stateEquationProblem-ConstantPlace-504.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2732
sara: try reading problem file stateEquationProblem-ConstantPlace-2497.sara.
lola: reporting
lola: not produced: 288
lola: state equation: 231
lola: find path: 816
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2085
sara: try reading problem file stateEquationProblem-ConstantPlace-595.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3475
sara: try reading problem file stateEquationProblem-ConstantPlace-829.sara.
lola: reporting
lola: not produced: 286
lola: state equation: 233
lola: find path: 816
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2024
sara: try reading problem file stateEquationProblem-ConstantPlace-490.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 285
lola: state equation: 234
lola: find path: 816
lola: goal oriented search: 2057
lola: symmetry: 162
lola: STATE EQUATION TRIES PLACE p3173
sara: try reading problem file stateEquationProblem-ConstantPlace-283.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3351
sara: try reading problem file stateEquationProblem-ConstantPlace-481.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 283
lola: state equation: 236
lola: find path: 816
lola: goal oriented search: 2057
lola: symmetry: 162
lola: STATE EQUATION TRIES PLACE p1643
sara: try reading problem file stateEquationProblem-ConstantPlace-3272.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2939
sara: try reading problem file stateEquationProblem-ConstantPlace-3181.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3033
lola: reporting
lola: not produced: 280
lola: state equation: 239
lola: find path: 816
lola: goal oriented search: 2057
lola: symmetry: 162
sara: try reading problem file stateEquationProblem-ConstantPlace-133.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3421
sara: try reading problem file stateEquationProblem-ConstantPlace-711.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2359
sara: try reading problem file stateEquationProblem-ConstantPlace-1351.sara.
lola: reporting
lola: not produced: 278
lola: state equation: 241
lola: find path: 816
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2132
sara: try reading problem file stateEquationProblem-ConstantPlace-806.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 277
lola: state equation: 242
lola: find path: 816
lola: goal oriented search: 2057
lola: symmetry: 162
lola: STATE EQUATION TRIES PLACE p3392
sara: try reading problem file stateEquationProblem-ConstantPlace-563.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3181
sara: try reading problem file stateEquationProblem-ConstantPlace-291.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2086
sara: try reading problem file stateEquationProblem-ConstantPlace-596.sara.
lola: reporting
lola: not produced: 274
lola: state equation: 245
lola: find path: 816
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1834
sara: try reading problem file stateEquationProblem-ConstantPlace-3488.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 273
lola: state equation: 246
lola: find path: 816
lola: goal oriented search: 2057
lola: symmetry: 162
lola: STATE EQUATION TRIES PLACE p2169
sara: try reading problem file stateEquationProblem-ConstantPlace-879.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1362
sara: try reading problem file stateEquationProblem-ConstantPlace-2320.sara.
lola: reporting
lola: not produced: 269
lola: state equation: 248
lola: find path: 818
lola: goal oriented search: 2057
lola: symmetry: 162
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2517
sara: try reading problem file stateEquationProblem-ConstantPlace-1881.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2686
sara: try reading problem file stateEquationProblem-ConstantPlace-2305.sara.
lola: reporting
lola: not produced: 266
lola: state equation: 250
lola: find path: 818
lola: goal oriented search: 2057
lola: symmetry: 163
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2427
sara: try reading problem file stateEquationProblem-ConstantPlace-1591.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1520
sara: try reading problem file stateEquationProblem-ConstantPlace-2836.sara.
lola: reporting
lola: not produced: 264
lola: state equation: 252
lola: find path: 818
lola: goal oriented search: 2057
lola: symmetry: 163
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2366
sara: try reading problem file stateEquationProblem-ConstantPlace-1365.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2693
sara: try reading problem file stateEquationProblem-ConstantPlace-2319.sara.
lola: reporting
lola: not produced: 262
lola: state equation: 254
lola: find path: 818
lola: goal oriented search: 2057
lola: symmetry: 163
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2126
sara: try reading problem file stateEquationProblem-ConstantPlace-794.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2774
sara: try reading problem file stateEquationProblem-ConstantPlace-2581.sara.
lola: reporting
lola: not produced: 260
lola: state equation: 256
lola: find path: 818
lola: goal oriented search: 2057
lola: symmetry: 163
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3474
sara: try reading problem file stateEquationProblem-ConstantPlace-827.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1511
sara: try reading problem file stateEquationProblem-ConstantPlace-2818.sara.
lola: reporting
lola: not produced: 258
lola: state equation: 258
lola: find path: 818
lola: goal oriented search: 2057
lola: symmetry: 163
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3157
sara: try reading problem file stateEquationProblem-ConstantPlace-267.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1615
sara: try reading problem file stateEquationProblem-ConstantPlace-3206.sara.
lola: reporting
lola: not produced: 256
lola: state equation: 260
lola: find path: 818
lola: goal oriented search: 2057
lola: symmetry: 163
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1516
sara: try reading problem file stateEquationProblem-ConstantPlace-2828.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2006
sara: try reading problem file stateEquationProblem-ConstantPlace-454.sara.
lola: reporting
lola: not produced: 254
lola: state equation: 262
lola: find path: 818
lola: goal oriented search: 2057
lola: symmetry: 163
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2121
sara: try reading problem file stateEquationProblem-ConstantPlace-784.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2007
sara: try reading problem file stateEquationProblem-ConstantPlace-456.sara.
lola: reporting
lola: not produced: 252
lola: state equation: 264
lola: find path: 818
lola: goal oriented search: 2057
lola: symmetry: 163
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2841
sara: try reading problem file stateEquationProblem-ConstantPlace-2815.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2694
sara: try reading problem file stateEquationProblem-ConstantPlace-2321.sara.
lola: reporting
lola: not produced: 250
lola: state equation: 266
lola: find path: 818
lola: goal oriented search: 2057
lola: symmetry: 163
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2325
sara: try reading problem file stateEquationProblem-ConstantPlace-1289.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1704
sara: try reading problem file stateEquationProblem-ConstantPlace-3358.sara.
lola: reporting
lola: not produced: 248
lola: state equation: 268
lola: find path: 818
lola: goal oriented search: 2057
lola: symmetry: 163
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3468
sara: try reading problem file stateEquationProblem-ConstantPlace-815.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2780
sara: try reading problem file stateEquationProblem-ConstantPlace-2594.sara.
lola: reporting
lola: not produced: 244
lola: state equation: 270
lola: find path: 820
lola: goal oriented search: 2057
lola: symmetry: 163
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2181
sara: try reading problem file stateEquationProblem-ConstantPlace-891.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2977
sara: try reading problem file stateEquationProblem-ConstantPlace-3277.sara.
lola: reporting
lola: not produced: 242
lola: state equation: 272
lola: find path: 820
lola: goal oriented search: 2057
lola: symmetry: 163
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2095
sara: try reading problem file stateEquationProblem-ConstantPlace-605.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 238
lola: state equation: 273
lola: find path: 821
lola: goal oriented search: 2057
lola: symmetry: 165
lola: STATE EQUATION TRIES PLACE p2306
sara: try reading problem file stateEquationProblem-ConstantPlace-1260.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2140
sara: try reading problem file stateEquationProblem-ConstantPlace-822.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 236
lola: state equation: 275
lola: find path: 821
lola: goal oriented search: 2057
lola: symmetry: 165
lola: STATE EQUATION TRIES PLACE p1718
sara: try reading problem file stateEquationProblem-ConstantPlace-3372.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3506
sara: try reading problem file stateEquationProblem-ConstantPlace-976.sara.
lola: reporting
lola: not produced: 234
lola: state equation: 277
lola: find path: 821
lola: goal oriented search: 2057
lola: symmetry: 165
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2816
sara: try reading problem file stateEquationProblem-ConstantPlace-2780.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p118
sara: try reading problem file stateEquationProblem-ConstantPlace-628.sara.
lola: reporting
lola: not produced: 232
lola: state equation: 279
lola: find path: 821
lola: goal oriented search: 2057
lola: symmetry: 165
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2961
sara: try reading problem file stateEquationProblem-ConstantPlace-3245.sara.
lola: reporting
lola: not produced: 231
lola: state equation: 280
lola: find path: 821
lola: goal oriented search: 2057
lola: symmetry: 165
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2499
sara: try reading problem file stateEquationProblem-ConstantPlace-1731.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3087
sara: try reading problem file stateEquationProblem-ConstantPlace-197.sara.
lola: reporting
lola: not produced: 229
lola: state equation: 282
lola: find path: 821
lola: goal oriented search: 2057
lola: symmetry: 165
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1518
sara: try reading problem file stateEquationProblem-ConstantPlace-2832.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2510
sara: try reading problem file stateEquationProblem-ConstantPlace-1874.sara.
lola: reporting
lola: not produced: 227
lola: state equation: 284
lola: find path: 821
lola: goal oriented search: 2057
lola: symmetry: 165
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3224
sara: try reading problem file stateEquationProblem-ConstantPlace-334.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2188
sara: try reading problem file stateEquationProblem-ConstantPlace-898.sara.
lola: reporting
lola: not produced: 225
lola: state equation: 286
lola: find path: 821
lola: goal oriented search: 2057
lola: symmetry: 165
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3228
sara: try reading problem file stateEquationProblem-ConstantPlace-338.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2301
sara: try reading problem file stateEquationProblem-ConstantPlace-1255.sara.
lola: reporting
lola: not produced: 223
lola: state equation: 288
lola: find path: 821
lola: goal oriented search: 2057
lola: symmetry: 165
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1898
sara: try reading problem file stateEquationProblem-ConstantPlace-3026.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3332
sara: try reading problem file stateEquationProblem-ConstantPlace-443.sara.
lola: reporting
lola: not produced: 218
lola: state equation: 290
lola: find path: 824
lola: goal oriented search: 2057
lola: symmetry: 165
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2687
sara: try reading problem file stateEquationProblem-ConstantPlace-2307.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2168
sara: try reading problem file stateEquationProblem-ConstantPlace-878.sara.
lola: reporting
lola: not produced: 216
lola: state equation: 292
lola: find path: 824
lola: goal oriented search: 2057
lola: symmetry: 165
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2172
sara: try reading problem file stateEquationProblem-ConstantPlace-882.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2119
sara: try reading problem file stateEquationProblem-ConstantPlace-779.sara.
lola: reporting
lola: not produced: 214
lola: state equation: 294
lola: find path: 824
lola: goal oriented search: 2057
lola: symmetry: 165
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3090
sara: try reading problem file stateEquationProblem-ConstantPlace-200.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3514
sara: try reading problem file stateEquationProblem-ConstantPlace-994.sara.
lola: reporting
lola: not produced: 212
lola: state equation: 296
lola: find path: 824
lola: goal oriented search: 2057
lola: symmetry: 165
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2775
sara: try reading problem file stateEquationProblem-ConstantPlace-2583.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2638
sara: try reading problem file stateEquationProblem-ConstantPlace-2209.sara.
lola: reporting
lola: not produced: 210
lola: state equation: 298
lola: find path: 824
lola: goal oriented search: 2057
lola: symmetry: 165
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3437
sara: try reading problem file stateEquationProblem-ConstantPlace-743.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3352
sara: try reading problem file stateEquationProblem-ConstantPlace-483.sara.
lola: reporting
lola: not produced: 207
lola: state equation: 300
lola: find path: 824
lola: goal oriented search: 2057
lola: symmetry: 166
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2698
sara: try reading problem file stateEquationProblem-ConstantPlace-2329.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3477
sara: try reading problem file stateEquationProblem-ConstantPlace-833.sara.
lola: reporting
lola: not produced: 205
lola: state equation: 302
lola: find path: 824
lola: goal oriented search: 2057
lola: symmetry: 166
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2276
sara: try reading problem file stateEquationProblem-ConstantPlace-1140.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3409
sara: try reading problem file stateEquationProblem-ConstantPlace-679.sara.
lola: reporting
lola: not produced: 203
lola: state equation: 304
lola: find path: 824
lola: goal oriented search: 2057
lola: symmetry: 166
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2292
sara: try reading problem file stateEquationProblem-ConstantPlace-1156.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2963
sara: try reading problem file stateEquationProblem-ConstantPlace-3249.sara.
lola: reporting
lola: not produced: 201
lola: state equation: 306
lola: find path: 824
lola: goal oriented search: 2057
lola: symmetry: 166
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1829
sara: try reading problem file stateEquationProblem-ConstantPlace-3483.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3509
sara: try reading problem file stateEquationProblem-ConstantPlace-979.sara.
lola: reporting
lola: not produced: 199
lola: state equation: 308
lola: find path: 824
lola: goal oriented search: 2057
lola: symmetry: 166
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2957
sara: try reading problem file stateEquationProblem-ConstantPlace-3237.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3159
sara: try reading problem file stateEquationProblem-ConstantPlace-269.sara.
lola: reporting
lola: not produced: 197
lola: state equation: 310
lola: find path: 824
lola: goal oriented search: 2057
lola: symmetry: 166
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1975
sara: try reading problem file stateEquationProblem-ConstantPlace-75.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2714
sara: try reading problem file stateEquationProblem-ConstantPlace-2478.sara.
lola: reporting
lola: not produced: 194
lola: state equation: 312
lola: find path: 824
lola: goal oriented search: 2057
lola: symmetry: 167
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1517
sara: try reading problem file stateEquationProblem-ConstantPlace-2830.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3513
sara: try reading problem file stateEquationProblem-ConstantPlace-993.sara.
lola: reporting
lola: not produced: 191
lola: state equation: 314
lola: find path: 825
lola: goal oriented search: 2057
lola: symmetry: 167
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2955
sara: try reading problem file stateEquationProblem-ConstantPlace-3233.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2758
sara: try reading problem file stateEquationProblem-ConstantPlace-2549.sara.
lola: reporting
lola: not produced: 189
lola: state equation: 316
lola: find path: 825
lola: goal oriented search: 2057
lola: symmetry: 167
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1616
sara: try reading problem file stateEquationProblem-ConstantPlace-3208.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3449
sara: try reading problem file stateEquationProblem-ConstantPlace-777.sara.
lola: reporting
lola: not produced: 186
lola: state equation: 318
lola: find path: 826
lola: goal oriented search: 2057
lola: symmetry: 167
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2971
sara: try reading problem file stateEquationProblem-ConstantPlace-3265.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3182
sara: try reading problem file stateEquationProblem-ConstantPlace-292.sara.
lola: reporting
lola: not produced: 184
lola: state equation: 320
lola: find path: 826
lola: goal oriented search: 2057
lola: symmetry: 167
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2131
sara: try reading problem file stateEquationProblem-ConstantPlace-804.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1361
sara: try reading problem file stateEquationProblem-ConstantPlace-2318.sara.
lola: reporting
lola: not produced: 181
lola: state equation: 322
lola: find path: 826
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3025
sara: try reading problem file stateEquationProblem-ConstantPlace-125.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2962
sara: try reading problem file stateEquationProblem-ConstantPlace-3247.sara.
lola: reporting
lola: not produced: 179
lola: state equation: 324
lola: find path: 826
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1167
sara: try reading problem file stateEquationProblem-ConstantPlace-1730.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2776
sara: try reading problem file stateEquationProblem-ConstantPlace-2585.sara.
lola: reporting
lola: not produced: 177
lola: state equation: 326
lola: find path: 826
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2125
sara: try reading problem file stateEquationProblem-ConstantPlace-792.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p964
sara: try reading problem file stateEquationProblem-ConstantPlace-3038.sara.
lola: reporting
lola: not produced: 175
lola: state equation: 328
lola: find path: 826
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3466
sara: try reading problem file stateEquationProblem-ConstantPlace-811.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2778
sara: try reading problem file stateEquationProblem-ConstantPlace-2589.sara.
lola: reporting
lola: not produced: 173
lola: state equation: 330
lola: find path: 826
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3089
sara: try reading problem file stateEquationProblem-ConstantPlace-199.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1702
sara: try reading problem file stateEquationProblem-ConstantPlace-3356.sara.
lola: reporting
lola: not produced: 171
lola: state equation: 332
lola: find path: 826
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1613
sara: try reading problem file stateEquationProblem-ConstantPlace-3202.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1039
sara: try reading problem file stateEquationProblem-ConstantPlace-1373.sara.
lola: reporting
lola: not produced: 169
lola: state equation: 334
lola: find path: 826
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1699
sara: try reading problem file stateEquationProblem-ConstantPlace-3353.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 168
lola: state equation: 335
lola: find path: 826
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p3399
sara: try reading problem file stateEquationProblem-ConstantPlace-577.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3418
sara: try reading problem file stateEquationProblem-ConstantPlace-698.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3479
lola: reporting
lola: not produced: 165
lola: state equation: 338
lola: find path: 826
lola: goal oriented search: 2057
lola: symmetry: 168
sara: try reading problem file stateEquationProblem-ConstantPlace-837.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p156
sara: try reading problem file stateEquationProblem-ConstantPlace-666.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 163
lola: state equation: 339
lola: find path: 827
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p3495
sara: try reading problem file stateEquationProblem-ConstantPlace-869.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 162
lola: state equation: 340
lola: find path: 827
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p2959
sara: try reading problem file stateEquationProblem-ConstantPlace-3241.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2299
sara: try reading problem file stateEquationProblem-ConstantPlace-1163.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 159
lola: state equation: 342
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p3469
sara: try reading problem file stateEquationProblem-ConstantPlace-817.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1836
sara: try reading problem file stateEquationProblem-ConstantPlace-3490.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 157
lola: state equation: 344
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p3454
sara: try reading problem file stateEquationProblem-ConstantPlace-787.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1098
sara: try reading problem file stateEquationProblem-ConstantPlace-1462.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 155
lola: state equation: 346
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p3091
sara: try reading problem file stateEquationProblem-ConstantPlace-201.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2130
sara: try reading problem file stateEquationProblem-ConstantPlace-802.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 153
lola: state equation: 348
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p2180
sara: try reading problem file stateEquationProblem-ConstantPlace-890.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3494
sara: try reading problem file stateEquationProblem-ConstantPlace-867.sara.
lola: reporting
lola: not produced: 151
lola: state equation: 350
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1611
sara: try reading problem file stateEquationProblem-ConstantPlace-3198.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3029
sara: try reading problem file stateEquationProblem-ConstantPlace-129.sara.
lola: reporting
lola: not produced: 149
lola: state equation: 352
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1360
sara: try reading problem file stateEquationProblem-ConstantPlace-2316.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2689
sara: try reading problem file stateEquationProblem-ConstantPlace-2311.sara.
lola: reporting
lola: not produced: 147
lola: state equation: 354
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2166
sara: try reading problem file stateEquationProblem-ConstantPlace-874.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2033
sara: try reading problem file stateEquationProblem-ConstantPlace-508.sara.
lola: reporting
lola: not produced: 145
lola: state equation: 356
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3439
sara: try reading problem file stateEquationProblem-ConstantPlace-747.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1429
sara: try reading problem file stateEquationProblem-ConstantPlace-2553.sara.
lola: reporting
lola: not produced: 143
lola: state equation: 358
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1042
sara: try reading problem file stateEquationProblem-ConstantPlace-1380.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1863
sara: try reading problem file stateEquationProblem-ConstantPlace-3517.sara.
lola: reporting
lola: not produced: 141
lola: state equation: 360
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2837
sara: try reading problem file stateEquationProblem-ConstantPlace-2807.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2127
sara: try reading problem file stateEquationProblem-ConstantPlace-796.sara.
lola: reporting
lola: not produced: 139
lola: state equation: 362
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3457
sara: try reading problem file stateEquationProblem-ConstantPlace-793.sara.
lola: reporting
lola: not produced: 138
lola: state equation: 363
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3507
sara: try reading problem file stateEquationProblem-ConstantPlace-977.sara.
lola: reporting
lola: not produced: 137
lola: state equation: 364
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1710
sara: try reading problem file stateEquationProblem-ConstantPlace-3364.sara.
lola: reporting
lola: not produced: 136
lola: state equation: 365
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2028
sara: try reading problem file stateEquationProblem-ConstantPlace-498.sara.
lola: reporting
lola: not produced: 135
lola: state equation: 366
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1716
sara: try reading problem file stateEquationProblem-ConstantPlace-3370.sara.
lola: reporting
lola: not produced: 134
lola: state equation: 367
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3028
sara: try reading problem file stateEquationProblem-ConstantPlace-128.sara.
lola: reporting
lola: not produced: 133
lola: state equation: 368
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3293
lola: reporting
lola: not produced: 132
lola: state equation: 369
lola: find path: 828
lola: goal oriented search: 2057
lola: symmetry: 168
sara: try reading problem file stateEquationProblem-ConstantPlace-403.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3441
lola: reporting
lola: not produced: 130
lola: state equation: 370
lola: find path: 829
lola: goal oriented search: 2057
lola: symmetry: 168
sara: try reading problem file stateEquationProblem-ConstantPlace-761.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2754
sara: try reading problem file stateEquationProblem-ConstantPlace-2541.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 129
lola: state equation: 371
lola: find path: 829
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p3359
sara: try reading problem file stateEquationProblem-ConstantPlace-497.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2083
sara: try reading problem file stateEquationProblem-ConstantPlace-593.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 127
lola: state equation: 373
lola: find path: 829
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p1184
sara: try reading problem file stateEquationProblem-ConstantPlace-1748.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3220
sara: try reading problem file stateEquationProblem-ConstantPlace-330.sara.
lola: reporting
lola: not produced: 125
lola: state equation: 375
lola: find path: 829
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2777
sara: try reading problem file stateEquationProblem-ConstantPlace-2587.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3413
sara: try reading problem file stateEquationProblem-ConstantPlace-693.sara.
lola: reporting
lola: not produced: 123
lola: state equation: 377
lola: find path: 829
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1707
sara: try reading problem file stateEquationProblem-ConstantPlace-3361.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2298
sara: try reading problem file stateEquationProblem-ConstantPlace-1162.sara.
lola: reporting
lola: not produced: 121
lola: state equation: 379
lola: find path: 829
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3402
sara: try reading problem file stateEquationProblem-ConstantPlace-672.sara.
lola: reporting
lola: not produced: 120
lola: state equation: 380
lola: find path: 829
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1524
sara: try reading problem file stateEquationProblem-ConstantPlace-2844.sara.
lola: reporting
lola: not produced: 119
lola: state equation: 381
lola: find path: 829
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1618
sara: try reading problem file stateEquationProblem-ConstantPlace-3212.sara.
lola: reporting
lola: not produced: 118
lola: state equation: 382
lola: find path: 829
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1831
sara: try reading problem file stateEquationProblem-ConstantPlace-3485.sara.
lola: reporting
lola: not produced: 116
lola: state equation: 383
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2691
sara: try reading problem file stateEquationProblem-ConstantPlace-2315.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3155
lola: reporting
lola: not produced: 114
lola: state equation: 385
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
sara: try reading problem file stateEquationProblem-ConstantPlace-265.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3350
sara: try reading problem file stateEquationProblem-ConstantPlace-480.sara.
lola: reporting
lola: not produced: 113
lola: state equation: 386
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3472
sara: try reading problem file stateEquationProblem-ConstantPlace-823.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1629
sara: try reading problem file stateEquationProblem-ConstantPlace-3243.sara.
lola: reporting
lola: not produced: 111
lola: state equation: 388
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p887
sara: try reading problem file stateEquationProblem-ConstantPlace-2751.sara.
lola: reporting
lola: not produced: 110
lola: state equation: 389
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3226
sara: try reading problem file stateEquationProblem-ConstantPlace-336.sara.
lola: reporting
lola: not produced: 109
lola: state equation: 390
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1476
sara: try reading problem file stateEquationProblem-ConstantPlace-2640.sara.
lola: reporting
lola: not produced: 108
lola: state equation: 391
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2034
sara: try reading problem file stateEquationProblem-ConstantPlace-510.sara.
lola: reporting
lola: not produced: 107
lola: state equation: 392
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1833
sara: try reading problem file stateEquationProblem-ConstantPlace-3487.sara.
lola: reporting
lola: not produced: 106
lola: state equation: 393
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3510
sara: try reading problem file stateEquationProblem-ConstantPlace-990.sara.
lola: reporting
lola: not produced: 105
lola: state equation: 394
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p158
sara: try reading problem file stateEquationProblem-ConstantPlace-668.sara.
lola: reporting
lola: not produced: 104
lola: state equation: 395
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 104
lola: state equation: 395
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p2779
sara: try reading problem file stateEquationProblem-ConstantPlace-2591.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2128
sara: try reading problem file stateEquationProblem-ConstantPlace-798.sara.
lola: reporting
lola: not produced: 102
lola: state equation: 397
lola: find path: 830
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1489
sara: try reading problem file stateEquationProblem-ConstantPlace-2653.sara.
lola: reporting
lola: not produced: 98
lola: state equation: 398
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2151
sara: try reading problem file stateEquationProblem-ConstantPlace-844.sara.
lola: reporting
lola: not produced: 97
lola: state equation: 399
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3189
sara: try reading problem file stateEquationProblem-ConstantPlace-299.sara.
lola: reporting
lola: not produced: 96
lola: state equation: 400
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1703
sara: try reading problem file stateEquationProblem-ConstantPlace-3357.sara.
lola: reporting
lola: not produced: 95
lola: state equation: 401
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3505
sara: try reading problem file stateEquationProblem-ConstantPlace-975.sara.
lola: reporting
lola: not produced: 94
lola: state equation: 402
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2699
sara: try reading problem file stateEquationProblem-ConstantPlace-2331.sara.
lola: reporting
lola: not produced: 93
lola: state equation: 403
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2307
sara: try reading problem file stateEquationProblem-ConstantPlace-1261.sara.
lola: reporting
lola: not produced: 92
lola: state equation: 404
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2084
sara: try reading problem file stateEquationProblem-ConstantPlace-594.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3492
lola: reporting
lola: not produced: 90
lola: state equation: 406
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: try reading problem file stateEquationProblem-ConstantPlace-863.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1041
lola: reporting
lola: not produced: 89
lola: state equation: 407
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: try reading problem file stateEquationProblem-ConstantPlace-1378.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2695
lola: reporting
lola: not produced: 88
lola: state equation: 408
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: try reading problem file stateEquationProblem-ConstantPlace-2323.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2294
sara: try reading problem file stateEquationProblem-ConstantPlace-1158.sara.
lola: reporting
lola: not produced: 87
lola: state equation: 409
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3172
sara: try reading problem file stateEquationProblem-ConstantPlace-282.sara.
lola: reporting
lola: not produced: 86
lola: state equation: 410
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3496
sara: try reading problem file stateEquationProblem-ConstantPlace-871.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 85
lola: state equation: 411
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p3035
sara: try reading problem file stateEquationProblem-ConstantPlace-135.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 84
lola: state equation: 412
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p2175
sara: try reading problem file stateEquationProblem-ConstantPlace-885.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2186
sara: try reading problem file stateEquationProblem-ConstantPlace-896.sara.
lola: reporting
lola: not produced: 82
lola: state equation: 414
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3032
sara: try reading problem file stateEquationProblem-ConstantPlace-132.sara.
lola: reporting
lola: not produced: 81
lola: state equation: 415
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2838
sara: try reading problem file stateEquationProblem-ConstantPlace-2809.sara.
lola: reporting
lola: not produced: 80
lola: state equation: 416
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2773
sara: try reading problem file stateEquationProblem-ConstantPlace-2579.sara.
lola: reporting
lola: not produced: 79
lola: state equation: 417
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3356
sara: try reading problem file stateEquationProblem-ConstantPlace-491.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1484
sara: try reading problem file stateEquationProblem-ConstantPlace-2648.sara.
lola: reporting
lola: not produced: 77
lola: state equation: 419
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3334
sara: try reading problem file stateEquationProblem-ConstantPlace-447.sara.
lola: reporting
lola: not produced: 76
lola: state equation: 420
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2970
sara: try reading problem file stateEquationProblem-ConstantPlace-3264.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2051
sara: try reading problem file stateEquationProblem-ConstantPlace-544.sara.
lola: reporting
lola: not produced: 74
lola: state equation: 422
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2747
sara: try reading problem file stateEquationProblem-ConstantPlace-2527.sara.
lola: reporting
lola: not produced: 73
lola: state equation: 423
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3444
sara: try reading problem file stateEquationProblem-ConstantPlace-767.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1697
sara: try reading problem file stateEquationProblem-ConstantPlace-3351.sara.
lola: reporting
lola: not produced: 71
lola: state equation: 425
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3355
sara: try reading problem file stateEquationProblem-ConstantPlace-489.sara.
lola: reporting
lola: not produced: 70
lola: state equation: 426
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3412
sara: try reading problem file stateEquationProblem-ConstantPlace-692.sara.
lola: reporting
lola: not produced: 69
lola: state equation: 427
lola: find path: 833
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2275
sara: try reading problem file stateEquationProblem-ConstantPlace-1139.sara.
lola: reporting
lola: not produced: 66
lola: state equation: 428
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2110
sara: try reading problem file stateEquationProblem-ConstantPlace-762.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 65
lola: state equation: 429
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p2494
sara: try reading problem file stateEquationProblem-ConstantPlace-1721.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3031
sara: try reading problem file stateEquationProblem-ConstantPlace-131.sara.
lola: reporting
lola: not produced: 63
lola: state equation: 431
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2123
sara: try reading problem file stateEquationProblem-ConstantPlace-788.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2802
lola: reporting
lola: not produced: 61
lola: state equation: 433
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
sara: try reading problem file stateEquationProblem-ConstantPlace-2756.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2692
sara: try reading problem file stateEquationProblem-ConstantPlace-2317.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 60
lola: state equation: 434
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p2803
sara: try reading problem file stateEquationProblem-ConstantPlace-2757.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 59
lola: state equation: 435
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p2938
sara: try reading problem file stateEquationProblem-ConstantPlace-3179.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p502
sara: try reading problem file stateEquationProblem-ConstantPlace-1766.sara.
lola: reporting
lola: not produced: 57
lola: state equation: 437
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3328
sara: try reading problem file stateEquationProblem-ConstantPlace-438.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 56
lola: state equation: 438
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p972
sara: try reading problem file stateEquationProblem-ConstantPlace-3056.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1706
sara: try reading problem file stateEquationProblem-ConstantPlace-3360.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 54
lola: state equation: 440
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p2958
sara: try reading problem file stateEquationProblem-ConstantPlace-3239.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3092
sara: try reading problem file stateEquationProblem-ConstantPlace-202.sara.
lola: reporting
lola: not produced: 52
lola: state equation: 442
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2701
sara: try reading problem file stateEquationProblem-ConstantPlace-2455.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3471
sara: try reading problem file stateEquationProblem-ConstantPlace-821.sara.
lola: reporting
lola: not produced: 50
lola: state equation: 444
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3450
sara: try reading problem file stateEquationProblem-ConstantPlace-780.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1835
sara: try reading problem file stateEquationProblem-ConstantPlace-3489.sara.
lola: reporting
lola: not produced: 48
lola: state equation: 446
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2187
sara: try reading problem file stateEquationProblem-ConstantPlace-897.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2669
sara: try reading problem file stateEquationProblem-ConstantPlace-2271.sara.
lola: reporting
lola: not produced: 46
lola: state equation: 448
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2153
sara: try reading problem file stateEquationProblem-ConstantPlace-848.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p86
sara: try reading problem file stateEquationProblem-ConstantPlace-3190.sara.
lola: reporting
lola: not produced: 44
lola: state equation: 450
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2670
sara: try reading problem file stateEquationProblem-ConstantPlace-2274.sara.
lola: reporting
lola: not produced: 43
lola: state equation: 451
lola: find path: 835
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p949
sara: try reading problem file stateEquationProblem-ConstantPlace-3013.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 41
lola: state equation: 452
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p950
sara: try reading problem file stateEquationProblem-ConstantPlace-3014.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2561
sara: try reading problem file stateEquationProblem-ConstantPlace-1955.sara.
lola: reporting
lola: not produced: 39
lola: state equation: 454
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2960
sara: try reading problem file stateEquationProblem-ConstantPlace-3244.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2129
sara: try reading problem file stateEquationProblem-ConstantPlace-799.sara.
lola: reporting
lola: not produced: 37
lola: state equation: 456
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1512
sara: try reading problem file stateEquationProblem-ConstantPlace-2820.sara.
lola: reporting
lola: not produced: 36
lola: state equation: 457
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3023
sara: try reading problem file stateEquationProblem-ConstantPlace-123.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3225
sara: try reading problem file stateEquationProblem-ConstantPlace-335.sara.
lola: reporting
lola: not produced: 34
lola: state equation: 459
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2008
sara: try reading problem file stateEquationProblem-ConstantPlace-458.sara.
lola: reporting
lola: not produced: 33
lola: state equation: 460
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2026
sara: try reading problem file stateEquationProblem-ConstantPlace-494.sara.
lola: reporting
lola: not produced: 32
lola: state equation: 461
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1967
sara: try reading problem file stateEquationProblem-ConstantPlace-67.sara.
lola: reporting
lola: not produced: 31
lola: state equation: 462
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3464
sara: try reading problem file stateEquationProblem-ConstantPlace-807.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2759
lola: reporting
lola: not produced: 29
lola: state equation: 464
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: try reading problem file stateEquationProblem-ConstantPlace-2551.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2365
lola: reporting
lola: not produced: 28
lola: state equation: 465
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: try reading problem file stateEquationProblem-ConstantPlace-1363.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2509
sara: try reading problem file stateEquationProblem-ConstantPlace-1863.sara.
lola: reporting
lola: not produced: 27
lola: state equation: 466
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3493
sara: try reading problem file stateEquationProblem-ConstantPlace-865.sara.
lola: reporting
lola: not produced: 26
lola: state equation: 467
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1614
sara: try reading problem file stateEquationProblem-ConstantPlace-3204.sara.
lola: reporting
lola: not produced: 25
lola: state equation: 468
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1612
sara: try reading problem file stateEquationProblem-ConstantPlace-3200.sara.
lola: reporting
lola: not produced: 24
lola: state equation: 469
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2124
sara: try reading problem file stateEquationProblem-ConstantPlace-790.sara.
lola: reporting
lola: not produced: 23
lola: state equation: 470
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3445
sara: try reading problem file stateEquationProblem-ConstantPlace-769.sara.
lola: reporting
lola: not produced: 22
lola: state equation: 471
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2760
sara: try reading problem file stateEquationProblem-ConstantPlace-2554.sara.
lola: reporting
lola: not produced: 21
lola: state equation: 472
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3333
sara: try reading problem file stateEquationProblem-ConstantPlace-445.sara.
lola: reporting
lola: not produced: 20
lola: state equation: 473
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1713
sara: try reading problem file stateEquationProblem-ConstantPlace-3367.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1696
lola: reporting
lola: not produced: 18
lola: state equation: 475
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: try reading problem file stateEquationProblem-ConstantPlace-3350.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2029
sara: try reading problem file stateEquationProblem-ConstantPlace-499.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 17
lola: state equation: 476
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p2424
sara: try reading problem file stateEquationProblem-ConstantPlace-1588.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3470
sara: try reading problem file stateEquationProblem-ConstantPlace-820.sara.
lola: reporting
lola: not produced: 15
lola: state equation: 478
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1168
sara: try reading problem file stateEquationProblem-ConstantPlace-1732.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 14
lola: state equation: 479
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p3048
sara: try reading problem file stateEquationProblem-ConstantPlace-148.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3411
sara: try reading problem file stateEquationProblem-ConstantPlace-691.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 12
lola: state equation: 481
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p3504
sara: try reading problem file stateEquationProblem-ConstantPlace-974.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 11
lola: state equation: 482
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p2148
sara: try reading problem file stateEquationProblem-ConstantPlace-838.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2122
sara: try reading problem file stateEquationProblem-ConstantPlace-786.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 9
lola: state equation: 484
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p1720
sara: try reading problem file stateEquationProblem-ConstantPlace-3374.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 8
lola: state equation: 485
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
lola: STATE EQUATION TRIES PLACE p2091
sara: try reading problem file stateEquationProblem-ConstantPlace-601.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1700
sara: try reading problem file stateEquationProblem-ConstantPlace-3354.sara.
lola: reporting
lola: not produced: 6
lola: state equation: 487
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1363
sara: try reading problem file stateEquationProblem-ConstantPlace-2322.sara.
lola: reporting
lola: not produced: 5
lola: state equation: 488
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3458
sara: try reading problem file stateEquationProblem-ConstantPlace-795.sara.
lola: reporting
lola: not produced: 4
lola: state equation: 489
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2784
sara: try reading problem file stateEquationProblem-ConstantPlace-2601.sara.
lola: reporting
lola: not produced: 3
lola: state equation: 490
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2032
sara: try reading problem file stateEquationProblem-ConstantPlace-506.sara.
lola: reporting
lola: not produced: 2
lola: state equation: 491
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3410
sara: try reading problem file stateEquationProblem-ConstantPlace-690.sara.
lola: reporting
lola: not produced: 1
lola: state equation: 492
lola: find path: 836
lola: goal oriented search: 2057
lola: symmetry: 168
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-401"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-401, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r049-oct2-162038304300398"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-401.tgz
mv CloudReconfiguration-PT-401 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;