MCC'2023- Execution of r276-smll-167863547900087

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
5862.987	1800000.00	3626648.00	7738.30	[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/mcc2023-input.r276-smll-167863547900087.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is NeoElection-COL-5, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r276-smll-167863547900087
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 7.8K Feb 26 16:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 16:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 16:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 26 17:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 16:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 16:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 89K Mar 5 18:23 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 1678869377392

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=NeoElection-COL-5
Not applying reductions.
Model is COL
QuasiLiveness COL
starting LoLA
BK_INPUT NeoElection-COL-5
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 10236924 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16024016 kB

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.
lola: reporting
lola: not produced: 2672
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: ..... 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: reporting
lola: not produced: 2670
lola: state equation: 2
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t351: false
lola: STATE EQUATION TRIES TRANSITION t1221
sara: try reading problem file stateEquationProblem-QuasiLiveness-647.sara.
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.
lola: reporting
lola: not produced: 2668
lola: state equation: 4
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: ..... t1316: false
lola: STATE EQUATION TRIES TRANSITION t488
sara: try reading problem file stateEquationProblem-QuasiLiveness-3414.sara.
lola: reporting
lola: not produced: 2667
lola: state equation: 5
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: ..... t488: false
lola: STATE EQUATION TRIES TRANSITION t2421
sara: try reading problem file stateEquationProblem-QuasiLiveness-74.sara.
lola: reporting
lola: not produced: 2666
lola: state equation: 6
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: ..... 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: reporting
lola: not produced: 2665
lola: state equation: 7
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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

lola: SARA FINISHED
lola: ..... t968: false
lola: STATE EQUATION TRIES TRANSITION t4217
lola: reporting
lola: not produced: 2663
lola: state equation: 9
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2661
lola: state equation: 11
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: ..... 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: reporting
lola: not produced: 2660
lola: state equation: 12
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t686: false
lola: STATE EQUATION TRIES TRANSITION t375
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.
lola: reporting
lola: not produced: 2658
lola: state equation: 14
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: ..... 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.
lola: reporting
lola: not produced: 2656
lola: state equation: 16
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: ..... 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.
lola: reporting
lola: not produced: 2653
lola: state equation: 19
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: ..... 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: reporting
lola: not produced: 2651
lola: state equation: 21
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t269: false
lola: STATE EQUATION TRIES TRANSITION t4330
sara: try reading problem file stateEquationProblem-QuasiLiveness-2430.sara.
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.
lola: reporting
lola: not produced: 2649
lola: state equation: 23
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: ..... t100: false
lola: STATE EQUATION TRIES TRANSITION t2355
sara: try reading problem file stateEquationProblem-QuasiLiveness-4192.sara.
lola: reporting
lola: not produced: 2648
lola: state equation: 24
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: ..... 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: reporting
lola: not produced: 2647
lola: state equation: 25
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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.
lola: reporting
lola: not produced: 2644
lola: state equation: 28
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: ..... 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.
lola: reporting
lola: not produced: 2641
lola: state equation: 31
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: ..... t1417: false
lola: STATE EQUATION TRIES TRANSITION t400
sara: try reading problem file stateEquationProblem-QuasiLiveness-3326.sara.
lola: reporting
lola: not produced: 2640
lola: state equation: 32
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: ..... t400: false
lola: STATE EQUATION TRIES TRANSITION t300
sara: try reading problem file stateEquationProblem-QuasiLiveness-3026.sara.
lola: reporting
lola: not produced: 2639
lola: state equation: 33
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: ..... t300: false
lola: STATE EQUATION TRIES TRANSITION t4012
sara: try reading problem file stateEquationProblem-QuasiLiveness-1912.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2638
lola: state equation: 34
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2635
lola: state equation: 37
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: ..... 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: reporting
lola: not produced: 2634
lola: state equation: 38
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t601: false
lola: STATE EQUATION TRIES TRANSITION t200
sara: try reading problem file stateEquationProblem-QuasiLiveness-2826.sara.
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.
lola: reporting
lola: not produced: 2632
lola: state equation: 40
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: ..... 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: reporting
lola: not produced: 2630
lola: state equation: 42
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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: SARA FINISHED
lola: ..... t4163: false
lola: STATE EQUATION TRIES TRANSITION t1600
sara: try reading problem file stateEquationProblem-QuasiLiveness-1632.sara.
lola: reporting
lola: not produced: 2628
lola: state equation: 44
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: ..... t1600: false
lola: STATE EQUATION TRIES TRANSITION t301
sara: try reading problem file stateEquationProblem-QuasiLiveness-3027.sara.
lola: reporting
lola: not produced: 2627
lola: state equation: 45
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: ..... 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: reporting
lola: not produced: 2625
lola: state equation: 47
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t602: false
lola: STATE EQUATION TRIES TRANSITION t603
sara: try reading problem file stateEquationProblem-QuasiLiveness-3929.sara.
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.
lola: reporting
lola: not produced: 2623
lola: state equation: 49
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: ..... t4089: false
lola: STATE EQUATION TRIES TRANSITION t1495
sara: try reading problem file stateEquationProblem-QuasiLiveness-1395.sara.
lola: reporting
lola: not produced: 2622
lola: state equation: 50
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: ..... 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: reporting
lola: not produced: 2621
lola: state equation: 51
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2618
lola: state equation: 54
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: ..... 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
lola: reporting
lola: not produced: 2615
lola: state equation: 57
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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
sara: try reading problem file stateEquationProblem-QuasiLiveness-1045.sara.
lola: reporting
lola: not produced: 2614
lola: state equation: 58
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: ..... t2648: false
lola: STATE EQUATION TRIES TRANSITION t96
sara: try reading problem file stateEquationProblem-QuasiLiveness-637.sara.
lola: reporting
lola: not produced: 2613
lola: state equation: 59
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: ..... t96: false
lola: STATE EQUATION TRIES TRANSITION t500
sara: try reading problem file stateEquationProblem-QuasiLiveness-3626.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2612
lola: state equation: 60
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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: reporting
lola: not produced: 2611
lola: state equation: 61
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t143: false
lola: STATE EQUATION TRIES TRANSITION t4220
sara: try reading problem file stateEquationProblem-QuasiLiveness-2320.sara.
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.
lola: reporting
lola: not produced: 2609
lola: state equation: 63
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: ..... t1367: false
lola: STATE EQUATION TRIES TRANSITION t1885
sara: try reading problem file stateEquationProblem-QuasiLiveness-2085.sara.
lola: reporting
lola: not produced: 2608
lola: state equation: 64
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: ..... t1885: false
lola: STATE EQUATION TRIES TRANSITION t53
sara: try reading problem file stateEquationProblem-QuasiLiveness-493.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2607
lola: state equation: 65
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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.
lola: reporting
lola: not produced: 2604
lola: state equation: 68
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: ..... t4378: false
lola: STATE EQUATION TRIES TRANSITION t4339
sara: try reading problem file stateEquationProblem-QuasiLiveness-2447.sara.
lola: reporting
lola: not produced: 2603
lola: state equation: 69
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: ..... 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: reporting
lola: not produced: 2602
lola: state equation: 70
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2599
lola: state equation: 73
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: ..... 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: reporting
lola: not produced: 2597
lola: state equation: 75
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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: ..... t776: false
lola: STATE EQUATION TRIES TRANSITION t4103
sara: try reading problem file stateEquationProblem-QuasiLiveness-2103.sara.
lola: reporting
lola: not produced: 2595
lola: state equation: 77
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: ..... t4103: false
lola: STATE EQUATION TRIES TRANSITION t539
sara: try reading problem file stateEquationProblem-QuasiLiveness-3665.sara.
lola: reporting
lola: not produced: 2594
lola: state equation: 78
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: ..... t539: false
lola: STATE EQUATION TRIES TRANSITION t2485
sara: try reading problem file stateEquationProblem-QuasiLiveness-239.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2593
lola: state equation: 79
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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.
lola: reporting
lola: not produced: 2590
lola: state equation: 82
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: ..... t1238: false
lola: STATE EQUATION TRIES TRANSITION t4145
sara: try reading problem file stateEquationProblem-QuasiLiveness-2145.sara.
lola: reporting
lola: not produced: 2589
lola: state equation: 83
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: ..... t4145: false
lola: STATE EQUATION TRIES TRANSITION t213
sara: try reading problem file stateEquationProblem-QuasiLiveness-2839.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2588
lola: state equation: 84
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2585
lola: state equation: 87
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: ..... 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.
lola: reporting
lola: not produced: 2582
lola: state equation: 90
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: ..... 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.
lola: reporting
lola: not produced: 2580
lola: state equation: 92
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: ..... t1210: false
lola: STATE EQUATION TRIES TRANSITION t201
sara: try reading problem file stateEquationProblem-QuasiLiveness-2827.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2579
lola: state equation: 93
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2577
lola: state equation: 95
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: ..... t2615: false
lola: STATE EQUATION TRIES TRANSITION t1592
sara: try reading problem file stateEquationProblem-QuasiLiveness-1592.sara.
lola: reporting
lola: not produced: 2576
lola: state equation: 96
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: ..... 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: reporting
lola: not produced: 2575
lola: state equation: 97
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t4077: false
lola: STATE EQUATION TRIES TRANSITION t1579
sara: try reading problem file stateEquationProblem-QuasiLiveness-1579.sara.
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.
lola: reporting
lola: not produced: 2573
lola: state equation: 99
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: ..... 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.
lola: reporting
lola: not produced: 2571
lola: state equation: 101
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: ..... 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.
lola: reporting
lola: not produced: 2568
lola: state equation: 104
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: ..... 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.
lola: reporting
lola: not produced: 2566
lola: state equation: 106
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: ..... t1398: false
lola: STATE EQUATION TRIES TRANSITION t1524
sara: try reading problem file stateEquationProblem-QuasiLiveness-1480.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2565
lola: state equation: 107
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2563
lola: state equation: 109
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: ..... t30: false
lola: STATE EQUATION TRIES TRANSITION t1644
sara: try reading problem file stateEquationProblem-QuasiLiveness-1720.sara.
lola: reporting
lola: not produced: 2562
lola: state equation: 110
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: ..... t1644: false
lola: STATE EQUATION TRIES TRANSITION t1325
sara: try reading problem file stateEquationProblem-QuasiLiveness-1070.sara.
lola: reporting
lola: not produced: 2561
lola: state equation: 111
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: ..... t1325: false
lola: STATE EQUATION TRIES TRANSITION t2460
sara: try reading problem file stateEquationProblem-QuasiLiveness-182.sara.
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.
lola: reporting
lola: not produced: 2559
lola: state equation: 113
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: ..... 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.
lola: reporting
lola: not produced: 2557
lola: state equation: 115
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: ..... 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.
lola: reporting
lola: not produced: 2554
lola: state equation: 118
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: ..... 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: reporting
lola: not produced: 2552
lola: state equation: 120
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t1257: false
lola: STATE EQUATION TRIES TRANSITION t403
sara: try reading problem file stateEquationProblem-QuasiLiveness-3329.sara.
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.
lola: reporting
lola: not produced: 2550
lola: state equation: 122
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: ..... t4202: false
lola: STATE EQUATION TRIES TRANSITION t1453
sara: try reading problem file stateEquationProblem-QuasiLiveness-1338.sara.
lola: reporting
lola: not produced: 2549
lola: state equation: 123
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: ..... t1453: false
lola: STATE EQUATION TRIES TRANSITION t741
sara: try reading problem file stateEquationProblem-QuasiLiveness-4367.sara.
lola: reporting
lola: not produced: 2548
lola: state equation: 124
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: ..... 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: reporting
lola: not produced: 2547
lola: state equation: 125
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t237: false
lola: STATE EQUATION TRIES TRANSITION t4203
sara: try reading problem file stateEquationProblem-QuasiLiveness-2303.sara.
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.
lola: reporting
lola: not produced: 2545
lola: state equation: 127
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: ..... 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: reporting
lola: not produced: 2543
lola: state equation: 129
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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: SARA FINISHED
lola: ..... t605: false
lola: STATE EQUATION TRIES TRANSITION t1487
sara: try reading problem file stateEquationProblem-QuasiLiveness-1387.sara.
lola: reporting
lola: not produced: 2541
lola: state equation: 131
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: ..... t1487: false
lola: STATE EQUATION TRIES TRANSITION t502
sara: try reading problem file stateEquationProblem-QuasiLiveness-3628.sara.
lola: reporting
lola: not produced: 2540
lola: state equation: 132
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: ..... t502: false
lola: STATE EQUATION TRIES TRANSITION t292
sara: try reading problem file stateEquationProblem-QuasiLiveness-2918.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2539
lola: state equation: 133
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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.
lola: reporting
lola: not produced: 2536
lola: state equation: 136
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: ..... 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.
lola: reporting
lola: not produced: 2533
lola: state equation: 139
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: ..... 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: reporting
lola: not produced: 2531
lola: state equation: 141
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t606: false
lola: STATE EQUATION TRIES TRANSITION t1513
sara: try reading problem file stateEquationProblem-QuasiLiveness-1458.sara.
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.
lola: reporting
lola: not produced: 2529
lola: state equation: 143
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: ..... t607: false
lola: STATE EQUATION TRIES TRANSITION t4420
sara: try reading problem file stateEquationProblem-QuasiLiveness-2720.sara.
lola: reporting
lola: not produced: 2528
lola: state equation: 144
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: ..... t4420: false
lola: STATE EQUATION TRIES TRANSITION t2489
sara: try reading problem file stateEquationProblem-QuasiLiveness-247.sara.
lola: reporting
lola: not produced: 2527
lola: state equation: 145
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: ..... 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: reporting
lola: not produced: 2526
lola: state equation: 146
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t4269: false
lola: STATE EQUATION TRIES TRANSITION t989
sara: try reading problem file stateEquationProblem-QuasiLiveness-879.sara.
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.
lola: reporting
lola: not produced: 2524
lola: state equation: 148
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: ..... 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: reporting
lola: not produced: 2522
lola: state equation: 150
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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: SARA FINISHED
lola: ..... t665: false
lola: STATE EQUATION TRIES TRANSITION t4205
sara: try reading problem file stateEquationProblem-QuasiLiveness-2305.sara.
lola: reporting
lola: not produced: 2520
lola: state equation: 152
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: ..... t4205: false
lola: STATE EQUATION TRIES TRANSITION t4379
sara: try reading problem file stateEquationProblem-QuasiLiveness-2527.sara.
lola: reporting
lola: not produced: 2519
lola: state equation: 153
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: ..... t4379: false
lola: STATE EQUATION TRIES TRANSITION t503
sara: try reading problem file stateEquationProblem-QuasiLiveness-3629.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2518
lola: state equation: 154
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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.
lola: reporting
lola: not produced: 2515
lola: state equation: 157
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: ..... 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: reporting
lola: not produced: 2514
lola: state equation: 158
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t4099: false
lola: STATE EQUATION TRIES TRANSITION t4247
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.
lola: reporting
lola: not produced: 2512
lola: state equation: 160
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: ..... 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.
lola: reporting
lola: not produced: 2510
lola: state equation: 162
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: ..... t1808: false
lola: STATE EQUATION TRIES TRANSITION t526
sara: try reading problem file stateEquationProblem-QuasiLiveness-3652.sara.
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.
lola: reporting
lola: not produced: 2508
lola: state equation: 164
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: ..... t2617: false
lola: STATE EQUATION TRIES TRANSITION t303
sara: try reading problem file stateEquationProblem-QuasiLiveness-3029.sara.
lola: reporting
lola: not produced: 2507
lola: state equation: 165
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: ..... 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.
lola: reporting
lola: not produced: 2503
lola: state equation: 169
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: ..... 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
lola: reporting
lola: not produced: 2500
lola: state equation: 172
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2498
lola: state equation: 174
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: ..... t4055: false
lola: STATE EQUATION TRIES TRANSITION t12
sara: try reading problem file stateEquationProblem-QuasiLiveness-402.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2497
lola: state equation: 175
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2494
lola: state equation: 178
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: ..... 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: reporting
lola: not produced: 2493
lola: state equation: 179
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t304: false
lola: STATE EQUATION TRIES TRANSITION t1580
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.
lola: reporting
lola: not produced: 2491
lola: state equation: 181
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: ..... 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.
lola: reporting
lola: not produced: 2489
lola: state equation: 183
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: ..... 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: SARA FINISHED
lola: ..... t2320: false
lola: STATE EQUATION TRIES TRANSITION t789
sara: try reading problem file stateEquationProblem-QuasiLiveness-4415.sara.
lola: reporting
lola: not produced: 2487
lola: state equation: 185
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: ..... t789: false
lola: STATE EQUATION TRIES TRANSITION t1068
sara: try reading problem file stateEquationProblem-QuasiLiveness-4294.sara.
lola: reporting
lola: not produced: 2486
lola: state equation: 186
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: ..... t1068: false
lola: STATE EQUATION TRIES TRANSITION t1566
sara: try reading problem file stateEquationProblem-QuasiLiveness-1564.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2485
lola: state equation: 187
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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.
lola: reporting
lola: not produced: 2482
lola: state equation: 190
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: ..... t4185: false
lola: STATE EQUATION TRIES TRANSITION t115
sara: try reading problem file stateEquationProblem-QuasiLiveness-2615.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2481
lola: state equation: 191
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2479
lola: state equation: 193
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: ..... t1024: false
lola: STATE EQUATION TRIES TRANSITION t2438
sara: try reading problem file stateEquationProblem-QuasiLiveness-115.sara.
lola: reporting
lola: not produced: 2478
lola: state equation: 194
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: ..... 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: reporting
lola: not produced: 2477
lola: state equation: 195
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1753: false
lola: STATE EQUATION TRIES TRANSITION t2643
sara: try reading problem file stateEquationProblem-QuasiLiveness-1030.sara.
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.
lola: reporting
lola: not produced: 2475
lola: state equation: 197
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: ..... 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.
lola: reporting
lola: not produced: 2472
lola: state equation: 200
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: ..... t780: false
lola: STATE EQUATION TRIES TRANSITION t2608
sara: try reading problem file stateEquationProblem-QuasiLiveness-948.sara.
lola: reporting
lola: not produced: 2471
lola: state equation: 201
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: ..... 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: reporting
lola: not produced: 2470
lola: state equation: 202
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t154: false
lola: STATE EQUATION TRIES TRANSITION t4101
sara: try reading problem file stateEquationProblem-QuasiLiveness-2101.sara.
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.
lola: reporting
lola: not produced: 2468
lola: state equation: 204
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: ..... 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.
lola: reporting
lola: not produced: 2464
lola: state equation: 208
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: ..... 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.
lola: reporting
lola: not produced: 2461
lola: state equation: 211
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: ..... 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.
lola: reporting
lola: not produced: 2457
lola: state equation: 215
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: ..... t2356: false
lola: STATE EQUATION TRIES TRANSITION t4184
sara: try reading problem file stateEquationProblem-QuasiLiveness-2184.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2456
lola: state equation: 216
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2454
lola: state equation: 218
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: ..... t1450: false
lola: STATE EQUATION TRIES TRANSITION t1134
sara: try reading problem file stateEquationProblem-QuasiLiveness-197.sara.
lola: reporting
lola: not produced: 2453
lola: state equation: 219
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: ..... 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
lola: reporting
lola: not produced: 2451
lola: state equation: 221
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-3631.sara.
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.
lola: reporting
lola: not produced: 2450
lola: state equation: 222
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: ..... t2662: false
lola: STATE EQUATION TRIES TRANSITION t612
sara: try reading problem file stateEquationProblem-QuasiLiveness-3938.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2449
lola: state equation: 223
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2447
lola: state equation: 225
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: ..... t613: false
lola: STATE EQUATION TRIES TRANSITION t1454
sara: try reading problem file stateEquationProblem-QuasiLiveness-1340.sara.
lola: reporting
lola: not produced: 2446
lola: state equation: 226
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: ..... 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: reporting
lola: not produced: 2445
lola: state equation: 227
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t106: false
lola: STATE EQUATION TRIES TRANSITION t1870
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.
lola: reporting
lola: not produced: 2443
lola: state equation: 229
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: ..... 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: reporting
lola: not produced: 2441
lola: state equation: 231
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t1871: false
lola: STATE EQUATION TRIES TRANSITION t2404
sara: try reading problem file stateEquationProblem-QuasiLiveness-40.sara.
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.
lola: reporting
lola: not produced: 2439
lola: state equation: 233
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: ..... t506: false
lola: STATE EQUATION TRIES TRANSITION t4315
sara: try reading problem file stateEquationProblem-QuasiLiveness-2415.sara.
lola: reporting
lola: not produced: 2438
lola: state equation: 234
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: ..... t4315: false
lola: STATE EQUATION TRIES TRANSITION t41
sara: try reading problem file stateEquationProblem-QuasiLiveness-461.sara.
lola: reporting
lola: not produced: 2437
lola: state equation: 235
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: ..... 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.
lola: reporting
lola: not produced: 2434
lola: state equation: 238
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: ..... t83: false
lola: STATE EQUATION TRIES TRANSITION t1460
sara: try reading problem file stateEquationProblem-QuasiLiveness-1352.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2433
lola: state equation: 239
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2431
lola: state equation: 241
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: ..... t576: false
lola: STATE EQUATION TRIES TRANSITION t661
sara: try reading problem file stateEquationProblem-QuasiLiveness-3987.sara.
lola: reporting
lola: not produced: 2430
lola: state equation: 242
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: ..... 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: reporting
lola: not produced: 2429
lola: state equation: 243
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t2603: false
lola: STATE EQUATION TRIES TRANSITION t1521
sara: try reading problem file stateEquationProblem-QuasiLiveness-1474.sara.
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.
lola: reporting
lola: not produced: 2427
lola: state equation: 245
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: ..... 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.
lola: reporting
lola: not produced: 2425
lola: state equation: 247
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: ..... 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
sara: try reading problem file stateEquationProblem-QuasiLiveness-310.sara.
lola: reporting
lola: not produced: 2423
lola: state equation: 249
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: ..... t810: false
lola: STATE EQUATION TRIES TRANSITION t4126
sara: try reading problem file stateEquationProblem-QuasiLiveness-2126.sara.
lola: reporting
lola: not produced: 2422
lola: state equation: 250
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: ..... 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
lola: reporting
lola: not produced: 2419
lola: state equation: 253
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-1486.sara.
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.
lola: reporting
lola: not produced: 2418
lola: state equation: 254
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: ..... t204: false
lola: STATE EQUATION TRIES TRANSITION t533
sara: try reading problem file stateEquationProblem-QuasiLiveness-3659.sara.
lola: reporting
lola: not produced: 2417
lola: state equation: 255
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: ..... 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
lola: reporting
lola: not produced: 2415
lola: state equation: 257
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2413
lola: state equation: 259
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: ..... t307: false
lola: STATE EQUATION TRIES TRANSITION t406
sara: try reading problem file stateEquationProblem-QuasiLiveness-3332.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2412
lola: state equation: 260
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2409
lola: state equation: 263
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: ..... 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: SARA FINISHED
lola: ..... t1116: false
lola: STATE EQUATION TRIES TRANSITION t1458
lola: reporting
lola: not produced: 2407
lola: state equation: 265
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2406
lola: state equation: 266
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: ..... t4080: false
lola: STATE EQUATION TRIES TRANSITION t31
sara: try reading problem file stateEquationProblem-QuasiLiveness-441.sara.
lola: reporting
lola: not produced: 2405
lola: state equation: 267
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: ..... 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: reporting
lola: not produced: 2404
lola: state equation: 268
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t205: false
lola: STATE EQUATION TRIES TRANSITION t109
sara: try reading problem file stateEquationProblem-QuasiLiveness-2609.sara.
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.
lola: reporting
lola: not produced: 2402
lola: state equation: 270
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: ..... 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: reporting
lola: not produced: 2400
lola: state equation: 272
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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: SARA FINISHED
lola: ..... t2321: false
lola: STATE EQUATION TRIES TRANSITION t1333
sara: try reading problem file stateEquationProblem-QuasiLiveness-1094.sara.
lola: reporting
lola: not produced: 2398
lola: state equation: 274
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: ..... t1333: false
lola: STATE EQUATION TRIES TRANSITION t1594
sara: try reading problem file stateEquationProblem-QuasiLiveness-1594.sara.
lola: reporting
lola: not produced: 2397
lola: state equation: 275
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: ..... t1594: false
lola: STATE EQUATION TRIES TRANSITION t2501
sara: try reading problem file stateEquationProblem-QuasiLiveness-472.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2396
lola: state equation: 276
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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.
lola: reporting
lola: not produced: 2393
lola: state equation: 279
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: ..... 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: reporting
lola: not produced: 2391
lola: state equation: 281
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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: SARA FINISHED
lola: ..... t871: false
lola: STATE EQUATION TRIES TRANSITION t4358
sara: try reading problem file stateEquationProblem-QuasiLiveness-2485.sara.
lola: reporting
lola: not produced: 2389
lola: state equation: 283
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: ..... t4358: false
lola: STATE EQUATION TRIES TRANSITION t4409
sara: try reading problem file stateEquationProblem-QuasiLiveness-2709.sara.
lola: reporting
lola: not produced: 2388
lola: state equation: 284
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: ..... 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.
lola: reporting
lola: not produced: 2384
lola: state equation: 288
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: ..... t1343: false
lola: STATE EQUATION TRIES TRANSITION t2427
sara: try reading problem file stateEquationProblem-QuasiLiveness-86.sara.
lola: reporting
lola: not produced: 2383
lola: state equation: 289
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: ..... 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.
lola: reporting
lola: not produced: 2381
lola: state equation: 291
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: ..... 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.
lola: reporting
lola: not produced: 2379
lola: state equation: 293
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: ..... t2710: false
lola: STATE EQUATION TRIES TRANSITION t1500
sara: try reading problem file stateEquationProblem-QuasiLiveness-1432.sara.
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.
lola: reporting
lola: not produced: 2377
lola: state equation: 295
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: ..... t1401: false
lola: STATE EQUATION TRIES TRANSITION t941
sara: try reading problem file stateEquationProblem-QuasiLiveness-831.sara.
lola: reporting
lola: not produced: 2376
lola: state equation: 296
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: ..... t941: false
lola: STATE EQUATION TRIES TRANSITION t480
sara: try reading problem file stateEquationProblem-QuasiLiveness-3406.sara.
lola: reporting
lola: not produced: 2375
lola: state equation: 297
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: ..... 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
sara: try reading problem file stateEquationProblem-QuasiLiveness-3635.sara.
lola: reporting
lola: not produced: 2373
lola: state equation: 299
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: ..... t509: false
lola: STATE EQUATION TRIES TRANSITION t1047
sara: try reading problem file stateEquationProblem-QuasiLiveness-4252.sara.
lola: reporting
lola: not produced: 2372
lola: state equation: 300
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: ..... 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.
lola: reporting
lola: not produced: 2368
lola: state equation: 304
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: ..... 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.
lola: reporting
lola: not produced: 2365
lola: state equation: 307
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: ..... 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: reporting
lola: not produced: 2363
lola: state equation: 309
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1602: false
lola: STATE EQUATION TRIES TRANSITION t110
sara: try reading problem file stateEquationProblem-QuasiLiveness-2610.sara.
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.
lola: reporting
lola: not produced: 2361
lola: state equation: 311
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: ..... t510: false
lola: STATE EQUATION TRIES TRANSITION t2671
sara: try reading problem file stateEquationProblem-QuasiLiveness-1111.sara.
lola: reporting
lola: not produced: 2360
lola: state equation: 312
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: ..... 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: reporting
lola: not produced: 2359
lola: state equation: 313
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2356
lola: state equation: 316
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: ..... t1622: false
lola: STATE EQUATION TRIES TRANSITION t739
sara: try reading problem file stateEquationProblem-QuasiLiveness-4365.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2355
lola: state equation: 317
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2352
lola: state equation: 320
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: ..... t2401: false
lola: STATE EQUATION TRIES TRANSITION t1794
sara: try reading problem file stateEquationProblem-QuasiLiveness-1894.sara.
lola: reporting
lola: not produced: 2351
lola: state equation: 321
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: ..... 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: reporting
lola: not produced: 2350
lola: state equation: 322
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2347
lola: state equation: 325
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: ..... t4297: false
lola: STATE EQUATION TRIES TRANSITION t2547
sara: try reading problem file stateEquationProblem-QuasiLiveness-622.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2346
lola: state equation: 326
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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
lola: reporting
lola: not produced: 2344
lola: state equation: 328
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-1376.sara.
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.
lola: reporting
lola: not produced: 2343
lola: state equation: 329
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: ..... t409: false
lola: STATE EQUATION TRIES TRANSITION t2331
sara: try reading problem file stateEquationProblem-QuasiLiveness-4120.sara.
lola: reporting
lola: not produced: 2342
lola: state equation: 330
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: ..... t2331: false
lola: STATE EQUATION TRIES TRANSITION t2703
sara: try reading problem file stateEquationProblem-QuasiLiveness-1203.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2341
lola: state equation: 331
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2338
lola: state equation: 334
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: ..... t615: false
lola: STATE EQUATION TRIES TRANSITION t616
sara: try reading problem file stateEquationProblem-QuasiLiveness-3942.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2337
lola: state equation: 335
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2335
lola: state equation: 337
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: ..... t4044: false
lola: STATE EQUATION TRIES TRANSITION t4208
sara: try reading problem file stateEquationProblem-QuasiLiveness-2308.sara.
lola: reporting
lola: not produced: 2334
lola: state equation: 338
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: ..... 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: reporting
lola: not produced: 2333
lola: state equation: 339
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2641: false
lola: STATE EQUATION TRIES TRANSITION t511
sara: try reading problem file stateEquationProblem-QuasiLiveness-3637.sara.
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.
lola: reporting
lola: not produced: 2331
lola: state equation: 341
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: ..... 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: reporting
lola: not produced: 2329
lola: state equation: 343
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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
sara: try reading problem file stateEquationProblem-QuasiLiveness-2864.sara.
lola: reporting
lola: not produced: 2327
lola: state equation: 345
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: ..... t238: false
lola: STATE EQUATION TRIES TRANSITION t4239
sara: try reading problem file stateEquationProblem-QuasiLiveness-2339.sara.
lola: reporting
lola: not produced: 2326
lola: state equation: 346
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: ..... 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: reporting
lola: not produced: 2324
lola: state equation: 348
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1327: false
lola: STATE EQUATION TRIES TRANSITION t4054
sara: try reading problem file stateEquationProblem-QuasiLiveness-1954.sara.
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.
lola: reporting
lola: not produced: 2322
lola: state equation: 350
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: ..... t754: false
lola: STATE EQUATION TRIES TRANSITION t2667
sara: try reading problem file stateEquationProblem-QuasiLiveness-1102.sara.
lola: reporting
lola: not produced: 2321
lola: state equation: 351
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: ..... t2667: false
lola: STATE EQUATION TRIES TRANSITION t4122
sara: try reading problem file stateEquationProblem-QuasiLiveness-2122.sara.
lola: reporting
lola: not produced: 2320
lola: state equation: 352
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: ..... 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: reporting
lola: not produced: 2319
lola: state equation: 353
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2601: false
lola: STATE EQUATION TRIES TRANSITION t2509
sara: try reading problem file stateEquationProblem-QuasiLiveness-489.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t2509: false
lola: STATE EQUATION TRIES TRANSITION t1674
lola: reporting
lola: not produced: 2317
lola: state equation: 355
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2315
lola: state equation: 357
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: ..... 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.
lola: reporting
lola: not produced: 2312
lola: state equation: 360
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: ..... 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.
lola: reporting
lola: not produced: 2310
lola: state equation: 362
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: ..... t2351: false
lola: STATE EQUATION TRIES TRANSITION t2357
sara: try reading problem file stateEquationProblem-QuasiLiveness-4198.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2309
lola: state equation: 363
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2307
lola: state equation: 365
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: ..... t512: false
lola: STATE EQUATION TRIES TRANSITION t525
sara: try reading problem file stateEquationProblem-QuasiLiveness-3651.sara.
lola: reporting
lola: not produced: 2306
lola: state equation: 366
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: ..... 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: reporting
lola: not produced: 2305
lola: state equation: 367
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t4353: false
lola: STATE EQUATION TRIES TRANSITION t618
sara: try reading problem file stateEquationProblem-QuasiLiveness-3944.sara.
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.
lola: reporting
lola: not produced: 2303
lola: state equation: 369
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: ..... 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: reporting
lola: not produced: 2301
lola: state equation: 371
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

lola: SARA FINISHED
lola: ..... t306: false
lola: STATE EQUATION TRIES TRANSITION t2456
sara: try reading problem file stateEquationProblem-QuasiLiveness-169.sara.
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.
lola: reporting
lola: not produced: 2299
lola: state equation: 373
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: ..... t1165: false
lola: STATE EQUATION TRIES TRANSITION t1522
sara: try reading problem file stateEquationProblem-QuasiLiveness-1476.sara.
lola: reporting
lola: not produced: 2298
lola: state equation: 374
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: ..... t1522: false
lola: STATE EQUATION TRIES TRANSITION t1704
sara: try reading problem file stateEquationProblem-QuasiLiveness-1804.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2297
lola: state equation: 375
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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.
lola: reporting
lola: not produced: 2294
lola: state equation: 378
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: ..... 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.
lola: reporting
lola: not produced: 2291
lola: state equation: 381
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: ..... 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: reporting
lola: not produced: 2289
lola: state equation: 383
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t4408: false
lola: STATE EQUATION TRIES TRANSITION t4388
sara: try reading problem file stateEquationProblem-QuasiLiveness-2545.sara.
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.
lola: reporting
lola: not produced: 2287
lola: state equation: 385
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: ..... 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: reporting
lola: not produced: 2285
lola: state equation: 387
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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: SARA FINISHED
lola: ..... t514: false
lola: STATE EQUATION TRIES TRANSITION t1209
sara: try reading problem file stateEquationProblem-QuasiLiveness-589.sara.
lola: reporting
lola: not produced: 2283
lola: state equation: 389
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: ..... t1209: false
lola: STATE EQUATION TRIES TRANSITION t788
sara: try reading problem file stateEquationProblem-QuasiLiveness-4414.sara.
lola: reporting
lola: not produced: 2282
lola: state equation: 390
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: ..... t788: false
lola: STATE EQUATION TRIES TRANSITION t750
sara: try reading problem file stateEquationProblem-QuasiLiveness-4376.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2281
lola: state equation: 391
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2278
lola: state equation: 394
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: ..... t2340: false
lola: STATE EQUATION TRIES TRANSITION t1872
sara: try reading problem file stateEquationProblem-QuasiLiveness-2072.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1872: false
lola: STATE EQUATION TRIES TRANSITION t1604
lola: reporting
lola: not produced: 2276
lola: state equation: 396
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2275
lola: state equation: 397
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: ..... t446: false
lola: STATE EQUATION TRIES TRANSITION t208
sara: try reading problem file stateEquationProblem-QuasiLiveness-2834.sara.
lola: reporting
lola: not produced: 2274
lola: state equation: 398
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: ..... 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: reporting
lola: not produced: 2273
lola: state equation: 399
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t2637: false
lola: STATE EQUATION TRIES TRANSITION t414
sara: try reading problem file stateEquationProblem-QuasiLiveness-3340.sara.
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.
lola: reporting
lola: not produced: 2271
lola: state equation: 401
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: ..... 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: reporting
lola: not produced: 2269
lola: state equation: 403
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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: SARA FINISHED
lola: ..... t15: false
lola: STATE EQUATION TRIES TRANSITION t584
sara: try reading problem file stateEquationProblem-QuasiLiveness-3710.sara.
lola: reporting
lola: not produced: 2267
lola: state equation: 405
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: ..... t584: false
lola: STATE EQUATION TRIES TRANSITION t451
sara: try reading problem file stateEquationProblem-QuasiLiveness-3377.sara.
lola: reporting
lola: not produced: 2266
lola: state equation: 406
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: ..... t451: false
lola: STATE EQUATION TRIES TRANSITION t516
sara: try reading problem file stateEquationProblem-QuasiLiveness-3642.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2265
lola: state equation: 407
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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
lola: reporting
lola: not produced: 2263
lola: state equation: 409
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-2341.sara.
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.
lola: reporting
lola: not produced: 2262
lola: state equation: 410
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: ..... 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.
lola: reporting
lola: not produced: 2259
lola: state equation: 413
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: ..... t2587: false
lola: STATE EQUATION TRIES TRANSITION t2484
sara: try reading problem file stateEquationProblem-QuasiLiveness-237.sara.
lola: reporting
lola: not produced: 2258
lola: state equation: 414
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: ..... 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: reporting
lola: not produced: 2257
lola: state equation: 415
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1877: false
lola: STATE EQUATION TRIES TRANSITION t348
sara: try reading problem file stateEquationProblem-QuasiLiveness-3074.sara.
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.
lola: reporting
lola: not produced: 2255
lola: state equation: 417
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: ..... t308: false
lola: STATE EQUATION TRIES TRANSITION t1692
sara: try reading problem file stateEquationProblem-QuasiLiveness-1792.sara.
lola: reporting
lola: not produced: 2254
lola: state equation: 418
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: ..... t1692: false
lola: STATE EQUATION TRIES TRANSITION t4105
sara: try reading problem file stateEquationProblem-QuasiLiveness-2105.sara.
lola: reporting
lola: not produced: 2253
lola: state equation: 419
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: ..... 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: reporting
lola: not produced: 2252
lola: state equation: 420
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t1758: false
lola: STATE EQUATION TRIES TRANSITION t1680
sara: try reading problem file stateEquationProblem-QuasiLiveness-1780.sara.
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.
lola: reporting
lola: not produced: 2250
lola: state equation: 422
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: ..... 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.
lola: reporting
lola: not produced: 2248
lola: state equation: 424
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: ..... 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.
lola: reporting
lola: not produced: 2245
lola: state equation: 427
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: ..... 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: reporting
lola: not produced: 2243
lola: state equation: 429
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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

lola: SARA FINISHED
lola: ..... t2568: false
lola: STATE EQUATION TRIES TRANSITION t369
lola: reporting
lola: not produced: 2241
lola: state equation: 431
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2239
lola: state equation: 433
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: ..... t2708: false
lola: STATE EQUATION TRIES TRANSITION t2487
sara: try reading problem file stateEquationProblem-QuasiLiveness-243.sara.
lola: reporting
lola: not produced: 2238
lola: state equation: 434
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: ..... 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
lola: reporting
lola: not produced: 2236
lola: state equation: 436
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2234
lola: state equation: 438
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: ..... t4091: false
lola: STATE EQUATION TRIES TRANSITION t209
sara: try reading problem file stateEquationProblem-QuasiLiveness-2835.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2233
lola: state equation: 439
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657

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.
lola: reporting
lola: not produced: 2230
lola: state equation: 442
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: ..... t862: false
lola: STATE EQUATION TRIES TRANSITION t619
sara: try reading problem file stateEquationProblem-QuasiLiveness-3945.sara.
lola: reporting
lola: not produced: 2229
lola: state equation: 443
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: ..... t619: false
lola: STATE EQUATION TRIES TRANSITION t111
sara: try reading problem file stateEquationProblem-QuasiLiveness-2611.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t111: false
lola: STATE EQUATION TRIES TRANSITION t88
lola: reporting
lola: not produced: 2227
lola: state equation: 445
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2225
lola: state equation: 447
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: ..... t620: false
lola: STATE EQUATION TRIES TRANSITION t1768
sara: try reading problem file stateEquationProblem-QuasiLiveness-1868.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2224
lola: state equation: 448
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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.
lola: reporting
lola: not produced: 2222
lola: state equation: 450
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: ..... t1605: false
lola: STATE EQUATION TRIES TRANSITION t621
sara: try reading problem file stateEquationProblem-QuasiLiveness-3947.sara.
lola: reporting
lola: not produced: 2221
lola: state equation: 451
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: ..... 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
lola: reporting
lola: not produced: 2219
lola: state equation: 453
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
sara: try reading problem file stateEquationProblem-QuasiLiveness-200.sara.
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.
lola: reporting
lola: not produced: 2218
lola: state equation: 454
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: ..... 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.
lola: reporting
lola: not produced: 2215
lola: state equation: 457
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: ..... t2363: false
lola: STATE EQUATION TRIES TRANSITION t2639
sara: try reading problem file stateEquationProblem-QuasiLiveness-1017.sara.
lola: reporting
lola: not produced: 2214
lola: state equation: 458
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: ..... 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: reporting
lola: not produced: 2213
lola: state equation: 459
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t4036: false
lola: STATE EQUATION TRIES TRANSITION t4127
sara: try reading problem file stateEquationProblem-QuasiLiveness-2127.sara.
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.
lola: reporting
lola: not produced: 2211
lola: state equation: 461
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: ..... 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: reporting
lola: not produced: 2209
lola: state equation: 463
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
lola: SARA FINISHED
lola: ..... t4014: false
lola: STATE EQUATION TRIES TRANSITION t1392
sara: try reading problem file stateEquationProblem-QuasiLiveness-1192.sara.
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.
lola: reporting
lola: not produced: 2207
lola: state equation: 465
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: ..... t518: false
lola: STATE EQUATION TRIES TRANSITION t865
sara: try reading problem file stateEquationProblem-QuasiLiveness-365.sara.
lola: reporting
lola: not produced: 2206
lola: state equation: 466
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: ..... 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: reporting
lola: not produced: 2205
lola: state equation: 467
lola: find path: 70
lola: goal oriented search: 27
lola: high level: 1657
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
lola: caught signal Terminated - aborting LoLA

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

Time elapsed: 1800 secs. Pages in use: 431

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-5348"
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 r276-smll-167863547900087"
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 ;