About the Execution of LoLA for NeoElection-COL-6
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2254.224 | 1800000.00 | 3618152.00 | 5534.00 | [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-167863547900092.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-6, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r276-smll-167863547900092
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 11K Feb 26 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 16:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 16:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 17:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 17:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 17:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 26 17:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:28 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 98K 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 1678869899481
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-6
Not applying reductions.
Model is COL
QuasiLiveness COL
starting LoLA
BK_INPUT NeoElection-COL-6
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: 13909412 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16096308 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: 4830, Transitions: 8005
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 t793
lola: LAUNCH SYMM
sara: try reading problem file stateEquationProblem-QuasiLiveness-7938.sara.
lola: reporting
lola: not produced: 4907
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4907
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t793: false
lola: STATE EQUATION TRIES TRANSITION t3000
sara: try reading problem file stateEquationProblem-QuasiLiveness-4789.sara.
lola: reporting
lola: not produced: 4906
lola: state equation: 1
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4906
lola: state equation: 1
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3000: false
lola: STATE EQUATION TRIES TRANSITION t3412
sara: try reading problem file stateEquationProblem-QuasiLiveness-6461.sara.
lola: reporting
lola: not produced: 4905
lola: state equation: 2
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4905
lola: state equation: 2
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3412: false
lola: STATE EQUATION TRIES TRANSITION t2921
sara: try reading problem file stateEquationProblem-QuasiLiveness-2821.sara.
lola: reporting
lola: not produced: 4904
lola: state equation: 3
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4904
lola: state equation: 3
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2921: false
lola: STATE EQUATION TRIES TRANSITION t551
sara: try reading problem file stateEquationProblem-QuasiLiveness-6756.sara.
lola: reporting
lola: not produced: 4903
lola: state equation: 4
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4903
lola: state equation: 4
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t551: false
lola: STATE EQUATION TRIES TRANSITION t4545
sara: try reading problem file stateEquationProblem-QuasiLiveness-5641.sara.
lola: reporting
lola: not produced: 4902
lola: state equation: 5
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4902
lola: state equation: 5
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4545: false
lola: STATE EQUATION TRIES TRANSITION t2263
sara: try reading problem file stateEquationProblem-QuasiLiveness-7163.sara.
lola: reporting
lola: not produced: 4901
lola: state equation: 6
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4901
lola: state equation: 6
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2263: false
lola: STATE EQUATION TRIES TRANSITION t7370
sara: try reading problem file stateEquationProblem-QuasiLiveness-510.sara.
lola: reporting
lola: not produced: 4900
lola: state equation: 7
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4900
lola: state equation: 7
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7370: false
lola: STATE EQUATION TRIES TRANSITION t1900
sara: try reading problem file stateEquationProblem-QuasiLiveness-4200.sara.
lola: reporting
lola: not produced: 4899
lola: state equation: 8
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4899
lola: state equation: 8
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1900: false
lola: STATE EQUATION TRIES TRANSITION t3483
sara: try reading problem file stateEquationProblem-QuasiLiveness-6640.sara.
lola: reporting
lola: not produced: 4898
lola: state equation: 9
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4898
lola: state equation: 9
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t3483: false
lola: STATE EQUATION TRIES TRANSITION t880
sara: try reading problem file stateEquationProblem-QuasiLiveness-410.sara.
lola: reporting
lola: not produced: 4897
lola: state equation: 10
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4897
lola: state equation: 10
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t880: false
lola: STATE EQUATION TRIES TRANSITION t1800
lola: reporting
lola: not produced: 4896
lola: state equation: 11
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-3800.sara.
lola: reporting
lola: not produced: 4896
lola: state equation: 11
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4896
lola: state equation: 11
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1800: false
lola: STATE EQUATION TRIES TRANSITION t7965
sara: try reading problem file stateEquationProblem-QuasiLiveness-3502.sara.
lola: reporting
lola: not produced: 4895
lola: state equation: 12
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4895
lola: state equation: 12
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7965: false
lola: STATE EQUATION TRIES TRANSITION t7577
sara: try reading problem file stateEquationProblem-QuasiLiveness-1723.sara.
lola: reporting
lola: not produced: 4894
lola: state equation: 13
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4894
lola: state equation: 13
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7577: false
lola: STATE EQUATION TRIES TRANSITION t590
sara: try reading problem file stateEquationProblem-QuasiLiveness-6835.sara.
lola: reporting
lola: not produced: 4893
lola: state equation: 14
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4893
lola: state equation: 14
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t590: false
lola: STATE EQUATION TRIES TRANSITION t732
sara: try reading problem file stateEquationProblem-QuasiLiveness-7837.sara.
lola: reporting
lola: not produced: 4892
lola: state equation: 15
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4892
lola: state equation: 15
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t732: false
lola: STATE EQUATION TRIES TRANSITION t334
sara: try reading problem file stateEquationProblem-QuasiLiveness-5839.sara.
lola: reporting
lola: not produced: 4891
lola: state equation: 16
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4891
lola: state equation: 16
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t334: false
lola: STATE EQUATION TRIES TRANSITION t2268
sara: try reading problem file stateEquationProblem-QuasiLiveness-7173.sara.
lola: reporting
lola: not produced: 4890
lola: state equation: 17
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4890
lola: state equation: 17
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2268: false
lola: STATE EQUATION TRIES TRANSITION t1214
sara: try reading problem file stateEquationProblem-QuasiLiveness-817.sara.
lola: reporting
lola: not produced: 4889
lola: state equation: 18
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4889
lola: state equation: 18
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1214: false
lola: STATE EQUATION TRIES TRANSITION t2525
sara: try reading problem file stateEquationProblem-QuasiLiveness-742.sara.
lola: reporting
lola: not produced: 4888
lola: state equation: 19
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4888
lola: state equation: 19
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2525: false
lola: STATE EQUATION TRIES TRANSITION t1479
sara: try reading problem file stateEquationProblem-QuasiLiveness-1979.sara.
lola: reporting
lola: not produced: 4887
lola: state equation: 20
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4887
lola: state equation: 20
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4887
lola: state equation: 20
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1479: false
lola: STATE EQUATION TRIES TRANSITION t1901
sara: try reading problem file stateEquationProblem-QuasiLiveness-4201.sara.
lola: reporting
lola: not produced: 4886
lola: state equation: 21
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4886
lola: state equation: 21
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1901: false
lola: STATE EQUATION TRIES TRANSITION t7876
sara: try reading problem file stateEquationProblem-QuasiLiveness-3135.sara.
lola: reporting
lola: not produced: 4885
lola: state equation: 22
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4885
lola: state equation: 22
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7876: false
lola: STATE EQUATION TRIES TRANSITION t700
sara: try reading problem file stateEquationProblem-QuasiLiveness-7795.sara.
lola: reporting
lola: not produced: 4884
lola: state equation: 23
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4884
lola: state equation: 23
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t700: false
lola: STATE EQUATION TRIES TRANSITION t7518
sara: try reading problem file stateEquationProblem-QuasiLiveness-1618.sara.
lola: reporting
lola: not produced: 4883
lola: state equation: 24
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4883
lola: state equation: 24
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7518: false
lola: STATE EQUATION TRIES TRANSITION t7399
sara: try reading problem file stateEquationProblem-QuasiLiveness-567.sara.
lola: reporting
lola: not produced: 4882
lola: state equation: 25
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4882
lola: state equation: 25
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7399: false
lola: STATE EQUATION TRIES TRANSITION t743
sara: try reading problem file stateEquationProblem-QuasiLiveness-7848.sara.
lola: reporting
lola: not produced: 4881
lola: state equation: 26
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4881
lola: state equation: 26
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t743: false
lola: STATE EQUATION TRIES TRANSITION t2608
sara: try reading problem file stateEquationProblem-QuasiLiveness-1348.sara.
lola: reporting
lola: not produced: 4880
lola: state equation: 27
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4880
lola: state equation: 27
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4880
lola: state equation: 27
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2608: false
lola: STATE EQUATION TRIES TRANSITION t3001
sara: try reading problem file stateEquationProblem-QuasiLiveness-4793.sara.
lola: reporting
lola: not produced: 4879
lola: state equation: 28
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4879
lola: state equation: 28
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3001: false
lola: STATE EQUATION TRIES TRANSITION t3002
sara: try reading problem file stateEquationProblem-QuasiLiveness-4797.sara.
lola: reporting
lola: not produced: 4878
lola: state equation: 29
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4878
lola: state equation: 29
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3002: false
lola: STATE EQUATION TRIES TRANSITION t7652
sara: try reading problem file stateEquationProblem-QuasiLiveness-2073.sara.
lola: reporting
lola: not produced: 4877
lola: state equation: 30
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4877
lola: state equation: 30
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7652: false
lola: STATE EQUATION TRIES TRANSITION t2800
sara: try reading problem file stateEquationProblem-QuasiLiveness-2300.sara.
lola: reporting
lola: not produced: 4876
lola: state equation: 31
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4876
lola: state equation: 31
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2800: false
lola: STATE EQUATION TRIES TRANSITION t1635
sara: try reading problem file stateEquationProblem-QuasiLiveness-2902.sara.
lola: reporting
lola: not produced: 4875
lola: state equation: 32
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4875
lola: state equation: 32
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1635: false
lola: STATE EQUATION TRIES TRANSITION t2801
sara: try reading problem file stateEquationProblem-QuasiLiveness-2301.sara.
lola: reporting
lola: not produced: 4874
lola: state equation: 33
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4874
lola: state equation: 33
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2801: false
lola: STATE EQUATION TRIES TRANSITION t566
lola: reporting
lola: not produced: 4873
lola: state equation: 34
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-6781.sara.
lola: reporting
lola: not produced: 4873
lola: state equation: 34
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4873
lola: state equation: 34
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t566: false
lola: STATE EQUATION TRIES TRANSITION t1745
sara: try reading problem file stateEquationProblem-QuasiLiveness-3345.sara.
lola: reporting
lola: not produced: 4872
lola: state equation: 35
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4872
lola: state equation: 35
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1745: false
lola: STATE EQUATION TRIES TRANSITION t756
sara: try reading problem file stateEquationProblem-QuasiLiveness-7861.sara.
lola: reporting
lola: not produced: 4871
lola: state equation: 36
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4871
lola: state equation: 36
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t756: false
lola: STATE EQUATION TRIES TRANSITION t4601
sara: try reading problem file stateEquationProblem-QuasiLiveness-5939.sara.
lola: reporting
lola: not produced: 4870
lola: state equation: 37
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4870
lola: state equation: 37
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4601: false
lola: STATE EQUATION TRIES TRANSITION t1853
sara: try reading problem file stateEquationProblem-QuasiLiveness-3853.sara.
lola: reporting
lola: not produced: 4869
lola: state equation: 38
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4869
lola: state equation: 38
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1853: false
lola: STATE EQUATION TRIES TRANSITION t4550
lola: reporting
lola: not produced: 4868
lola: state equation: 39
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-5657.sara.
lola: reporting
lola: not produced: 4868
lola: state equation: 39
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4868
lola: state equation: 39
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4550: false
lola: STATE EQUATION TRIES TRANSITION t3003
sara: try reading problem file stateEquationProblem-QuasiLiveness-4801.sara.
lola: reporting
lola: not produced: 4867
lola: state equation: 40
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4867
lola: state equation: 40
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3003: false
lola: STATE EQUATION TRIES TRANSITION t4609
sara: try reading problem file stateEquationProblem-QuasiLiveness-5954.sara.
lola: reporting
lola: not produced: 4866
lola: state equation: 41
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4866
lola: state equation: 41
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4609: false
lola: STATE EQUATION TRIES TRANSITION t2600
sara: try reading problem file stateEquationProblem-QuasiLiveness-1332.sara.
lola: reporting
lola: not produced: 4865
lola: state equation: 42
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4865
lola: state equation: 42
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2600: false
lola: STATE EQUATION TRIES TRANSITION t7597
sara: try reading problem file stateEquationProblem-QuasiLiveness-1763.sara.
lola: reporting
lola: not produced: 4864
lola: state equation: 43
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4864
lola: state equation: 43
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7597: false
lola: STATE EQUATION TRIES TRANSITION t2357
sara: try reading problem file stateEquationProblem-QuasiLiveness-7677.sara.
lola: reporting
lola: not produced: 4863
lola: state equation: 44
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4863
lola: state equation: 44
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2357: false
lola: STATE EQUATION TRIES TRANSITION t2445
lola: reporting
lola: not produced: 4862
lola: state equation: 45
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-136.sara.
lola: reporting
lola: not produced: 4862
lola: state equation: 45
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4862
lola: state equation: 45
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2445: false
lola: STATE EQUATION TRIES TRANSITION t1700
sara: try reading problem file stateEquationProblem-QuasiLiveness-3300.sara.
lola: reporting
lola: not produced: 4861
lola: state equation: 46
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4861
lola: state equation: 46
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1700: false
lola: STATE EQUATION TRIES TRANSITION t4500
sara: try reading problem file stateEquationProblem-QuasiLiveness-5537.sara.
lola: reporting
lola: not produced: 4860
lola: state equation: 47
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4860
lola: state equation: 47
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4500: false
lola: STATE EQUATION TRIES TRANSITION t1295
sara: try reading problem file stateEquationProblem-QuasiLiveness-995.sara.
lola: reporting
lola: not produced: 4859
lola: state equation: 48
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4859
lola: state equation: 48
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1295: false
lola: STATE EQUATION TRIES TRANSITION t1902
sara: try reading problem file stateEquationProblem-QuasiLiveness-4202.sara.
lola: reporting
lola: not produced: 4858
lola: state equation: 49
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4858
lola: state equation: 49
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1902: false
lola: STATE EQUATION TRIES TRANSITION t2400
sara: try reading problem file stateEquationProblem-QuasiLiveness-32.sara.
lola: reporting
lola: not produced: 4857
lola: state equation: 50
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4857
lola: state equation: 50
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2400: false
lola: STATE EQUATION TRIES TRANSITION t1675
lola: reporting
lola: not produced: 4856
lola: state equation: 51
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-2975.sara.
lola: reporting
lola: not produced: 4856
lola: state equation: 51
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4856
lola: state equation: 51
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1675: false
lola: STATE EQUATION TRIES TRANSITION t7578
sara: try reading problem file stateEquationProblem-QuasiLiveness-1725.sara.
lola: reporting
lola: not produced: 4855
lola: state equation: 52
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4855
lola: state equation: 52
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7578: false
lola: STATE EQUATION TRIES TRANSITION t7853
sara: try reading problem file stateEquationProblem-QuasiLiveness-3075.sara.
lola: reporting
lola: not produced: 4854
lola: state equation: 53
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4854
lola: state equation: 53
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7853: false
lola: STATE EQUATION TRIES TRANSITION t2900
sara: try reading problem file stateEquationProblem-QuasiLiveness-2800.sara.
lola: reporting
lola: not produced: 4853
lola: state equation: 54
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4853
lola: state equation: 54
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2900: false
lola: STATE EQUATION TRIES TRANSITION t1741
sara: try reading problem file stateEquationProblem-QuasiLiveness-3341.sara.
lola: reporting
lola: not produced: 4852
lola: state equation: 55
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4852
lola: state equation: 55
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4852
lola: state equation: 55
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1741: false
lola: STATE EQUATION TRIES TRANSITION t1801
sara: try reading problem file stateEquationProblem-QuasiLiveness-3801.sara.
lola: reporting
lola: not produced: 4851
lola: state equation: 56
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4851
lola: state equation: 56
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1801: false
lola: STATE EQUATION TRIES TRANSITION t3004
sara: try reading problem file stateEquationProblem-QuasiLiveness-4805.sara.
lola: reporting
lola: not produced: 4850
lola: state equation: 57
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4850
lola: state equation: 57
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3004: false
lola: STATE EQUATION TRIES TRANSITION t3005
sara: try reading problem file stateEquationProblem-QuasiLiveness-4809.sara.
lola: reporting
lola: not produced: 4849
lola: state equation: 58
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4849
lola: state equation: 58
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t3005: false
lola: STATE EQUATION TRIES TRANSITION t7617
sara: try reading problem file stateEquationProblem-QuasiLiveness-2017.sara.
lola: reporting
lola: not produced: 4848
lola: state equation: 59
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4848
lola: state equation: 59
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7617: false
lola: STATE EQUATION TRIES TRANSITION t2565
sara: try reading problem file stateEquationProblem-QuasiLiveness-886.sara.
lola: reporting
lola: not produced: 4847
lola: state equation: 60
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4847
lola: state equation: 60
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4847
lola: state equation: 60
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2565: false
lola: STATE EQUATION TRIES TRANSITION t899
sara: try reading problem file stateEquationProblem-QuasiLiveness-449.sara.
lola: reporting
lola: not produced: 4846
lola: state equation: 61
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4846
lola: state equation: 61
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t899: false
lola: STATE EQUATION TRIES TRANSITION t1985
sara: try reading problem file stateEquationProblem-QuasiLiveness-4285.sara.
lola: reporting
lola: not produced: 4845
lola: state equation: 62
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4845
lola: state equation: 62
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1985: false
lola: STATE EQUATION TRIES TRANSITION t275
sara: try reading problem file stateEquationProblem-QuasiLiveness-5480.sara.
lola: reporting
lola: not produced: 4844
lola: state equation: 63
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4844
lola: state equation: 63
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t275: false
lola: STATE EQUATION TRIES TRANSITION t4337
sara: try reading problem file stateEquationProblem-QuasiLiveness-4812.sara.
lola: reporting
lola: not produced: 4843
lola: state equation: 64
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4843
lola: state equation: 64
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4843
lola: state equation: 64
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4337: false
lola: STATE EQUATION TRIES TRANSITION t7846
sara: try reading problem file stateEquationProblem-QuasiLiveness-3061.sara.
lola: reporting
lola: not produced: 4842
lola: state equation: 65
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4842
lola: state equation: 65
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7846: false
lola: STATE EQUATION TRIES TRANSITION t1215
sara: try reading problem file stateEquationProblem-QuasiLiveness-820.sara.
lola: reporting
lola: not produced: 4841
lola: state equation: 66
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4841
lola: state equation: 66
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1215: false
lola: STATE EQUATION TRIES TRANSITION t4600
sara: try reading problem file stateEquationProblem-QuasiLiveness-5937.sara.
lola: reporting
lola: not produced: 4840
lola: state equation: 67
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4840
lola: state equation: 67
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4600: false
lola: STATE EQUATION TRIES TRANSITION t7793
sara: try reading problem file stateEquationProblem-QuasiLiveness-2686.sara.
lola: reporting
lola: not produced: 4839
lola: state equation: 68
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4839
lola: state equation: 68
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7793: false
lola: STATE EQUATION TRIES TRANSITION t3006
sara: try reading problem file stateEquationProblem-QuasiLiveness-4813.sara.
lola: reporting
lola: not produced: 4838
lola: state equation: 69
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4838
lola: state equation: 69
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t3006: false
lola: STATE EQUATION TRIES TRANSITION t7985
sara: try reading problem file stateEquationProblem-QuasiLiveness-3562.sara.
lola: reporting
lola: not produced: 4837
lola: state equation: 70
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4837
lola: state equation: 70
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7985: false
lola: STATE EQUATION TRIES TRANSITION t2594
lola: reporting
lola: not produced: 4836
lola: state equation: 71
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-947.sara.
lola: reporting
lola: not produced: 4836
lola: state equation: 71
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4836
lola: state equation: 71
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2594: false
lola: STATE EQUATION TRIES TRANSITION t7772
sara: try reading problem file stateEquationProblem-QuasiLiveness-2623.sara.
lola: reporting
lola: not produced: 4835
lola: state equation: 72
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4835
lola: state equation: 72
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7772: false
lola: STATE EQUATION TRIES TRANSITION t3026
sara: try reading problem file stateEquationProblem-QuasiLiveness-4873.sara.
lola: reporting
lola: not produced: 4834
lola: state equation: 73
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4834
lola: state equation: 73
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3026: false
lola: STATE EQUATION TRIES TRANSITION t2901
sara: try reading problem file stateEquationProblem-QuasiLiveness-2801.sara.
lola: reporting
lola: not produced: 4833
lola: state equation: 74
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4833
lola: state equation: 74
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2901: false
lola: STATE EQUATION TRIES TRANSITION t1903
sara: try reading problem file stateEquationProblem-QuasiLiveness-4203.sara.
lola: reporting
lola: not produced: 4832
lola: state equation: 75
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4832
lola: state equation: 75
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1903: false
lola: STATE EQUATION TRIES TRANSITION t2195
sara: try reading problem file stateEquationProblem-QuasiLiveness-6700.sara.
lola: reporting
lola: not produced: 4831
lola: state equation: 76
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4831
lola: state equation: 76
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2195: false
lola: STATE EQUATION TRIES TRANSITION t4630
sara: try reading problem file stateEquationProblem-QuasiLiveness-5997.sara.
lola: reporting
lola: not produced: 4830
lola: state equation: 77
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4830
lola: state equation: 77
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4630: false
lola: STATE EQUATION TRIES TRANSITION t2664
sara: try reading problem file stateEquationProblem-QuasiLiveness-1493.sara.
lola: reporting
lola: not produced: 4829
lola: state equation: 78
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4829
lola: state equation: 78
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2664: false
lola: STATE EQUATION TRIES TRANSITION t1032
lola: reporting
lola: not produced: 4828
lola: state equation: 79
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-7696.sara.
lola: reporting
lola: not produced: 4828
lola: state equation: 79
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4828
lola: state equation: 79
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1032: false
lola: STATE EQUATION TRIES TRANSITION t1802
sara: try reading problem file stateEquationProblem-QuasiLiveness-3802.sara.
lola: reporting
lola: not produced: 4827
lola: state equation: 80
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4827
lola: state equation: 80
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1802: false
lola: STATE EQUATION TRIES TRANSITION t7873
sara: try reading problem file stateEquationProblem-QuasiLiveness-3126.sara.
lola: reporting
lola: not produced: 4826
lola: state equation: 81
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4826
lola: state equation: 81
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7873: false
lola: STATE EQUATION TRIES TRANSITION t4338
sara: try reading problem file stateEquationProblem-QuasiLiveness-4815.sara.
lola: reporting
lola: not produced: 4825
lola: state equation: 82
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4825
lola: state equation: 82
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4338: false
lola: STATE EQUATION TRIES TRANSITION t2296
sara: try reading problem file stateEquationProblem-QuasiLiveness-7201.sara.
lola: reporting
lola: not produced: 4824
lola: state equation: 83
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4824
lola: state equation: 83
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2296: false
lola: STATE EQUATION TRIES TRANSITION t770
sara: try reading problem file stateEquationProblem-QuasiLiveness-7895.sara.
lola: reporting
lola: not produced: 4823
lola: state equation: 84
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4823
lola: state equation: 84
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t770: false
lola: STATE EQUATION TRIES TRANSITION t2243
sara: try reading problem file stateEquationProblem-QuasiLiveness-7123.sara.
lola: reporting
lola: not produced: 4822
lola: state equation: 85
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4822
lola: state equation: 85
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4822
lola: state equation: 85
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2243: false
lola: STATE EQUATION TRIES TRANSITION t7734
sara: try reading problem file stateEquationProblem-QuasiLiveness-2537.sara.
lola: reporting
lola: not produced: 4821
lola: state equation: 86
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4821
lola: state equation: 86
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7734: false
lola: STATE EQUATION TRIES TRANSITION t7975
sara: try reading problem file stateEquationProblem-QuasiLiveness-3532.sara.
lola: reporting
lola: not produced: 4820
lola: state equation: 87
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4820
lola: state equation: 87
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7975: false
lola: STATE EQUATION TRIES TRANSITION t7918
sara: try reading problem file stateEquationProblem-QuasiLiveness-3418.sara.
lola: reporting
lola: not produced: 4819
lola: state equation: 88
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4819
lola: state equation: 88
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7918: false
lola: STATE EQUATION TRIES TRANSITION t2577
sara: try reading problem file stateEquationProblem-QuasiLiveness-913.sara.
lola: reporting
lola: not produced: 4818
lola: state equation: 89
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4818
lola: state equation: 89
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2577: false
lola: STATE EQUATION TRIES TRANSITION t634
sara: try reading problem file stateEquationProblem-QuasiLiveness-7239.sara.
lola: reporting
lola: not produced: 4817
lola: state equation: 90
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4817
lola: state equation: 90
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4817
lola: state equation: 90
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t634: false
lola: STATE EQUATION TRIES TRANSITION t4631
sara: try reading problem file stateEquationProblem-QuasiLiveness-5999.sara.
lola: reporting
lola: not produced: 4816
lola: state equation: 91
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4816
lola: state equation: 91
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4631: false
lola: STATE EQUATION TRIES TRANSITION t7843
sara: try reading problem file stateEquationProblem-QuasiLiveness-3055.sara.
lola: reporting
lola: not produced: 4815
lola: state equation: 92
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4815
lola: state equation: 92
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7843: false
lola: STATE EQUATION TRIES TRANSITION t4437
sara: try reading problem file stateEquationProblem-QuasiLiveness-5212.sara.
lola: reporting
lola: not produced: 4814
lola: state equation: 93
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4814
lola: state equation: 93
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4437: false
lola: STATE EQUATION TRIES TRANSITION t4416
sara: try reading problem file stateEquationProblem-QuasiLiveness-5164.sara.
lola: reporting
lola: not produced: 4813
lola: state equation: 94
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4813
lola: state equation: 94
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4416: false
lola: STATE EQUATION TRIES TRANSITION t4912
sara: try reading problem file stateEquationProblem-QuasiLiveness-7417.sara.
lola: reporting
lola: not produced: 4812
lola: state equation: 95
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4812
lola: state equation: 95
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4912: false
lola: STATE EQUATION TRIES TRANSITION t2795
sara: try reading problem file stateEquationProblem-QuasiLiveness-1959.sara.
lola: reporting
lola: not produced: 4811
lola: state equation: 96
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4811
lola: state equation: 96
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2795: false
lola: STATE EQUATION TRIES TRANSITION t4623
sara: try reading problem file stateEquationProblem-QuasiLiveness-5983.sara.
lola: reporting
lola: not produced: 4810
lola: state equation: 97
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4810
lola: state equation: 97
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4623: false
lola: STATE EQUATION TRIES TRANSITION t2205
sara: try reading problem file stateEquationProblem-QuasiLiveness-7015.sara.
lola: reporting
lola: not produced: 4809
lola: state equation: 98
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4809
lola: state equation: 98
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2205: false
lola: STATE EQUATION TRIES TRANSITION t3007
sara: try reading problem file stateEquationProblem-QuasiLiveness-4816.sara.
lola: reporting
lola: not produced: 4808
lola: state equation: 99
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4808
lola: state equation: 99
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t3007: false
lola: STATE EQUATION TRIES TRANSITION t4339
sara: try reading problem file stateEquationProblem-QuasiLiveness-4817.sara.
lola: reporting
lola: not produced: 4807
lola: state equation: 100
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4807
lola: state equation: 100
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4339: false
lola: STATE EQUATION TRIES TRANSITION t7751
lola: reporting
lola: not produced: 4806
lola: state equation: 101
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-2571.sara.
lola: reporting
lola: not produced: 4806
lola: state equation: 101
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7751: false
lola: STATE EQUATION TRIES TRANSITION t4528
lola: reporting
lola: not produced: 4805
lola: state equation: 102
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-5593.sara.
lola: reporting
lola: not produced: 4805
lola: state equation: 102
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4528: false
lola: STATE EQUATION TRIES TRANSITION t39
lola: reporting
lola: not produced: 4804
lola: state equation: 103
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-653.sara.
lola: reporting
lola: not produced: 4804
lola: state equation: 103
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4804
lola: state equation: 103
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t39: false
lola: STATE EQUATION TRIES TRANSITION t991
sara: try reading problem file stateEquationProblem-QuasiLiveness-1131.sara.
lola: reporting
lola: not produced: 4803
lola: state equation: 104
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4803
lola: state equation: 104
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t991: false
lola: STATE EQUATION TRIES TRANSITION t1489
sara: try reading problem file stateEquationProblem-QuasiLiveness-1989.sara.
lola: reporting
lola: not produced: 4802
lola: state equation: 105
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4802
lola: state equation: 105
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1489: false
lola: STATE EQUATION TRIES TRANSITION t3008
sara: try reading problem file stateEquationProblem-QuasiLiveness-4818.sara.
lola: reporting
lola: not produced: 4801
lola: state equation: 106
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4801
lola: state equation: 106
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3008: false
lola: STATE EQUATION TRIES TRANSITION t2675
sara: try reading problem file stateEquationProblem-QuasiLiveness-1519.sara.
lola: reporting
lola: not produced: 4800
lola: state equation: 107
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4800
lola: state equation: 107
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2675: false
lola: STATE EQUATION TRIES TRANSITION t7551
sara: try reading problem file stateEquationProblem-QuasiLiveness-1671.sara.
lola: reporting
lola: not produced: 4799
lola: state equation: 108
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4799
lola: state equation: 108
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7551: false
lola: STATE EQUATION TRIES TRANSITION t3342
sara: try reading problem file stateEquationProblem-QuasiLiveness-6132.sara.
lola: reporting
lola: not produced: 4798
lola: state equation: 109
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4798
lola: state equation: 109
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3342: false
lola: STATE EQUATION TRIES TRANSITION t2967
sara: try reading problem file stateEquationProblem-QuasiLiveness-2903.sara.
lola: reporting
lola: not produced: 4797
lola: state equation: 110
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4797
lola: state equation: 110
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2967: false
lola: STATE EQUATION TRIES TRANSITION t2257
sara: try reading problem file stateEquationProblem-QuasiLiveness-7151.sara.
lola: reporting
lola: not produced: 4796
lola: state equation: 111
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4796
lola: state equation: 111
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2257: false
lola: STATE EQUATION TRIES TRANSITION t1656
sara: try reading problem file stateEquationProblem-QuasiLiveness-2944.sara.
lola: reporting
lola: not produced: 4795
lola: state equation: 112
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4795
lola: state equation: 112
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1656: false
lola: STATE EQUATION TRIES TRANSITION t655
sara: try reading problem file stateEquationProblem-QuasiLiveness-7260.sara.
lola: reporting
lola: not produced: 4794
lola: state equation: 113
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4794
lola: state equation: 113
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t655: false
lola: STATE EQUATION TRIES TRANSITION t441
sara: try reading problem file stateEquationProblem-QuasiLiveness-6346.sara.
lola: reporting
lola: not produced: 4793
lola: state equation: 114
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4793
lola: state equation: 114
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t441: false
lola: STATE EQUATION TRIES TRANSITION t1600
sara: try reading problem file stateEquationProblem-QuasiLiveness-2832.sara.
lola: reporting
lola: not produced: 4792
lola: state equation: 115
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4792
lola: state equation: 115
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1600: false
lola: STATE EQUATION TRIES TRANSITION t2417
sara: try reading problem file stateEquationProblem-QuasiLiveness-66.sara.
lola: reporting
lola: not produced: 4791
lola: state equation: 116
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4791
lola: state equation: 116
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2417: false
lola: STATE EQUATION TRIES TRANSITION t7752
sara: try reading problem file stateEquationProblem-QuasiLiveness-2573.sara.
lola: reporting
lola: not produced: 4790
lola: state equation: 117
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4790
lola: state equation: 117
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7752: false
lola: STATE EQUATION TRIES TRANSITION t2409
sara: try reading problem file stateEquationProblem-QuasiLiveness-49.sara.
lola: reporting
lola: not produced: 4789
lola: state equation: 118
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4789
lola: state equation: 118
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2409: false
lola: STATE EQUATION TRIES TRANSITION t4422
sara: try reading problem file stateEquationProblem-QuasiLiveness-5176.sara.
lola: reporting
lola: not produced: 4788
lola: state equation: 119
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4788
lola: state equation: 119
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4422: false
lola: STATE EQUATION TRIES TRANSITION t4423
sara: try reading problem file stateEquationProblem-QuasiLiveness-5178.sara.
lola: reporting
lola: not produced: 4787
lola: state equation: 120
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4787
lola: state equation: 120
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4787
lola: state equation: 120
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4423: false
lola: STATE EQUATION TRIES TRANSITION t670
sara: try reading problem file stateEquationProblem-QuasiLiveness-7295.sara.
lola: reporting
lola: not produced: 4786
lola: state equation: 121
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4786
lola: state equation: 121
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t670: false
lola: STATE EQUATION TRIES TRANSITION t7887
sara: try reading problem file stateEquationProblem-QuasiLiveness-3168.sara.
lola: reporting
lola: not produced: 4785
lola: state equation: 122
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4785
lola: state equation: 122
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7887: false
lola: STATE EQUATION TRIES TRANSITION t1443
sara: try reading problem file stateEquationProblem-QuasiLiveness-1918.sara.
lola: reporting
lola: not produced: 4784
lola: state equation: 123
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4784
lola: state equation: 123
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1443: false
lola: STATE EQUATION TRIES TRANSITION t3360
sara: try reading problem file stateEquationProblem-QuasiLiveness-6187.sara.
lola: reporting
lola: not produced: 4783
lola: state equation: 124
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4783
lola: state equation: 124
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3360: false
lola: STATE EQUATION TRIES TRANSITION t825
sara: try reading problem file stateEquationProblem-QuasiLiveness-325.sara.
lola: reporting
lola: not produced: 4782
lola: state equation: 125
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4782
lola: state equation: 125
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t825: false
lola: STATE EQUATION TRIES TRANSITION t7822
sara: try reading problem file stateEquationProblem-QuasiLiveness-3022.sara.
lola: reporting
lola: not produced: 4781
lola: state equation: 126
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4781
lola: state equation: 126
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7822: false
lola: STATE EQUATION TRIES TRANSITION t2447
sara: try reading problem file stateEquationProblem-QuasiLiveness-142.sara.
lola: reporting
lola: not produced: 4780
lola: state equation: 127
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4780
lola: state equation: 127
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2447: false
lola: STATE EQUATION TRIES TRANSITION t2401
sara: try reading problem file stateEquationProblem-QuasiLiveness-34.sara.
lola: reporting
lola: not produced: 4779
lola: state equation: 128
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4779
lola: state equation: 128
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2401: false
lola: STATE EQUATION TRIES TRANSITION t7632
sara: try reading problem file stateEquationProblem-QuasiLiveness-2033.sara.
lola: reporting
lola: not produced: 4778
lola: state equation: 129
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4778
lola: state equation: 129
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7632: false
lola: STATE EQUATION TRIES TRANSITION t3421
sara: try reading problem file stateEquationProblem-QuasiLiveness-6479.sara.
lola: reporting
lola: not produced: 4777
lola: state equation: 130
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4777
lola: state equation: 130
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t3421: false
lola: STATE EQUATION TRIES TRANSITION t3009
sara: try reading problem file stateEquationProblem-QuasiLiveness-4819.sara.
lola: reporting
lola: not produced: 4776
lola: state equation: 131
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4776
lola: state equation: 131
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t3009: false
lola: STATE EQUATION TRIES TRANSITION t4340
sara: try reading problem file stateEquationProblem-QuasiLiveness-4822.sara.
lola: reporting
lola: not produced: 4775
lola: state equation: 132
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4775
lola: state equation: 132
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4340: false
lola: STATE EQUATION TRIES TRANSITION t3261
sara: try reading problem file stateEquationProblem-QuasiLiveness-5759.sara.
lola: reporting
lola: not produced: 4774
lola: state equation: 133
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4774
lola: state equation: 133
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t3261: false
lola: STATE EQUATION TRIES TRANSITION t3093
sara: try reading problem file stateEquationProblem-QuasiLiveness-4993.sara.
lola: reporting
lola: not produced: 4773
lola: state equation: 134
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4773
lola: state equation: 134
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t3093: false
lola: STATE EQUATION TRIES TRANSITION t4921
sara: try reading problem file stateEquationProblem-QuasiLiveness-7426.sara.
lola: reporting
lola: not produced: 4772
lola: state equation: 135
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4772
lola: state equation: 135
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4921: false
lola: STATE EQUATION TRIES TRANSITION t2645
sara: try reading problem file stateEquationProblem-QuasiLiveness-1436.sara.
lola: reporting
lola: not produced: 4771
lola: state equation: 136
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4771
lola: state equation: 136
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2645: false
lola: STATE EQUATION TRIES TRANSITION t7528
sara: try reading problem file stateEquationProblem-QuasiLiveness-1628.sara.
lola: reporting
lola: not produced: 4770
lola: state equation: 137
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4770
lola: state equation: 137
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7528: false
lola: STATE EQUATION TRIES TRANSITION t2590
sara: try reading problem file stateEquationProblem-QuasiLiveness-940.sara.
lola: reporting
lola: not produced: 4769
lola: state equation: 138
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4769
lola: state equation: 138
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2590: false
lola: STATE EQUATION TRIES TRANSITION t7867
sara: try reading problem file stateEquationProblem-QuasiLiveness-3108.sara.
lola: reporting
lola: not produced: 4768
lola: state equation: 139
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4768
lola: state equation: 139
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7867: false
lola: STATE EQUATION TRIES TRANSITION t1318
sara: try reading problem file stateEquationProblem-QuasiLiveness-1448.sara.
lola: reporting
lola: not produced: 4767
lola: state equation: 140
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4767
lola: state equation: 140
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1318: false
lola: STATE EQUATION TRIES TRANSITION t4501
sara: try reading problem file stateEquationProblem-QuasiLiveness-5539.sara.
lola: reporting
lola: not produced: 4766
lola: state equation: 141
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4766
lola: state equation: 141
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4766
lola: state equation: 141
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4501: false
lola: STATE EQUATION TRIES TRANSITION t1904
sara: try reading problem file stateEquationProblem-QuasiLiveness-4204.sara.
lola: reporting
lola: not produced: 4765
lola: state equation: 142
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4765
lola: state equation: 142
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1904: false
lola: STATE EQUATION TRIES TRANSITION t4341
sara: try reading problem file stateEquationProblem-QuasiLiveness-4824.sara.
lola: reporting
lola: not produced: 4764
lola: state equation: 143
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4764
lola: state equation: 143
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4341: false
lola: STATE EQUATION TRIES TRANSITION t3010
sara: try reading problem file stateEquationProblem-QuasiLiveness-4825.sara.
lola: reporting
lola: not produced: 4763
lola: state equation: 144
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4763
lola: state equation: 144
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3010: false
lola: STATE EQUATION TRIES TRANSITION t1905
sara: try reading problem file stateEquationProblem-QuasiLiveness-4205.sara.
lola: reporting
lola: not produced: 4762
lola: state equation: 145
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4762
lola: state equation: 145
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1905: false
lola: STATE EQUATION TRIES TRANSITION t2576
sara: try reading problem file stateEquationProblem-QuasiLiveness-911.sara.
lola: reporting
lola: not produced: 4761
lola: state equation: 146
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4761
lola: state equation: 146
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2576: false
lola: STATE EQUATION TRIES TRANSITION t4351
sara: try reading problem file stateEquationProblem-QuasiLiveness-4854.sara.
lola: reporting
lola: not produced: 4760
lola: state equation: 147
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4760
lola: state equation: 147
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4351: false
lola: STATE EQUATION TRIES TRANSITION t2116
sara: try reading problem file stateEquationProblem-QuasiLiveness-6548.sara.
lola: reporting
lola: not produced: 4759
lola: state equation: 148
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4759
lola: state equation: 148
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2116: false
lola: STATE EQUATION TRIES TRANSITION t1270
sara: try reading problem file stateEquationProblem-QuasiLiveness-960.sara.
lola: reporting
lola: not produced: 4758
lola: state equation: 149
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4758
lola: state equation: 149
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1270: false
lola: STATE EQUATION TRIES TRANSITION t7625
sara: try reading problem file stateEquationProblem-QuasiLiveness-2025.sara.
lola: reporting
lola: not produced: 4757
lola: state equation: 150
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4757
lola: state equation: 150
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4757
lola: state equation: 150
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7625: false
lola: STATE EQUATION TRIES TRANSITION t212
sara: try reading problem file stateEquationProblem-QuasiLiveness-5412.sara.
lola: reporting
lola: not produced: 4756
lola: state equation: 151
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4756
lola: state equation: 151
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t212: false
lola: STATE EQUATION TRIES TRANSITION t1452
sara: try reading problem file stateEquationProblem-QuasiLiveness-1936.sara.
lola: reporting
lola: not produced: 4755
lola: state equation: 152
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4755
lola: state equation: 152
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1452: false
lola: STATE EQUATION TRIES TRANSITION t7095
sara: try reading problem file stateEquationProblem-QuasiLiveness-6900.sara.
lola: reporting
lola: not produced: 4754
lola: state equation: 153
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4754
lola: state equation: 153
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t7095: false
lola: STATE EQUATION TRIES TRANSITION t690
sara: try reading problem file stateEquationProblem-QuasiLiveness-7335.sara.
lola: reporting
lola: not produced: 4753
lola: state equation: 154
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4753
lola: state equation: 154
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t690: false
lola: STATE EQUATION TRIES TRANSITION t2710
sara: try reading problem file stateEquationProblem-QuasiLiveness-1810.sara.
lola: reporting
lola: not produced: 4752
lola: state equation: 155
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4752
lola: state equation: 155
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2710: false
lola: STATE EQUATION TRIES TRANSITION t1237
sara: try reading problem file stateEquationProblem-QuasiLiveness-896.sara.
lola: reporting
lola: not produced: 4751
lola: state equation: 156
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4751
lola: state equation: 156
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1237: false
lola: STATE EQUATION TRIES TRANSITION t1906
lola: reporting
lola: not produced: 4750
lola: state equation: 157
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-4206.sara.
lola: reporting
lola: not produced: 4750
lola: state equation: 157
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4750
lola: state equation: 157
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1906: false
lola: STATE EQUATION TRIES TRANSITION t2791
sara: try reading problem file stateEquationProblem-QuasiLiveness-1951.sara.
lola: reporting
lola: not produced: 4749
lola: state equation: 158
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4749
lola: state equation: 158
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2791: false
lola: STATE EQUATION TRIES TRANSITION t2567
sara: try reading problem file stateEquationProblem-QuasiLiveness-892.sara.
lola: reporting
lola: not produced: 4748
lola: state equation: 159
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4748
lola: state equation: 159
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2567: false
lola: STATE EQUATION TRIES TRANSITION t4655
sara: try reading problem file stateEquationProblem-QuasiLiveness-6071.sara.
lola: reporting
lola: not produced: 4747
lola: state equation: 160
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4747
lola: state equation: 160
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4655: false
lola: STATE EQUATION TRIES TRANSITION t890
sara: try reading problem file stateEquationProblem-QuasiLiveness-440.sara.
lola: reporting
lola: not produced: 4746
lola: state equation: 161
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4746
lola: state equation: 161
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t890: false
lola: STATE EQUATION TRIES TRANSITION t4819
sara: try reading problem file stateEquationProblem-QuasiLiveness-6924.sara.
lola: reporting
lola: not produced: 4745
lola: state equation: 162
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4745
lola: state equation: 162
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4819: false
lola: STATE EQUATION TRIES TRANSITION t4342
lola: reporting
lola: not produced: 4744
lola: state equation: 163
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-4827.sara.
lola: reporting
lola: not produced: 4744
lola: state equation: 163
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4744
lola: state equation: 163
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4342: false
lola: STATE EQUATION TRIES TRANSITION t762
sara: try reading problem file stateEquationProblem-QuasiLiveness-7877.sara.
lola: reporting
lola: not produced: 4743
lola: state equation: 164
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4743
lola: state equation: 164
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t762: false
lola: STATE EQUATION TRIES TRANSITION t1907
sara: try reading problem file stateEquationProblem-QuasiLiveness-4207.sara.
lola: reporting
lola: not produced: 4742
lola: state equation: 165
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4742
lola: state equation: 165
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1907: false
lola: STATE EQUATION TRIES TRANSITION t269
sara: try reading problem file stateEquationProblem-QuasiLiveness-5474.sara.
lola: reporting
lola: not produced: 4741
lola: state equation: 166
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4741
lola: state equation: 166
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t269: false
lola: STATE EQUATION TRIES TRANSITION t2601
sara: try reading problem file stateEquationProblem-QuasiLiveness-1334.sara.
lola: reporting
lola: not produced: 4740
lola: state equation: 167
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4740
lola: state equation: 167
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2601: false
lola: STATE EQUATION TRIES TRANSITION t628
sara: try reading problem file stateEquationProblem-QuasiLiveness-7233.sara.
lola: reporting
lola: not produced: 4739
lola: state equation: 168
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4739
lola: state equation: 168
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t628: false
lola: STATE EQUATION TRIES TRANSITION t2434
sara: try reading problem file stateEquationProblem-QuasiLiveness-103.sara.
lola: reporting
lola: not produced: 4738
lola: state equation: 169
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: caught signal Terminated - aborting LoLA
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Time elapsed: 1800 secs. Pages in use: 130
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-6"
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-6, 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-167863547900092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-COL-6.tgz
mv NeoElection-COL-6 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 '
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 ;