MCC'2021- Execution of r144-tall-162089134500087

About the Execution of LoLA for NeoElection-COL-5

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
6608.531	1800000.00	3610258.00	6211.90	[undef]	Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r144-tall-162089134500087.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is NeoElection-COL-5, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r144-tall-162089134500087
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 20K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 115K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 19K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 101K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Apr 26 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 26 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 26 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 26 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 06:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 27 06:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 07:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 07:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 89K 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 QuasiLiveness

=== Now, execution of the tool begins

BK_START 1620942127018

starting LoLA
BK_INPUT NeoElection-COL-5
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness

BK_TIME_CONFINEMENT_REACHED

--------------------
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 High-Level net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: TR BINDINGS
lola: TR BINDINGS DONE
lola: Places: 3090, Transitions: 4426
lola: @ trans T-sendAnnPs__start
lola: @ trans T-poll__handleAnsP3
lola: @ trans T-poll__handleAnnP1
lola: @ trans T-poll__handleAnnP2
lola: @ trans T-poll__start
lola: @ trans T-startNeg__send
lola: @ trans T-sendAnnPs__send
lola: @ trans T-poll__handleAskP
lola: @ trans T-poll__handleAnsP4
lola: @ trans T-poll__handleRP
lola: @ trans T-startSec
lola: @ trans T-startNeg__end
lola: @ trans T-poll__handleAI2
lola: @ trans T-poll__handleRI
lola: @ trans T-sendAnnPs__end
lola: @ trans T-poll__handleAnsP1
lola: @ trans T-poll__handleAI1
lola: @ trans T-poll__handleAnsP2
lola: @ trans T-poll__end
lola: @ trans T-poll__iAmSecondary
lola: @ trans T-startNeg__start
lola: @ trans T-poll__iAmPrimary
lola: STATE EQUATION TRIES TRANSITION t2823
lola: LAUNCH SYMM
sara: try reading problem file stateEquationProblem-QuasiLiveness-1423.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2823: false
lola: STATE EQUATION TRIES TRANSITION t1647
sara: try reading problem file stateEquationProblem-QuasiLiveness-1726.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1647: false
lola: STATE EQUATION TRIES TRANSITION t247
sara: try reading problem file stateEquationProblem-QuasiLiveness-2873.sara.
lola: reporting
lola: not produced: 2671
lola: state equation: 1
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t247: false
lola: STATE EQUATION TRIES TRANSITION t351
sara: try reading problem file stateEquationProblem-QuasiLiveness-3077.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t351: false
lola: STATE EQUATION TRIES TRANSITION t1221
sara: try reading problem file stateEquationProblem-QuasiLiveness-647.sara.
lola: reporting
lola: not produced: 2669
lola: state equation: 3
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1221: false
lola: STATE EQUATION TRIES TRANSITION t1316
sara: try reading problem file stateEquationProblem-QuasiLiveness-1043.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1316: false
lola: STATE EQUATION TRIES TRANSITION t488
sara: try reading problem file stateEquationProblem-QuasiLiveness-3414.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2667
lola: state equation: 5
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t488: false
lola: STATE EQUATION TRIES TRANSITION t2421
sara: try reading problem file stateEquationProblem-QuasiLiveness-74.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2421: false
lola: STATE EQUATION TRIES TRANSITION t1363
sara: try reading problem file stateEquationProblem-QuasiLiveness-1158.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1363: false
lola: STATE EQUATION TRIES TRANSITION t968
sara: try reading problem file stateEquationProblem-QuasiLiveness-858.sara.
lola: reporting
lola: not produced: 2664
lola: state equation: 8
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t968: false
lola: STATE EQUATION TRIES TRANSITION t4217
sara: try reading problem file stateEquationProblem-QuasiLiveness-2317.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4217: false
lola: STATE EQUATION TRIES TRANSITION t121
sara: try reading problem file stateEquationProblem-QuasiLiveness-2621.sara.
lola: reporting
lola: not produced: 2662
lola: state equation: 10
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t121: false
lola: STATE EQUATION TRIES TRANSITION t632
sara: try reading problem file stateEquationProblem-QuasiLiveness-3958.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t632: false
lola: STATE EQUATION TRIES TRANSITION t686
sara: try reading problem file stateEquationProblem-QuasiLiveness-4012.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t686: false
lola: STATE EQUATION TRIES TRANSITION t375
lola: reporting
lola: not produced: 2659
lola: state equation: 13
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-3101.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t375: false
lola: STATE EQUATION TRIES TRANSITION t4281
sara: try reading problem file stateEquationProblem-QuasiLiveness-2381.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4281: false
lola: STATE EQUATION TRIES TRANSITION t1868
sara: try reading problem file stateEquationProblem-QuasiLiveness-2068.sara.
lola: reporting
lola: not produced: 2657
lola: state equation: 15
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1868: false
lola: STATE EQUATION TRIES TRANSITION t4200
sara: try reading problem file stateEquationProblem-QuasiLiveness-2300.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4200: false
lola: STATE EQUATION TRIES TRANSITION t4380
sara: try reading problem file stateEquationProblem-QuasiLiveness-2530.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2655
lola: state equation: 17
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t4380: false
lola: STATE EQUATION TRIES TRANSITION t600
sara: try reading problem file stateEquationProblem-QuasiLiveness-3926.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t600: false
lola: STATE EQUATION TRIES TRANSITION t4021
sara: try reading problem file stateEquationProblem-QuasiLiveness-1921.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4021: false
lola: STATE EQUATION TRIES TRANSITION t245
sara: try reading problem file stateEquationProblem-QuasiLiveness-2871.sara.
lola: reporting
lola: not produced: 2652
lola: state equation: 20
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t245: false
lola: STATE EQUATION TRIES TRANSITION t269
sara: try reading problem file stateEquationProblem-QuasiLiveness-2895.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t269: false
lola: STATE EQUATION TRIES TRANSITION t4330
sara: try reading problem file stateEquationProblem-QuasiLiveness-2430.sara.
lola: reporting
lola: not produced: 2650
lola: state equation: 22
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4330: false
lola: STATE EQUATION TRIES TRANSITION t100
sara: try reading problem file stateEquationProblem-QuasiLiveness-2600.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t100: false
lola: STATE EQUATION TRIES TRANSITION t2355
sara: try reading problem file stateEquationProblem-QuasiLiveness-4192.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2648
lola: state equation: 24
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t2355: false
lola: STATE EQUATION TRIES TRANSITION t499
sara: try reading problem file stateEquationProblem-QuasiLiveness-3425.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t499: false
lola: STATE EQUATION TRIES TRANSITION t759
sara: try reading problem file stateEquationProblem-QuasiLiveness-4385.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t759: false
lola: STATE EQUATION TRIES TRANSITION t4389
sara: try reading problem file stateEquationProblem-QuasiLiveness-2547.sara.
lola: reporting
lola: not produced: 2645
lola: state equation: 27
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4389: false
lola: STATE EQUATION TRIES TRANSITION t1416
sara: try reading problem file stateEquationProblem-QuasiLiveness-1264.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1416: false
lola: STATE EQUATION TRIES TRANSITION t4135
sara: try reading problem file stateEquationProblem-QuasiLiveness-2135.sara.
lola: reporting
lola: not produced: 2643
lola: state equation: 29
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4135: false
lola: STATE EQUATION TRIES TRANSITION t1598
sara: try reading problem file stateEquationProblem-QuasiLiveness-1598.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1598: false
lola: STATE EQUATION TRIES TRANSITION t1417
sara: try reading problem file stateEquationProblem-QuasiLiveness-1266.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1417: false
lola: STATE EQUATION TRIES TRANSITION t400
lola: reporting
lola: not produced: 2640
lola: state equation: 32
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-3326.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t400: false
lola: STATE EQUATION TRIES TRANSITION t300
sara: try reading problem file stateEquationProblem-QuasiLiveness-3026.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t300: false
lola: STATE EQUATION TRIES TRANSITION t4012
sara: try reading problem file stateEquationProblem-QuasiLiveness-1912.sara.
lola: reporting
lola: not produced: 2638
lola: state equation: 34
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4012: false
lola: STATE EQUATION TRIES TRANSITION t101
sara: try reading problem file stateEquationProblem-QuasiLiveness-2601.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t101: false
lola: STATE EQUATION TRIES TRANSITION t4037
sara: try reading problem file stateEquationProblem-QuasiLiveness-1937.sara.
lola: reporting
lola: not produced: 2636
lola: state equation: 36
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4037: false
lola: STATE EQUATION TRIES TRANSITION t2495
sara: try reading problem file stateEquationProblem-QuasiLiveness-259.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2495: false
lola: STATE EQUATION TRIES TRANSITION t601
sara: try reading problem file stateEquationProblem-QuasiLiveness-3927.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t601: false
lola: STATE EQUATION TRIES TRANSITION t200
sara: try reading problem file stateEquationProblem-QuasiLiveness-2826.sara.
lola: reporting
lola: not produced: 2633
lola: state equation: 39
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t200: false
lola: STATE EQUATION TRIES TRANSITION t102
sara: try reading problem file stateEquationProblem-QuasiLiveness-2602.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t102: false
lola: STATE EQUATION TRIES TRANSITION t2479
sara: try reading problem file stateEquationProblem-QuasiLiveness-227.sara.
lola: reporting
lola: not produced: 2631
lola: state equation: 41
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2479: false
lola: STATE EQUATION TRIES TRANSITION t2541
sara: try reading problem file stateEquationProblem-QuasiLiveness-602.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2541: false
lola: STATE EQUATION TRIES TRANSITION t4163
sara: try reading problem file stateEquationProblem-QuasiLiveness-2163.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2629
lola: state equation: 43
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t4163: false
lola: STATE EQUATION TRIES TRANSITION t1600
sara: try reading problem file stateEquationProblem-QuasiLiveness-1632.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1600: false
lola: STATE EQUATION TRIES TRANSITION t301
sara: try reading problem file stateEquationProblem-QuasiLiveness-3027.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t301: false
lola: STATE EQUATION TRIES TRANSITION t4363
sara: try reading problem file stateEquationProblem-QuasiLiveness-2495.sara.
lola: reporting
lola: not produced: 2626
lola: state equation: 46
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4363: false
lola: STATE EQUATION TRIES TRANSITION t602
sara: try reading problem file stateEquationProblem-QuasiLiveness-3928.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t602: false
lola: STATE EQUATION TRIES TRANSITION t603
sara: try reading problem file stateEquationProblem-QuasiLiveness-3929.sara.
lola: reporting
lola: not produced: 2624
lola: state equation: 48
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t603: false
lola: STATE EQUATION TRIES TRANSITION t4089
sara: try reading problem file stateEquationProblem-QuasiLiveness-1989.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4089: false
lola: STATE EQUATION TRIES TRANSITION t1495
sara: try reading problem file stateEquationProblem-QuasiLiveness-1395.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2622
lola: state equation: 50
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1495: false
lola: STATE EQUATION TRIES TRANSITION t4201
sara: try reading problem file stateEquationProblem-QuasiLiveness-2301.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4201: false
lola: STATE EQUATION TRIES TRANSITION t40
sara: try reading problem file stateEquationProblem-QuasiLiveness-460.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t40: false
lola: STATE EQUATION TRIES TRANSITION t4100
sara: try reading problem file stateEquationProblem-QuasiLiveness-2100.sara.
lola: reporting
lola: not produced: 2619
lola: state equation: 53
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4100: false
lola: STATE EQUATION TRIES TRANSITION t368
sara: try reading problem file stateEquationProblem-QuasiLiveness-3094.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t368: false
lola: STATE EQUATION TRIES TRANSITION t1146
sara: try reading problem file stateEquationProblem-QuasiLiveness-224.sara.
lola: reporting
lola: not produced: 2617
lola: state equation: 55
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1146: false
lola: STATE EQUATION TRIES TRANSITION t604
sara: try reading problem file stateEquationProblem-QuasiLiveness-3930.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t604: false
lola: STATE EQUATION TRIES TRANSITION t328
sara: try reading problem file stateEquationProblem-QuasiLiveness-3054.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t328: false
lola: STATE EQUATION TRIES TRANSITION t2648
lola: reporting
lola: not produced: 2614
lola: state equation: 58
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-1045.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2648: false
lola: STATE EQUATION TRIES TRANSITION t96
sara: try reading problem file stateEquationProblem-QuasiLiveness-637.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t96: false
lola: STATE EQUATION TRIES TRANSITION t500
sara: try reading problem file stateEquationProblem-QuasiLiveness-3626.sara.
lola: reporting
lola: not produced: 2612
lola: state equation: 60
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t500: false
lola: STATE EQUATION TRIES TRANSITION t143
sara: try reading problem file stateEquationProblem-QuasiLiveness-2643.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t143: false
lola: STATE EQUATION TRIES TRANSITION t4220
sara: try reading problem file stateEquationProblem-QuasiLiveness-2320.sara.
lola: reporting
lola: not produced: 2610
lola: state equation: 62
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4220: false
lola: STATE EQUATION TRIES TRANSITION t1367
sara: try reading problem file stateEquationProblem-QuasiLiveness-1166.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1367: false
lola: STATE EQUATION TRIES TRANSITION t1885
sara: try reading problem file stateEquationProblem-QuasiLiveness-2085.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1885: false
lola: STATE EQUATION TRIES TRANSITION t53
sara: try reading problem file stateEquationProblem-QuasiLiveness-493.sara.
lola: reporting
lola: not produced: 2607
lola: state equation: 65
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t53: false
lola: STATE EQUATION TRIES TRANSITION t1477
sara: try reading problem file stateEquationProblem-QuasiLiveness-1377.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1477: false
lola: STATE EQUATION TRIES TRANSITION t2546
sara: try reading problem file stateEquationProblem-QuasiLiveness-619.sara.
lola: reporting
lola: not produced: 2605
lola: state equation: 67
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2546: false
lola: STATE EQUATION TRIES TRANSITION t4378
sara: try reading problem file stateEquationProblem-QuasiLiveness-2525.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4378: false
lola: STATE EQUATION TRIES TRANSITION t4339
sara: try reading problem file stateEquationProblem-QuasiLiveness-2447.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2603
lola: state equation: 69
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t4339: false
lola: STATE EQUATION TRIES TRANSITION t1519
sara: try reading problem file stateEquationProblem-QuasiLiveness-1469.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1519: false
lola: STATE EQUATION TRIES TRANSITION t2642
sara: try reading problem file stateEquationProblem-QuasiLiveness-1027.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2642: false
lola: STATE EQUATION TRIES TRANSITION t322
sara: try reading problem file stateEquationProblem-QuasiLiveness-3048.sara.
lola: reporting
lola: not produced: 2600
lola: state equation: 72
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t322: false
lola: STATE EQUATION TRIES TRANSITION t4013
sara: try reading problem file stateEquationProblem-QuasiLiveness-1913.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4013: false
lola: STATE EQUATION TRIES TRANSITION t129
sara: try reading problem file stateEquationProblem-QuasiLiveness-2629.sara.
lola: reporting
lola: not produced: 2598
lola: state equation: 74
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t129: false
lola: STATE EQUATION TRIES TRANSITION t1078
sara: try reading problem file stateEquationProblem-QuasiLiveness-4304.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1078: false
lola: STATE EQUATION TRIES TRANSITION t776
sara: try reading problem file stateEquationProblem-QuasiLiveness-4402.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: reporting
lola: not produced: 2596
lola: state equation: 76
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: ..... t776: false
lola: STATE EQUATION TRIES TRANSITION t4103
sara: try reading problem file stateEquationProblem-QuasiLiveness-2103.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4103: false
lola: STATE EQUATION TRIES TRANSITION t539
sara: try reading problem file stateEquationProblem-QuasiLiveness-3665.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t539: false
lola: STATE EQUATION TRIES TRANSITION t2485
sara: try reading problem file stateEquationProblem-QuasiLiveness-239.sara.
lola: reporting
lola: not produced: 2593
lola: state equation: 79
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2485: false
lola: STATE EQUATION TRIES TRANSITION t1672
sara: try reading problem file stateEquationProblem-QuasiLiveness-1772.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1672: false
lola: STATE EQUATION TRIES TRANSITION t1520
sara: try reading problem file stateEquationProblem-QuasiLiveness-1472.sara.
lola: reporting
lola: not produced: 2591
lola: state equation: 81
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1520: false
lola: STATE EQUATION TRIES TRANSITION t1238
sara: try reading problem file stateEquationProblem-QuasiLiveness-698.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1238: false
lola: STATE EQUATION TRIES TRANSITION t4145
sara: try reading problem file stateEquationProblem-QuasiLiveness-2145.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4145: false
lola: STATE EQUATION TRIES TRANSITION t213
sara: try reading problem file stateEquationProblem-QuasiLiveness-2839.sara.
lola: reporting
lola: not produced: 2588
lola: state equation: 84
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t213: false
lola: STATE EQUATION TRIES TRANSITION t501
sara: try reading problem file stateEquationProblem-QuasiLiveness-3627.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t501: false
lola: STATE EQUATION TRIES TRANSITION t1543
sara: try reading problem file stateEquationProblem-QuasiLiveness-1518.sara.
lola: reporting
lola: not produced: 2586
lola: state equation: 86
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1543: false
lola: STATE EQUATION TRIES TRANSITION t1518
sara: try reading problem file stateEquationProblem-QuasiLiveness-1468.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1518: false
lola: STATE EQUATION TRIES TRANSITION t1155
sara: try reading problem file stateEquationProblem-QuasiLiveness-242.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2584
lola: state equation: 88
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1155: false
lola: STATE EQUATION TRIES TRANSITION t27
sara: try reading problem file stateEquationProblem-QuasiLiveness-429.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t27: false
lola: STATE EQUATION TRIES TRANSITION t2512
sara: try reading problem file stateEquationProblem-QuasiLiveness-505.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2512: false
lola: STATE EQUATION TRIES TRANSITION t2695
sara: try reading problem file stateEquationProblem-QuasiLiveness-1159.sara.
lola: reporting
lola: not produced: 2581
lola: state equation: 91
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2695: false
lola: STATE EQUATION TRIES TRANSITION t1210
sara: try reading problem file stateEquationProblem-QuasiLiveness-603.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1210: false
lola: STATE EQUATION TRIES TRANSITION t201
sara: try reading problem file stateEquationProblem-QuasiLiveness-2827.sara.
lola: reporting
lola: not produced: 2579
lola: state equation: 93
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t201: false
lola: STATE EQUATION TRIES TRANSITION t87
sara: try reading problem file stateEquationProblem-QuasiLiveness-600.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t87: false
lola: STATE EQUATION TRIES TRANSITION t2615
sara: try reading problem file stateEquationProblem-QuasiLiveness-962.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2577
lola: state equation: 95
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2615: false
lola: STATE EQUATION TRIES TRANSITION t1592
sara: try reading problem file stateEquationProblem-QuasiLiveness-1592.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1592: false
lola: STATE EQUATION TRIES TRANSITION t4077
sara: try reading problem file stateEquationProblem-QuasiLiveness-1977.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4077: false
lola: STATE EQUATION TRIES TRANSITION t1579
sara: try reading problem file stateEquationProblem-QuasiLiveness-1579.sara.
lola: reporting
lola: not produced: 2574
lola: state equation: 98
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1579: false
lola: STATE EQUATION TRIES TRANSITION t4292
sara: try reading problem file stateEquationProblem-QuasiLiveness-2392.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4292: false
lola: STATE EQUATION TRIES TRANSITION t198
sara: try reading problem file stateEquationProblem-QuasiLiveness-2698.sara.
lola: reporting
lola: not produced: 2572
lola: state equation: 100
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t198: false
lola: STATE EQUATION TRIES TRANSITION t1446
sara: try reading problem file stateEquationProblem-QuasiLiveness-1324.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1446: false
lola: STATE EQUATION TRIES TRANSITION t492
sara: try reading problem file stateEquationProblem-QuasiLiveness-3418.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2570
lola: state equation: 102
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t492: false
lola: STATE EQUATION TRIES TRANSITION t1444
sara: try reading problem file stateEquationProblem-QuasiLiveness-1320.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1444: false
lola: STATE EQUATION TRIES TRANSITION t401
sara: try reading problem file stateEquationProblem-QuasiLiveness-3327.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t401: false
lola: STATE EQUATION TRIES TRANSITION t1601
sara: try reading problem file stateEquationProblem-QuasiLiveness-1634.sara.
lola: reporting
lola: not produced: 2567
lola: state equation: 105
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1601: false
lola: STATE EQUATION TRIES TRANSITION t1398
sara: try reading problem file stateEquationProblem-QuasiLiveness-1198.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1398: false
lola: STATE EQUATION TRIES TRANSITION t1524
sara: try reading problem file stateEquationProblem-QuasiLiveness-1480.sara.
lola: reporting
lola: not produced: 2565
lola: state equation: 107
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1524: false
lola: STATE EQUATION TRIES TRANSITION t598
sara: try reading problem file stateEquationProblem-QuasiLiveness-3724.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t598: false
lola: STATE EQUATION TRIES TRANSITION t30
sara: try reading problem file stateEquationProblem-QuasiLiveness-440.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2563
lola: state equation: 109
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t30: false
lola: STATE EQUATION TRIES TRANSITION t1644
sara: try reading problem file stateEquationProblem-QuasiLiveness-1720.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1644: false
lola: STATE EQUATION TRIES TRANSITION t1325
sara: try reading problem file stateEquationProblem-QuasiLiveness-1070.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1325: false
lola: STATE EQUATION TRIES TRANSITION t2460
sara: try reading problem file stateEquationProblem-QuasiLiveness-182.sara.
lola: reporting
lola: not produced: 2560
lola: state equation: 112
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2460: false
lola: STATE EQUATION TRIES TRANSITION t2567
sara: try reading problem file stateEquationProblem-QuasiLiveness-692.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2567: false
lola: STATE EQUATION TRIES TRANSITION t402
sara: try reading problem file stateEquationProblem-QuasiLiveness-3328.sara.
lola: reporting
lola: not produced: 2558
lola: state equation: 114
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t402: false
lola: STATE EQUATION TRIES TRANSITION t302
sara: try reading problem file stateEquationProblem-QuasiLiveness-3028.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t302: false
lola: STATE EQUATION TRIES TRANSITION t103
sara: try reading problem file stateEquationProblem-QuasiLiveness-2603.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2556
lola: state equation: 116
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t103: false
lola: STATE EQUATION TRIES TRANSITION t1198
sara: try reading problem file stateEquationProblem-QuasiLiveness-308.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1198: false
lola: STATE EQUATION TRIES TRANSITION t202
sara: try reading problem file stateEquationProblem-QuasiLiveness-2828.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t202: false
lola: STATE EQUATION TRIES TRANSITION t2668
sara: try reading problem file stateEquationProblem-QuasiLiveness-1105.sara.
lola: reporting
lola: not produced: 2553
lola: state equation: 119
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2668: false
lola: STATE EQUATION TRIES TRANSITION t1257
sara: try reading problem file stateEquationProblem-QuasiLiveness-736.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1257: false
lola: STATE EQUATION TRIES TRANSITION t403
sara: try reading problem file stateEquationProblem-QuasiLiveness-3329.sara.
lola: reporting
lola: not produced: 2551
lola: state equation: 121
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t403: false
lola: STATE EQUATION TRIES TRANSITION t4202
sara: try reading problem file stateEquationProblem-QuasiLiveness-2302.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4202: false
lola: STATE EQUATION TRIES TRANSITION t1453
sara: try reading problem file stateEquationProblem-QuasiLiveness-1338.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2549
lola: state equation: 123
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1453: false
lola: STATE EQUATION TRIES TRANSITION t741
sara: try reading problem file stateEquationProblem-QuasiLiveness-4367.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t741: false
lola: STATE EQUATION TRIES TRANSITION t237
sara: try reading problem file stateEquationProblem-QuasiLiveness-2863.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t237: false
lola: STATE EQUATION TRIES TRANSITION t4203
sara: try reading problem file stateEquationProblem-QuasiLiveness-2303.sara.
lola: reporting
lola: not produced: 2546
lola: state equation: 126
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4203: false
lola: STATE EQUATION TRIES TRANSITION t1551
sara: try reading problem file stateEquationProblem-QuasiLiveness-1534.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1551: false
lola: STATE EQUATION TRIES TRANSITION t389
sara: try reading problem file stateEquationProblem-QuasiLiveness-3115.sara.
lola: reporting
lola: not produced: 2544
lola: state equation: 128
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t389: false
lola: STATE EQUATION TRIES TRANSITION t4152
sara: try reading problem file stateEquationProblem-QuasiLiveness-2152.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4152: false
lola: STATE EQUATION TRIES TRANSITION t605
sara: try reading problem file stateEquationProblem-QuasiLiveness-3931.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2542
lola: state equation: 130
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t605: false
lola: STATE EQUATION TRIES TRANSITION t1487
sara: try reading problem file stateEquationProblem-QuasiLiveness-1387.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1487: false
lola: STATE EQUATION TRIES TRANSITION t502
sara: try reading problem file stateEquationProblem-QuasiLiveness-3628.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t502: false
lola: STATE EQUATION TRIES TRANSITION t292
sara: try reading problem file stateEquationProblem-QuasiLiveness-2918.sara.
lola: reporting
lola: not produced: 2539
lola: state equation: 133
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t292: false
lola: STATE EQUATION TRIES TRANSITION t2625
sara: try reading problem file stateEquationProblem-QuasiLiveness-982.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2625: false
lola: STATE EQUATION TRIES TRANSITION t4204
sara: try reading problem file stateEquationProblem-QuasiLiveness-2304.sara.
lola: reporting
lola: not produced: 2537
lola: state equation: 135
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4204: false
lola: STATE EQUATION TRIES TRANSITION t203
sara: try reading problem file stateEquationProblem-QuasiLiveness-2829.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t203: false
lola: STATE EQUATION TRIES TRANSITION t4179
sara: try reading problem file stateEquationProblem-QuasiLiveness-2179.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2535
lola: state equation: 137
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t4179: false
lola: STATE EQUATION TRIES TRANSITION t1832
sara: try reading problem file stateEquationProblem-QuasiLiveness-2032.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1832: false
lola: STATE EQUATION TRIES TRANSITION t4112
sara: try reading problem file stateEquationProblem-QuasiLiveness-2112.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4112: false
lola: STATE EQUATION TRIES TRANSITION t1
sara: try reading problem file stateEquationProblem-QuasiLiveness-891.sara.
lola: reporting
lola: not produced: 2532
lola: state equation: 140
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1: false
lola: STATE EQUATION TRIES TRANSITION t606
sara: try reading problem file stateEquationProblem-QuasiLiveness-3932.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t606: false
lola: STATE EQUATION TRIES TRANSITION t1513
sara: try reading problem file stateEquationProblem-QuasiLiveness-1458.sara.
lola: reporting
lola: not produced: 2530
lola: state equation: 142
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1513: false
lola: STATE EQUATION TRIES TRANSITION t607
sara: try reading problem file stateEquationProblem-QuasiLiveness-3933.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t607: false
lola: STATE EQUATION TRIES TRANSITION t4420
sara: try reading problem file stateEquationProblem-QuasiLiveness-2720.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2528
lola: state equation: 144
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t4420: false
lola: STATE EQUATION TRIES TRANSITION t2489
sara: try reading problem file stateEquationProblem-QuasiLiveness-247.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2489: false
lola: STATE EQUATION TRIES TRANSITION t4269
sara: try reading problem file stateEquationProblem-QuasiLiveness-2369.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4269: false
lola: STATE EQUATION TRIES TRANSITION t989
sara: try reading problem file stateEquationProblem-QuasiLiveness-879.sara.
lola: reporting
lola: not produced: 2525
lola: state equation: 147
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t989: false
lola: STATE EQUATION TRIES TRANSITION t404
sara: try reading problem file stateEquationProblem-QuasiLiveness-3330.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t404: false
lola: STATE EQUATION TRIES TRANSITION t481
sara: try reading problem file stateEquationProblem-QuasiLiveness-3407.sara.
lola: reporting
lola: not produced: 2523
lola: state equation: 149
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t481: false
lola: STATE EQUATION TRIES TRANSITION t4083
sara: try reading problem file stateEquationProblem-QuasiLiveness-1983.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4083: false
lola: STATE EQUATION TRIES TRANSITION t665
sara: try reading problem file stateEquationProblem-QuasiLiveness-3991.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2521
lola: state equation: 151
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t665: false
lola: STATE EQUATION TRIES TRANSITION t4205
sara: try reading problem file stateEquationProblem-QuasiLiveness-2305.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4205: false
lola: STATE EQUATION TRIES TRANSITION t4379
sara: try reading problem file stateEquationProblem-QuasiLiveness-2527.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4379: false
lola: STATE EQUATION TRIES TRANSITION t503
sara: try reading problem file stateEquationProblem-QuasiLiveness-3629.sara.
lola: reporting
lola: not produced: 2518
lola: state equation: 154
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t503: false
lola: STATE EQUATION TRIES TRANSITION t4191
sara: try reading problem file stateEquationProblem-QuasiLiveness-2191.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4191: false
lola: STATE EQUATION TRIES TRANSITION t532
sara: try reading problem file stateEquationProblem-QuasiLiveness-3658.sara.
lola: reporting
lola: not produced: 2516
lola: state equation: 156
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t532: false
lola: STATE EQUATION TRIES TRANSITION t2350
sara: try reading problem file stateEquationProblem-QuasiLiveness-4178.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2350: false
lola: STATE EQUATION TRIES TRANSITION t4099
sara: try reading problem file stateEquationProblem-QuasiLiveness-1999.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4099: false
lola: STATE EQUATION TRIES TRANSITION t4247
lola: reporting
lola: not produced: 2513
lola: state equation: 159
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-2347.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4247: false
lola: STATE EQUATION TRIES TRANSITION t1127
sara: try reading problem file stateEquationProblem-QuasiLiveness-176.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1127: false
lola: STATE EQUATION TRIES TRANSITION t1026
sara: try reading problem file stateEquationProblem-QuasiLiveness-4199.sara.
lola: reporting
lola: not produced: 2511
lola: state equation: 161
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1026: false
lola: STATE EQUATION TRIES TRANSITION t1808
sara: try reading problem file stateEquationProblem-QuasiLiveness-2008.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1808: false
lola: STATE EQUATION TRIES TRANSITION t526
sara: try reading problem file stateEquationProblem-QuasiLiveness-3652.sara.
lola: reporting
lola: not produced: 2509
lola: state equation: 163
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t526: false
lola: STATE EQUATION TRIES TRANSITION t2617
sara: try reading problem file stateEquationProblem-QuasiLiveness-966.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2617: false
lola: STATE EQUATION TRIES TRANSITION t303
sara: try reading problem file stateEquationProblem-QuasiLiveness-3029.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t303: false
lola: STATE EQUATION TRIES TRANSITION t1029
sara: try reading problem file stateEquationProblem-QuasiLiveness-4205.sara.
lola: reporting
lola: not produced: 2506
lola: state equation: 166
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1029: false
lola: STATE EQUATION TRIES TRANSITION t608
sara: try reading problem file stateEquationProblem-QuasiLiveness-3934.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t608: false
lola: STATE EQUATION TRIES TRANSITION t504
sara: try reading problem file stateEquationProblem-QuasiLiveness-3630.sara.
lola: reporting
lola: not produced: 2504
lola: state equation: 168
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t504: false
lola: STATE EQUATION TRIES TRANSITION t1711
sara: try reading problem file stateEquationProblem-QuasiLiveness-1811.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1711: false
lola: STATE EQUATION TRIES TRANSITION t1015
sara: try reading problem file stateEquationProblem-QuasiLiveness-4166.sara.
lola: reporting
lola: not produced: 2502
lola: state equation: 170
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1015: false
lola: STATE EQUATION TRIES TRANSITION t107
sara: try reading problem file stateEquationProblem-QuasiLiveness-2607.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t107: false
lola: STATE EQUATION TRIES TRANSITION t609
sara: try reading problem file stateEquationProblem-QuasiLiveness-3935.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t609: false
lola: STATE EQUATION TRIES TRANSITION t1397
sara: try reading problem file stateEquationProblem-QuasiLiveness-1197.sara.
lola: reporting
lola: not produced: 2499
lola: state equation: 173
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1397: false
lola: STATE EQUATION TRIES TRANSITION t4055
sara: try reading problem file stateEquationProblem-QuasiLiveness-1955.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4055: false
lola: STATE EQUATION TRIES TRANSITION t12
sara: try reading problem file stateEquationProblem-QuasiLiveness-402.sara.
lola: reporting
lola: not produced: 2497
lola: state equation: 175
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t12: false
lola: STATE EQUATION TRIES TRANSITION t1506
sara: try reading problem file stateEquationProblem-QuasiLiveness-1444.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1506: false
lola: STATE EQUATION TRIES TRANSITION t104
sara: try reading problem file stateEquationProblem-QuasiLiveness-2604.sara.
lola: reporting
lola: not produced: 2495
lola: state equation: 177
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t104: false
lola: STATE EQUATION TRIES TRANSITION t1425
sara: try reading problem file stateEquationProblem-QuasiLiveness-1282.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1425: false
lola: STATE EQUATION TRIES TRANSITION t304
sara: try reading problem file stateEquationProblem-QuasiLiveness-3030.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t304: false
lola: STATE EQUATION TRIES TRANSITION t1580
lola: reporting
lola: not produced: 2492
lola: state equation: 180
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-1580.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1580: false
lola: STATE EQUATION TRIES TRANSITION t1553
sara: try reading problem file stateEquationProblem-QuasiLiveness-1538.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1553: false
lola: STATE EQUATION TRIES TRANSITION t922
sara: try reading problem file stateEquationProblem-QuasiLiveness-812.sara.
lola: reporting
lola: not produced: 2490
lola: state equation: 182
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t922: false
lola: STATE EQUATION TRIES TRANSITION t610
sara: try reading problem file stateEquationProblem-QuasiLiveness-3936.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t610: false
lola: STATE EQUATION TRIES TRANSITION t2320
sara: try reading problem file stateEquationProblem-QuasiLiveness-4098.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2488
lola: state equation: 184
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t2320: false
lola: STATE EQUATION TRIES TRANSITION t789
sara: try reading problem file stateEquationProblem-QuasiLiveness-4415.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t789: false
lola: STATE EQUATION TRIES TRANSITION t1068
sara: try reading problem file stateEquationProblem-QuasiLiveness-4294.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1068: false
lola: STATE EQUATION TRIES TRANSITION t1566
lola: reporting
lola: not produced: 2485
lola: state equation: 187
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-1564.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1566: false
lola: STATE EQUATION TRIES TRANSITION t4335
sara: try reading problem file stateEquationProblem-QuasiLiveness-2439.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4335: false
lola: STATE EQUATION TRIES TRANSITION t2447
sara: try reading problem file stateEquationProblem-QuasiLiveness-142.sara.
lola: reporting
lola: not produced: 2483
lola: state equation: 189
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2447: false
lola: STATE EQUATION TRIES TRANSITION t4185
sara: try reading problem file stateEquationProblem-QuasiLiveness-2185.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4185: false
lola: STATE EQUATION TRIES TRANSITION t115
sara: try reading problem file stateEquationProblem-QuasiLiveness-2615.sara.
lola: reporting
lola: not produced: 2481
lola: state equation: 191
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t115: false
lola: STATE EQUATION TRIES TRANSITION t114
sara: try reading problem file stateEquationProblem-QuasiLiveness-2614.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t114: false
lola: STATE EQUATION TRIES TRANSITION t1024
sara: try reading problem file stateEquationProblem-QuasiLiveness-4193.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2479
lola: state equation: 193
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1024: false
lola: STATE EQUATION TRIES TRANSITION t2438
sara: try reading problem file stateEquationProblem-QuasiLiveness-115.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2438: false
lola: STATE EQUATION TRIES TRANSITION t1753
sara: try reading problem file stateEquationProblem-QuasiLiveness-1853.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1753: false
lola: STATE EQUATION TRIES TRANSITION t2643
sara: try reading problem file stateEquationProblem-QuasiLiveness-1030.sara.
lola: reporting
lola: not produced: 2476
lola: state equation: 196
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2643: false
lola: STATE EQUATION TRIES TRANSITION t105
sara: try reading problem file stateEquationProblem-QuasiLiveness-2605.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t105: false
lola: STATE EQUATION TRIES TRANSITION t2707
sara: try reading problem file stateEquationProblem-QuasiLiveness-1207.sara.
lola: reporting
lola: not produced: 2474
lola: state equation: 198
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2707: false
lola: STATE EQUATION TRIES TRANSITION t2408
sara: try reading problem file stateEquationProblem-QuasiLiveness-48.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2408: false
lola: STATE EQUATION TRIES TRANSITION t780
sara: try reading problem file stateEquationProblem-QuasiLiveness-4406.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2472
lola: state equation: 200
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t780: false
lola: STATE EQUATION TRIES TRANSITION t2608
sara: try reading problem file stateEquationProblem-QuasiLiveness-948.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2608: false
lola: STATE EQUATION TRIES TRANSITION t154
sara: try reading problem file stateEquationProblem-QuasiLiveness-2654.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t154: false
lola: STATE EQUATION TRIES TRANSITION t4101
sara: try reading problem file stateEquationProblem-QuasiLiveness-2101.sara.
lola: reporting
lola: not produced: 2469
lola: state equation: 203
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4101: false
lola: STATE EQUATION TRIES TRANSITION t20
sara: try reading problem file stateEquationProblem-QuasiLiveness-420.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t20: false
lola: STATE EQUATION TRIES TRANSITION t2461
sara: try reading problem file stateEquationProblem-QuasiLiveness-184.sara.
lola: reporting
lola: not produced: 2467
lola: state equation: 205
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2461: false
lola: STATE EQUATION TRIES TRANSITION t4362
sara: try reading problem file stateEquationProblem-QuasiLiveness-2493.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4362: false
lola: STATE EQUATION TRIES TRANSITION t2445
sara: try reading problem file stateEquationProblem-QuasiLiveness-136.sara.
lola: reporting
lola: not produced: 2465
lola: state equation: 207
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2445: false
lola: STATE EQUATION TRIES TRANSITION t2652
sara: try reading problem file stateEquationProblem-QuasiLiveness-1057.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2652: false
lola: STATE EQUATION TRIES TRANSITION t1869
sara: try reading problem file stateEquationProblem-QuasiLiveness-2069.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2463
lola: state equation: 209
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t1869: false
lola: STATE EQUATION TRIES TRANSITION t383
sara: try reading problem file stateEquationProblem-QuasiLiveness-3109.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t383: false
lola: STATE EQUATION TRIES TRANSITION t135
sara: try reading problem file stateEquationProblem-QuasiLiveness-2635.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t135: false
lola: STATE EQUATION TRIES TRANSITION t1760
sara: try reading problem file stateEquationProblem-QuasiLiveness-1860.sara.
lola: reporting
lola: not produced: 2460
lola: state equation: 212
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1760: false
lola: STATE EQUATION TRIES TRANSITION t611
sara: try reading problem file stateEquationProblem-QuasiLiveness-3937.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t611: false
lola: STATE EQUATION TRIES TRANSITION t812
sara: try reading problem file stateEquationProblem-QuasiLiveness-312.sara.
lola: reporting
lola: not produced: 2458
lola: state equation: 214
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t812: false
lola: STATE EQUATION TRIES TRANSITION t2356
sara: try reading problem file stateEquationProblem-QuasiLiveness-4195.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2356: false
lola: STATE EQUATION TRIES TRANSITION t4184
sara: try reading problem file stateEquationProblem-QuasiLiveness-2184.sara.
lola: reporting
lola: not produced: 2456
lola: state equation: 216
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4184: false
lola: STATE EQUATION TRIES TRANSITION t254
sara: try reading problem file stateEquationProblem-QuasiLiveness-2880.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t254: false
lola: STATE EQUATION TRIES TRANSITION t1450
sara: try reading problem file stateEquationProblem-QuasiLiveness-1332.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2454
lola: state equation: 218
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1450: false
lola: STATE EQUATION TRIES TRANSITION t1134
sara: try reading problem file stateEquationProblem-QuasiLiveness-197.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1134: false
lola: STATE EQUATION TRIES TRANSITION t1432
sara: try reading problem file stateEquationProblem-QuasiLiveness-1296.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1432: false
lola: STATE EQUATION TRIES TRANSITION t505
sara: try reading problem file stateEquationProblem-QuasiLiveness-3631.sara.
lola: reporting
lola: not produced: 2451
lola: state equation: 221
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t505: false
lola: STATE EQUATION TRIES TRANSITION t2662
sara: try reading problem file stateEquationProblem-QuasiLiveness-1087.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2662: false
lola: STATE EQUATION TRIES TRANSITION t612
sara: try reading problem file stateEquationProblem-QuasiLiveness-3938.sara.
lola: reporting
lola: not produced: 2449
lola: state equation: 223
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t612: false
lola: STATE EQUATION TRIES TRANSITION t1563
sara: try reading problem file stateEquationProblem-QuasiLiveness-1558.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1563: false
lola: STATE EQUATION TRIES TRANSITION t613
sara: try reading problem file stateEquationProblem-QuasiLiveness-3939.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2447
lola: state equation: 225
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t613: false
lola: STATE EQUATION TRIES TRANSITION t1454
sara: try reading problem file stateEquationProblem-QuasiLiveness-1340.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1454: false
lola: STATE EQUATION TRIES TRANSITION t106
sara: try reading problem file stateEquationProblem-QuasiLiveness-2606.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t106: false
lola: STATE EQUATION TRIES TRANSITION t1870
lola: reporting
lola: not produced: 2444
lola: state equation: 228
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-2070.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1870: false
lola: STATE EQUATION TRIES TRANSITION t928
sara: try reading problem file stateEquationProblem-QuasiLiveness-818.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t928: false
lola: STATE EQUATION TRIES TRANSITION t2600
sara: try reading problem file stateEquationProblem-QuasiLiveness-932.sara.
lola: reporting
lola: not produced: 2442
lola: state equation: 230
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2600: false
lola: STATE EQUATION TRIES TRANSITION t1871
sara: try reading problem file stateEquationProblem-QuasiLiveness-2071.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1871: false
lola: STATE EQUATION TRIES TRANSITION t2404
sara: try reading problem file stateEquationProblem-QuasiLiveness-40.sara.
lola: reporting
lola: not produced: 2440
lola: state equation: 232
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2404: false
lola: STATE EQUATION TRIES TRANSITION t506
sara: try reading problem file stateEquationProblem-QuasiLiveness-3632.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t506: false
lola: STATE EQUATION TRIES TRANSITION t4315
sara: try reading problem file stateEquationProblem-QuasiLiveness-2415.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4315: false
lola: STATE EQUATION TRIES TRANSITION t41
lola: reporting
lola: not produced: 2437
lola: state equation: 235
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-461.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t41: false
lola: STATE EQUATION TRIES TRANSITION t1821
sara: try reading problem file stateEquationProblem-QuasiLiveness-2021.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1821: false
lola: STATE EQUATION TRIES TRANSITION t405
sara: try reading problem file stateEquationProblem-QuasiLiveness-3331.sara.
lola: reporting
lola: not produced: 2435
lola: state equation: 237
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t405: false
lola: STATE EQUATION TRIES TRANSITION t83
sara: try reading problem file stateEquationProblem-QuasiLiveness-593.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t83: false
lola: STATE EQUATION TRIES TRANSITION t1460
sara: try reading problem file stateEquationProblem-QuasiLiveness-1352.sara.
lola: reporting
lola: not produced: 2433
lola: state equation: 239
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1460: false
lola: STATE EQUATION TRIES TRANSITION t507
sara: try reading problem file stateEquationProblem-QuasiLiveness-3633.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t507: false
lola: STATE EQUATION TRIES TRANSITION t576
sara: try reading problem file stateEquationProblem-QuasiLiveness-3702.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t576: false
lola: STATE EQUATION TRIES TRANSITION t661
lola: reporting
lola: not produced: 2430
lola: state equation: 242
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-3987.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t661: false
lola: STATE EQUATION TRIES TRANSITION t2603
sara: try reading problem file stateEquationProblem-QuasiLiveness-938.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2603: false
lola: STATE EQUATION TRIES TRANSITION t1521
sara: try reading problem file stateEquationProblem-QuasiLiveness-1474.sara.
lola: reporting
lola: not produced: 2428
lola: state equation: 244
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1521: false
lola: STATE EQUATION TRIES TRANSITION t108
sara: try reading problem file stateEquationProblem-QuasiLiveness-2608.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t108: false
lola: STATE EQUATION TRIES TRANSITION t479
sara: try reading problem file stateEquationProblem-QuasiLiveness-3405.sara.
lola: reporting
lola: not produced: 2426
lola: state equation: 246
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t479: false
lola: STATE EQUATION TRIES TRANSITION t529
sara: try reading problem file stateEquationProblem-QuasiLiveness-3655.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t529: false
lola: STATE EQUATION TRIES TRANSITION t1311
sara: try reading problem file stateEquationProblem-QuasiLiveness-1028.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1311: false
lola: STATE EQUATION TRIES TRANSITION t810
lola: reporting
lola: not produced: 2423
lola: state equation: 249
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-310.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t810: false
lola: STATE EQUATION TRIES TRANSITION t4126
sara: try reading problem file stateEquationProblem-QuasiLiveness-2126.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4126: false
lola: STATE EQUATION TRIES TRANSITION t86
sara: try reading problem file stateEquationProblem-QuasiLiveness-597.sara.
lola: reporting
lola: not produced: 2421
lola: state equation: 251
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t86: false
lola: STATE EQUATION TRIES TRANSITION t4102
sara: try reading problem file stateEquationProblem-QuasiLiveness-2102.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4102: false
lola: STATE EQUATION TRIES TRANSITION t1527
sara: try reading problem file stateEquationProblem-QuasiLiveness-1486.sara.
lola: reporting
lola: not produced: 2419
lola: state equation: 253
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1527: false
lola: STATE EQUATION TRIES TRANSITION t204
sara: try reading problem file stateEquationProblem-QuasiLiveness-2830.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t204: false
lola: STATE EQUATION TRIES TRANSITION t533
sara: try reading problem file stateEquationProblem-QuasiLiveness-3659.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2417
lola: state equation: 255
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t533: false
lola: STATE EQUATION TRIES TRANSITION t2616
sara: try reading problem file stateEquationProblem-QuasiLiveness-964.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2616: false
lola: STATE EQUATION TRIES TRANSITION t2330
sara: try reading problem file stateEquationProblem-QuasiLiveness-4118.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2330: false
lola: STATE EQUATION TRIES TRANSITION t1721
sara: try reading problem file stateEquationProblem-QuasiLiveness-1821.sara.
lola: reporting
lola: not produced: 2414
lola: state equation: 258
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1721: false
lola: STATE EQUATION TRIES TRANSITION t307
sara: try reading problem file stateEquationProblem-QuasiLiveness-3033.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t307: false
lola: STATE EQUATION TRIES TRANSITION t406
sara: try reading problem file stateEquationProblem-QuasiLiveness-3332.sara.
lola: reporting
lola: not produced: 2412
lola: state equation: 260
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t406: false
lola: STATE EQUATION TRIES TRANSITION t1303
sara: try reading problem file stateEquationProblem-QuasiLiveness-1004.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1303: false
lola: STATE EQUATION TRIES TRANSITION t1224
sara: try reading problem file stateEquationProblem-QuasiLiveness-657.sara.
lola: reporting
lola: not produced: 2410
lola: state equation: 262
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1224: false
lola: STATE EQUATION TRIES TRANSITION t407
sara: try reading problem file stateEquationProblem-QuasiLiveness-3333.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t407: false
lola: STATE EQUATION TRIES TRANSITION t1116
sara: try reading problem file stateEquationProblem-QuasiLiveness-143.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2408
lola: state equation: 264
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1116: false
lola: STATE EQUATION TRIES TRANSITION t1458
sara: try reading problem file stateEquationProblem-QuasiLiveness-1348.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1458: false
lola: STATE EQUATION TRIES TRANSITION t4080
sara: try reading problem file stateEquationProblem-QuasiLiveness-1980.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4080: false
lola: STATE EQUATION TRIES TRANSITION t31
lola: reporting
lola: not produced: 2405
lola: state equation: 267
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-441.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t31: false
lola: STATE EQUATION TRIES TRANSITION t205
sara: try reading problem file stateEquationProblem-QuasiLiveness-2831.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t205: false
lola: STATE EQUATION TRIES TRANSITION t109
sara: try reading problem file stateEquationProblem-QuasiLiveness-2609.sara.
lola: reporting
lola: not produced: 2403
lola: state equation: 269
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t109: false
lola: STATE EQUATION TRIES TRANSITION t1689
sara: try reading problem file stateEquationProblem-QuasiLiveness-1789.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1689: false
lola: STATE EQUATION TRIES TRANSITION t1782
sara: try reading problem file stateEquationProblem-QuasiLiveness-1882.sara.
lola: reporting
lola: not produced: 2401
lola: state equation: 271
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1782: false
lola: STATE EQUATION TRIES TRANSITION t2441
sara: try reading problem file stateEquationProblem-QuasiLiveness-124.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2441: false
lola: STATE EQUATION TRIES TRANSITION t2321
sara: try reading problem file stateEquationProblem-QuasiLiveness-4100.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2399
lola: state equation: 273
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2321: false
lola: STATE EQUATION TRIES TRANSITION t1333
sara: try reading problem file stateEquationProblem-QuasiLiveness-1094.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1333: false
lola: STATE EQUATION TRIES TRANSITION t1594
sara: try reading problem file stateEquationProblem-QuasiLiveness-1594.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1594: false
lola: STATE EQUATION TRIES TRANSITION t2501
sara: try reading problem file stateEquationProblem-QuasiLiveness-472.sara.
lola: reporting
lola: not produced: 2396
lola: state equation: 276
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2501: false
lola: STATE EQUATION TRIES TRANSITION t2422
sara: try reading problem file stateEquationProblem-QuasiLiveness-76.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2422: false
lola: STATE EQUATION TRIES TRANSITION t508
sara: try reading problem file stateEquationProblem-QuasiLiveness-3634.sara.
lola: reporting
lola: not produced: 2394
lola: state equation: 278
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t508: false
lola: STATE EQUATION TRIES TRANSITION t1534
sara: try reading problem file stateEquationProblem-QuasiLiveness-1500.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1534: false
lola: STATE EQUATION TRIES TRANSITION t883
sara: try reading problem file stateEquationProblem-QuasiLiveness-383.sara.
lola: reporting
lola: not produced: 2392
lola: state equation: 280
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t883: false
lola: STATE EQUATION TRIES TRANSITION t1400
sara: try reading problem file stateEquationProblem-QuasiLiveness-1232.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1400: false
lola: STATE EQUATION TRIES TRANSITION t871
sara: try reading problem file stateEquationProblem-QuasiLiveness-371.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2390
lola: state equation: 282
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t871: false
lola: STATE EQUATION TRIES TRANSITION t4358
sara: try reading problem file stateEquationProblem-QuasiLiveness-2485.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4358: false
lola: STATE EQUATION TRIES TRANSITION t4409
sara: try reading problem file stateEquationProblem-QuasiLiveness-2709.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4409: false
lola: STATE EQUATION TRIES TRANSITION t408
sara: try reading problem file stateEquationProblem-QuasiLiveness-3334.sara.
lola: reporting
lola: not produced: 2387
lola: state equation: 285
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t408: false
lola: STATE EQUATION TRIES TRANSITION t790
sara: try reading problem file stateEquationProblem-QuasiLiveness-4416.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t790: false
lola: STATE EQUATION TRIES TRANSITION t546
sara: try reading problem file stateEquationProblem-QuasiLiveness-3672.sara.
lola: reporting
lola: not produced: 2385
lola: state equation: 287
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t546: false
lola: STATE EQUATION TRIES TRANSITION t1343
sara: try reading problem file stateEquationProblem-QuasiLiveness-1118.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1343: false
lola: STATE EQUATION TRIES TRANSITION t2427
sara: try reading problem file stateEquationProblem-QuasiLiveness-86.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2383
lola: state equation: 289
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t2427: false
lola: STATE EQUATION TRIES TRANSITION t4206
sara: try reading problem file stateEquationProblem-QuasiLiveness-2306.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4206: false
lola: STATE EQUATION TRIES TRANSITION t1092
sara: try reading problem file stateEquationProblem-QuasiLiveness-4328.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1092: false
lola: STATE EQUATION TRIES TRANSITION t2663
sara: try reading problem file stateEquationProblem-QuasiLiveness-1090.sara.
lola: reporting
lola: not produced: 2380
lola: state equation: 292
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2663: false
lola: STATE EQUATION TRIES TRANSITION t2710
sara: try reading problem file stateEquationProblem-QuasiLiveness-1210.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2710: false
lola: STATE EQUATION TRIES TRANSITION t1500
sara: try reading problem file stateEquationProblem-QuasiLiveness-1432.sara.
lola: reporting
lola: not produced: 2378
lola: state equation: 294
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1500: false
lola: STATE EQUATION TRIES TRANSITION t1401
sara: try reading problem file stateEquationProblem-QuasiLiveness-1234.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1401: false
lola: STATE EQUATION TRIES TRANSITION t941
sara: try reading problem file stateEquationProblem-QuasiLiveness-831.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2376
lola: state equation: 296
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t941: false
lola: STATE EQUATION TRIES TRANSITION t480
sara: try reading problem file stateEquationProblem-QuasiLiveness-3406.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t480: false
lola: STATE EQUATION TRIES TRANSITION t744
sara: try reading problem file stateEquationProblem-QuasiLiveness-4370.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t744: false
lola: STATE EQUATION TRIES TRANSITION t509
lola: reporting
lola: not produced: 2373
lola: state equation: 299
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-3635.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t509: false
lola: STATE EQUATION TRIES TRANSITION t1047
sara: try reading problem file stateEquationProblem-QuasiLiveness-4252.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1047: false
lola: STATE EQUATION TRIES TRANSITION t2400
sara: try reading problem file stateEquationProblem-QuasiLiveness-32.sara.
lola: reporting
lola: not produced: 2371
lola: state equation: 301
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2400: false
lola: STATE EQUATION TRIES TRANSITION t614
sara: try reading problem file stateEquationProblem-QuasiLiveness-3940.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t614: false
lola: STATE EQUATION TRIES TRANSITION t749
sara: try reading problem file stateEquationProblem-QuasiLiveness-4375.sara.
lola: reporting
lola: not produced: 2369
lola: state equation: 303
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t749: false
lola: STATE EQUATION TRIES TRANSITION t4232
sara: try reading problem file stateEquationProblem-QuasiLiveness-2332.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4232: false
lola: STATE EQUATION TRIES TRANSITION t42
sara: try reading problem file stateEquationProblem-QuasiLiveness-462.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2367
lola: state equation: 305
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t42: false
lola: STATE EQUATION TRIES TRANSITION t2374
sara: try reading problem file stateEquationProblem-QuasiLiveness-4243.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2374: false
lola: STATE EQUATION TRIES TRANSITION t206
sara: try reading problem file stateEquationProblem-QuasiLiveness-2832.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t206: false
lola: STATE EQUATION TRIES TRANSITION t68
sara: try reading problem file stateEquationProblem-QuasiLiveness-533.sara.
lola: reporting
lola: not produced: 2364
lola: state equation: 308
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t68: false
lola: STATE EQUATION TRIES TRANSITION t1602
sara: try reading problem file stateEquationProblem-QuasiLiveness-1636.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1602: false
lola: STATE EQUATION TRIES TRANSITION t110
sara: try reading problem file stateEquationProblem-QuasiLiveness-2610.sara.
lola: reporting
lola: not produced: 2362
lola: state equation: 310
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t110: false
lola: STATE EQUATION TRIES TRANSITION t510
sara: try reading problem file stateEquationProblem-QuasiLiveness-3636.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t510: false
lola: STATE EQUATION TRIES TRANSITION t2671
sara: try reading problem file stateEquationProblem-QuasiLiveness-1111.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2360
lola: state equation: 312
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2671: false
lola: STATE EQUATION TRIES TRANSITION t305
sara: try reading problem file stateEquationProblem-QuasiLiveness-3031.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t305: false
lola: STATE EQUATION TRIES TRANSITION t748
sara: try reading problem file stateEquationProblem-QuasiLiveness-4374.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t748: false
lola: STATE EQUATION TRIES TRANSITION t4104
sara: try reading problem file stateEquationProblem-QuasiLiveness-2104.sara.
lola: reporting
lola: not produced: 2357
lola: state equation: 315
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4104: false
lola: STATE EQUATION TRIES TRANSITION t1622
sara: try reading problem file stateEquationProblem-QuasiLiveness-1676.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1622: false
lola: STATE EQUATION TRIES TRANSITION t739
sara: try reading problem file stateEquationProblem-QuasiLiveness-4365.sara.
lola: reporting
lola: not produced: 2355
lola: state equation: 317
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t739: false
lola: STATE EQUATION TRIES TRANSITION t2322
sara: try reading problem file stateEquationProblem-QuasiLiveness-4102.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2322: false
lola: STATE EQUATION TRIES TRANSITION t207
sara: try reading problem file stateEquationProblem-QuasiLiveness-2833.sara.
lola: reporting
lola: not produced: 2353
lola: state equation: 319
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t207: false
lola: STATE EQUATION TRIES TRANSITION t2401
sara: try reading problem file stateEquationProblem-QuasiLiveness-34.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2401: false
lola: STATE EQUATION TRIES TRANSITION t1794
sara: try reading problem file stateEquationProblem-QuasiLiveness-1894.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2351
lola: state equation: 321
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1794: false
lola: STATE EQUATION TRIES TRANSITION t2620
sara: try reading problem file stateEquationProblem-QuasiLiveness-972.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2620: false
lola: STATE EQUATION TRIES TRANSITION t1341
sara: try reading problem file stateEquationProblem-QuasiLiveness-1114.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1341: false
lola: STATE EQUATION TRIES TRANSITION t1478
sara: try reading problem file stateEquationProblem-QuasiLiveness-1378.sara.
lola: reporting
lola: not produced: 2348
lola: state equation: 324
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1478: false
lola: STATE EQUATION TRIES TRANSITION t4297
sara: try reading problem file stateEquationProblem-QuasiLiveness-2397.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4297: false
lola: STATE EQUATION TRIES TRANSITION t2547
sara: try reading problem file stateEquationProblem-QuasiLiveness-622.sara.
lola: reporting
lola: not produced: 2346
lola: state equation: 326
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2547: false
lola: STATE EQUATION TRIES TRANSITION t2506
sara: try reading problem file stateEquationProblem-QuasiLiveness-484.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2506: false
lola: STATE EQUATION TRIES TRANSITION t1476
sara: try reading problem file stateEquationProblem-QuasiLiveness-1376.sara.
lola: reporting
lola: not produced: 2344
lola: state equation: 328
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1476: false
lola: STATE EQUATION TRIES TRANSITION t409
sara: try reading problem file stateEquationProblem-QuasiLiveness-3335.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t409: false
lola: STATE EQUATION TRIES TRANSITION t2331
sara: try reading problem file stateEquationProblem-QuasiLiveness-4120.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2331: false
lola: STATE EQUATION TRIES TRANSITION t2703
lola: reporting
lola: not produced: 2341
lola: state equation: 331
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-1203.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2703: false
lola: STATE EQUATION TRIES TRANSITION t410
sara: try reading problem file stateEquationProblem-QuasiLiveness-3336.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t410: false
lola: STATE EQUATION TRIES TRANSITION t1663
sara: try reading problem file stateEquationProblem-QuasiLiveness-1758.sara.
lola: reporting
lola: not produced: 2339
lola: state equation: 333
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1663: false
lola: STATE EQUATION TRIES TRANSITION t615
sara: try reading problem file stateEquationProblem-QuasiLiveness-3941.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t615: false
lola: STATE EQUATION TRIES TRANSITION t616
sara: try reading problem file stateEquationProblem-QuasiLiveness-3942.sara.
lola: reporting
lola: not produced: 2337
lola: state equation: 335
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t616: false
lola: STATE EQUATION TRIES TRANSITION t4207
sara: try reading problem file stateEquationProblem-QuasiLiveness-2307.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4207: false
lola: STATE EQUATION TRIES TRANSITION t4044
sara: try reading problem file stateEquationProblem-QuasiLiveness-1944.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4044: false
lola: STATE EQUATION TRIES TRANSITION t4208
lola: reporting
lola: not produced: 2334
lola: state equation: 338
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-2308.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4208: false
lola: STATE EQUATION TRIES TRANSITION t2641
sara: try reading problem file stateEquationProblem-QuasiLiveness-1024.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2641: false
lola: STATE EQUATION TRIES TRANSITION t511
sara: try reading problem file stateEquationProblem-QuasiLiveness-3637.sara.
lola: reporting
lola: not produced: 2332
lola: state equation: 340
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t511: false
lola: STATE EQUATION TRIES TRANSITION t18
sara: try reading problem file stateEquationProblem-QuasiLiveness-411.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t18: false
lola: STATE EQUATION TRIES TRANSITION t2473
sara: try reading problem file stateEquationProblem-QuasiLiveness-215.sara.
lola: reporting
lola: not produced: 2330
lola: state equation: 342
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2473: false
lola: STATE EQUATION TRIES TRANSITION t1156
sara: try reading problem file stateEquationProblem-QuasiLiveness-244.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1156: false
lola: STATE EQUATION TRIES TRANSITION t1603
sara: try reading problem file stateEquationProblem-QuasiLiveness-1638.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1603: false
lola: STATE EQUATION TRIES TRANSITION t238
lola: reporting
lola: not produced: 2327
lola: state equation: 345
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-2864.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t238: false
lola: STATE EQUATION TRIES TRANSITION t4239
sara: try reading problem file stateEquationProblem-QuasiLiveness-2339.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4239: false
lola: STATE EQUATION TRIES TRANSITION t411
sara: try reading problem file stateEquationProblem-QuasiLiveness-3337.sara.
lola: reporting
lola: not produced: 2325
lola: state equation: 347
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t411: false
lola: STATE EQUATION TRIES TRANSITION t1327
sara: try reading problem file stateEquationProblem-QuasiLiveness-1076.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1327: false
lola: STATE EQUATION TRIES TRANSITION t4054
sara: try reading problem file stateEquationProblem-QuasiLiveness-1954.sara.
lola: reporting
lola: not produced: 2323
lola: state equation: 349
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4054: false
lola: STATE EQUATION TRIES TRANSITION t754
sara: try reading problem file stateEquationProblem-QuasiLiveness-4380.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t754: false
lola: STATE EQUATION TRIES TRANSITION t2667
sara: try reading problem file stateEquationProblem-QuasiLiveness-1102.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: reporting
lola: not produced: 2321
lola: state equation: 351
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: ..... t2667: false
lola: STATE EQUATION TRIES TRANSITION t4122
sara: try reading problem file stateEquationProblem-QuasiLiveness-2122.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4122: false
lola: STATE EQUATION TRIES TRANSITION t2601
sara: try reading problem file stateEquationProblem-QuasiLiveness-934.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2601: false
lola: STATE EQUATION TRIES TRANSITION t2509
sara: try reading problem file stateEquationProblem-QuasiLiveness-489.sara.
lola: reporting
lola: not produced: 2318
lola: state equation: 354
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2509: false
lola: STATE EQUATION TRIES TRANSITION t1674
sara: try reading problem file stateEquationProblem-QuasiLiveness-1774.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1674: false
lola: STATE EQUATION TRIES TRANSITION t412
sara: try reading problem file stateEquationProblem-QuasiLiveness-3338.sara.
lola: reporting
lola: not produced: 2316
lola: state equation: 356
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t412: false
lola: STATE EQUATION TRIES TRANSITION t617
sara: try reading problem file stateEquationProblem-QuasiLiveness-3943.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t617: false
lola: STATE EQUATION TRIES TRANSITION t2521
sara: try reading problem file stateEquationProblem-QuasiLiveness-532.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2314
lola: state equation: 358
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2521: false
lola: STATE EQUATION TRIES TRANSITION t1173
sara: try reading problem file stateEquationProblem-QuasiLiveness-273.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1173: false
lola: STATE EQUATION TRIES TRANSITION t150
sara: try reading problem file stateEquationProblem-QuasiLiveness-2650.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t150: false
lola: STATE EQUATION TRIES TRANSITION t299
sara: try reading problem file stateEquationProblem-QuasiLiveness-2925.sara.
lola: reporting
lola: not produced: 2311
lola: state equation: 361
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t299: false
lola: STATE EQUATION TRIES TRANSITION t2351
sara: try reading problem file stateEquationProblem-QuasiLiveness-4180.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2351: false
lola: STATE EQUATION TRIES TRANSITION t2357
sara: try reading problem file stateEquationProblem-QuasiLiveness-4198.sara.
lola: reporting
lola: not produced: 2309
lola: state equation: 363
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2357: false
lola: STATE EQUATION TRIES TRANSITION t2494
sara: try reading problem file stateEquationProblem-QuasiLiveness-257.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2494: false
lola: STATE EQUATION TRIES TRANSITION t512
sara: try reading problem file stateEquationProblem-QuasiLiveness-3638.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2307
lola: state equation: 365
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t512: false
lola: STATE EQUATION TRIES TRANSITION t525
sara: try reading problem file stateEquationProblem-QuasiLiveness-3651.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t525: false
lola: STATE EQUATION TRIES TRANSITION t4353
sara: try reading problem file stateEquationProblem-QuasiLiveness-2475.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4353: false
lola: STATE EQUATION TRIES TRANSITION t618
sara: try reading problem file stateEquationProblem-QuasiLiveness-3944.sara.
lola: reporting
lola: not produced: 2304
lola: state equation: 368
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t618: false
lola: STATE EQUATION TRIES TRANSITION t1526
sara: try reading problem file stateEquationProblem-QuasiLiveness-1484.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1526: false
lola: STATE EQUATION TRIES TRANSITION t1673
sara: try reading problem file stateEquationProblem-QuasiLiveness-1773.sara.
lola: reporting
lola: not produced: 2302
lola: state equation: 370
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1673: false
lola: STATE EQUATION TRIES TRANSITION t306
sara: try reading problem file stateEquationProblem-QuasiLiveness-3032.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t306: false
lola: STATE EQUATION TRIES TRANSITION t2456
sara: try reading problem file stateEquationProblem-QuasiLiveness-169.sara.
lola: reporting
lola: not produced: 2300
lola: state equation: 372
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2456: false
lola: STATE EQUATION TRIES TRANSITION t1165
sara: try reading problem file stateEquationProblem-QuasiLiveness-262.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1165: false
lola: STATE EQUATION TRIES TRANSITION t1522
sara: try reading problem file stateEquationProblem-QuasiLiveness-1476.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1522: false
lola: STATE EQUATION TRIES TRANSITION t1704
sara: try reading problem file stateEquationProblem-QuasiLiveness-1804.sara.
lola: reporting
lola: not produced: 2297
lola: state equation: 375
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1704: false
lola: STATE EQUATION TRIES TRANSITION t413
sara: try reading problem file stateEquationProblem-QuasiLiveness-3339.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t413: false
lola: STATE EQUATION TRIES TRANSITION t1884
sara: try reading problem file stateEquationProblem-QuasiLiveness-2084.sara.
lola: reporting
lola: not produced: 2295
lola: state equation: 377
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1884: false
lola: STATE EQUATION TRIES TRANSITION t463
sara: try reading problem file stateEquationProblem-QuasiLiveness-3389.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t463: false
lola: STATE EQUATION TRIES TRANSITION t1027
sara: try reading problem file stateEquationProblem-QuasiLiveness-4202.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2293
lola: state equation: 379
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t1027: false
lola: STATE EQUATION TRIES TRANSITION t4212
sara: try reading problem file stateEquationProblem-QuasiLiveness-2312.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4212: false
lola: STATE EQUATION TRIES TRANSITION t418
sara: try reading problem file stateEquationProblem-QuasiLiveness-3344.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t418: false
lola: STATE EQUATION TRIES TRANSITION t513
sara: try reading problem file stateEquationProblem-QuasiLiveness-3639.sara.
lola: reporting
lola: not produced: 2290
lola: state equation: 382
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t513: false
lola: STATE EQUATION TRIES TRANSITION t4408
sara: try reading problem file stateEquationProblem-QuasiLiveness-2708.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4408: false
lola: STATE EQUATION TRIES TRANSITION t4388
sara: try reading problem file stateEquationProblem-QuasiLiveness-2545.sara.
lola: reporting
lola: not produced: 2288
lola: state equation: 384
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4388: false
lola: STATE EQUATION TRIES TRANSITION t2323
sara: try reading problem file stateEquationProblem-QuasiLiveness-4104.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2323: false
lola: STATE EQUATION TRIES TRANSITION t2413
sara: try reading problem file stateEquationProblem-QuasiLiveness-58.sara.
lola: reporting
lola: not produced: 2286
lola: state equation: 386
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2413: false
lola: STATE EQUATION TRIES TRANSITION t1505
sara: try reading problem file stateEquationProblem-QuasiLiveness-1442.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1505: false
lola: STATE EQUATION TRIES TRANSITION t514
sara: try reading problem file stateEquationProblem-QuasiLiveness-3640.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2284
lola: state equation: 388
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t514: false
lola: STATE EQUATION TRIES TRANSITION t1209
sara: try reading problem file stateEquationProblem-QuasiLiveness-589.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1209: false
lola: STATE EQUATION TRIES TRANSITION t788
sara: try reading problem file stateEquationProblem-QuasiLiveness-4414.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t788: false
lola: STATE EQUATION TRIES TRANSITION t750
sara: try reading problem file stateEquationProblem-QuasiLiveness-4376.sara.
lola: reporting
lola: not produced: 2281
lola: state equation: 391
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t750: false
lola: STATE EQUATION TRIES TRANSITION t515
sara: try reading problem file stateEquationProblem-QuasiLiveness-3641.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t515: false
lola: STATE EQUATION TRIES TRANSITION t2346
sara: try reading problem file stateEquationProblem-QuasiLiveness-4165.sara.
lola: reporting
lola: not produced: 2279
lola: state equation: 393
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2346: false
lola: STATE EQUATION TRIES TRANSITION t2340
sara: try reading problem file stateEquationProblem-QuasiLiveness-4148.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2340: false
lola: STATE EQUATION TRIES TRANSITION t1872
sara: try reading problem file stateEquationProblem-QuasiLiveness-2072.sara.
lola: reporting
lola: not produced: 2277
lola: state equation: 395
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1872: false
lola: STATE EQUATION TRIES TRANSITION t1604
sara: try reading problem file stateEquationProblem-QuasiLiveness-1640.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1604: false
lola: STATE EQUATION TRIES TRANSITION t446
sara: try reading problem file stateEquationProblem-QuasiLiveness-3372.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t446: false
lola: STATE EQUATION TRIES TRANSITION t208
lola: reporting
lola: not produced: 2274
lola: state equation: 398
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-2834.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t208: false
lola: STATE EQUATION TRIES TRANSITION t2637
sara: try reading problem file stateEquationProblem-QuasiLiveness-1012.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2637: false
lola: STATE EQUATION TRIES TRANSITION t414
sara: try reading problem file stateEquationProblem-QuasiLiveness-3340.sara.
lola: reporting
lola: not produced: 2272
lola: state equation: 400
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t414: false
lola: STATE EQUATION TRIES TRANSITION t2448
sara: try reading problem file stateEquationProblem-QuasiLiveness-145.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2448: false
lola: STATE EQUATION TRIES TRANSITION t4209
sara: try reading problem file stateEquationProblem-QuasiLiveness-2309.sara.
lola: reporting
lola: not produced: 2270
lola: state equation: 402
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4209: false
lola: STATE EQUATION TRIES TRANSITION t1573
sara: try reading problem file stateEquationProblem-QuasiLiveness-1573.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1573: false
lola: STATE EQUATION TRIES TRANSITION t15
sara: try reading problem file stateEquationProblem-QuasiLiveness-405.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2268
lola: state equation: 404
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t15: false
lola: STATE EQUATION TRIES TRANSITION t584
sara: try reading problem file stateEquationProblem-QuasiLiveness-3710.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t584: false
lola: STATE EQUATION TRIES TRANSITION t451
sara: try reading problem file stateEquationProblem-QuasiLiveness-3377.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t451: false
lola: STATE EQUATION TRIES TRANSITION t516
sara: try reading problem file stateEquationProblem-QuasiLiveness-3642.sara.
lola: reporting
lola: not produced: 2265
lola: state equation: 407
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t516: false
lola: STATE EQUATION TRIES TRANSITION t2324
sara: try reading problem file stateEquationProblem-QuasiLiveness-4106.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2324: false
lola: STATE EQUATION TRIES TRANSITION t4241
sara: try reading problem file stateEquationProblem-QuasiLiveness-2341.sara.
lola: reporting
lola: not produced: 2263
lola: state equation: 409
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4241: false
lola: STATE EQUATION TRIES TRANSITION t1582
sara: try reading problem file stateEquationProblem-QuasiLiveness-1582.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1582: false
lola: STATE EQUATION TRIES TRANSITION t4056
sara: try reading problem file stateEquationProblem-QuasiLiveness-1956.sara.
lola: reporting
lola: not produced: 2261
lola: state equation: 411
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4056: false
lola: STATE EQUATION TRIES TRANSITION t633
sara: try reading problem file stateEquationProblem-QuasiLiveness-3959.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t633: false
lola: STATE EQUATION TRIES TRANSITION t2587
sara: try reading problem file stateEquationProblem-QuasiLiveness-733.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2587: false
lola: STATE EQUATION TRIES TRANSITION t2484
lola: reporting
lola: not produced: 2258
lola: state equation: 414
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-237.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2484: false
lola: STATE EQUATION TRIES TRANSITION t1877
sara: try reading problem file stateEquationProblem-QuasiLiveness-2077.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1877: false
lola: STATE EQUATION TRIES TRANSITION t348
sara: try reading problem file stateEquationProblem-QuasiLiveness-3074.sara.
lola: reporting
lola: not produced: 2256
lola: state equation: 416
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t348: false
lola: STATE EQUATION TRIES TRANSITION t308
sara: try reading problem file stateEquationProblem-QuasiLiveness-3034.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t308: false
lola: STATE EQUATION TRIES TRANSITION t1692
sara: try reading problem file stateEquationProblem-QuasiLiveness-1792.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2254
lola: state equation: 418
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t1692: false
lola: STATE EQUATION TRIES TRANSITION t4105
sara: try reading problem file stateEquationProblem-QuasiLiveness-2105.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4105: false
lola: STATE EQUATION TRIES TRANSITION t1758
sara: try reading problem file stateEquationProblem-QuasiLiveness-1858.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1758: false
lola: STATE EQUATION TRIES TRANSITION t1680
sara: try reading problem file stateEquationProblem-QuasiLiveness-1780.sara.
lola: reporting
lola: not produced: 2251
lola: state equation: 421
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1680: false
lola: STATE EQUATION TRIES TRANSITION t823
sara: try reading problem file stateEquationProblem-QuasiLiveness-323.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t823: false
lola: STATE EQUATION TRIES TRANSITION t521
sara: try reading problem file stateEquationProblem-QuasiLiveness-3647.sara.
lola: reporting
lola: not produced: 2249
lola: state equation: 423
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t521: false
lola: STATE EQUATION TRIES TRANSITION t2364
sara: try reading problem file stateEquationProblem-QuasiLiveness-4219.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2364: false
lola: STATE EQUATION TRIES TRANSITION t2406
sara: try reading problem file stateEquationProblem-QuasiLiveness-44.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2247
lola: state equation: 425
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2406: false
lola: STATE EQUATION TRIES TRANSITION t1418
sara: try reading problem file stateEquationProblem-QuasiLiveness-1268.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1418: false
lola: STATE EQUATION TRIES TRANSITION t2326
sara: try reading problem file stateEquationProblem-QuasiLiveness-4110.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2326: false
lola: STATE EQUATION TRIES TRANSITION t1630
sara: try reading problem file stateEquationProblem-QuasiLiveness-1692.sara.
lola: reporting
lola: not produced: 2244
lola: state equation: 428
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1630: false
lola: STATE EQUATION TRIES TRANSITION t2325
sara: try reading problem file stateEquationProblem-QuasiLiveness-4108.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2325: false
lola: STATE EQUATION TRIES TRANSITION t2568
sara: try reading problem file stateEquationProblem-QuasiLiveness-695.sara.
lola: reporting
lola: not produced: 2242
lola: state equation: 430
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2568: false
lola: STATE EQUATION TRIES TRANSITION t369
sara: try reading problem file stateEquationProblem-QuasiLiveness-3095.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t369: false
lola: STATE EQUATION TRIES TRANSITION t2360
sara: try reading problem file stateEquationProblem-QuasiLiveness-4208.sara.
lola: reporting
lola: not produced: 2240
lola: state equation: 432
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2360: false
lola: STATE EQUATION TRIES TRANSITION t2708
sara: try reading problem file stateEquationProblem-QuasiLiveness-1208.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2708: false
lola: STATE EQUATION TRIES TRANSITION t2487
sara: try reading problem file stateEquationProblem-QuasiLiveness-243.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2238
lola: state equation: 434
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t2487: false
lola: STATE EQUATION TRIES TRANSITION t259
sara: try reading problem file stateEquationProblem-QuasiLiveness-2885.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t259: false
lola: STATE EQUATION TRIES TRANSITION t51
sara: try reading problem file stateEquationProblem-QuasiLiveness-491.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t51: false
lola: STATE EQUATION TRIES TRANSITION t517
sara: try reading problem file stateEquationProblem-QuasiLiveness-3643.sara.
lola: reporting
lola: not produced: 2235
lola: state equation: 437
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t517: false
lola: STATE EQUATION TRIES TRANSITION t4091
sara: try reading problem file stateEquationProblem-QuasiLiveness-1991.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4091: false
lola: STATE EQUATION TRIES TRANSITION t209
sara: try reading problem file stateEquationProblem-QuasiLiveness-2835.sara.
lola: reporting
lola: not produced: 2233
lola: state equation: 439
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t209: false
lola: STATE EQUATION TRIES TRANSITION t1039
sara: try reading problem file stateEquationProblem-QuasiLiveness-4235.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1039: false
lola: STATE EQUATION TRIES TRANSITION t1747
sara: try reading problem file stateEquationProblem-QuasiLiveness-1847.sara.
lola: reporting
lola: not produced: 2231
lola: state equation: 441
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1747: false
lola: STATE EQUATION TRIES TRANSITION t862
sara: try reading problem file stateEquationProblem-QuasiLiveness-362.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t862: false
lola: STATE EQUATION TRIES TRANSITION t619
sara: try reading problem file stateEquationProblem-QuasiLiveness-3945.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t619: false
lola: STATE EQUATION TRIES TRANSITION t111
sara: try reading problem file stateEquationProblem-QuasiLiveness-2611.sara.
lola: reporting
lola: not produced: 2228
lola: state equation: 444
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t111: false
lola: STATE EQUATION TRIES TRANSITION t88
sara: try reading problem file stateEquationProblem-QuasiLiveness-604.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t88: false
lola: STATE EQUATION TRIES TRANSITION t1000
sara: try reading problem file stateEquationProblem-QuasiLiveness-4121.sara.
lola: reporting
lola: not produced: 2226
lola: state equation: 446
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1000: false
lola: STATE EQUATION TRIES TRANSITION t620
sara: try reading problem file stateEquationProblem-QuasiLiveness-3946.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t620: false
lola: STATE EQUATION TRIES TRANSITION t1768
sara: try reading problem file stateEquationProblem-QuasiLiveness-1868.sara.
lola: reporting
lola: not produced: 2224
lola: state equation: 448
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1768: false
lola: STATE EQUATION TRIES TRANSITION t1528
sara: try reading problem file stateEquationProblem-QuasiLiveness-1488.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1528: false
lola: STATE EQUATION TRIES TRANSITION t1605
sara: try reading problem file stateEquationProblem-QuasiLiveness-1642.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2222
lola: state equation: 450
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1605: false
lola: STATE EQUATION TRIES TRANSITION t621
sara: try reading problem file stateEquationProblem-QuasiLiveness-3947.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t621: false
lola: STATE EQUATION TRIES TRANSITION t415
sara: try reading problem file stateEquationProblem-QuasiLiveness-3341.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t415: false
lola: STATE EQUATION TRIES TRANSITION t1135
sara: try reading problem file stateEquationProblem-QuasiLiveness-200.sara.
lola: reporting
lola: not produced: 2219
lola: state equation: 453
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1135: false
lola: STATE EQUATION TRIES TRANSITION t309
sara: try reading problem file stateEquationProblem-QuasiLiveness-3035.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t309: false
lola: STATE EQUATION TRIES TRANSITION t1451
sara: try reading problem file stateEquationProblem-QuasiLiveness-1334.sara.
lola: reporting
lola: not produced: 2217
lola: state equation: 455
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1451: false
lola: STATE EQUATION TRIES TRANSITION t2488
sara: try reading problem file stateEquationProblem-QuasiLiveness-245.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2488: false
lola: STATE EQUATION TRIES TRANSITION t2363
sara: try reading problem file stateEquationProblem-QuasiLiveness-4216.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2215
lola: state equation: 457
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2363: false
lola: STATE EQUATION TRIES TRANSITION t2639
sara: try reading problem file stateEquationProblem-QuasiLiveness-1017.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2639: false
lola: STATE EQUATION TRIES TRANSITION t4036
sara: try reading problem file stateEquationProblem-QuasiLiveness-1936.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4036: false
lola: STATE EQUATION TRIES TRANSITION t4127
sara: try reading problem file stateEquationProblem-QuasiLiveness-2127.sara.
lola: reporting
lola: not produced: 2212
lola: state equation: 460
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4127: false
lola: STATE EQUATION TRIES TRANSITION t785
sara: try reading problem file stateEquationProblem-QuasiLiveness-4411.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t785: false
lola: STATE EQUATION TRIES TRANSITION t2542
sara: try reading problem file stateEquationProblem-QuasiLiveness-606.sara.
lola: reporting
lola: not produced: 2210
lola: state equation: 462
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2542: false
lola: STATE EQUATION TRIES TRANSITION t4014
sara: try reading problem file stateEquationProblem-QuasiLiveness-1914.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4014: false
lola: STATE EQUATION TRIES TRANSITION t1392
sara: try reading problem file stateEquationProblem-QuasiLiveness-1192.sara.
lola: reporting
lola: not produced: 2208
lola: state equation: 464
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1392: false
lola: STATE EQUATION TRIES TRANSITION t518
sara: try reading problem file stateEquationProblem-QuasiLiveness-3644.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t518: false
lola: STATE EQUATION TRIES TRANSITION t865
sara: try reading problem file stateEquationProblem-QuasiLiveness-365.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2206
lola: state equation: 466
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t865: false
lola: STATE EQUATION TRIES TRANSITION t757
sara: try reading problem file stateEquationProblem-QuasiLiveness-4383.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t757: false
lola: STATE EQUATION TRIES TRANSITION t210
sara: try reading problem file stateEquationProblem-QuasiLiveness-2836.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t210: false
lola: STATE EQUATION TRIES TRANSITION t90
sara: try reading problem file stateEquationProblem-QuasiLiveness-630.sara.
lola: reporting
lola: not produced: 2203
lola: state equation: 469
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t90: false
lola: STATE EQUATION TRIES TRANSITION t211
sara: try reading problem file stateEquationProblem-QuasiLiveness-2837.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t211: false
lola: STATE EQUATION TRIES TRANSITION t936
sara: try reading problem file stateEquationProblem-QuasiLiveness-826.sara.
lola: reporting
lola: not produced: 2201
lola: state equation: 471
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t936: false
lola: STATE EQUATION TRIES TRANSITION t4354
sara: try reading problem file stateEquationProblem-QuasiLiveness-2477.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4354: false
lola: STATE EQUATION TRIES TRANSITION t416
sara: try reading problem file stateEquationProblem-QuasiLiveness-3342.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2199
lola: state equation: 473
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t416: false
lola: STATE EQUATION TRIES TRANSITION t243
sara: try reading problem file stateEquationProblem-QuasiLiveness-2869.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t243: false
lola: STATE EQUATION TRIES TRANSITION t417
sara: try reading problem file stateEquationProblem-QuasiLiveness-3343.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t417: false
lola: STATE EQUATION TRIES TRANSITION t1827
sara: try reading problem file stateEquationProblem-QuasiLiveness-2027.sara.
lola: reporting
lola: not produced: 2196
lola: state equation: 476
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1827: false
lola: STATE EQUATION TRIES TRANSITION t4397
sara: try reading problem file stateEquationProblem-QuasiLiveness-2563.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4397: false
lola: STATE EQUATION TRIES TRANSITION t212
sara: try reading problem file stateEquationProblem-QuasiLiveness-2838.sara.
lola: reporting
lola: not produced: 2194
lola: state equation: 478
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t212: false
lola: STATE EQUATION TRIES TRANSITION t622
sara: try reading problem file stateEquationProblem-QuasiLiveness-3948.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t622: false
lola: STATE EQUATION TRIES TRANSITION t4222
sara: try reading problem file stateEquationProblem-QuasiLiveness-2322.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2192
lola: state equation: 480
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t4222: false
lola: STATE EQUATION TRIES TRANSITION t4412
sara: try reading problem file stateEquationProblem-QuasiLiveness-2712.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4412: false
lola: STATE EQUATION TRIES TRANSITION t1523
sara: try reading problem file stateEquationProblem-QuasiLiveness-1478.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1523: false
lola: STATE EQUATION TRIES TRANSITION t623
sara: try reading problem file stateEquationProblem-QuasiLiveness-3949.sara.
lola: reporting
lola: not produced: 2189
lola: state equation: 483
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t623: false
lola: STATE EQUATION TRIES TRANSITION t286
sara: try reading problem file stateEquationProblem-QuasiLiveness-2912.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t286: false
lola: STATE EQUATION TRIES TRANSITION t792
sara: try reading problem file stateEquationProblem-QuasiLiveness-4418.sara.
lola: reporting
lola: not produced: 2187
lola: state equation: 485
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t792: false
lola: STATE EQUATION TRIES TRANSITION t1279
sara: try reading problem file stateEquationProblem-QuasiLiveness-769.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1279: false
lola: STATE EQUATION TRIES TRANSITION t1501
sara: try reading problem file stateEquationProblem-QuasiLiveness-1434.sara.
lola: reporting
lola: not produced: 2185
lola: state equation: 487
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1501: false
lola: STATE EQUATION TRIES TRANSITION t4356
sara: try reading problem file stateEquationProblem-QuasiLiveness-2481.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4356: false
lola: STATE EQUATION TRIES TRANSITION t1686
sara: try reading problem file stateEquationProblem-QuasiLiveness-1786.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: reporting
lola: not produced: 2183
lola: state equation: 489
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: ..... t1686: false
lola: STATE EQUATION TRIES TRANSITION t1606
sara: try reading problem file stateEquationProblem-QuasiLiveness-1644.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1606: false
lola: STATE EQUATION TRIES TRANSITION t1130
sara: try reading problem file stateEquationProblem-QuasiLiveness-185.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1130: false
lola: STATE EQUATION TRIES TRANSITION t2407
sara: try reading problem file stateEquationProblem-QuasiLiveness-46.sara.
lola: reporting
lola: not produced: 2180
lola: state equation: 492
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2407: false
lola: STATE EQUATION TRIES TRANSITION t61
sara: try reading problem file stateEquationProblem-QuasiLiveness-521.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t61: false
lola: STATE EQUATION TRIES TRANSITION t861
sara: try reading problem file stateEquationProblem-QuasiLiveness-361.sara.
lola: reporting
lola: not produced: 2178
lola: state equation: 494
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t861: false
lola: STATE EQUATION TRIES TRANSITION t1403
sara: try reading problem file stateEquationProblem-QuasiLiveness-1238.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1403: false
lola: STATE EQUATION TRIES TRANSITION t2327
sara: try reading problem file stateEquationProblem-QuasiLiveness-4112.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2176
lola: state equation: 496
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2327: false
lola: STATE EQUATION TRIES TRANSITION t519
sara: try reading problem file stateEquationProblem-QuasiLiveness-3645.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t519: false
lola: STATE EQUATION TRIES TRANSITION t624
sara: try reading problem file stateEquationProblem-QuasiLiveness-3950.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t624: false
lola: STATE EQUATION TRIES TRANSITION t1225
sara: try reading problem file stateEquationProblem-QuasiLiveness-660.sara.
lola: reporting
lola: not produced: 2173
lola: state equation: 499
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1225: false
lola: STATE EQUATION TRIES TRANSITION t2328
sara: try reading problem file stateEquationProblem-QuasiLiveness-4114.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2328: false
lola: STATE EQUATION TRIES TRANSITION t4210
sara: try reading problem file stateEquationProblem-QuasiLiveness-2310.sara.
lola: reporting
lola: not produced: 2171
lola: state equation: 501
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4210: false
lola: STATE EQUATION TRIES TRANSITION t1529
sara: try reading problem file stateEquationProblem-QuasiLiveness-1489.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1529: false
lola: STATE EQUATION TRIES TRANSITION t882
sara: try reading problem file stateEquationProblem-QuasiLiveness-382.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2169
lola: state equation: 503
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t882: false
lola: STATE EQUATION TRIES TRANSITION t562
sara: try reading problem file stateEquationProblem-QuasiLiveness-3688.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t562: false
lola: STATE EQUATION TRIES TRANSITION t130
sara: try reading problem file stateEquationProblem-QuasiLiveness-2630.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t130: false
lola: STATE EQUATION TRIES TRANSITION t4088
lola: reporting
lola: not produced: 2166
lola: state equation: 506
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-1988.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4088: false
lola: STATE EQUATION TRIES TRANSITION t664
sara: try reading problem file stateEquationProblem-QuasiLiveness-3990.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t664: false
lola: STATE EQUATION TRIES TRANSITION t520
sara: try reading problem file stateEquationProblem-QuasiLiveness-3646.sara.
lola: reporting
lola: not produced: 2164
lola: state equation: 508
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t520: false
lola: STATE EQUATION TRIES TRANSITION t371
sara: try reading problem file stateEquationProblem-QuasiLiveness-3097.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t371: false
lola: STATE EQUATION TRIES TRANSITION t1651
sara: try reading problem file stateEquationProblem-QuasiLiveness-1734.sara.
lola: reporting
lola: not produced: 2162
lola: state equation: 510
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1651: false
lola: STATE EQUATION TRIES TRANSITION t1465
sara: try reading problem file stateEquationProblem-QuasiLiveness-1362.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1465: false
lola: STATE EQUATION TRIES TRANSITION t1483
sara: try reading problem file stateEquationProblem-QuasiLiveness-1383.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2160
lola: state equation: 512
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1483: false
lola: STATE EQUATION TRIES TRANSITION t419
sara: try reading problem file stateEquationProblem-QuasiLiveness-3345.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t419: false
lola: STATE EQUATION TRIES TRANSITION t1298
sara: try reading problem file stateEquationProblem-QuasiLiveness-798.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1298: false
lola: STATE EQUATION TRIES TRANSITION t112
sara: try reading problem file stateEquationProblem-QuasiLiveness-2612.sara.
lola: reporting
lola: not produced: 2157
lola: state equation: 515
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t112: false
lola: STATE EQUATION TRIES TRANSITION t1525
sara: try reading problem file stateEquationProblem-QuasiLiveness-1482.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1525: false
lola: STATE EQUATION TRIES TRANSITION t1055
sara: try reading problem file stateEquationProblem-QuasiLiveness-4268.sara.
lola: reporting
lola: not produced: 2155
lola: state equation: 517
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1055: false
lola: STATE EQUATION TRIES TRANSITION t675
sara: try reading problem file stateEquationProblem-QuasiLiveness-4001.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t675: false
lola: STATE EQUATION TRIES TRANSITION t625
sara: try reading problem file stateEquationProblem-QuasiLiveness-3951.sara.
lola: reporting
lola: not produced: 2153
lola: state equation: 519
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t625: false
lola: STATE EQUATION TRIES TRANSITION t1093
sara: try reading problem file stateEquationProblem-QuasiLiveness-4329.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1093: false
lola: STATE EQUATION TRIES TRANSITION t626
sara: try reading problem file stateEquationProblem-QuasiLiveness-3952.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t626: false
lola: STATE EQUATION TRIES TRANSITION t4306
sara: try reading problem file stateEquationProblem-QuasiLiveness-2406.sara.
lola: reporting
lola: not produced: 2150
lola: state equation: 522
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4306: false
lola: STATE EQUATION TRIES TRANSITION t751
sara: try reading problem file stateEquationProblem-QuasiLiveness-4377.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t751: false
lola: STATE EQUATION TRIES TRANSITION t2402
sara: try reading problem file stateEquationProblem-QuasiLiveness-36.sara.
lola: reporting
lola: not produced: 2148
lola: state equation: 524
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2402: false
lola: STATE EQUATION TRIES TRANSITION t214
sara: try reading problem file stateEquationProblem-QuasiLiveness-2840.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t214: false
lola: STATE EQUATION TRIES TRANSITION t627
sara: try reading problem file stateEquationProblem-QuasiLiveness-3953.sara.
lola: reporting
lola: not produced: 2146
lola: state equation: 526
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t627: false
lola: STATE EQUATION TRIES TRANSITION t2329
sara: try reading problem file stateEquationProblem-QuasiLiveness-4115.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2329: false
lola: STATE EQUATION TRIES TRANSITION t1668
sara: try reading problem file stateEquationProblem-QuasiLiveness-1768.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: reporting
lola: not produced: 2144
lola: state equation: 528
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: ..... t1668: false
lola: STATE EQUATION TRIES TRANSITION t431
sara: try reading problem file stateEquationProblem-QuasiLiveness-3357.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t431: false
lola: STATE EQUATION TRIES TRANSITION t816
sara: try reading problem file stateEquationProblem-QuasiLiveness-316.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t816: false
lola: STATE EQUATION TRIES TRANSITION t2332
sara: try reading problem file stateEquationProblem-QuasiLiveness-4123.sara.
lola: reporting
lola: not produced: 2141
lola: state equation: 531
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2332: false
lola: STATE EQUATION TRIES TRANSITION t628
sara: try reading problem file stateEquationProblem-QuasiLiveness-3954.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t628: false
lola: STATE EQUATION TRIES TRANSITION t2423
sara: try reading problem file stateEquationProblem-QuasiLiveness-78.sara.
lola: reporting
lola: not produced: 2139
lola: state equation: 533
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2423: false
lola: STATE EQUATION TRIES TRANSITION t215
sara: try reading problem file stateEquationProblem-QuasiLiveness-2841.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t215: false
lola: STATE EQUATION TRIES TRANSITION t1502
sara: try reading problem file stateEquationProblem-QuasiLiveness-1436.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2137
lola: state equation: 535
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1502: false
lola: STATE EQUATION TRIES TRANSITION t4407
sara: try reading problem file stateEquationProblem-QuasiLiveness-2707.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4407: false
lola: STATE EQUATION TRIES TRANSITION t818
sara: try reading problem file stateEquationProblem-QuasiLiveness-318.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t818: false
lola: STATE EQUATION TRIES TRANSITION t566
sara: try reading problem file stateEquationProblem-QuasiLiveness-3692.sara.
lola: reporting
lola: not produced: 2134
lola: state equation: 538
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t566: false
lola: STATE EQUATION TRIES TRANSITION t1658
sara: try reading problem file stateEquationProblem-QuasiLiveness-1748.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1658: false
lola: STATE EQUATION TRIES TRANSITION t489
sara: try reading problem file stateEquationProblem-QuasiLiveness-3415.sara.
lola: reporting
lola: not produced: 2132
lola: state equation: 540
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t489: false
lola: STATE EQUATION TRIES TRANSITION t2633
sara: try reading problem file stateEquationProblem-QuasiLiveness-1000.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2633: false
lola: STATE EQUATION TRIES TRANSITION t1484
sara: try reading problem file stateEquationProblem-QuasiLiveness-1384.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2130
lola: state equation: 542
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1484: false
lola: STATE EQUATION TRIES TRANSITION t347
sara: try reading problem file stateEquationProblem-QuasiLiveness-3073.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t347: false
lola: STATE EQUATION TRIES TRANSITION t4355
sara: try reading problem file stateEquationProblem-QuasiLiveness-2479.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4355: false
lola: STATE EQUATION TRIES TRANSITION t43
sara: try reading problem file stateEquationProblem-QuasiLiveness-463.sara.
lola: reporting
lola: not produced: 2127
lola: state equation: 545
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t43: false
lola: STATE EQUATION TRIES TRANSITION t629
sara: try reading problem file stateEquationProblem-QuasiLiveness-3955.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t629: false
lola: STATE EQUATION TRIES TRANSITION t630
sara: try reading problem file stateEquationProblem-QuasiLiveness-3956.sara.
lola: reporting
lola: not produced: 2125
lola: state equation: 547
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t630: false
lola: STATE EQUATION TRIES TRANSITION t808
sara: try reading problem file stateEquationProblem-QuasiLiveness-298.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t808: false
lola: STATE EQUATION TRIES TRANSITION t1667
sara: try reading problem file stateEquationProblem-QuasiLiveness-1766.sara.
lola: reporting
lola: not produced: 2123
lola: state equation: 549
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1667: false
lola: STATE EQUATION TRIES TRANSITION t1659
sara: try reading problem file stateEquationProblem-QuasiLiveness-1749.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1659: false
lola: STATE EQUATION TRIES TRANSITION t2467
sara: try reading problem file stateEquationProblem-QuasiLiveness-202.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2121
lola: state equation: 551
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2467: false
lola: STATE EQUATION TRIES TRANSITION t1413
sara: try reading problem file stateEquationProblem-QuasiLiveness-1258.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1413: false
lola: STATE EQUATION TRIES TRANSITION t2343
sara: try reading problem file stateEquationProblem-QuasiLiveness-4156.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2343: false
lola: STATE EQUATION TRIES TRANSITION t1119
sara: try reading problem file stateEquationProblem-QuasiLiveness-149.sara.
lola: reporting
lola: not produced: 2118
lola: state equation: 554
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1119: false
lola: STATE EQUATION TRIES TRANSITION t1419
sara: try reading problem file stateEquationProblem-QuasiLiveness-1269.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1419: false
lola: STATE EQUATION TRIES TRANSITION t4364
sara: try reading problem file stateEquationProblem-QuasiLiveness-2497.sara.
lola: reporting
lola: not produced: 2116
lola: state equation: 556
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4364: false
lola: STATE EQUATION TRIES TRANSITION t1001
sara: try reading problem file stateEquationProblem-QuasiLiveness-4124.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1001: false
lola: STATE EQUATION TRIES TRANSITION t522
sara: try reading problem file stateEquationProblem-QuasiLiveness-3648.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2114
lola: state equation: 558
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t522: false
lola: STATE EQUATION TRIES TRANSITION t4385
sara: try reading problem file stateEquationProblem-QuasiLiveness-2539.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4385: false
lola: STATE EQUATION TRIES TRANSITION t310
sara: try reading problem file stateEquationProblem-QuasiLiveness-3036.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t310: false
lola: STATE EQUATION TRIES TRANSITION t4211
lola: reporting
lola: not produced: 2111
lola: state equation: 561
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-2311.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4211: false
lola: STATE EQUATION TRIES TRANSITION t4213
sara: try reading problem file stateEquationProblem-QuasiLiveness-2313.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4213: false
lola: STATE EQUATION TRIES TRANSITION t2574
sara: try reading problem file stateEquationProblem-QuasiLiveness-707.sara.
lola: reporting
lola: not produced: 2109
lola: state equation: 563
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2574: false
lola: STATE EQUATION TRIES TRANSITION t4214
sara: try reading problem file stateEquationProblem-QuasiLiveness-2314.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4214: false
lola: STATE EQUATION TRIES TRANSITION t2525
sara: try reading problem file stateEquationProblem-QuasiLiveness-542.sara.
lola: reporting
lola: not produced: 2107
lola: state equation: 565
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2525: false
lola: STATE EQUATION TRIES TRANSITION t4136
sara: try reading problem file stateEquationProblem-QuasiLiveness-2136.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4136: false
lola: STATE EQUATION TRIES TRANSITION t420
sara: try reading problem file stateEquationProblem-QuasiLiveness-3346.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2105
lola: state equation: 567
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t420: false
lola: STATE EQUATION TRIES TRANSITION t969
sara: try reading problem file stateEquationProblem-QuasiLiveness-859.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t969: false
lola: STATE EQUATION TRIES TRANSITION t1503
sara: try reading problem file stateEquationProblem-QuasiLiveness-1438.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1503: false
lola: STATE EQUATION TRIES TRANSITION t421
sara: try reading problem file stateEquationProblem-QuasiLiveness-3347.sara.
lola: reporting
lola: not produced: 2102
lola: state equation: 570
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t421: false
lola: STATE EQUATION TRIES TRANSITION t4390
sara: try reading problem file stateEquationProblem-QuasiLiveness-2550.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4390: false
lola: STATE EQUATION TRIES TRANSITION t2562
sara: try reading problem file stateEquationProblem-QuasiLiveness-677.sara.
lola: reporting
lola: not produced: 2100
lola: state equation: 572
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2562: false
lola: STATE EQUATION TRIES TRANSITION t1160
sara: try reading problem file stateEquationProblem-QuasiLiveness-252.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1160: false
lola: STATE EQUATION TRIES TRANSITION t631
sara: try reading problem file stateEquationProblem-QuasiLiveness-3957.sara.
lola: reporting
lola: not produced: 2098
lola: state equation: 574
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t631: false
lola: STATE EQUATION TRIES TRANSITION t422
sara: try reading problem file stateEquationProblem-QuasiLiveness-3348.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t422: false
lola: STATE EQUATION TRIES TRANSITION t483
sara: try reading problem file stateEquationProblem-QuasiLiveness-3409.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2096
lola: state equation: 576
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t483: false
lola: STATE EQUATION TRIES TRANSITION t461
sara: try reading problem file stateEquationProblem-QuasiLiveness-3387.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t461: false
lola: STATE EQUATION TRIES TRANSITION t2611
sara: try reading problem file stateEquationProblem-QuasiLiveness-954.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2611: false
lola: STATE EQUATION TRIES TRANSITION t581
sara: try reading problem file stateEquationProblem-QuasiLiveness-3707.sara.
lola: reporting
lola: not produced: 2093
lola: state equation: 579
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t581: false
lola: STATE EQUATION TRIES TRANSITION t2584
sara: try reading problem file stateEquationProblem-QuasiLiveness-727.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2584: false
lola: STATE EQUATION TRIES TRANSITION t4402
sara: try reading problem file stateEquationProblem-QuasiLiveness-2702.sara.
lola: reporting
lola: not produced: 2091
lola: state equation: 581
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4402: false
lola: STATE EQUATION TRIES TRANSITION t634
sara: try reading problem file stateEquationProblem-QuasiLiveness-3960.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t634: false
lola: STATE EQUATION TRIES TRANSITION t4085
sara: try reading problem file stateEquationProblem-QuasiLiveness-1985.sara.
lola: reporting
lola: not produced: 2089
lola: state equation: 583
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4085: false
lola: STATE EQUATION TRIES TRANSITION t4332
sara: try reading problem file stateEquationProblem-QuasiLiveness-2433.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4332: false
lola: STATE EQUATION TRIES TRANSITION t2333
sara: try reading problem file stateEquationProblem-QuasiLiveness-4126.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2333: false
lola: STATE EQUATION TRIES TRANSITION t1548
lola: reporting
lola: not produced: 2086
lola: state equation: 586
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-1528.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1548: false
lola: STATE EQUATION TRIES TRANSITION t423
sara: try reading problem file stateEquationProblem-QuasiLiveness-3349.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t423: false
lola: STATE EQUATION TRIES TRANSITION t4042
sara: try reading problem file stateEquationProblem-QuasiLiveness-1942.sara.
lola: reporting
lola: not produced: 2084
lola: state equation: 588
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4042: false
lola: STATE EQUATION TRIES TRANSITION t1253
sara: try reading problem file stateEquationProblem-QuasiLiveness-728.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1253: false
lola: STATE EQUATION TRIES TRANSITION t1442
sara: try reading problem file stateEquationProblem-QuasiLiveness-1316.sara.
lola: reporting
lola: not produced: 2082
lola: state equation: 590
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1442: false
lola: STATE EQUATION TRIES TRANSITION t2507
sara: try reading problem file stateEquationProblem-QuasiLiveness-486.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2507: false
lola: STATE EQUATION TRIES TRANSITION t311
sara: try reading problem file stateEquationProblem-QuasiLiveness-3037.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2080
lola: state equation: 592
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t311: false
lola: STATE EQUATION TRIES TRANSITION t523
sara: try reading problem file stateEquationProblem-QuasiLiveness-3649.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t523: false
lola: STATE EQUATION TRIES TRANSITION t635
sara: try reading problem file stateEquationProblem-QuasiLiveness-3961.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t635: false
lola: STATE EQUATION TRIES TRANSITION t524
sara: try reading problem file stateEquationProblem-QuasiLiveness-3650.sara.
lola: reporting
lola: not produced: 2077
lola: state equation: 595
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t524: false
lola: STATE EQUATION TRIES TRANSITION t1002
sara: try reading problem file stateEquationProblem-QuasiLiveness-4127.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1002: false
lola: STATE EQUATION TRIES TRANSITION t1075
sara: try reading problem file stateEquationProblem-QuasiLiveness-4301.sara.
lola: reporting
lola: not produced: 2075
lola: state equation: 597
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1075: false
lola: STATE EQUATION TRIES TRANSITION t1219
sara: try reading problem file stateEquationProblem-QuasiLiveness-629.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1219: false
lola: STATE EQUATION TRIES TRANSITION t424
sara: try reading problem file stateEquationProblem-QuasiLiveness-3350.sara.
lola: reporting
lola: not produced: 2073
lola: state equation: 599
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t424: false
lola: STATE EQUATION TRIES TRANSITION t1423
sara: try reading problem file stateEquationProblem-QuasiLiveness-1278.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1423: false
lola: STATE EQUATION TRIES TRANSITION t636
sara: try reading problem file stateEquationProblem-QuasiLiveness-3962.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2071
lola: state equation: 601
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t636: false
lola: STATE EQUATION TRIES TRANSITION t2334
sara: try reading problem file stateEquationProblem-QuasiLiveness-4129.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2334: false
lola: STATE EQUATION TRIES TRANSITION t1149
sara: try reading problem file stateEquationProblem-QuasiLiveness-229.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1149: false
lola: STATE EQUATION TRIES TRANSITION t4340
sara: try reading problem file stateEquationProblem-QuasiLiveness-2450.sara.
lola: reporting
lola: not produced: 2068
lola: state equation: 604
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4340: false
lola: STATE EQUATION TRIES TRANSITION t527
sara: try reading problem file stateEquationProblem-QuasiLiveness-3653.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t527: false
lola: STATE EQUATION TRIES TRANSITION t459
sara: try reading problem file stateEquationProblem-QuasiLiveness-3385.sara.
lola: reporting
lola: not produced: 2066
lola: state equation: 606
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t459: false
lola: STATE EQUATION TRIES TRANSITION t1504
sara: try reading problem file stateEquationProblem-QuasiLiveness-1440.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1504: false
lola: STATE EQUATION TRIES TRANSITION t4344
sara: try reading problem file stateEquationProblem-QuasiLiveness-2457.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2064
lola: state equation: 608
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t4344: false
lola: STATE EQUATION TRIES TRANSITION t113
sara: try reading problem file stateEquationProblem-QuasiLiveness-2613.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t113: false
lola: STATE EQUATION TRIES TRANSITION t2578
sara: try reading problem file stateEquationProblem-QuasiLiveness-715.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2578: false
lola: STATE EQUATION TRIES TRANSITION t1514
lola: reporting
lola: not produced: 2061
lola: state equation: 611
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-1460.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1514: false
lola: STATE EQUATION TRIES TRANSITION t999
sara: try reading problem file stateEquationProblem-QuasiLiveness-889.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t999: false
lola: STATE EQUATION TRIES TRANSITION t271
sara: try reading problem file stateEquationProblem-QuasiLiveness-2897.sara.
lola: reporting
lola: not produced: 2059
lola: state equation: 613
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t271: false
lola: STATE EQUATION TRIES TRANSITION t528
sara: try reading problem file stateEquationProblem-QuasiLiveness-3654.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t528: false
lola: STATE EQUATION TRIES TRANSITION t1595
sara: try reading problem file stateEquationProblem-QuasiLiveness-1595.sara.
lola: reporting
lola: not produced: 2057
lola: state equation: 615
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1595: false
lola: STATE EQUATION TRIES TRANSITION t4381
sara: try reading problem file stateEquationProblem-QuasiLiveness-2531.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4381: false
lola: STATE EQUATION TRIES TRANSITION t425
sara: try reading problem file stateEquationProblem-QuasiLiveness-3351.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2055
lola: state equation: 617
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t425: false
lola: STATE EQUATION TRIES TRANSITION t872
sara: try reading problem file stateEquationProblem-QuasiLiveness-372.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t872: false
lola: STATE EQUATION TRIES TRANSITION t2409
sara: try reading problem file stateEquationProblem-QuasiLiveness-49.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2409: false
lola: STATE EQUATION TRIES TRANSITION t647
sara: try reading problem file stateEquationProblem-QuasiLiveness-3973.sara.
lola: reporting
lola: not produced: 2052
lola: state equation: 620
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t647: false
lola: STATE EQUATION TRIES TRANSITION t1628
sara: try reading problem file stateEquationProblem-QuasiLiveness-1688.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1628: false
lola: STATE EQUATION TRIES TRANSITION t426
sara: try reading problem file stateEquationProblem-QuasiLiveness-3352.sara.
lola: reporting
lola: not produced: 2050
lola: state equation: 622
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t426: false
lola: STATE EQUATION TRIES TRANSITION t1274
sara: try reading problem file stateEquationProblem-QuasiLiveness-764.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1274: false
lola: STATE EQUATION TRIES TRANSITION t530
sara: try reading problem file stateEquationProblem-QuasiLiveness-3656.sara.
lola: reporting
lola: not produced: 2048
lola: state equation: 624
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t530: false
lola: STATE EQUATION TRIES TRANSITION t2619
sara: try reading problem file stateEquationProblem-QuasiLiveness-969.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2619: false
lola: STATE EQUATION TRIES TRANSITION t4391
sara: try reading problem file stateEquationProblem-QuasiLiveness-2551.sara.
lola: reporting
lola: not produced: 2046
lola: state equation: 626
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4391: false
lola: STATE EQUATION TRIES TRANSITION t1507
sara: try reading problem file stateEquationProblem-QuasiLiveness-1446.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1507: false
lola: STATE EQUATION TRIES TRANSITION t955
sara: try reading problem file stateEquationProblem-QuasiLiveness-845.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2044
lola: state equation: 628
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t955: false
lola: STATE EQUATION TRIES TRANSITION t427
sara: try reading problem file stateEquationProblem-QuasiLiveness-3353.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t427: false
lola: STATE EQUATION TRIES TRANSITION t2462
sara: try reading problem file stateEquationProblem-QuasiLiveness-187.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2462: false
lola: STATE EQUATION TRIES TRANSITION t4123
sara: try reading problem file stateEquationProblem-QuasiLiveness-2123.sara.
lola: reporting
lola: not produced: 2041
lola: state equation: 631
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4123: false
lola: STATE EQUATION TRIES TRANSITION t2609
sara: try reading problem file stateEquationProblem-QuasiLiveness-949.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2609: false
lola: STATE EQUATION TRIES TRANSITION t4359
sara: try reading problem file stateEquationProblem-QuasiLiveness-2487.sara.
lola: reporting
lola: not produced: 2039
lola: state equation: 633
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4359: false
lola: STATE EQUATION TRIES TRANSITION t1217
sara: try reading problem file stateEquationProblem-QuasiLiveness-626.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1217: false
lola: STATE EQUATION TRIES TRANSITION t472
sara: try reading problem file stateEquationProblem-QuasiLiveness-3398.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2037
lola: state equation: 635
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t472: false
lola: STATE EQUATION TRIES TRANSITION t1048
sara: try reading problem file stateEquationProblem-QuasiLiveness-4254.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1048: false
lola: STATE EQUATION TRIES TRANSITION t4215
sara: try reading problem file stateEquationProblem-QuasiLiveness-2315.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4215: false
lola: STATE EQUATION TRIES TRANSITION t380
sara: try reading problem file stateEquationProblem-QuasiLiveness-3106.sara.
lola: reporting
lola: not produced: 2034
lola: state equation: 638
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t380: false
lola: STATE EQUATION TRIES TRANSITION t4216
sara: try reading problem file stateEquationProblem-QuasiLiveness-2316.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4216: false
lola: STATE EQUATION TRIES TRANSITION t48
sara: try reading problem file stateEquationProblem-QuasiLiveness-473.sara.
lola: reporting
lola: not produced: 2032
lola: state equation: 640
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t48: false
lola: STATE EQUATION TRIES TRANSITION t4106
sara: try reading problem file stateEquationProblem-QuasiLiveness-2106.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4106: false
lola: STATE EQUATION TRIES TRANSITION t1818
sara: try reading problem file stateEquationProblem-QuasiLiveness-2018.sara.
lola: reporting
lola: not produced: 2030
lola: state equation: 642
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1818: false
lola: STATE EQUATION TRIES TRANSITION t1464
sara: try reading problem file stateEquationProblem-QuasiLiveness-1360.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1464: false
lola: STATE EQUATION TRIES TRANSITION t2532
sara: try reading problem file stateEquationProblem-QuasiLiveness-566.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2028
lola: state equation: 644
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2532: false
lola: STATE EQUATION TRIES TRANSITION t637
sara: try reading problem file stateEquationProblem-QuasiLiveness-3963.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t637: false
lola: STATE EQUATION TRIES TRANSITION t1402
sara: try reading problem file stateEquationProblem-QuasiLiveness-1236.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1402: false
lola: STATE EQUATION TRIES TRANSITION t1470
sara: try reading problem file stateEquationProblem-QuasiLiveness-1370.sara.
lola: reporting
lola: not produced: 2025
lola: state equation: 647
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1470: false
lola: STATE EQUATION TRIES TRANSITION t4393
sara: try reading problem file stateEquationProblem-QuasiLiveness-2555.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4393: false
lola: STATE EQUATION TRIES TRANSITION t1607
sara: try reading problem file stateEquationProblem-QuasiLiveness-1646.sara.
lola: reporting
lola: not produced: 2023
lola: state equation: 649
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1607: false
lola: STATE EQUATION TRIES TRANSITION t1003
sara: try reading problem file stateEquationProblem-QuasiLiveness-4130.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1003: false
lola: STATE EQUATION TRIES TRANSITION t877
sara: try reading problem file stateEquationProblem-QuasiLiveness-377.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2021
lola: state equation: 651
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t877: false
lola: STATE EQUATION TRIES TRANSITION t428
sara: try reading problem file stateEquationProblem-QuasiLiveness-3354.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t428: false
lola: STATE EQUATION TRIES TRANSITION t294
sara: try reading problem file stateEquationProblem-QuasiLiveness-2920.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t294: false
lola: STATE EQUATION TRIES TRANSITION t638
lola: reporting
lola: not produced: 2018
lola: state equation: 654
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-3964.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t638: false
lola: STATE EQUATION TRIES TRANSITION t4253
sara: try reading problem file stateEquationProblem-QuasiLiveness-2353.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4253: false
lola: STATE EQUATION TRIES TRANSITION t639
sara: try reading problem file stateEquationProblem-QuasiLiveness-3965.sara.
lola: reporting
lola: not produced: 2016
lola: state equation: 656
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t639: false
lola: STATE EQUATION TRIES TRANSITION t4061
sara: try reading problem file stateEquationProblem-QuasiLiveness-1961.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4061: false
lola: STATE EQUATION TRIES TRANSITION t640
sara: try reading problem file stateEquationProblem-QuasiLiveness-3966.sara.
lola: reporting
lola: not produced: 2014
lola: state equation: 658
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t640: false
lola: STATE EQUATION TRIES TRANSITION t312
sara: try reading problem file stateEquationProblem-QuasiLiveness-3038.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t312: false
lola: STATE EQUATION TRIES TRANSITION t2576
sara: try reading problem file stateEquationProblem-QuasiLiveness-711.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2012
lola: state equation: 660
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2576: false
lola: STATE EQUATION TRIES TRANSITION t4218
sara: try reading problem file stateEquationProblem-QuasiLiveness-2318.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4218: false
lola: STATE EQUATION TRIES TRANSITION t2573
sara: try reading problem file stateEquationProblem-QuasiLiveness-705.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2573: false
lola: STATE EQUATION TRIES TRANSITION t733
sara: try reading problem file stateEquationProblem-QuasiLiveness-4359.sara.
lola: reporting
lola: not produced: 2009
lola: state equation: 663
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t733: false
lola: STATE EQUATION TRIES TRANSITION t313
sara: try reading problem file stateEquationProblem-QuasiLiveness-3039.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t313: false
lola: STATE EQUATION TRIES TRANSITION t2335
sara: try reading problem file stateEquationProblem-QuasiLiveness-4132.sara.
lola: reporting
lola: not produced: 2007
lola: state equation: 665
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2335: false
lola: STATE EQUATION TRIES TRANSITION t1608
sara: try reading problem file stateEquationProblem-QuasiLiveness-1648.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1608: false
lola: STATE EQUATION TRIES TRANSITION t216
sara: try reading problem file stateEquationProblem-QuasiLiveness-2842.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2005
lola: state equation: 667
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t216: false
lola: STATE EQUATION TRIES TRANSITION t1790
sara: try reading problem file stateEquationProblem-QuasiLiveness-1890.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1790: false
lola: STATE EQUATION TRIES TRANSITION t1186
sara: try reading problem file stateEquationProblem-QuasiLiveness-286.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1186: false
lola: STATE EQUATION TRIES TRANSITION t440
sara: try reading problem file stateEquationProblem-QuasiLiveness-3366.sara.
lola: reporting
lola: not produced: 2002
lola: state equation: 670
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t440: false
lola: STATE EQUATION TRIES TRANSITION t4262
sara: try reading problem file stateEquationProblem-QuasiLiveness-2362.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4262: false
lola: STATE EQUATION TRIES TRANSITION t2555
sara: try reading problem file stateEquationProblem-QuasiLiveness-656.sara.
lola: reporting
lola: not produced: 2000
lola: state equation: 672
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2555: false
lola: STATE EQUATION TRIES TRANSITION t2613
sara: try reading problem file stateEquationProblem-QuasiLiveness-958.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2613: false
lola: STATE EQUATION TRIES TRANSITION t4096
sara: try reading problem file stateEquationProblem-QuasiLiveness-1996.sara.
lola: reporting
lola: not produced: 1998
lola: state equation: 674
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4096: false
lola: STATE EQUATION TRIES TRANSITION t2721
sara: try reading problem file stateEquationProblem-QuasiLiveness-1221.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2721: false
lola: STATE EQUATION TRIES TRANSITION t2499
sara: try reading problem file stateEquationProblem-QuasiLiveness-267.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2499: false
lola: STATE EQUATION TRIES TRANSITION t429
lola: reporting
lola: not produced: 1995
lola: state equation: 677
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-3355.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t429: false
lola: STATE EQUATION TRIES TRANSITION t116
sara: try reading problem file stateEquationProblem-QuasiLiveness-2616.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t116: false
lola: STATE EQUATION TRIES TRANSITION t1334
sara: try reading problem file stateEquationProblem-QuasiLiveness-1097.sara.
lola: reporting
lola: not produced: 1993
lola: state equation: 679
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1334: false
lola: STATE EQUATION TRIES TRANSITION t376
sara: try reading problem file stateEquationProblem-QuasiLiveness-3102.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t376: false
lola: STATE EQUATION TRIES TRANSITION t75
sara: try reading problem file stateEquationProblem-QuasiLiveness-555.sara.
lola: reporting
lola: not produced: 1991
lola: state equation: 681
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t75: false
lola: STATE EQUATION TRIES TRANSITION t1018
sara: try reading problem file stateEquationProblem-QuasiLiveness-4174.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1018: false
lola: STATE EQUATION TRIES TRANSITION t1154
sara: try reading problem file stateEquationProblem-QuasiLiveness-240.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1989
lola: state equation: 683
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1154: false
lola: STATE EQUATION TRIES TRANSITION t531
sara: try reading problem file stateEquationProblem-QuasiLiveness-3657.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t531: false
lola: STATE EQUATION TRIES TRANSITION t534
sara: try reading problem file stateEquationProblem-QuasiLiveness-3660.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t534: false
lola: STATE EQUATION TRIES TRANSITION t976
sara: try reading problem file stateEquationProblem-QuasiLiveness-866.sara.
lola: reporting
lola: not produced: 1986
lola: state equation: 686
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t976: false
lola: STATE EQUATION TRIES TRANSITION t2713
sara: try reading problem file stateEquationProblem-QuasiLiveness-1213.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2713: false
lola: STATE EQUATION TRIES TRANSITION t1346
sara: try reading problem file stateEquationProblem-QuasiLiveness-1124.sara.
lola: reporting
lola: not produced: 1984
lola: state equation: 688
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1346: false
lola: STATE EQUATION TRIES TRANSITION t275
sara: try reading problem file stateEquationProblem-QuasiLiveness-2901.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t275: false
lola: STATE EQUATION TRIES TRANSITION t2365
sara: try reading problem file stateEquationProblem-QuasiLiveness-4222.sara.
lola: reporting
lola: not produced: 1982
lola: state equation: 690
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2365: false
lola: STATE EQUATION TRIES TRANSITION t1105
sara: try reading problem file stateEquationProblem-QuasiLiveness-110.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1105: false
lola: STATE EQUATION TRIES TRANSITION t1237
sara: try reading problem file stateEquationProblem-QuasiLiveness-696.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1980
lola: state equation: 692
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1237: false
lola: STATE EQUATION TRIES TRANSITION t430
sara: try reading problem file stateEquationProblem-QuasiLiveness-3356.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t430: false
lola: STATE EQUATION TRIES TRANSITION t2410
sara: try reading problem file stateEquationProblem-QuasiLiveness-52.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2410: false
lola: STATE EQUATION TRIES TRANSITION t4047
sara: try reading problem file stateEquationProblem-QuasiLiveness-1947.sara.
lola: reporting
lola: not produced: 1977
lola: state equation: 695
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4047: false
lola: STATE EQUATION TRIES TRANSITION t217
sara: try reading problem file stateEquationProblem-QuasiLiveness-2843.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t217: false
lola: STATE EQUATION TRIES TRANSITION t1609
sara: try reading problem file stateEquationProblem-QuasiLiveness-1649.sara.
lola: reporting
lola: not produced: 1975
lola: state equation: 697
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1609: false
lola: STATE EQUATION TRIES TRANSITION t827
sara: try reading problem file stateEquationProblem-QuasiLiveness-327.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t827: false
lola: STATE EQUATION TRIES TRANSITION t314
sara: try reading problem file stateEquationProblem-QuasiLiveness-3040.sara.
lola: reporting
lola: not produced: 1973
lola: state equation: 699
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t314: false
lola: STATE EQUATION TRIES TRANSITION t1139
sara: try reading problem file stateEquationProblem-QuasiLiveness-209.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1139: false
lola: STATE EQUATION TRIES TRANSITION t4067
sara: try reading problem file stateEquationProblem-QuasiLiveness-1967.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4067: false
lola: STATE EQUATION TRIES TRANSITION t2602
lola: reporting
lola: not produced: 1970
lola: state equation: 702
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-936.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2602: false
lola: STATE EQUATION TRIES TRANSITION t974
sara: try reading problem file stateEquationProblem-QuasiLiveness-864.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t974: false
lola: STATE EQUATION TRIES TRANSITION t315
sara: try reading problem file stateEquationProblem-QuasiLiveness-3041.sara.
lola: reporting
lola: not produced: 1968
lola: state equation: 704
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t315: false
lola: STATE EQUATION TRIES TRANSITION t1377
sara: try reading problem file stateEquationProblem-QuasiLiveness-1177.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1377: false
lola: STATE EQUATION TRIES TRANSITION t860
sara: try reading problem file stateEquationProblem-QuasiLiveness-360.sara.
lola: reporting
lola: not produced: 1966
lola: state equation: 706
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t860: false
lola: STATE EQUATION TRIES TRANSITION t1530
sara: try reading problem file stateEquationProblem-QuasiLiveness-1492.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1530: false
lola: STATE EQUATION TRIES TRANSITION t777
sara: try reading problem file stateEquationProblem-QuasiLiveness-4403.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1964
lola: state equation: 708
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t777: false
lola: STATE EQUATION TRIES TRANSITION t1404
sara: try reading problem file stateEquationProblem-QuasiLiveness-1240.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1404: false
lola: STATE EQUATION TRIES TRANSITION t948
sara: try reading problem file stateEquationProblem-QuasiLiveness-838.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t948: false
lola: STATE EQUATION TRIES TRANSITION t1461
sara: try reading problem file stateEquationProblem-QuasiLiveness-1354.sara.
lola: reporting
lola: not produced: 1961
lola: state equation: 711
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1461: false
lola: STATE EQUATION TRIES TRANSITION t1681
sara: try reading problem file stateEquationProblem-QuasiLiveness-1781.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1681: false
lola: STATE EQUATION TRIES TRANSITION t1207
sara: try reading problem file stateEquationProblem-QuasiLiveness-586.sara.
lola: reporting
lola: not produced: 1959
lola: state equation: 713
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1207: false
lola: STATE EQUATION TRIES TRANSITION t1593
sara: try reading problem file stateEquationProblem-QuasiLiveness-1593.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1593: false
lola: STATE EQUATION TRIES TRANSITION t535
sara: try reading problem file stateEquationProblem-QuasiLiveness-3661.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1957
lola: state equation: 715
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t535: false
lola: STATE EQUATION TRIES TRANSITION t1019
sara: try reading problem file stateEquationProblem-QuasiLiveness-4175.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1019: false
lola: STATE EQUATION TRIES TRANSITION t4345
sara: try reading problem file stateEquationProblem-QuasiLiveness-2459.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4345: false
lola: STATE EQUATION TRIES TRANSITION t316
lola: reporting
lola: not produced: 1954
lola: state equation: 718
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-3042.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t316: false
lola: STATE EQUATION TRIES TRANSITION t536
sara: try reading problem file stateEquationProblem-QuasiLiveness-3662.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t536: false
lola: STATE EQUATION TRIES TRANSITION t2604
sara: try reading problem file stateEquationProblem-QuasiLiveness-940.sara.
lola: reporting
lola: not produced: 1952
lola: state equation: 720
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2604: false
lola: STATE EQUATION TRIES TRANSITION t218
sara: try reading problem file stateEquationProblem-QuasiLiveness-2844.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t218: false
lola: STATE EQUATION TRIES TRANSITION t4057
sara: try reading problem file stateEquationProblem-QuasiLiveness-1957.sara.
lola: reporting
lola: not produced: 1950
lola: state equation: 722
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4057: false
lola: STATE EQUATION TRIES TRANSITION t1094
sara: try reading problem file stateEquationProblem-QuasiLiveness-4330.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1094: false
lola: STATE EQUATION TRIES TRANSITION t1065
sara: try reading problem file stateEquationProblem-QuasiLiveness-4288.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1948
lola: state equation: 724
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1065: false
lola: STATE EQUATION TRIES TRANSITION t1175
sara: try reading problem file stateEquationProblem-QuasiLiveness-275.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1175: false
lola: STATE EQUATION TRIES TRANSITION t1750
sara: try reading problem file stateEquationProblem-QuasiLiveness-1850.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1750: false
lola: STATE EQUATION TRIES TRANSITION t2605
sara: try reading problem file stateEquationProblem-QuasiLiveness-942.sara.
lola: reporting
lola: not produced: 1945
lola: state equation: 727
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2605: false
lola: STATE EQUATION TRIES TRANSITION t4024
sara: try reading problem file stateEquationProblem-QuasiLiveness-1924.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4024: false
lola: STATE EQUATION TRIES TRANSITION t38
sara: try reading problem file stateEquationProblem-QuasiLiveness-451.sara.
lola: reporting
lola: not produced: 1943
lola: state equation: 729
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t38: false
lola: STATE EQUATION TRIES TRANSITION t641
sara: try reading problem file stateEquationProblem-QuasiLiveness-3967.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t641: false
lola: STATE EQUATION TRIES TRANSITION t17
sara: try reading problem file stateEquationProblem-QuasiLiveness-409.sara.
lola: reporting
lola: not produced: 1941
lola: state equation: 731
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t17: false
lola: STATE EQUATION TRIES TRANSITION t4319
sara: try reading problem file stateEquationProblem-QuasiLiveness-2419.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4319: false
lola: STATE EQUATION TRIES TRANSITION t370
sara: try reading problem file stateEquationProblem-QuasiLiveness-3096.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1939
lola: state equation: 733
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t370: false
lola: STATE EQUATION TRIES TRANSITION t646
sara: try reading problem file stateEquationProblem-QuasiLiveness-3972.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t646: false
lola: STATE EQUATION TRIES TRANSITION t537
sara: try reading problem file stateEquationProblem-QuasiLiveness-3663.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t537: false
lola: STATE EQUATION TRIES TRANSITION t1057
sara: try reading problem file stateEquationProblem-QuasiLiveness-4272.sara.
lola: reporting
lola: not produced: 1936
lola: state equation: 736
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1057: false
lola: STATE EQUATION TRIES TRANSITION t1096
sara: try reading problem file stateEquationProblem-QuasiLiveness-4332.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1096: false
lola: STATE EQUATION TRIES TRANSITION t433
sara: try reading problem file stateEquationProblem-QuasiLiveness-3359.sara.
lola: reporting
lola: not produced: 1934
lola: state equation: 738
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t433: false
lola: STATE EQUATION TRIES TRANSITION t4382
sara: try reading problem file stateEquationProblem-QuasiLiveness-2533.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4382: false
lola: STATE EQUATION TRIES TRANSITION t642
sara: try reading problem file stateEquationProblem-QuasiLiveness-3968.sara.
lola: reporting
lola: not produced: 1932
lola: state equation: 740
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t642: false
lola: STATE EQUATION TRIES TRANSITION t2358
sara: try reading problem file stateEquationProblem-QuasiLiveness-4201.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2358: false
lola: STATE EQUATION TRIES TRANSITION t643
sara: try reading problem file stateEquationProblem-QuasiLiveness-3969.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: reporting
lola: not produced: 1930
lola: state equation: 742
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: ..... t643: false
lola: STATE EQUATION TRIES TRANSITION t1387
sara: try reading problem file stateEquationProblem-QuasiLiveness-1187.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1387: false
lola: STATE EQUATION TRIES TRANSITION t857
sara: try reading problem file stateEquationProblem-QuasiLiveness-357.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t857: false
lola: STATE EQUATION TRIES TRANSITION t2647
sara: try reading problem file stateEquationProblem-QuasiLiveness-1042.sara.
lola: reporting
lola: not produced: 1927
lola: state equation: 745
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2647: false
lola: STATE EQUATION TRIES TRANSITION t801
sara: try reading problem file stateEquationProblem-QuasiLiveness-291.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t801: false
lola: STATE EQUATION TRIES TRANSITION t219
sara: try reading problem file stateEquationProblem-QuasiLiveness-2845.sara.
lola: reporting
lola: not produced: 1925
lola: state equation: 747
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t219: false
lola: STATE EQUATION TRIES TRANSITION t1675
sara: try reading problem file stateEquationProblem-QuasiLiveness-1775.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1675: false
lola: STATE EQUATION TRIES TRANSITION t1583
sara: try reading problem file stateEquationProblem-QuasiLiveness-1583.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1923
lola: state equation: 749
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1583: false
lola: STATE EQUATION TRIES TRANSITION t4058
sara: try reading problem file stateEquationProblem-QuasiLiveness-1958.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4058: false
lola: STATE EQUATION TRIES TRANSITION t4410
sara: try reading problem file stateEquationProblem-QuasiLiveness-2710.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4410: false
lola: STATE EQUATION TRIES TRANSITION t170
sara: try reading problem file stateEquationProblem-QuasiLiveness-2670.sara.
lola: reporting
lola: not produced: 1920
lola: state equation: 752
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t170: false
lola: STATE EQUATION TRIES TRANSITION t644
sara: try reading problem file stateEquationProblem-QuasiLiveness-3970.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t644: false
lola: STATE EQUATION TRIES TRANSITION t996
sara: try reading problem file stateEquationProblem-QuasiLiveness-886.sara.
lola: reporting
lola: not produced: 1918
lola: state equation: 754
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t996: false
lola: STATE EQUATION TRIES TRANSITION t4383
sara: try reading problem file stateEquationProblem-QuasiLiveness-2535.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4383: false
lola: STATE EQUATION TRIES TRANSITION t2353
sara: try reading problem file stateEquationProblem-QuasiLiveness-4186.sara.
lola: reporting
lola: not produced: 1916
lola: state equation: 756
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2353: false
lola: STATE EQUATION TRIES TRANSITION t220
sara: try reading problem file stateEquationProblem-QuasiLiveness-2846.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t220: false
lola: STATE EQUATION TRIES TRANSITION t1660
sara: try reading problem file stateEquationProblem-QuasiLiveness-1752.sara.
lola: reporting
lola: not produced: 1914
lola: state equation: 758
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1660: false
lola: STATE EQUATION TRIES TRANSITION t760
sara: try reading problem file stateEquationProblem-QuasiLiveness-4386.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t760: false
lola: STATE EQUATION TRIES TRANSITION t1515
sara: try reading problem file stateEquationProblem-QuasiLiveness-1462.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1912
lola: state equation: 760
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1515: false
lola: STATE EQUATION TRIES TRANSITION t645
sara: try reading problem file stateEquationProblem-QuasiLiveness-3971.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t645: false
lola: STATE EQUATION TRIES TRANSITION t341
sara: try reading problem file stateEquationProblem-QuasiLiveness-3067.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t341: false
lola: STATE EQUATION TRIES TRANSITION t648
sara: try reading problem file stateEquationProblem-QuasiLiveness-3974.sara.
lola: reporting
lola: not produced: 1909
lola: state equation: 763
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t648: false
lola: STATE EQUATION TRIES TRANSITION t117
sara: try reading problem file stateEquationProblem-QuasiLiveness-2617.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t117: false
lola: STATE EQUATION TRIES TRANSITION t118
sara: try reading problem file stateEquationProblem-QuasiLiveness-2618.sara.
lola: reporting
lola: not produced: 1907
lola: state equation: 765
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t118: false
lola: STATE EQUATION TRIES TRANSITION t1459
sara: try reading problem file stateEquationProblem-QuasiLiveness-1349.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1459: false
lola: STATE EQUATION TRIES TRANSITION t4341
sara: try reading problem file stateEquationProblem-QuasiLiveness-2451.sara.
lola: reporting
lola: not produced: 1905
lola: state equation: 767
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4341: false
lola: STATE EQUATION TRIES TRANSITION t1294
sara: try reading problem file stateEquationProblem-QuasiLiveness-794.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1294: false
lola: STATE EQUATION TRIES TRANSITION t1180
sara: try reading problem file stateEquationProblem-QuasiLiveness-280.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1903
lola: state equation: 769
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1180: false
lola: STATE EQUATION TRIES TRANSITION t432
sara: try reading problem file stateEquationProblem-QuasiLiveness-3358.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t432: false
lola: STATE EQUATION TRIES TRANSITION t1136
sara: try reading problem file stateEquationProblem-QuasiLiveness-203.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1136: false
lola: STATE EQUATION TRIES TRANSITION t2411
sara: try reading problem file stateEquationProblem-QuasiLiveness-54.sara.
lola: reporting
lola: not produced: 1900
lola: state equation: 772
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2411: false
lola: STATE EQUATION TRIES TRANSITION t2621
sara: try reading problem file stateEquationProblem-QuasiLiveness-974.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2621: false
lola: STATE EQUATION TRIES TRANSITION t1488
sara: try reading problem file stateEquationProblem-QuasiLiveness-1388.sara.
lola: reporting
lola: not produced: 1898
lola: state equation: 774
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1488: false
lola: STATE EQUATION TRIES TRANSITION t384
sara: try reading problem file stateEquationProblem-QuasiLiveness-3110.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t384: false
lola: STATE EQUATION TRIES TRANSITION t1815
sara: try reading problem file stateEquationProblem-QuasiLiveness-2015.sara.
lola: reporting
lola: not produced: 1896
lola: state equation: 776
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1815: false
lola: STATE EQUATION TRIES TRANSITION t752
sara: try reading problem file stateEquationProblem-QuasiLiveness-4378.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t752: false
lola: STATE EQUATION TRIES TRANSITION t1531
sara: try reading problem file stateEquationProblem-QuasiLiveness-1494.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1894
lola: state equation: 778
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1531: false
lola: STATE EQUATION TRIES TRANSITION t1873
sara: try reading problem file stateEquationProblem-QuasiLiveness-2073.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1873: false
lola: STATE EQUATION TRIES TRANSITION t1552
sara: try reading problem file stateEquationProblem-QuasiLiveness-1536.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1552: false
lola: STATE EQUATION TRIES TRANSITION t538
sara: try reading problem file stateEquationProblem-QuasiLiveness-3664.sara.
lola: reporting
lola: not produced: 1891
lola: state equation: 781
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t538: false
lola: STATE EQUATION TRIES TRANSITION t847
sara: try reading problem file stateEquationProblem-QuasiLiveness-347.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t847: false
lola: STATE EQUATION TRIES TRANSITION t2361
sara: try reading problem file stateEquationProblem-QuasiLiveness-4210.sara.
lola: reporting
lola: not produced: 1889
lola: state equation: 783
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2361: false
lola: STATE EQUATION TRIES TRANSITION t2704
sara: try reading problem file stateEquationProblem-QuasiLiveness-1204.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2704: false
lola: STATE EQUATION TRIES TRANSITION t1405
sara: try reading problem file stateEquationProblem-QuasiLiveness-1242.sara.
lola: reporting
lola: not produced: 1887
lola: state equation: 785
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1405: false
lola: STATE EQUATION TRIES TRANSITION t2538
sara: try reading problem file stateEquationProblem-QuasiLiveness-585.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2538: false
lola: STATE EQUATION TRIES TRANSITION t2618
sara: try reading problem file stateEquationProblem-QuasiLiveness-968.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1885
lola: state equation: 787
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2618: false
lola: STATE EQUATION TRIES TRANSITION t4219
sara: try reading problem file stateEquationProblem-QuasiLiveness-2319.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4219: false
lola: STATE EQUATION TRIES TRANSITION t4234
sara: try reading problem file stateEquationProblem-QuasiLiveness-2334.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4234: false
lola: STATE EQUATION TRIES TRANSITION t540
sara: try reading problem file stateEquationProblem-QuasiLiveness-3666.sara.
lola: reporting
lola: not produced: 1882
lola: state equation: 790
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t540: false
lola: STATE EQUATION TRIES TRANSITION t4078
sara: try reading problem file stateEquationProblem-QuasiLiveness-1978.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4078: false
lola: STATE EQUATION TRIES TRANSITION t1744
sara: try reading problem file stateEquationProblem-QuasiLiveness-1844.sara.
lola: reporting
lola: not produced: 1880
lola: state equation: 792
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1744: false
lola: STATE EQUATION TRIES TRANSITION t4221
sara: try reading problem file stateEquationProblem-QuasiLiveness-2321.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4221: false
lola: STATE EQUATION TRIES TRANSITION t1004
sara: try reading problem file stateEquationProblem-QuasiLiveness-4133.sara.
lola: reporting
lola: not produced: 1878
lola: state equation: 794
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1004: false
lola: STATE EQUATION TRIES TRANSITION t4422
sara: try reading problem file stateEquationProblem-QuasiLiveness-2722.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4422: false
lola: STATE EQUATION TRIES TRANSITION t39
sara: try reading problem file stateEquationProblem-QuasiLiveness-453.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1876
lola: state equation: 796
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t39: false
lola: STATE EQUATION TRIES TRANSITION t2651
sara: try reading problem file stateEquationProblem-QuasiLiveness-1054.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2651: false
lola: STATE EQUATION TRIES TRANSITION t541
sara: try reading problem file stateEquationProblem-QuasiLiveness-3667.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t541: false
lola: STATE EQUATION TRIES TRANSITION t1407
sara: try reading problem file stateEquationProblem-QuasiLiveness-1246.sara.
lola: reporting
lola: not produced: 1873
lola: state equation: 799
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1407: false
lola: STATE EQUATION TRIES TRANSITION t1452
sara: try reading problem file stateEquationProblem-QuasiLiveness-1336.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1452: false
lola: STATE EQUATION TRIES TRANSITION t4223
sara: try reading problem file stateEquationProblem-QuasiLiveness-2323.sara.
lola: reporting
lola: not produced: 1871
lola: state equation: 801
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4223: false
lola: STATE EQUATION TRIES TRANSITION t1009
sara: try reading problem file stateEquationProblem-QuasiLiveness-4145.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1009: false
lola: STATE EQUATION TRIES TRANSITION t2336
sara: try reading problem file stateEquationProblem-QuasiLiveness-4135.sara.
lola: reporting
lola: not produced: 1869
lola: state equation: 803
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2336: false
lola: STATE EQUATION TRIES TRANSITION t434
sara: try reading problem file stateEquationProblem-QuasiLiveness-3360.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t434: false
lola: STATE EQUATION TRIES TRANSITION t1337
sara: try reading problem file stateEquationProblem-QuasiLiveness-1106.sara.
lola: reporting
lola: not produced: 1867
lola: state equation: 805
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1337: false
lola: STATE EQUATION TRIES TRANSITION t221
sara: try reading problem file stateEquationProblem-QuasiLiveness-2847.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t221: false
lola: STATE EQUATION TRIES TRANSITION t542
sara: try reading problem file stateEquationProblem-QuasiLiveness-3668.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1865
lola: state equation: 807
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t542: false
lola: STATE EQUATION TRIES TRANSITION t649
sara: try reading problem file stateEquationProblem-QuasiLiveness-3975.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t649: false
lola: STATE EQUATION TRIES TRANSITION t4384
sara: try reading problem file stateEquationProblem-QuasiLiveness-2537.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4384: false
lola: STATE EQUATION TRIES TRANSITION t650
sara: try reading problem file stateEquationProblem-QuasiLiveness-3976.sara.
lola: reporting
lola: not produced: 1862
lola: state equation: 810
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t650: false
lola: STATE EQUATION TRIES TRANSITION t543
sara: try reading problem file stateEquationProblem-QuasiLiveness-3669.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t543: false
lola: STATE EQUATION TRIES TRANSITION t1560
sara: try reading problem file stateEquationProblem-QuasiLiveness-1552.sara.
lola: reporting
lola: not produced: 1860
lola: state equation: 812
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1560: false
lola: STATE EQUATION TRIES TRANSITION t1032
sara: try reading problem file stateEquationProblem-QuasiLiveness-4217.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1032: false
lola: STATE EQUATION TRIES TRANSITION t435
sara: try reading problem file stateEquationProblem-QuasiLiveness-3361.sara.
lola: reporting
lola: not produced: 1858
lola: state equation: 814
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t435: false
lola: STATE EQUATION TRIES TRANSITION t222
sara: try reading problem file stateEquationProblem-QuasiLiveness-2848.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t222: false
lola: STATE EQUATION TRIES TRANSITION t596
sara: try reading problem file stateEquationProblem-QuasiLiveness-3722.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1856
lola: state equation: 816
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t596: false
lola: STATE EQUATION TRIES TRANSITION t4224
sara: try reading problem file stateEquationProblem-QuasiLiveness-2324.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4224: false
lola: STATE EQUATION TRIES TRANSITION t4093
sara: try reading problem file stateEquationProblem-QuasiLiveness-1993.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t4093: false
lola: STATE EQUATION TRIES TRANSITION t2372
sara: try reading problem file stateEquationProblem-QuasiLiveness-4239.sara.
lola: reporting
lola: not produced: 1853
lola: state equation: 819
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2372: false
lola: STATE EQUATION TRIES TRANSITION t223
sara: try reading problem file stateEquationProblem-QuasiLiveness-2849.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t223: false
lola: STATE EQUATION TRIES TRANSITION t651
sara: try reading problem file stateEquationProblem-QuasiLiveness-3977.sara.
lola: reporting
lola: not produced: 1851
lola: state equation: 821
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t651: false
lola: STATE EQUATION TRIES TRANSITION t1693
sara: try reading problem file stateEquationProblem-QuasiLiveness-1793.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1693: false
lola: STATE EQUATION TRIES TRANSITION t317
sara: try reading problem file stateEquationProblem-QuasiLiveness-3043.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1849
lola: state equation: 823
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t317: false
lola: STATE EQUATION TRIES TRANSITION t1648
sara: try reading problem file stateEquationProblem-QuasiLiveness-1728.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1648: false
lola: STATE EQUATION TRIES TRANSITION t2359
sara: try reading problem file stateEquationProblem-QuasiLiveness-4203.sara.

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="NeoElection-COL-5"
export BK_EXAMINATION="QuasiLiveness"
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 NeoElection-COL-5, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r144-tall-162089134500087"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-COL-5.tgz
mv NeoElection-COL-5 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "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 [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.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 '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;