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 |
| 2585.128 | 1800000.00 | 3627405.00 | 6391.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r144-tall-162089134500092.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is NeoElection-COL-6, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r144-tall-162089134500092
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 452K
-rw-r--r-- 1 mcc users 19K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 108K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 81K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Apr 26 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 26 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 26 07:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 26 07:43 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 06:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 06:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 07:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 07:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 98K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME QuasiLiveness
=== Now, execution of the tool begins
BK_START 1620942150964
starting LoLA
BK_INPUT NeoElection-COL-6
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: TR BINDINGS
lola: TR BINDINGS DONE
lola: Places: 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: 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: 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: 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: 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
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4899
lola: state equation: 8
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t880: false
lola: STATE EQUATION TRIES TRANSITION t1800
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: 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: 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
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4890
lola: state equation: 17
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
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
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: 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: 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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4884
lola: state equation: 23
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4881
lola: state equation: 26
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
sara: place or transition ordering is non-deterministic
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: 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
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4875
lola: state equation: 32
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2801: false
lola: STATE EQUATION TRIES TRANSITION t566
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: 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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4870
lola: state equation: 37
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1853: false
lola: STATE EQUATION TRIES TRANSITION t4550
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: 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: 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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4864
lola: state equation: 43
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2357: false
lola: STATE EQUATION TRIES TRANSITION t2445
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: 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: 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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4858
lola: state equation: 49
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2400: false
lola: STATE EQUATION TRIES TRANSITION t1675
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: 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: 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
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
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: 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
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
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
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: 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
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
sara: place or transition ordering is non-deterministic
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
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
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
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
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: 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: 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: 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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4831
lola: state equation: 76
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t2664: false
lola: STATE EQUATION TRIES TRANSITION t1032
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: 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: SARA FINISHED
lola: ..... t7873: false
lola: STATE EQUATION TRIES TRANSITION t4338
lola: reporting
lola: not produced: 4825
lola: state equation: 82
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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: 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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4823
lola: state equation: 84
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
sara: place or transition ordering is non-deterministic
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: 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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4818
lola: state equation: 89
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
sara: place or transition ordering is non-deterministic
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: 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: 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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4812
lola: state equation: 95
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4807
lola: state equation: 100
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4339: false
lola: STATE EQUATION TRIES TRANSITION t7751
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
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
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: 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: 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: 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: 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: 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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4796
lola: state equation: 111
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4793
lola: state equation: 114
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4791
lola: state equation: 116
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4788
lola: state equation: 119
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
sara: place or transition ordering is non-deterministic
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: SARA FINISHED
lola: ..... t670: false
lola: STATE EQUATION TRIES TRANSITION t7887
lola: reporting
lola: not produced: 4785
lola: state equation: 122
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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: 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: 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: 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: 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
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: 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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4777
lola: state equation: 130
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4340: false
lola: STATE EQUATION TRIES TRANSITION t3261
lola: reporting
lola: not produced: 4774
lola: state equation: 133
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4772
lola: state equation: 135
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4769
lola: state equation: 138
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
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
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: 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: 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: 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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4761
lola: state equation: 146
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4758
lola: state equation: 149
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
sara: place or transition ordering is non-deterministic
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: 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
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4752
lola: state equation: 155
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t1237: false
lola: STATE EQUATION TRIES TRANSITION t1906
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: 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: 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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4746
lola: state equation: 161
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: ..... t4819: false
lola: STATE EQUATION TRIES TRANSITION t4342
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: 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: 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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4741
lola: state equation: 166
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
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
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
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
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4738
lola: state equation: 169
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2434: false
lola: STATE EQUATION TRIES TRANSITION t3011
sara: try reading problem file stateEquationProblem-QuasiLiveness-4828.sara.
lola: reporting
lola: not produced: 4737
lola: state equation: 170
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: ..... t3011: false
lola: STATE EQUATION TRIES TRANSITION t1518
sara: try reading problem file stateEquationProblem-QuasiLiveness-2368.sara.
lola: reporting
lola: not produced: 4736
lola: state equation: 171
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: ..... t1518: false
lola: STATE EQUATION TRIES TRANSITION t3212
sara: try reading problem file stateEquationProblem-QuasiLiveness-5636.sara.
lola: reporting
lola: not produced: 4735
lola: state equation: 172
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: 4735
lola: state equation: 172
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3212: false
lola: STATE EQUATION TRIES TRANSITION t7639
sara: try reading problem file stateEquationProblem-QuasiLiveness-2047.sara.
lola: reporting
lola: not produced: 4734
lola: state equation: 173
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: ..... t7639: false
lola: STATE EQUATION TRIES TRANSITION t556
sara: try reading problem file stateEquationProblem-QuasiLiveness-6761.sara.
lola: reporting
lola: not produced: 4733
lola: state equation: 174
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: ..... t556: false
lola: STATE EQUATION TRIES TRANSITION t2876
sara: try reading problem file stateEquationProblem-QuasiLiveness-2421.sara.
lola: reporting
lola: not produced: 4732
lola: state equation: 175
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4732
lola: state equation: 175
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: ..... t2876: false
lola: STATE EQUATION TRIES TRANSITION t3308
sara: try reading problem file stateEquationProblem-QuasiLiveness-6023.sara.
lola: reporting
lola: not produced: 4731
lola: state equation: 176
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: ..... t3308: false
lola: STATE EQUATION TRIES TRANSITION t2614
sara: try reading problem file stateEquationProblem-QuasiLiveness-1360.sara.
lola: reporting
lola: not produced: 4730
lola: state equation: 177
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: reporting
lola: not produced: 4730
lola: state equation: 177
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: ..... t2614: false
lola: STATE EQUATION TRIES TRANSITION t1272
sara: try reading problem file stateEquationProblem-QuasiLiveness-962.sara.
lola: reporting
lola: not produced: 4729
lola: state equation: 178
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: ..... t1272: false
lola: STATE EQUATION TRIES TRANSITION t2061
sara: try reading problem file stateEquationProblem-QuasiLiveness-6259.sara.
lola: reporting
lola: not produced: 4728
lola: state equation: 179
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: ..... t2061: false
lola: STATE EQUATION TRIES TRANSITION t1908
sara: try reading problem file stateEquationProblem-QuasiLiveness-4208.sara.
lola: reporting
lola: not produced: 4727
lola: state equation: 180
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: 4727
lola: state equation: 180
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1908: false
lola: STATE EQUATION TRIES TRANSITION t4343
sara: try reading problem file stateEquationProblem-QuasiLiveness-4830.sara.
lola: reporting
lola: not produced: 4726
lola: state equation: 181
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: ..... t4343: false
lola: STATE EQUATION TRIES TRANSITION t3163
sara: try reading problem file stateEquationProblem-QuasiLiveness-5358.sara.
lola: reporting
lola: not produced: 4725
lola: state equation: 182
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: ..... t3163: false
lola: STATE EQUATION TRIES TRANSITION t2345
sara: try reading problem file stateEquationProblem-QuasiLiveness-7641.sara.
lola: reporting
lola: not produced: 4724
lola: state equation: 183
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4724
lola: state equation: 183
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: ..... t2345: false
lola: STATE EQUATION TRIES TRANSITION t7984
sara: try reading problem file stateEquationProblem-QuasiLiveness-3559.sara.
lola: reporting
lola: not produced: 4723
lola: state equation: 184
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: ..... t7984: false
lola: STATE EQUATION TRIES TRANSITION t470
sara: try reading problem file stateEquationProblem-QuasiLiveness-6375.sara.
lola: reporting
lola: not produced: 4722
lola: state equation: 185
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: 4722
lola: state equation: 185
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t470: false
lola: STATE EQUATION TRIES TRANSITION t2648
sara: try reading problem file stateEquationProblem-QuasiLiveness-1445.sara.
lola: reporting
lola: not produced: 4721
lola: state equation: 186
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: ..... t2648: false
lola: STATE EQUATION TRIES TRANSITION t3012
sara: try reading problem file stateEquationProblem-QuasiLiveness-4831.sara.
lola: reporting
lola: not produced: 4720
lola: state equation: 187
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: ..... t3012: false
lola: STATE EQUATION TRIES TRANSITION t1539
sara: try reading problem file stateEquationProblem-QuasiLiveness-2409.sara.
lola: reporting
lola: not produced: 4719
lola: state equation: 188
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: 4719
lola: state equation: 188
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1539: false
lola: STATE EQUATION TRIES TRANSITION t1796
sara: try reading problem file stateEquationProblem-QuasiLiveness-3396.sara.
lola: reporting
lola: not produced: 4718
lola: state equation: 189
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: ..... t1796: false
lola: STATE EQUATION TRIES TRANSITION t2213
sara: try reading problem file stateEquationProblem-QuasiLiveness-7039.sara.
lola: reporting
lola: not produced: 4717
lola: state equation: 190
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: ..... t2213: false
lola: STATE EQUATION TRIES TRANSITION t7353
sara: try reading problem file stateEquationProblem-QuasiLiveness-475.sara.
lola: reporting
lola: not produced: 4716
lola: state equation: 191
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: 4716
lola: state equation: 191
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7353: false
lola: STATE EQUATION TRIES TRANSITION t4502
sara: try reading problem file stateEquationProblem-QuasiLiveness-5541.sara.
lola: reporting
lola: not produced: 4715
lola: state equation: 192
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: ..... t4502: false
lola: STATE EQUATION TRIES TRANSITION t4611
sara: try reading problem file stateEquationProblem-QuasiLiveness-5959.sara.
lola: reporting
lola: not produced: 4714
lola: state equation: 193
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: reporting
lola: not produced: 4714
lola: state equation: 193
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: ..... t4611: false
lola: STATE EQUATION TRIES TRANSITION t4772
sara: try reading problem file stateEquationProblem-QuasiLiveness-6528.sara.
lola: reporting
lola: not produced: 4713
lola: state equation: 194
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: ..... t4772: false
lola: STATE EQUATION TRIES TRANSITION t3187
sara: try reading problem file stateEquationProblem-QuasiLiveness-5387.sara.
lola: reporting
lola: not produced: 4712
lola: state equation: 195
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: ..... t3187: false
lola: STATE EQUATION TRIES TRANSITION t7986
sara: try reading problem file stateEquationProblem-QuasiLiveness-3565.sara.
lola: reporting
lola: not produced: 4711
lola: state equation: 196
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: 4711
lola: state equation: 196
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7986: false
lola: STATE EQUATION TRIES TRANSITION t1909
sara: try reading problem file stateEquationProblem-QuasiLiveness-4209.sara.
lola: reporting
lola: not produced: 4710
lola: state equation: 197
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: ..... t1909: false
lola: STATE EQUATION TRIES TRANSITION t2190
sara: try reading problem file stateEquationProblem-QuasiLiveness-6695.sara.
lola: reporting
lola: not produced: 4709
lola: state equation: 198
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: ..... t2190: false
lola: STATE EQUATION TRIES TRANSITION t2902
sara: try reading problem file stateEquationProblem-QuasiLiveness-2802.sara.
lola: reporting
lola: not produced: 4708
lola: state equation: 199
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: 4708
lola: state equation: 199
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2902: false
lola: STATE EQUATION TRIES TRANSITION t1910
sara: try reading problem file stateEquationProblem-QuasiLiveness-4210.sara.
lola: reporting
lola: not produced: 4707
lola: state equation: 200
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: ..... t1910: false
lola: STATE EQUATION TRIES TRANSITION t4344
sara: try reading problem file stateEquationProblem-QuasiLiveness-4833.sara.
lola: reporting
lola: not produced: 4706
lola: state equation: 201
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: ..... t4344: false
lola: STATE EQUATION TRIES TRANSITION t4412
lola: reporting
lola: not produced: 4705
lola: state equation: 202
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: try reading problem file stateEquationProblem-QuasiLiveness-5156.sara.
lola: reporting
lola: not produced: 4705
lola: state equation: 202
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: ..... t4412: false
lola: STATE EQUATION TRIES TRANSITION t7581
sara: try reading problem file stateEquationProblem-QuasiLiveness-1731.sara.
lola: reporting
lola: not produced: 4704
lola: state equation: 203
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: ..... t7581: false
lola: STATE EQUATION TRIES TRANSITION t598
sara: try reading problem file stateEquationProblem-QuasiLiveness-6843.sara.
lola: reporting
lola: not produced: 4703
lola: state equation: 204
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: 4703
lola: state equation: 204
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t598: false
lola: STATE EQUATION TRIES TRANSITION t4533
sara: try reading problem file stateEquationProblem-QuasiLiveness-5605.sara.
lola: reporting
lola: not produced: 4702
lola: state equation: 205
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: ..... t4533: false
lola: STATE EQUATION TRIES TRANSITION t339
sara: try reading problem file stateEquationProblem-QuasiLiveness-5844.sara.
lola: reporting
lola: not produced: 4701
lola: state equation: 206
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: ..... t339: false
lola: STATE EQUATION TRIES TRANSITION t2118
sara: try reading problem file stateEquationProblem-QuasiLiveness-6553.sara.
lola: reporting
lola: not produced: 4700
lola: state equation: 207
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: 4700
lola: state equation: 207
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2118: false
lola: STATE EQUATION TRIES TRANSITION t3513
sara: try reading problem file stateEquationProblem-QuasiLiveness-6963.sara.
lola: reporting
lola: not produced: 4699
lola: state equation: 208
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: ..... t3513: false
lola: STATE EQUATION TRIES TRANSITION t580
sara: try reading problem file stateEquationProblem-QuasiLiveness-6815.sara.
lola: reporting
lola: not produced: 4698
lola: state equation: 209
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: ..... t580: false
lola: STATE EQUATION TRIES TRANSITION t3431
sara: try reading problem file stateEquationProblem-QuasiLiveness-6499.sara.
lola: reporting
lola: not produced: 4697
lola: state equation: 210
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: 4697
lola: state equation: 210
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3431: false
lola: STATE EQUATION TRIES TRANSITION t3013
sara: try reading problem file stateEquationProblem-QuasiLiveness-4834.sara.
lola: reporting
lola: not produced: 4696
lola: state equation: 211
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: ..... t3013: false
lola: STATE EQUATION TRIES TRANSITION t4421
sara: try reading problem file stateEquationProblem-QuasiLiveness-5174.sara.
lola: reporting
lola: not produced: 4695
lola: state equation: 212
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: 4695
lola: state equation: 212
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4421: false
lola: STATE EQUATION TRIES TRANSITION t1852
sara: try reading problem file stateEquationProblem-QuasiLiveness-3852.sara.
lola: reporting
lola: not produced: 4694
lola: state equation: 213
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: ..... t1852: false
lola: STATE EQUATION TRIES TRANSITION t1997
sara: try reading problem file stateEquationProblem-QuasiLiveness-4297.sara.
lola: reporting
lola: not produced: 4693
lola: state equation: 214
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: ..... t1997: false
lola: STATE EQUATION TRIES TRANSITION t66
sara: try reading problem file stateEquationProblem-QuasiLiveness-727.sara.
lola: reporting
lola: not produced: 4692
lola: state equation: 215
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: 4692
lola: state equation: 215
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t66: false
lola: STATE EQUATION TRIES TRANSITION t2802
sara: try reading problem file stateEquationProblem-QuasiLiveness-2302.sara.
lola: reporting
lola: not produced: 4691
lola: state equation: 216
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: ..... t2802: false
lola: STATE EQUATION TRIES TRANSITION t4584
sara: try reading problem file stateEquationProblem-QuasiLiveness-5742.sara.
lola: reporting
lola: not produced: 4690
lola: state equation: 217
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: ..... t4584: false
lola: STATE EQUATION TRIES TRANSITION t7096
sara: try reading problem file stateEquationProblem-QuasiLiveness-6901.sara.
lola: reporting
lola: not produced: 4689
lola: state equation: 218
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: 4689
lola: state equation: 218
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7096: false
lola: STATE EQUATION TRIES TRANSITION t4345
sara: try reading problem file stateEquationProblem-QuasiLiveness-4836.sara.
lola: reporting
lola: not produced: 4688
lola: state equation: 219
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: ..... t4345: false
lola: STATE EQUATION TRIES TRANSITION t2926
sara: try reading problem file stateEquationProblem-QuasiLiveness-2826.sara.
lola: reporting
lola: not produced: 4687
lola: state equation: 220
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: 4687
lola: state equation: 220
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2926: false
lola: STATE EQUATION TRIES TRANSITION t2333
sara: try reading problem file stateEquationProblem-QuasiLiveness-7601.sara.
lola: reporting
lola: not produced: 4686
lola: state equation: 221
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: ..... t2333: false
lola: STATE EQUATION TRIES TRANSITION t573
sara: try reading problem file stateEquationProblem-QuasiLiveness-6798.sara.
lola: reporting
lola: not produced: 4685
lola: state equation: 222
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: ..... t573: false
lola: STATE EQUATION TRIES TRANSITION t835
sara: try reading problem file stateEquationProblem-QuasiLiveness-335.sara.
lola: reporting
lola: not produced: 4684
lola: state equation: 223
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: 4684
lola: state equation: 223
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t835: false
lola: STATE EQUATION TRIES TRANSITION t4509
sara: try reading problem file stateEquationProblem-QuasiLiveness-5554.sara.
lola: reporting
lola: not produced: 4683
lola: state equation: 224
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: ..... t4509: false
lola: STATE EQUATION TRIES TRANSITION t4476
sara: try reading problem file stateEquationProblem-QuasiLiveness-5321.sara.
lola: reporting
lola: not produced: 4682
lola: state equation: 225
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: ..... t4476: false
lola: STATE EQUATION TRIES TRANSITION t4909
sara: try reading problem file stateEquationProblem-QuasiLiveness-7414.sara.
lola: reporting
lola: not produced: 4681
lola: state equation: 226
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: 4681
lola: state equation: 226
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4909: false
lola: STATE EQUATION TRIES TRANSITION t988
sara: try reading problem file stateEquationProblem-QuasiLiveness-1108.sara.
lola: reporting
lola: not produced: 4680
lola: state equation: 227
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: ..... t988: false
lola: STATE EQUATION TRIES TRANSITION t2602
sara: try reading problem file stateEquationProblem-QuasiLiveness-1336.sara.
lola: reporting
lola: not produced: 4679
lola: state equation: 228
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: reporting
lola: not produced: 4679
lola: state equation: 228
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: ..... t2602: false
lola: STATE EQUATION TRIES TRANSITION t701
sara: try reading problem file stateEquationProblem-QuasiLiveness-7796.sara.
lola: reporting
lola: not produced: 4678
lola: state equation: 229
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: ..... t701: false
lola: STATE EQUATION TRIES TRANSITION t4525
sara: try reading problem file stateEquationProblem-QuasiLiveness-5587.sara.
lola: reporting
lola: not produced: 4677
lola: state equation: 230
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: ..... t4525: false
lola: STATE EQUATION TRIES TRANSITION t2235
sara: try reading problem file stateEquationProblem-QuasiLiveness-7105.sara.
lola: reporting
lola: not produced: 4676
lola: state equation: 231
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: 4676
lola: state equation: 231
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2235: false
lola: STATE EQUATION TRIES TRANSITION t2075
sara: try reading problem file stateEquationProblem-QuasiLiveness-6280.sara.
lola: reporting
lola: not produced: 4675
lola: state equation: 232
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: ..... t2075: false
lola: STATE EQUATION TRIES TRANSITION t2903
sara: try reading problem file stateEquationProblem-QuasiLiveness-2803.sara.
lola: reporting
lola: not produced: 4674
lola: state equation: 233
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: ..... t2903: false
lola: STATE EQUATION TRIES TRANSITION t91
sara: try reading problem file stateEquationProblem-QuasiLiveness-831.sara.
lola: reporting
lola: not produced: 4673
lola: state equation: 234
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: 4673
lola: state equation: 234
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t91: false
lola: STATE EQUATION TRIES TRANSITION t581
sara: try reading problem file stateEquationProblem-QuasiLiveness-6816.sara.
lola: reporting
lola: not produced: 4672
lola: state equation: 235
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: ..... t581: false
lola: STATE EQUATION TRIES TRANSITION t7629
sara: try reading problem file stateEquationProblem-QuasiLiveness-2029.sara.
lola: reporting
lola: not produced: 4671
lola: state equation: 236
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: ..... t7629: false
lola: STATE EQUATION TRIES TRANSITION t860
sara: try reading problem file stateEquationProblem-QuasiLiveness-370.sara.
lola: reporting
lola: not produced: 4670
lola: state equation: 237
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: 4670
lola: state equation: 237
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t860: false
lola: STATE EQUATION TRIES TRANSITION t4495
sara: try reading problem file stateEquationProblem-QuasiLiveness-5359.sara.
lola: reporting
lola: not produced: 4669
lola: state equation: 238
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: ..... t4495: false
lola: STATE EQUATION TRIES TRANSITION t7790
sara: try reading problem file stateEquationProblem-QuasiLiveness-2680.sara.
lola: reporting
lola: not produced: 4668
lola: state equation: 239
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: ..... t7790: false
lola: STATE EQUATION TRIES TRANSITION t2555
sara: try reading problem file stateEquationProblem-QuasiLiveness-856.sara.
lola: reporting
lola: not produced: 4667
lola: state equation: 240
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: 4667
lola: state equation: 240
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t2555: false
lola: STATE EQUATION TRIES TRANSITION t1854
sara: try reading problem file stateEquationProblem-QuasiLiveness-3854.sara.
lola: reporting
lola: not produced: 4666
lola: state equation: 241
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: ..... t1854: false
lola: STATE EQUATION TRIES TRANSITION t697
sara: try reading problem file stateEquationProblem-QuasiLiveness-7342.sara.
lola: reporting
lola: not produced: 4665
lola: state equation: 242
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: 4665
lola: state equation: 242
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t697: false
lola: STATE EQUATION TRIES TRANSITION t4641
sara: try reading problem file stateEquationProblem-QuasiLiveness-6029.sara.
lola: reporting
lola: not produced: 4664
lola: state equation: 243
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: ..... t4641: false
lola: STATE EQUATION TRIES TRANSITION t2367
sara: try reading problem file stateEquationProblem-QuasiLiveness-7707.sara.
lola: reporting
lola: not produced: 4663
lola: state equation: 244
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: ..... t2367: false
lola: STATE EQUATION TRIES TRANSITION t1803
sara: try reading problem file stateEquationProblem-QuasiLiveness-3803.sara.
lola: reporting
lola: not produced: 4662
lola: state equation: 245
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: 4662
lola: state equation: 245
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t1803: false
lola: STATE EQUATION TRIES TRANSITION t892
sara: try reading problem file stateEquationProblem-QuasiLiveness-442.sara.
lola: reporting
lola: not produced: 4661
lola: state equation: 246
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: ..... t892: false
lola: STATE EQUATION TRIES TRANSITION t1804
sara: try reading problem file stateEquationProblem-QuasiLiveness-3804.sara.
lola: reporting
lola: not produced: 4660
lola: state equation: 247
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: ..... t1804: false
lola: STATE EQUATION TRIES TRANSITION t7848
sara: try reading problem file stateEquationProblem-QuasiLiveness-3065.sara.
lola: reporting
lola: not produced: 4659
lola: state equation: 248
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: 4659
lola: state equation: 248
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t7848: false
lola: STATE EQUATION TRIES TRANSITION t681
sara: try reading problem file stateEquationProblem-QuasiLiveness-7316.sara.
lola: reporting
lola: not produced: 4658
lola: state equation: 249
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: ..... t681: false
lola: STATE EQUATION TRIES TRANSITION t1155
sara: try reading problem file stateEquationProblem-QuasiLiveness-242.sara.
lola: reporting
lola: not produced: 4657
lola: state equation: 250
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: ..... t1155: false
lola: STATE EQUATION TRIES TRANSITION t385
sara: try reading problem file stateEquationProblem-QuasiLiveness-5890.sara.
lola: reporting
lola: not produced: 4656
lola: state equation: 251
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: reporting
lola: not produced: 4656
lola: state equation: 251
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: ..... t385: false
lola: STATE EQUATION TRIES TRANSITION t4806
sara: try reading problem file stateEquationProblem-QuasiLiveness-6911.sara.
lola: reporting
lola: not produced: 4655
lola: state equation: 252
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: ..... t4806: false
lola: STATE EQUATION TRIES TRANSITION t4876
sara: try reading problem file stateEquationProblem-QuasiLiveness-7040.sara.
lola: reporting
lola: not produced: 4654
lola: state equation: 253
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: 4654
lola: state equation: 253
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4876: false
lola: STATE EQUATION TRIES TRANSITION t783
sara: try reading problem file stateEquationProblem-QuasiLiveness-7918.sara.
lola: reporting
lola: not produced: 4653
lola: state equation: 254
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: ..... t783: false
lola: STATE EQUATION TRIES TRANSITION t3349
sara: try reading problem file stateEquationProblem-QuasiLiveness-6152.sara.
lola: reporting
lola: not produced: 4652
lola: state equation: 255
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: ..... t3349: false
lola: STATE EQUATION TRIES TRANSITION t4648
sara: try reading problem file stateEquationProblem-QuasiLiveness-6050.sara.
lola: reporting
lola: not produced: 4651
lola: state equation: 256
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: 4651
lola: state equation: 256
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4648: false
lola: STATE EQUATION TRIES TRANSITION t924
sara: try reading problem file stateEquationProblem-QuasiLiveness-1014.sara.
lola: reporting
lola: not produced: 4650
lola: state equation: 257
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: ..... t924: false
lola: STATE EQUATION TRIES TRANSITION t1263
sara: try reading problem file stateEquationProblem-QuasiLiveness-948.sara.
lola: reporting
lola: not produced: 4649
lola: state equation: 258
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: ..... t1263: false
lola: STATE EQUATION TRIES TRANSITION t4900
sara: try reading problem file stateEquationProblem-QuasiLiveness-7405.sara.
lola: reporting
lola: not produced: 4648
lola: state equation: 259
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: 4648
lola: state equation: 259
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t4900: false
lola: STATE EQUATION TRIES TRANSITION t2542
sara: try reading problem file stateEquationProblem-QuasiLiveness-806.sara.
lola: reporting
lola: not produced: 4647
lola: state equation: 260
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: ..... t2542: false
lola: STATE EQUATION TRIES TRANSITION t4774
sara: try reading problem file stateEquationProblem-QuasiLiveness-6534.sara.
lola: reporting
lola: not produced: 4646
lola: state equation: 261
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: ..... t4774: false
lola: STATE EQUATION TRIES TRANSITION t3413
sara: try reading problem file stateEquationProblem-QuasiLiveness-6463.sara.
lola: reporting
lola: not produced: 4645
lola: state equation: 262
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: 4645
lola: state equation: 262
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
lola: SARA FINISHED
lola: ..... t3413: false
lola: STATE EQUATION TRIES TRANSITION t4891
sara: try reading problem file stateEquationProblem-QuasiLiveness-7086.sara.
lola: reporting
lola: not produced: 4644
lola: state equation: 263
lola: find path: 242
lola: goal oriented search: 9
lola: high level: 2847
sara: place or transition ordering is non-deterministic
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-4028"
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 r144-tall-162089134500092"
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 ;