Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r174-csrt-158987852700109.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is MultiwaySync-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r174-csrt-158987852700109
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 284K
-rw-r--r-- 1 mcc users 3.6K Apr 8 13:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 13:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 16:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 6 19:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 6 19:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 6 02:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 02:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 111K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-00
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-01
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-02
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-03
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-04
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-05
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-06
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-07
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-08
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-09
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-10
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-11
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-12
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-13
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-14
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591129838604

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-02 20:30:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-02 20:30:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-02 20:30:40] [INFO ] Load time of PNML (sax parser for PT used): 102 ms
[2020-06-02 20:30:40] [INFO ] Transformed 222 places.
[2020-06-02 20:30:40] [INFO ] Transformed 472 transitions.
[2020-06-02 20:30:40] [INFO ] Found NUPN structural information;
[2020-06-02 20:30:40] [INFO ] Parsed PT model containing 222 places and 472 transitions in 155 ms.
Ensure Unique test removed 83 transitions
Reduce redundant transitions removed 83 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 30 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2020-06-02 20:30:41] [INFO ] Flatten gal took : 97 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
[2020-06-02 20:30:41] [INFO ] Flow matrix only has 384 transitions (discarded 5 similar events)
// Phase 1: matrix 384 rows 222 cols
[2020-06-02 20:30:41] [INFO ] Computed 25 place invariants in 12 ms
Support contains 16 out of 222 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 222/222 places, 389/389 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 222 transition count 388
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 221 transition count 388
Symmetric choice reduction at 0 with 11 rule applications. Total rules 13 place count 221 transition count 388
Deduced a syphon composed of 11 places in 1 ms
Reduce places removed 11 places and 11 transitions.
Iterating global reduction 0 with 22 rules applied. Total rules applied 35 place count 210 transition count 377
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 40 place count 210 transition count 372
Symmetric choice reduction at 1 with 6 rule applications. Total rules 46 place count 210 transition count 372
Deduced a syphon composed of 6 places in 1 ms
Reduce places removed 6 places and 18 transitions.
Iterating global reduction 1 with 12 rules applied. Total rules applied 58 place count 204 transition count 354
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 62 place count 204 transition count 350
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: 22
Deduced a syphon composed of 22 places in 1 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 106 place count 182 transition count 328
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 114 place count 178 transition count 356
Free-agglomeration rule applied 11 times.
Iterating global reduction 2 with 11 rules applied. Total rules applied 125 place count 178 transition count 345
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 2 with 11 rules applied. Total rules applied 136 place count 167 transition count 345
Partial Free-agglomeration rule applied 14 times.
Drop transitions removed 14 transitions
Iterating global reduction 3 with 14 rules applied. Total rules applied 150 place count 167 transition count 345
Partial Post-agglomeration rule applied 41 times.
Drop transitions removed 41 transitions
Iterating global reduction 3 with 41 rules applied. Total rules applied 191 place count 167 transition count 345
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 3 with 9 rules applied. Total rules applied 200 place count 167 transition count 336
Drop transitions removed 34 transitions
Redundant transition composition rules discarded 34 transitions
Iterating global reduction 4 with 34 rules applied. Total rules applied 234 place count 167 transition count 302
Symmetric choice reduction at 4 with 2 rule applications. Total rules 236 place count 167 transition count 302
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 240 place count 165 transition count 300
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 244 place count 163 transition count 298
Symmetric choice reduction at 4 with 2 rule applications. Total rules 246 place count 163 transition count 298
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 250 place count 161 transition count 296
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 4 with 2 rules applied. Total rules applied 252 place count 161 transition count 314
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 256 place count 159 transition count 312
Partial Free-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 5 with 3 rules applied. Total rules applied 259 place count 159 transition count 312
Applied a total of 259 rules in 149 ms. Remains 159 /222 variables (removed 63) and now considering 312/389 (removed 77) transitions.
Finished structural reductions, in 1 iterations. Remains : 159/222 places, 312/389 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
[2020-06-02 20:30:41] [INFO ] Flow matrix only has 282 transitions (discarded 30 similar events)
// Phase 1: matrix 282 rows 159 cols
[2020-06-02 20:30:41] [INFO ] Computed 25 place invariants in 2 ms
Support contains 16 out of 159 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 159/159 places, 312/312 transitions.
Applied a total of 0 rules in 31 ms. Remains 159 /159 variables (removed 0) and now considering 312/312 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 159/159 places, 312/312 transitions.
Starting structural reductions, iteration 0 : 159/159 places, 312/312 transitions.
Applied a total of 0 rules in 8 ms. Remains 159 /159 variables (removed 0) and now considering 312/312 (removed 0) transitions.
[2020-06-02 20:30:41] [INFO ] Flow matrix only has 282 transitions (discarded 30 similar events)
// Phase 1: matrix 282 rows 159 cols
[2020-06-02 20:30:41] [INFO ] Computed 25 place invariants in 2 ms
[2020-06-02 20:30:41] [INFO ] Implicit Places using invariants in 339 ms returned []
[2020-06-02 20:30:41] [INFO ] Flow matrix only has 282 transitions (discarded 30 similar events)
// Phase 1: matrix 282 rows 159 cols
[2020-06-02 20:30:41] [INFO ] Computed 25 place invariants in 2 ms
[2020-06-02 20:30:42] [INFO ] State equation strengthened by 1 read => feed constraints.
[2020-06-02 20:30:42] [INFO ] Implicit Places using invariants and state equation in 802 ms returned []
Implicit Place search using SMT with State Equation took 1144 ms to find 0 implicit places.
[2020-06-02 20:30:42] [INFO ] Redundant transitions in 42 ms returned []
[2020-06-02 20:30:42] [INFO ] Flow matrix only has 282 transitions (discarded 30 similar events)
// Phase 1: matrix 282 rows 159 cols
[2020-06-02 20:30:42] [INFO ] Computed 25 place invariants in 2 ms
[2020-06-02 20:30:43] [INFO ] Dead Transitions using invariants and state equation in 439 ms returned []
Finished structural reductions, in 1 iterations. Remains : 159/159 places, 312/312 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Ensure Unique test removed 30 transitions
Reduce isomorphic transitions removed 30 transitions.
Iterating post reduction 0 with 30 rules applied. Total rules applied 30 place count 159 transition count 282
Symmetric choice reduction at 1 with 1 rule applications. Total rules 31 place count 159 transition count 282
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 33 place count 158 transition count 281
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 1 with 10 rules applied. Total rules applied 43 place count 153 transition count 276
Applied a total of 43 rules in 34 ms. Remains 153 /159 variables (removed 6) and now considering 276/312 (removed 36) transitions.
// Phase 1: matrix 276 rows 153 cols
[2020-06-02 20:30:43] [INFO ] Computed 25 place invariants in 2 ms
[2020-06-02 20:30:43] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-02 20:30:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 6 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ MultiwaySync-PT-none @ 3570 seconds

FORMULA MultiwaySync-PT-none-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ MultiwaySync-PT-none

{
"exit":
{
"memory": 11353500,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p121)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1 "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 471/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 5088
lola: finding significant places
lola: 159 places, 312 transitions, 134 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(p39) : MAX(p4) : MAX(p68) : MAX(p77) : MAX(p70) : MAX(p92) : MAX(p121) : MAX(p90) : MAX(p139) : MAX(p151) : MAX(p83) : MAX(p119) : MAX(p158) : MAX(p45) : MAX(p125) : MAX(p148)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p39)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p68)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 576040 markings, 1043226 edges, 115208 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 828042 markings, 2279043 edges
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p77)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p77)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p70)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p70)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p92)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p92)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p121)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p121)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 587238 markings, 1500559 edges, 117448 markings/sec, 0 secs
lola: 982700 markings, 3495910 edges, 79092 markings/sec, 5 secs
lola: 1477393 markings, 5131923 edges, 98939 markings/sec, 10 secs
lola: 1938765 markings, 6847625 edges, 92274 markings/sec, 15 secs
lola: 2277933 markings, 9002169 edges, 67834 markings/sec, 20 secs
lola: 2882064 markings, 10403964 edges, 120826 markings/sec, 25 secs
lola: 3202553 markings, 12778180 edges, 64098 markings/sec, 30 secs
lola: 3730249 markings, 14458032 edges, 105539 markings/sec, 35 secs
lola: 4216122 markings, 16280876 edges, 97175 markings/sec, 40 secs
lola: 4614677 markings, 18271523 edges, 79711 markings/sec, 45 secs
lola: 5108576 markings, 20087287 edges, 98780 markings/sec, 50 secs
lola: 5487631 markings, 22038959 edges, 75811 markings/sec, 55 secs
lola: 5950854 markings, 23603607 edges, 92645 markings/sec, 60 secs
lola: 6437390 markings, 25163053 edges, 97307 markings/sec, 65 secs
lola: 6770820 markings, 27166142 edges, 66686 markings/sec, 70 secs
lola: 7225562 markings, 29039022 edges, 90948 markings/sec, 75 secs
lola: 7578699 markings, 30924698 edges, 70627 markings/sec, 80 secs
lola: 8043974 markings, 32444061 edges, 93055 markings/sec, 85 secs
lola: 8628072 markings, 33714191 edges, 116820 markings/sec, 90 secs
lola: 9189733 markings, 34933057 edges, 112332 markings/sec, 95 secs
lola: 9759480 markings, 36181227 edges, 113949 markings/sec, 100 secs
lola: 10317283 markings, 37421780 edges, 111561 markings/sec, 105 secs
lola: 10912235 markings, 38633993 edges, 118990 markings/sec, 110 secs
lola: 11507531 markings, 39870721 edges, 119059 markings/sec, 115 secs
lola: 12084564 markings, 41051189 edges, 115407 markings/sec, 120 secs
lola: 12615915 markings, 42275378 edges, 106270 markings/sec, 125 secs
lola: 13173125 markings, 43473482 edges, 111442 markings/sec, 130 secs
lola: 13755044 markings, 44741034 edges, 116384 markings/sec, 135 secs
lola: 14340421 markings, 45894434 edges, 117075 markings/sec, 140 secs
lola: 14895865 markings, 47171839 edges, 111089 markings/sec, 145 secs
lola: 15426033 markings, 48407888 edges, 106034 markings/sec, 150 secs
lola: 16000056 markings, 49691661 edges, 114805 markings/sec, 155 secs
lola: 16558398 markings, 51205119 edges, 111668 markings/sec, 160 secs
lola: 17093722 markings, 52576710 edges, 107065 markings/sec, 165 secs
lola: 17625585 markings, 53910076 edges, 106373 markings/sec, 170 secs
lola: 18206206 markings, 55362202 edges, 116124 markings/sec, 175 secs
lola: 18590062 markings, 57303626 edges, 76771 markings/sec, 180 secs
lola: 18975164 markings, 59252962 edges, 77020 markings/sec, 185 secs
lola: 19426573 markings, 61170660 edges, 90282 markings/sec, 190 secs
lola: 19476726 markings, 64236391 edges, 10031 markings/sec, 195 secs
lola: 19886440 markings, 65900747 edges, 81943 markings/sec, 200 secs
lola: 20113103 markings, 67992967 edges, 45333 markings/sec, 205 secs
lola: 20442187 markings, 69900754 edges, 65817 markings/sec, 210 secs
lola: 20442693 markings, 72946596 edges, 101 markings/sec, 215 secs
lola: 20442994 markings, 75965771 edges, 60 markings/sec, 220 secs
lola: 20443159 markings, 79280477 edges, 33 markings/sec, 225 secs
lola: 20443295 markings, 82360141 edges, 27 markings/sec, 230 secs
lola: 20443387 markings, 85464798 edges, 18 markings/sec, 235 secs
lola: 20443407 markings, 88783370 edges, 4 markings/sec, 240 secs
lola: 20443443 markings, 92085359 edges, 7 markings/sec, 245 secs
lola: 20443460 markings, 95197970 edges, 3 markings/sec, 250 secs
lola: 20443460 markings, 98510224 edges, 0 markings/sec, 255 secs
lola: 20443460 markings, 101619129 edges, 0 markings/sec, 260 secs
lola: 20443473 markings, 104950261 edges, 3 markings/sec, 265 secs
lola: 20443473 markings, 107868928 edges, 0 markings/sec, 270 secs
lola: 20443481 markings, 110792966 edges, 2 markings/sec, 275 secs
lola: 20443481 markings, 113906998 edges, 0 markings/sec, 280 secs
lola: 20443481 markings, 116678653 edges, 0 markings/sec, 285 secs
lola: 20443481 markings, 119667859 edges, 0 markings/sec, 290 secs
lola: 20443481 markings, 122736532 edges, 0 markings/sec, 295 secs
lola: 20443481 markings, 125856030 edges, 0 markings/sec, 300 secs
lola: 20443481 markings, 128803877 edges, 0 markings/sec, 305 secs
lola: 20638849 markings, 131048257 edges, 39074 markings/sec, 310 secs
lola: 20933761 markings, 132917449 edges, 58982 markings/sec, 315 secs
lola: 21288610 markings, 134621577 edges, 70970 markings/sec, 320 secs
lola: 21795000 markings, 135868230 edges, 101278 markings/sec, 325 secs
lola: 22150031 markings, 137863418 edges, 71006 markings/sec, 330 secs
lola: 22527026 markings, 139823041 edges, 75399 markings/sec, 335 secs
lola: 23028166 markings, 141305020 edges, 100228 markings/sec, 340 secs
lola: 23329754 markings, 143472115 edges, 60318 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1755848 KB
lola: time consumption: 366 seconds
lola: print data as JSON (--json)
lola: memory consumption: 1755764 KB
lola: time consumption: 366 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p90)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
lola: ========================================
lola: subprocess 8 will run for 400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p139)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p139)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 9 will run for 457 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p151)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 10 will run for 534 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p83)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 24 markings, 23 edges
lola: ========================================
lola: subprocess 11 will run for 640 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 12 will run for 801 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p158)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p158)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 13 will run for 1068 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p45)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 6 markings, 5 edges
lola: subprocess 14 will run for 1602 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p125)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p125)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================
lola: ========================================
lola: subprocess 15 will run for 3204 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p148)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p121)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p121)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 565213 markings, 1313413 edges, 113043 markings/sec, 0 secs
lola: 941074 markings, 3401876 edges, 75172 markings/sec, 5 secs
lola: 1431765 markings, 5020352 edges, 98138 markings/sec, 10 secs
lola: 1936277 markings, 6651815 edges, 100902 markings/sec, 15 secs
lola: 2277933 markings, 8904693 edges, 68331 markings/sec, 20 secs
lola: 2832236 markings, 10283509 edges, 110861 markings/sec, 25 secs
lola: 3200577 markings, 12345369 edges, 73668 markings/sec, 30 secs
lola: 3626808 markings, 14233647 edges, 85246 markings/sec, 35 secs
lola: 4155718 markings, 15867679 edges, 105782 markings/sec, 40 secs
lola: 4568876 markings, 17889525 edges, 82632 markings/sec, 45 secs
lola: 5042101 markings, 19645801 edges, 94645 markings/sec, 50 secs
lola: 5370849 markings, 21799509 edges, 65750 markings/sec, 55 secs
lola: 5878932 markings, 23434494 edges, 101617 markings/sec, 60 secs
lola: 6413451 markings, 25100915 edges, 106904 markings/sec, 65 secs
lola: 6770820 markings, 27096130 edges, 71474 markings/sec, 70 secs
lola: 7180344 markings, 28937593 edges, 81905 markings/sec, 75 secs
lola: 7529496 markings, 30829495 edges, 69830 markings/sec, 80 secs
lola: 8030703 markings, 32414592 edges, 100241 markings/sec, 85 secs
lola: 8615446 markings, 33689807 edges, 116949 markings/sec, 90 secs
lola: 9176694 markings, 34901318 edges, 112250 markings/sec, 95 secs
lola: 9745256 markings, 36149268 edges, 113712 markings/sec, 100 secs
lola: 10332052 markings, 37456120 edges, 117359 markings/sec, 105 secs
lola: 10929760 markings, 38669987 edges, 119542 markings/sec, 110 secs
lola: 11525326 markings, 39911837 edges, 119113 markings/sec, 115 secs
lola: 12111046 markings, 41113014 edges, 117144 markings/sec, 120 secs
lola: 12640676 markings, 42328801 edges, 105926 markings/sec, 125 secs
lola: 13207062 markings, 43536892 edges, 113277 markings/sec, 130 secs
lola: 13774880 markings, 44777662 edges, 113564 markings/sec, 135 secs
lola: 14363055 markings, 45938328 edges, 117635 markings/sec, 140 secs
lola: 14904550 markings, 47191263 edges, 108299 markings/sec, 145 secs
lola: 15429471 markings, 48414359 edges, 104984 markings/sec, 150 secs
lola: 15975610 markings, 49645387 edges, 109228 markings/sec, 155 secs
lola: 16542658 markings, 51048881 edges, 113410 markings/sec, 160 secs
lola: 17064367 markings, 52507676 edges, 104342 markings/sec, 165 secs
lola: 17570159 markings, 53760229 edges, 101158 markings/sec, 170 secs
lola: 18100228 markings, 55082806 edges, 106014 markings/sec, 175 secs
lola: 18557450 markings, 56789696 edges, 91444 markings/sec, 180 secs
lola: 18851130 markings, 58941339 edges, 58736 markings/sec, 185 secs
lola: 19319350 markings, 60519768 edges, 93644 markings/sec, 190 secs
lola: 19475122 markings, 63131074 edges, 31154 markings/sec, 195 secs
lola: 19723289 markings, 65422279 edges, 49633 markings/sec, 200 secs
lola: 19959370 markings, 67337881 edges, 47216 markings/sec, 205 secs
lola: 20308029 markings, 69049910 edges, 69732 markings/sec, 210 secs
lola: 20442533 markings, 71382592 edges, 26901 markings/sec, 215 secs
lola: 20442813 markings, 74334031 edges, 56 markings/sec, 220 secs
lola: 20443102 markings, 77516947 edges, 58 markings/sec, 225 secs
lola: 20443211 markings, 80711884 edges, 22 markings/sec, 230 secs
lola: 20443347 markings, 83767410 edges, 27 markings/sec, 235 secs
lola: 20443399 markings, 87111349 edges, 10 markings/sec, 240 secs
lola: 20443443 markings, 90234729 edges, 9 markings/sec, 245 secs
lola: 20443448 markings, 93412690 edges, 1 markings/sec, 250 secs
lola: 20443460 markings, 96467288 edges, 2 markings/sec, 255 secs
lola: 20443460 markings, 99686110 edges, 0 markings/sec, 260 secs
lola: 20443460 markings, 102751258 edges, 0 markings/sec, 265 secs
lola: 20443473 markings, 105805547 edges, 3 markings/sec, 270 secs
lola: 20443481 markings, 108860910 edges, 2 markings/sec, 275 secs
lola: 20443481 markings, 111784427 edges, 0 markings/sec, 280 secs
lola: 20443481 markings, 114832176 edges, 0 markings/sec, 285 secs
lola: 20443481 markings, 117732562 edges, 0 markings/sec, 290 secs
lola: 20443481 markings, 120784387 edges, 0 markings/sec, 295 secs
lola: 20443481 markings, 123954928 edges, 0 markings/sec, 300 secs
lola: 20443481 markings, 127125435 edges, 0 markings/sec, 305 secs
lola: 20443481 markings, 130026206 edges, 0 markings/sec, 310 secs
lola: 20781517 markings, 131797002 edges, 67607 markings/sec, 315 secs
lola: 21102298 markings, 133623106 edges, 64156 markings/sec, 320 secs
lola: 21505778 markings, 135178226 edges, 80696 markings/sec, 325 secs
lola: 21972098 markings, 136831179 edges, 93264 markings/sec, 330 secs
lola: 22334766 markings, 138827044 edges, 72534 markings/sec, 335 secs
lola: 22786965 markings, 140484836 edges, 90440 markings/sec, 340 secs
lola: 23175618 markings, 142345622 edges, 77731 markings/sec, 345 secs
lola: 23509243 markings, 144457277 edges, 66725 markings/sec, 350 secs
lola: 24050032 markings, 145885972 edges, 108158 markings/sec, 355 secs
lola: 24416852 markings, 147940057 edges, 73364 markings/sec, 360 secs
lola: 24891947 markings, 149903424 edges, 95019 markings/sec, 365 secs
lola: 25292462 markings, 152064154 edges, 80103 markings/sec, 370 secs
lola: 25744040 markings, 154139745 edges, 90316 markings/sec, 375 secs
lola: 26168750 markings, 156220934 edges, 84942 markings/sec, 380 secs
lola: 26664679 markings, 157967643 edges, 99186 markings/sec, 385 secs
lola: 27154048 markings, 159730138 edges, 97874 markings/sec, 390 secs
lola: 27520864 markings, 161747393 edges, 73363 markings/sec, 395 secs
lola: 27928242 markings, 163709211 edges, 81476 markings/sec, 400 secs
lola: 28543894 markings, 165178817 edges, 123130 markings/sec, 405 secs
lola: 29136734 markings, 166599899 edges, 118568 markings/sec, 410 secs
lola: 29740250 markings, 168081439 edges, 120703 markings/sec, 415 secs
lola: 30342813 markings, 169470707 edges, 120513 markings/sec, 420 secs
lola: 30972535 markings, 170909274 edges, 125944 markings/sec, 425 secs
lola: 31596487 markings, 172347939 edges, 124790 markings/sec, 430 secs
lola: 32220965 markings, 173820457 edges, 124896 markings/sec, 435 secs
lola: 32859121 markings, 175247327 edges, 127631 markings/sec, 440 secs
lola: 33465740 markings, 176684289 edges, 121324 markings/sec, 445 secs
lola: 34058529 markings, 178071242 edges, 118558 markings/sec, 450 secs
lola: 34622719 markings, 179507448 edges, 112838 markings/sec, 455 secs
lola: 35182278 markings, 180935432 edges, 111912 markings/sec, 460 secs
lola: 35766139 markings, 182344912 edges, 116772 markings/sec, 465 secs
lola: 36342804 markings, 183780193 edges, 115333 markings/sec, 470 secs
lola: 36875336 markings, 185250788 edges, 106506 markings/sec, 475 secs
lola: 37480401 markings, 186690835 edges, 121013 markings/sec, 480 secs
lola: 38019273 markings, 188193503 edges, 107774 markings/sec, 485 secs
lola: 38478582 markings, 189913760 edges, 91862 markings/sec, 490 secs
lola: 38904171 markings, 191650030 edges, 85118 markings/sec, 495 secs
lola: 39362551 markings, 193497155 edges, 91676 markings/sec, 500 secs
lola: 39708756 markings, 195586322 edges, 69241 markings/sec, 505 secs
lola: 40129219 markings, 197591522 edges, 84093 markings/sec, 510 secs
lola: 40306201 markings, 200269560 edges, 35396 markings/sec, 515 secs
lola: 40496144 markings, 202414350 edges, 37989 markings/sec, 520 secs
lola: 40496566 markings, 204967082 edges, 84 markings/sec, 525 secs
lola: 40496905 markings, 207745932 edges, 68 markings/sec, 530 secs
lola: 40497013 markings, 210583013 edges, 22 markings/sec, 535 secs
lola: 40497246 markings, 213326091 edges, 47 markings/sec, 540 secs
lola: 40497307 markings, 216350527 edges, 12 markings/sec, 545 secs
lola: 40497384 markings, 219248434 edges, 15 markings/sec, 550 secs
lola: 40497400 markings, 222204090 edges, 3 markings/sec, 555 secs
lola: 40497405 markings, 225124238 edges, 1 markings/sec, 560 secs
lola: 40497409 markings, 228057272 edges, 1 markings/sec, 565 secs
lola: 40497457 markings, 231268752 edges, 10 markings/sec, 570 secs
lola: 40497477 markings, 234286947 edges, 4 markings/sec, 575 secs
lola: 40497481 markings, 237353328 edges, 1 markings/sec, 580 secs
lola: 40497481 markings, 240407102 edges, 0 markings/sec, 585 secs
lola: 40497489 markings, 243399098 edges, 2 markings/sec, 590 secs
lola: 40497489 markings, 246231123 edges, 0 markings/sec, 595 secs
lola: 40497489 markings, 249354419 edges, 0 markings/sec, 600 secs
lola: 40497489 markings, 252205537 edges, 0 markings/sec, 605 secs
lola: 40497489 markings, 255239513 edges, 0 markings/sec, 610 secs
lola: 40497489 markings, 258472121 edges, 0 markings/sec, 615 secs
lola: 40497489 markings, 261711427 edges, 0 markings/sec, 620 secs
lola: 40497489 markings, 264563351 edges, 0 markings/sec, 625 secs
lola: 40820700 markings, 266971724 edges, 64642 markings/sec, 630 secs
lola: 41287792 markings, 269188719 edges, 93418 markings/sec, 635 secs
lola: 41852576 markings, 270938957 edges, 112957 markings/sec, 640 secs
lola: 42320892 markings, 273101351 edges, 93663 markings/sec, 645 secs
lola: 42878388 markings, 274876462 edges, 111499 markings/sec, 650 secs
lola: 43308612 markings, 277076608 edges, 86045 markings/sec, 655 secs
lola: 43797664 markings, 279093205 edges, 97810 markings/sec, 660 secs
lola: 44324157 markings, 280891288 edges, 105299 markings/sec, 665 secs
lola: 44722712 markings, 283151794 edges, 79711 markings/sec, 670 secs
lola: 45263013 markings, 284926730 edges, 108060 markings/sec, 675 secs
lola: 45705460 markings, 286991600 edges, 88489 markings/sec, 680 secs
lola: 46250982 markings, 288712996 edges, 109104 markings/sec, 685 secs
lola: 46678040 markings, 290760261 edges, 85412 markings/sec, 690 secs
lola: 47124156 markings, 292777612 edges, 89223 markings/sec, 695 secs
lola: 47533040 markings, 294793382 edges, 81777 markings/sec, 700 secs
lola: 47918039 markings, 296707375 edges, 77000 markings/sec, 705 secs
lola: 48526800 markings, 297999807 edges, 121752 markings/sec, 710 secs
lola: 49098598 markings, 299262721 edges, 114360 markings/sec, 715 secs
lola: 49667266 markings, 300469171 edges, 113734 markings/sec, 720 secs
lola: 50234261 markings, 301732272 edges, 113399 markings/sec, 725 secs
lola: 50834925 markings, 303000562 edges, 120133 markings/sec, 730 secs
lola: 51407768 markings, 304189428 edges, 114569 markings/sec, 735 secs
lola: 51994386 markings, 305405241 edges, 117324 markings/sec, 740 secs
lola: 52561581 markings, 306637768 edges, 113439 markings/sec, 745 secs
lola: 53110827 markings, 307864164 edges, 109849 markings/sec, 750 secs
lola: 53694119 markings, 309096196 edges, 116658 markings/sec, 755 secs
lola: 54260973 markings, 310277950 edges, 113371 markings/sec, 760 secs
lola: 54843893 markings, 311533895 edges, 116584 markings/sec, 765 secs
lola: 55400126 markings, 312825368 edges, 111247 markings/sec, 770 secs
lola: 55959404 markings, 314126396 edges, 111856 markings/sec, 775 secs
lola: 56587045 markings, 315468324 edges, 125528 markings/sec, 780 secs
lola: 57080821 markings, 317002761 edges, 98755 markings/sec, 785 secs
lola: 57622699 markings, 318351936 edges, 108376 markings/sec, 790 secs
lola: 58150245 markings, 319670973 edges, 105509 markings/sec, 795 secs
lola: 58594910 markings, 321320747 edges, 88933 markings/sec, 800 secs
lola: 58856981 markings, 323432080 edges, 52414 markings/sec, 805 secs
lola: 59370317 markings, 324945812 edges, 102667 markings/sec, 810 secs
lola: 59583157 markings, 327523525 edges, 42568 markings/sec, 815 secs
lola: 59831320 markings, 329746590 edges, 49633 markings/sec, 820 secs
lola: 60029102 markings, 331842405 edges, 39556 markings/sec, 825 secs
lola: 60394113 markings, 333561085 edges, 73002 markings/sec, 830 secs
lola: 60550568 markings, 336127450 edges, 31291 markings/sec, 835 secs
lola: 60550904 markings, 339377156 edges, 67 markings/sec, 840 secs
lola: 60551153 markings, 342812767 edges, 50 markings/sec, 845 secs
lola: 60551310 markings, 346008292 edges, 31 markings/sec, 850 secs
lola: 60551394 markings, 348882223 edges, 17 markings/sec, 855 secs
lola: 60551434 markings, 351963036 edges, 8 markings/sec, 860 secs
lola: 60551478 markings, 354858656 edges, 9 markings/sec, 865 secs
lola: 60551483 markings, 358081748 edges, 1 markings/sec, 870 secs
lola: 60551495 markings, 361259096 edges, 2 markings/sec, 875 secs
lola: 60551495 markings, 364626769 edges, 0 markings/sec, 880 secs
lola: 60551495 markings, 367907060 edges, 0 markings/sec, 885 secs
lola: 60551508 markings, 371178868 edges, 3 markings/sec, 890 secs
lola: 60551516 markings, 374499546 edges, 2 markings/sec, 895 secs
lola: 60551516 markings, 377912035 edges, 0 markings/sec, 900 secs
lola: 60551516 markings, 381179832 edges, 0 markings/sec, 905 secs
lola: 60551516 markings, 384618511 edges, 0 markings/sec, 910 secs
lola: 60551516 markings, 388209134 edges, 0 markings/sec, 915 secs
lola: 60551516 markings, 391809345 edges, 0 markings/sec, 920 secs
lola: 60558180 markings, 395135320 edges, 1333 markings/sec, 925 secs
lola: 61095664 markings, 396716550 edges, 107497 markings/sec, 930 secs
lola: 61716784 markings, 398241624 edges, 124224 markings/sec, 935 secs
lola: 62136804 markings, 400645036 edges, 84004 markings/sec, 940 secs
lola: 62699473 markings, 402458345 edges, 112534 markings/sec, 945 secs
lola: 63357166 markings, 403885766 edges, 131539 markings/sec, 950 secs
lola: 63997130 markings, 405312681 edges, 127993 markings/sec, 955 secs
lola: 64671949 markings, 406753393 edges, 134964 markings/sec, 960 secs
lola: 65326039 markings, 408178606 edges, 130818 markings/sec, 965 secs
lola: 65773313 markings, 410319148 edges, 89455 markings/sec, 970 secs
lola: 66228532 markings, 412484048 edges, 91044 markings/sec, 975 secs
lola: 66811089 markings, 414034887 edges, 116511 markings/sec, 980 secs
lola: 67116954 markings, 416408627 edges, 61173 markings/sec, 985 secs
lola: 67117118 markings, 419761201 edges, 33 markings/sec, 990 secs
lola: 67117147 markings, 423171328 edges, 6 markings/sec, 995 secs
lola: 67117167 markings, 426623795 edges, 4 markings/sec, 1000 secs
lola: 67117167 markings, 430008470 edges, 0 markings/sec, 1005 secs
lola: 67117167 markings, 433436614 edges, 0 markings/sec, 1010 secs
lola: 67184812 markings, 436514521 edges, 13529 markings/sec, 1015 secs
lola: 67652275 markings, 438192020 edges, 93493 markings/sec, 1020 secs
lola: 68177972 markings, 439987859 edges, 105139 markings/sec, 1025 secs
lola: 68597368 markings, 442172038 edges, 83879 markings/sec, 1030 secs
lola: 69105139 markings, 443961738 edges, 101554 markings/sec, 1035 secs
lola: 69699501 markings, 445404666 edges, 118872 markings/sec, 1040 secs
lola: 70285488 markings, 446855244 edges, 117197 markings/sec, 1045 secs
lola: 70847910 markings, 448193690 edges, 112484 markings/sec, 1050 secs
lola: 71361385 markings, 449487627 edges, 102695 markings/sec, 1055 secs
lola: 71827388 markings, 451125014 edges, 93201 markings/sec, 1060 secs
lola: 72276759 markings, 452870403 edges, 89874 markings/sec, 1065 secs
lola: 72679408 markings, 455010211 edges, 80530 markings/sec, 1070 secs
lola: 73202791 markings, 456573882 edges, 104677 markings/sec, 1075 secs
lola: 73457587 markings, 458910233 edges, 50959 markings/sec, 1080 secs
lola: 73457722 markings, 462169155 edges, 27 markings/sec, 1085 secs
lola: 73457735 markings, 465413255 edges, 3 markings/sec, 1090 secs
lola: 73457771 markings, 468639989 edges, 7 markings/sec, 1095 secs
lola: 73457771 markings, 471817584 edges, 0 markings/sec, 1100 secs
lola: 73457771 markings, 474863148 edges, 0 markings/sec, 1105 secs
lola: 73457771 markings, 478060068 edges, 0 markings/sec, 1110 secs
lola: 73802787 markings, 480096776 edges, 69003 markings/sec, 1115 secs
lola: 74398000 markings, 481534214 edges, 119043 markings/sec, 1120 secs
lola: 74771085 markings, 483868365 edges, 74617 markings/sec, 1125 secs
lola: 75289023 markings, 485555336 edges, 103588 markings/sec, 1130 secs
lola: 75900035 markings, 486920867 edges, 122202 markings/sec, 1135 secs
lola: 76523338 markings, 488250455 edges, 124661 markings/sec, 1140 secs
lola: 77140998 markings, 489622302 edges, 123532 markings/sec, 1145 secs
lola: 77751735 markings, 490974049 edges, 122147 markings/sec, 1150 secs
lola: 78294728 markings, 492692825 edges, 108599 markings/sec, 1155 secs
lola: 78705650 markings, 494768238 edges, 82184 markings/sec, 1160 secs
lola: 79193144 markings, 496530453 edges, 97499 markings/sec, 1165 secs
lola: 79641961 markings, 498319397 edges, 89763 markings/sec, 1170 secs
lola: 79798306 markings, 500957310 edges, 31269 markings/sec, 1175 secs
lola: 79798346 markings, 504268370 edges, 8 markings/sec, 1180 secs
lola: 79798375 markings, 507592357 edges, 6 markings/sec, 1185 secs
lola: 79798383 markings, 510820921 edges, 2 markings/sec, 1190 secs
lola: 79798383 markings, 514090844 edges, 0 markings/sec, 1195 secs
lola: 79798383 markings, 517485688 edges, 0 markings/sec, 1200 secs
lola: 79999160 markings, 520085671 edges, 40155 markings/sec, 1205 secs
lola: 80514163 markings, 521674399 edges, 103001 markings/sec, 1210 secs
lola: 81037772 markings, 523428819 edges, 104722 markings/sec, 1215 secs
lola: 81493413 markings, 525502372 edges, 91128 markings/sec, 1220 secs
lola: 82030414 markings, 527196318 edges, 107400 markings/sec, 1225 secs
lola: 82365052 markings, 529592371 edges, 66928 markings/sec, 1230 secs
lola: 82898421 markings, 531318699 edges, 106674 markings/sec, 1235 secs
lola: 83425646 markings, 533066231 edges, 105445 markings/sec, 1240 secs
lola: 83824201 markings, 535270704 edges, 79711 markings/sec, 1245 secs
lola: 84329188 markings, 537087053 edges, 100997 markings/sec, 1250 secs
lola: 84749796 markings, 539112968 edges, 84122 markings/sec, 1255 secs
lola: 85276477 markings, 540790558 edges, 105336 markings/sec, 1260 secs
lola: 85706208 markings, 542807936 edges, 85946 markings/sec, 1265 secs
lola: 86130306 markings, 544846458 edges, 84820 markings/sec, 1270 secs
lola: 86538847 markings, 546789040 edges, 81708 markings/sec, 1275 secs
lola: 86935274 markings, 548771741 edges, 79285 markings/sec, 1280 secs
lola: 87518655 markings, 550025520 edges, 116676 markings/sec, 1285 secs
lola: 88143261 markings, 551368433 edges, 124921 markings/sec, 1290 secs
lola: 88738710 markings, 552672049 edges, 119090 markings/sec, 1295 secs
lola: 89345134 markings, 553988084 edges, 121285 markings/sec, 1300 secs
lola: 89949304 markings, 555348463 edges, 120834 markings/sec, 1305 secs
lola: 90591044 markings, 556578191 edges, 128348 markings/sec, 1310 secs
lola: 91234562 markings, 557895247 edges, 128704 markings/sec, 1315 secs
lola: 91819555 markings, 559182418 edges, 116999 markings/sec, 1320 secs
lola: 92423775 markings, 560485334 edges, 120844 markings/sec, 1325 secs
lola: 93041642 markings, 561817474 edges, 123573 markings/sec, 1330 secs
lola: 93645167 markings, 563059252 edges, 120705 markings/sec, 1335 secs
lola: 94206628 markings, 564391147 edges, 112292 markings/sec, 1340 secs
lola: 94766379 markings, 565658778 edges, 111950 markings/sec, 1345 secs
lola: 95329471 markings, 566831110 edges, 112618 markings/sec, 1350 secs
lola: 95840883 markings, 568051493 edges, 102282 markings/sec, 1355 secs
lola: 96239346 markings, 569579881 edges, 79693 markings/sec, 1360 secs
lola: 96724143 markings, 570778672 edges, 96959 markings/sec, 1365 secs
lola: 97262474 markings, 572147620 edges, 107666 markings/sec, 1370 secs
lola: 97728703 markings, 573882162 edges, 93246 markings/sec, 1375 secs
lola: 98184160 markings, 575594752 edges, 91091 markings/sec, 1380 secs
lola: 98740834 markings, 577007863 edges, 111335 markings/sec, 1385 secs
lola: 98789775 markings, 579783547 edges, 9788 markings/sec, 1390 secs
lola: 98979919 markings, 581969490 edges, 38029 markings/sec, 1395 secs
lola: 99352011 markings, 583588219 edges, 74418 markings/sec, 1400 secs
lola: 99576018 markings, 585740917 edges, 44801 markings/sec, 1405 secs
lola: 99729972 markings, 588149599 edges, 30791 markings/sec, 1410 secs
lola: 99730280 markings, 591042649 edges, 62 markings/sec, 1415 secs
lola: 99730526 markings, 593737625 edges, 49 markings/sec, 1420 secs
lola: 99730658 markings, 596559464 edges, 26 markings/sec, 1425 secs
lola: 99730723 markings, 599584872 edges, 13 markings/sec, 1430 secs
lola: 99730773 markings, 602325264 edges, 10 markings/sec, 1435 secs
lola: 99730785 markings, 605194790 edges, 2 markings/sec, 1440 secs
lola: 99730789 markings, 608203226 edges, 1 markings/sec, 1445 secs
lola: 99730809 markings, 611288068 edges, 4 markings/sec, 1450 secs
lola: 99730809 markings, 614278883 edges, 0 markings/sec, 1455 secs
lola: 99730829 markings, 617535158 edges, 4 markings/sec, 1460 secs
lola: 99730829 markings, 620788343 edges, 0 markings/sec, 1465 secs
lola: 99730829 markings, 623780255 edges, 0 markings/sec, 1470 secs
lola: 99730829 markings, 626835638 edges, 0 markings/sec, 1475 secs
lola: 99730829 markings, 630013917 edges, 0 markings/sec, 1480 secs
lola: 99730829 markings, 632865947 edges, 0 markings/sec, 1485 secs
lola: 99730829 markings, 635902920 edges, 0 markings/sec, 1490 secs
lola: 99730829 markings, 639105580 edges, 0 markings/sec, 1495 secs
lola: 99730829 markings, 642329520 edges, 0 markings/sec, 1500 secs
lola: 99730829 markings, 645648732 edges, 0 markings/sec, 1505 secs
lola: 99935777 markings, 647915681 edges, 40990 markings/sec, 1510 secs
lola: 100569122 markings, 649290131 edges, 126669 markings/sec, 1515 secs
lola: 101000542 markings, 651541064 edges, 86284 markings/sec, 1520 secs
lola: 101481207 markings, 653480004 edges, 96133 markings/sec, 1525 secs
lola: 102119706 markings, 654874289 edges, 127700 markings/sec, 1530 secs
lola: 102748912 markings, 656314613 edges, 125841 markings/sec, 1535 secs
lola: 103407079 markings, 657685365 edges, 131633 markings/sec, 1540 secs
lola: 103934889 markings, 659482915 edges, 105562 markings/sec, 1545 secs
lola: 104577120 markings, 660882041 edges, 128446 markings/sec, 1550 secs
lola: 105090923 markings, 662689580 edges, 102761 markings/sec, 1555 secs
lola: 105588748 markings, 664506644 edges, 99565 markings/sec, 1560 secs
lola: 106027437 markings, 666401865 edges, 87738 markings/sec, 1565 secs
lola: 106027880 markings, 669700830 edges, 89 markings/sec, 1570 secs
lola: 106027932 markings, 673070463 edges, 10 markings/sec, 1575 secs
lola: 106027953 markings, 676450898 edges, 4 markings/sec, 1580 secs
lola: 106027957 markings, 679758904 edges, 1 markings/sec, 1585 secs
lola: 106027957 markings, 683110031 edges, 0 markings/sec, 1590 secs
lola: 106027957 markings, 686503439 edges, 0 markings/sec, 1595 secs
lola: 106427907 markings, 688493010 edges, 79990 markings/sec, 1600 secs
lola: 106992463 markings, 689771731 edges, 112911 markings/sec, 1605 secs
lola: 107651618 markings, 691061732 edges, 131831 markings/sec, 1610 secs
lola: 108128514 markings, 693128826 edges, 95379 markings/sec, 1615 secs
lola: 108585521 markings, 695252845 edges, 91401 markings/sec, 1620 secs
lola: 109127298 markings, 697041469 edges, 108355 markings/sec, 1625 secs
lola: 109584289 markings, 699131990 edges, 91398 markings/sec, 1630 secs
lola: 110129413 markings, 700847658 edges, 109025 markings/sec, 1635 secs
lola: 110580269 markings, 702945522 edges, 90171 markings/sec, 1640 secs
lola: 111032435 markings, 705021876 edges, 90433 markings/sec, 1645 secs
lola: 111588540 markings, 706753061 edges, 111221 markings/sec, 1650 secs
lola: 112019835 markings, 708903212 edges, 86259 markings/sec, 1655 secs
lola: 112496727 markings, 710867821 edges, 95378 markings/sec, 1660 secs
lola: 112934346 markings, 712935284 edges, 87524 markings/sec, 1665 secs
lola: 113475122 markings, 714640872 edges, 108155 markings/sec, 1670 secs
lola: 113906236 markings, 716664291 edges, 86223 markings/sec, 1675 secs
lola: 114326869 markings, 718692714 edges, 84127 markings/sec, 1680 secs
lola: 114950832 markings, 719991961 edges, 124793 markings/sec, 1685 secs
lola: 115568308 markings, 721342183 edges, 123495 markings/sec, 1690 secs
lola: 116191443 markings, 722703637 edges, 124627 markings/sec, 1695 secs
lola: 116812881 markings, 724009559 edges, 124288 markings/sec, 1700 secs
lola: 117425898 markings, 725405552 edges, 122603 markings/sec, 1705 secs
lola: 118078987 markings, 726700866 edges, 130618 markings/sec, 1710 secs
lola: 118700693 markings, 728012884 edges, 124341 markings/sec, 1715 secs
lola: 119317099 markings, 729393944 edges, 123281 markings/sec, 1720 secs
lola: 119956217 markings, 730752753 edges, 127824 markings/sec, 1725 secs
lola: 120453692 markings, 732379262 edges, 99495 markings/sec, 1730 secs
lola: 121036875 markings, 733771409 edges, 116637 markings/sec, 1735 secs
lola: 121663256 markings, 735139057 edges, 125276 markings/sec, 1740 secs
lola: 122300061 markings, 736498683 edges, 127361 markings/sec, 1745 secs
lola: 122899134 markings, 737880445 edges, 119815 markings/sec, 1750 secs
lola: 123397252 markings, 739526918 edges, 99624 markings/sec, 1755 secs
lola: 123984338 markings, 740952838 edges, 117417 markings/sec, 1760 secs
lola: 124577979 markings, 742444797 edges, 118728 markings/sec, 1765 secs
lola: 125136599 markings, 743833908 edges, 111724 markings/sec, 1770 secs
lola: 125674609 markings, 745216810 edges, 107602 markings/sec, 1775 secs
lola: 125940824 markings, 747291441 edges, 53243 markings/sec, 1780 secs
lola: 126355535 markings, 749027961 edges, 82942 markings/sec, 1785 secs
lola: 126636771 markings, 751270837 edges, 56247 markings/sec, 1790 secs
lola: 126864557 markings, 753704214 edges, 45557 markings/sec, 1795 secs
lola: 126918939 markings, 756353372 edges, 10876 markings/sec, 1800 secs
lola: 126919142 markings, 759486133 edges, 41 markings/sec, 1805 secs
lola: 126919351 markings, 762559786 edges, 42 markings/sec, 1810 secs
lola: 126919467 markings, 765594291 edges, 23 markings/sec, 1815 secs
lola: 126919523 markings, 768674467 edges, 11 markings/sec, 1820 secs
lola: 126919573 markings, 771844117 edges, 10 markings/sec, 1825 secs
lola: 126919617 markings, 774937864 edges, 9 markings/sec, 1830 secs
lola: 126919681 markings, 778049005 edges, 13 markings/sec, 1835 secs
lola: 126919693 markings, 781138879 edges, 2 markings/sec, 1840 secs
lola: 126919705 markings, 784202869 edges, 2 markings/sec, 1845 secs
lola: 126919721 markings, 787401585 edges, 3 markings/sec, 1850 secs
lola: 126919729 markings, 790503643 edges, 2 markings/sec, 1855 secs
lola: 126919733 markings, 793635659 edges, 1 markings/sec, 1860 secs
lola: 126919733 markings, 796625564 edges, 0 markings/sec, 1865 secs
lola: 126919733 markings, 799918827 edges, 0 markings/sec, 1870 secs
lola: 126919733 markings, 802922129 edges, 0 markings/sec, 1875 secs
lola: 126919733 markings, 806076659 edges, 0 markings/sec, 1880 secs
lola: 126919733 markings, 809358295 edges, 0 markings/sec, 1885 secs
lola: 126919733 markings, 812705880 edges, 0 markings/sec, 1890 secs
lola: 126919733 markings, 816050647 edges, 0 markings/sec, 1895 secs
lola: 127377327 markings, 817926167 edges, 91519 markings/sec, 1900 secs
lola: 127864495 markings, 819966888 edges, 97434 markings/sec, 1905 secs
lola: 128318959 markings, 822159287 edges, 90893 markings/sec, 1910 secs
lola: 128887157 markings, 823928588 edges, 113640 markings/sec, 1915 secs
lola: 129338476 markings, 826090411 edges, 90264 markings/sec, 1920 secs
lola: 129899325 markings, 827818458 edges, 112170 markings/sec, 1925 secs
lola: 130275843 markings, 830254895 edges, 75304 markings/sec, 1930 secs
lola: 130825093 markings, 832051293 edges, 109850 markings/sec, 1935 secs
lola: 131192884 markings, 834444523 edges, 73558 markings/sec, 1940 secs
lola: 131759102 markings, 836169124 edges, 113244 markings/sec, 1945 secs
lola: 132156516 markings, 838405314 edges, 79483 markings/sec, 1950 secs
lola: 132641541 markings, 840284627 edges, 97005 markings/sec, 1955 secs
lola: 133176284 markings, 841951012 edges, 106949 markings/sec, 1960 secs
lola: 133558699 markings, 844128057 edges, 76483 markings/sec, 1965 secs
lola: 134136030 markings, 845669079 edges, 115466 markings/sec, 1970 secs
lola: 134766502 markings, 847029837 edges, 126094 markings/sec, 1975 secs
lola: 135363793 markings, 848401143 edges, 119458 markings/sec, 1980 secs
lola: 135991688 markings, 849735686 edges, 125579 markings/sec, 1985 secs
lola: 136636925 markings, 851090988 edges, 129047 markings/sec, 1990 secs
lola: 137294688 markings, 852410838 edges, 131553 markings/sec, 1995 secs
lola: 137960185 markings, 853727153 edges, 133099 markings/sec, 2000 secs
lola: 138590366 markings, 855014105 edges, 126036 markings/sec, 2005 secs
lola: 139213615 markings, 856400823 edges, 124650 markings/sec, 2010 secs
lola: 139799764 markings, 857710723 edges, 117230 markings/sec, 2015 secs
lola: 140422262 markings, 858984353 edges, 124500 markings/sec, 2020 secs
lola: 141028612 markings, 860376788 edges, 121270 markings/sec, 2025 secs
lola: 141612848 markings, 861711734 edges, 116847 markings/sec, 2030 secs
lola: 142180258 markings, 863063935 edges, 113482 markings/sec, 2035 secs
lola: 142762027 markings, 864413618 edges, 116354 markings/sec, 2040 secs
lola: 143307553 markings, 865768695 edges, 109105 markings/sec, 2045 secs
lola: 143803012 markings, 867002365 edges, 99092 markings/sec, 2050 secs
lola: 144336785 markings, 868309559 edges, 106755 markings/sec, 2055 secs
lola: 144800416 markings, 870014788 edges, 92726 markings/sec, 2060 secs
lola: 145337112 markings, 871391459 edges, 107339 markings/sec, 2065 secs
lola: 145710971 markings, 873453352 edges, 74772 markings/sec, 2070 secs
lola: 146083539 markings, 875366884 edges, 74514 markings/sec, 2075 secs
lola: 146405994 markings, 877355961 edges, 64491 markings/sec, 2080 secs
lola: 146447243 markings, 880153135 edges, 8250 markings/sec, 2085 secs
lola: 146447591 markings, 883197880 edges, 70 markings/sec, 2090 secs
lola: 146447811 markings, 886200947 edges, 44 markings/sec, 2095 secs
lola: 146447984 markings, 889127138 edges, 35 markings/sec, 2100 secs
lola: 146448096 markings, 892164063 edges, 22 markings/sec, 2105 secs
lola: 146448189 markings, 895216338 edges, 19 markings/sec, 2110 secs
lola: 146448221 markings, 898227770 edges, 6 markings/sec, 2115 secs
lola: 146448233 markings, 901301392 edges, 2 markings/sec, 2120 secs
lola: 146448253 markings, 904321073 edges, 4 markings/sec, 2125 secs
lola: 146448269 markings, 907436029 edges, 3 markings/sec, 2130 secs
lola: 146448293 markings, 910744168 edges, 5 markings/sec, 2135 secs
lola: 146448309 markings, 913895834 edges, 3 markings/sec, 2140 secs
lola: 146448309 markings, 917138163 edges, 0 markings/sec, 2145 secs
lola: 146448313 markings, 920257203 edges, 1 markings/sec, 2150 secs
lola: 146448317 markings, 923393272 edges, 1 markings/sec, 2155 secs
lola: 146448317 markings, 926577029 edges, 0 markings/sec, 2160 secs
lola: 146448317 markings, 929687714 edges, 0 markings/sec, 2165 secs
lola: 146448317 markings, 932840303 edges, 0 markings/sec, 2170 secs
lola: 146448317 markings, 936171889 edges, 0 markings/sec, 2175 secs
lola: 146448317 markings, 939560418 edges, 0 markings/sec, 2180 secs
lola: 146448317 markings, 942721769 edges, 0 markings/sec, 2185 secs
lola: 146876991 markings, 944428924 edges, 85735 markings/sec, 2190 secs
lola: 147386069 markings, 946196859 edges, 101816 markings/sec, 2195 secs
lola: 147821773 markings, 948374980 edges, 87141 markings/sec, 2200 secs
lola: 148348011 markings, 950199913 edges, 105248 markings/sec, 2205 secs
lola: 148731222 markings, 952531366 edges, 76642 markings/sec, 2210 secs
lola: 149216590 markings, 954528991 edges, 97074 markings/sec, 2215 secs
lola: 149755587 markings, 956349371 edges, 107799 markings/sec, 2220 secs
lola: 150184905 markings, 958514179 edges, 85864 markings/sec, 2225 secs
lola: 150647035 markings, 960537698 edges, 92426 markings/sec, 2230 secs
lola: 151053058 markings, 962748408 edges, 81205 markings/sec, 2235 secs
lola: 151572420 markings, 964555633 edges, 103872 markings/sec, 2240 secs
lola: 152049462 markings, 966545668 edges, 95408 markings/sec, 2245 secs
lola: 152430296 markings, 968799538 edges, 76167 markings/sec, 2250 secs
lola: 152925072 markings, 970603754 edges, 98955 markings/sec, 2255 secs
lola: 153323623 markings, 972630993 edges, 79710 markings/sec, 2260 secs
lola: 153855891 markings, 974319182 edges, 106454 markings/sec, 2265 secs
lola: 154467601 markings, 975799195 edges, 122342 markings/sec, 2270 secs
lola: 155105720 markings, 977227083 edges, 127624 markings/sec, 2275 secs
lola: 155711648 markings, 978696639 edges, 121186 markings/sec, 2280 secs
lola: 156346371 markings, 980137576 edges, 126945 markings/sec, 2285 secs
lola: 156971794 markings, 981585237 edges, 125085 markings/sec, 2290 secs
lola: 157572411 markings, 983015120 edges, 120123 markings/sec, 2295 secs
lola: 158165123 markings, 984436176 edges, 118542 markings/sec, 2300 secs
lola: 158760449 markings, 985829923 edges, 119065 markings/sec, 2305 secs
lola: 159359537 markings, 987252995 edges, 119818 markings/sec, 2310 secs
lola: 159921104 markings, 988668575 edges, 112313 markings/sec, 2315 secs
lola: 160528135 markings, 990053244 edges, 121406 markings/sec, 2320 secs
lola: 161105952 markings, 991529571 edges, 115563 markings/sec, 2325 secs
lola: 161664267 markings, 993007792 edges, 111663 markings/sec, 2330 secs
lola: 162264398 markings, 994433097 edges, 120026 markings/sec, 2335 secs
lola: 162824457 markings, 995926217 edges, 112012 markings/sec, 2340 secs
lola: 163396144 markings, 997460496 edges, 114337 markings/sec, 2345 secs
lola: 163867067 markings, 999319583 edges, 94185 markings/sec, 2350 secs
lola: 164264287 markings, 1000946567 edges, 79444 markings/sec, 2355 secs
lola: 164703924 markings, 1002687631 edges, 87927 markings/sec, 2360 secs
lola: 165196335 markings, 1004489987 edges, 98482 markings/sec, 2365 secs
lola: 165362709 markings, 1007103841 edges, 33275 markings/sec, 2370 secs
lola: 165408700 markings, 1009683693 edges, 9198 markings/sec, 2375 secs
lola: 165799534 markings, 1011559908 edges, 78167 markings/sec, 2380 secs
lola: 165911166 markings, 1014093839 edges, 22326 markings/sec, 2385 secs
lola: 165911848 markings, 1016975536 edges, 136 markings/sec, 2390 secs
lola: 165912047 markings, 1019813727 edges, 40 markings/sec, 2395 secs
lola: 165912099 markings, 1022826122 edges, 10 markings/sec, 2400 secs
lola: 165912279 markings, 1025648540 edges, 36 markings/sec, 2405 secs
lola: 165912319 markings, 1028584880 edges, 8 markings/sec, 2410 secs
lola: 165912424 markings, 1031388070 edges, 21 markings/sec, 2415 secs
lola: 165912449 markings, 1034280958 edges, 5 markings/sec, 2420 secs
lola: 165912457 markings, 1037176540 edges, 2 markings/sec, 2425 secs
lola: 165912465 markings, 1040091378 edges, 2 markings/sec, 2430 secs
lola: 165912477 markings, 1042877441 edges, 2 markings/sec, 2435 secs
lola: 165912493 markings, 1045869209 edges, 3 markings/sec, 2440 secs
lola: 165912497 markings, 1048833844 edges, 1 markings/sec, 2445 secs
lola: 165912497 markings, 1051683666 edges, 0 markings/sec, 2450 secs
lola: 165912501 markings, 1054594386 edges, 1 markings/sec, 2455 secs
lola: 165912501 markings, 1057581891 edges, 0 markings/sec, 2460 secs
lola: 165912501 markings, 1060338645 edges, 0 markings/sec, 2465 secs
lola: 165912501 markings, 1063286615 edges, 0 markings/sec, 2470 secs
lola: 165912501 markings, 1066304111 edges, 0 markings/sec, 2475 secs
lola: 165912501 markings, 1069352231 edges, 0 markings/sec, 2480 secs
lola: 165912501 markings, 1072372890 edges, 0 markings/sec, 2485 secs
lola: 165975915 markings, 1074742445 edges, 12683 markings/sec, 2490 secs
lola: 166600639 markings, 1075915083 edges, 124945 markings/sec, 2495 secs
lola: 167159144 markings, 1077157047 edges, 111701 markings/sec, 2500 secs
lola: 167531833 markings, 1079256401 edges, 74538 markings/sec, 2505 secs
lola: 167990420 markings, 1081154993 edges, 91717 markings/sec, 2510 secs
lola: 168498460 markings, 1082884841 edges, 101608 markings/sec, 2515 secs
lola: 168910354 markings, 1084865660 edges, 82379 markings/sec, 2520 secs
lola: 169429655 markings, 1086548790 edges, 103860 markings/sec, 2525 secs
lola: 169852232 markings, 1088571909 edges, 84515 markings/sec, 2530 secs
lola: 170265743 markings, 1090562353 edges, 82702 markings/sec, 2535 secs
lola: 170777318 markings, 1092209663 edges, 102315 markings/sec, 2540 secs
lola: 171169579 markings, 1094126828 edges, 78452 markings/sec, 2545 secs
lola: 171682022 markings, 1095769765 edges, 102489 markings/sec, 2550 secs
lola: 172092652 markings, 1097765539 edges, 82126 markings/sec, 2555 secs
lola: 172483171 markings, 1099711130 edges, 78104 markings/sec, 2560 secs
lola: 172876271 markings, 1101496538 edges, 78620 markings/sec, 2565 secs
lola: 173274826 markings, 1103369048 edges, 79711 markings/sec, 2570 secs
lola: 173837572 markings, 1104707817 edges, 112549 markings/sec, 2575 secs
lola: 174422991 markings, 1106031751 edges, 117084 markings/sec, 2580 secs
lola: 175034493 markings, 1107324799 edges, 122300 markings/sec, 2585 secs
lola: 175607399 markings, 1108592844 edges, 114581 markings/sec, 2590 secs
lola: 176181595 markings, 1109834804 edges, 114839 markings/sec, 2595 secs
lola: 176782738 markings, 1111053778 edges, 120229 markings/sec, 2600 secs
lola: 177377749 markings, 1112313507 edges, 119002 markings/sec, 2605 secs
lola: 177957010 markings, 1113607093 edges, 115852 markings/sec, 2610 secs
lola: 178555154 markings, 1114842821 edges, 119629 markings/sec, 2615 secs
lola: 179155169 markings, 1116130163 edges, 120003 markings/sec, 2620 secs
lola: 179701292 markings, 1117487160 edges, 109225 markings/sec, 2625 secs
lola: 180171615 markings, 1119019752 edges, 94065 markings/sec, 2630 secs
lola: 180711349 markings, 1120332039 edges, 107947 markings/sec, 2635 secs
lola: 181297010 markings, 1121604939 edges, 117132 markings/sec, 2640 secs
lola: 181866056 markings, 1122939857 edges, 113809 markings/sec, 2645 secs
lola: 182451561 markings, 1124224523 edges, 117101 markings/sec, 2650 secs
lola: 183052762 markings, 1125541817 edges, 120240 markings/sec, 2655 secs
lola: 183607864 markings, 1126914596 edges, 111020 markings/sec, 2660 secs
lola: 184029748 markings, 1128514738 edges, 84377 markings/sec, 2665 secs
lola: 184589524 markings, 1129911040 edges, 111955 markings/sec, 2670 secs
lola: 185049539 markings, 1131494978 edges, 92003 markings/sec, 2675 secs
lola: 185344963 markings, 1133625499 edges, 59085 markings/sec, 2680 secs
lola: 185679655 markings, 1135568701 edges, 66938 markings/sec, 2685 secs
lola: 185873887 markings, 1137788926 edges, 38846 markings/sec, 2690 secs
lola: 185874322 markings, 1140738537 edges, 87 markings/sec, 2695 secs
lola: 185874507 markings, 1143617323 edges, 37 markings/sec, 2700 secs
lola: 185874643 markings, 1146661265 edges, 27 markings/sec, 2705 secs
lola: 185874756 markings, 1149553801 edges, 23 markings/sec, 2710 secs
lola: 185874893 markings, 1152500763 edges, 27 markings/sec, 2715 secs
lola: 185874981 markings, 1155385977 edges, 18 markings/sec, 2720 secs
lola: 185875057 markings, 1158275222 edges, 15 markings/sec, 2725 secs
lola: 185875086 markings, 1161184550 edges, 6 markings/sec, 2730 secs
lola: 185875090 markings, 1164208716 edges, 1 markings/sec, 2735 secs
lola: 185875098 markings, 1167157316 edges, 2 markings/sec, 2740 secs
lola: 185875122 markings, 1170270485 edges, 5 markings/sec, 2745 secs
lola: 185875126 markings, 1173221894 edges, 1 markings/sec, 2750 secs
lola: 185875134 markings, 1176123381 edges, 2 markings/sec, 2755 secs
lola: 185875134 markings, 1179071002 edges, 0 markings/sec, 2760 secs
lola: 185875134 markings, 1181995456 edges, 0 markings/sec, 2765 secs
lola: 185875151 markings, 1185052170 edges, 3 markings/sec, 2770 secs
lola: 185875151 markings, 1187809777 edges, 0 markings/sec, 2775 secs
lola: 185875151 markings, 1190756642 edges, 0 markings/sec, 2780 secs
lola: 185875151 markings, 1193856374 edges, 0 markings/sec, 2785 secs
lola: 185875151 markings, 1196890370 edges, 0 markings/sec, 2790 secs
lola: 185875151 markings, 1199855554 edges, 0 markings/sec, 2795 secs
lola: 186001229 markings, 1202136779 edges, 25216 markings/sec, 2800 secs
lola: 186611645 markings, 1203283156 edges, 122083 markings/sec, 2805 secs
lola: 187261218 markings, 1204400467 edges, 129915 markings/sec, 2810 secs
lola: 187927812 markings, 1205725866 edges, 133319 markings/sec, 2815 secs
lola: 188565918 markings, 1207080945 edges, 127621 markings/sec, 2820 secs
lola: 189173491 markings, 1208534187 edges, 121515 markings/sec, 2825 secs
lola: 189805171 markings, 1209925496 edges, 126336 markings/sec, 2830 secs
lola: 190447068 markings, 1211301777 edges, 128379 markings/sec, 2835 secs
lola: 191060293 markings, 1212768353 edges, 122645 markings/sec, 2840 secs
lola: 191687119 markings, 1214250109 edges, 125365 markings/sec, 2845 secs
lola: 192193246 markings, 1216085606 edges, 101225 markings/sec, 2850 secs
lola: 192678523 markings, 1217869739 edges, 97055 markings/sec, 2855 secs
lola: 192945281 markings, 1220202242 edges, 53352 markings/sec, 2860 secs
lola: 192945947 markings, 1223483899 edges, 133 markings/sec, 2865 secs
lola: 192946020 markings, 1226906815 edges, 15 markings/sec, 2870 secs
lola: 192946052 markings, 1230292330 edges, 6 markings/sec, 2875 secs
lola: 192946064 markings, 1233571929 edges, 2 markings/sec, 2880 secs
lola: 192946064 markings, 1236894316 edges, 0 markings/sec, 2885 secs
lola: 192946064 markings, 1240193401 edges, 0 markings/sec, 2890 secs
lola: 193463590 markings, 1241987252 edges, 103505 markings/sec, 2895 secs
lola: 194126439 markings, 1243355431 edges, 132570 markings/sec, 2900 secs
lola: 194755917 markings, 1244843050 edges, 125896 markings/sec, 2905 secs
lola: 195410902 markings, 1246281709 edges, 130997 markings/sec, 2910 secs
lola: 196065808 markings, 1247687455 edges, 130981 markings/sec, 2915 secs
lola: 196725649 markings, 1249072739 edges, 131968 markings/sec, 2920 secs
lola: 197349702 markings, 1250577551 edges, 124811 markings/sec, 2925 secs
lola: 197948384 markings, 1252081056 edges, 119736 markings/sec, 2930 secs
lola: 198452436 markings, 1253938053 edges, 100810 markings/sec, 2935 secs
lola: 198733017 markings, 1256335002 edges, 56116 markings/sec, 2940 secs
lola: 198734496 markings, 1259557773 edges, 296 markings/sec, 2945 secs
lola: 198734540 markings, 1262852904 edges, 9 markings/sec, 2950 secs
lola: 198734585 markings, 1266335774 edges, 9 markings/sec, 2955 secs
lola: 198734609 markings, 1269855777 edges, 5 markings/sec, 2960 secs
lola: 198734609 markings, 1273270336 edges, 0 markings/sec, 2965 secs
lola: 198734609 markings, 1276688155 edges, 0 markings/sec, 2970 secs
lola: 199155721 markings, 1278753816 edges, 84222 markings/sec, 2975 secs
lola: 199755063 markings, 1280141688 edges, 119868 markings/sec, 2980 secs
lola: 200326488 markings, 1281651701 edges, 114285 markings/sec, 2985 secs
lola: 200917131 markings, 1283099552 edges, 118129 markings/sec, 2990 secs
lola: 201527359 markings, 1284556033 edges, 122046 markings/sec, 2995 secs
lola: 202132049 markings, 1285956115 edges, 120938 markings/sec, 3000 secs
lola: 202699863 markings, 1287419738 edges, 113563 markings/sec, 3005 secs
lola: 203244815 markings, 1288912628 edges, 108990 markings/sec, 3010 secs
lola: 203790951 markings, 1290450309 edges, 109227 markings/sec, 3015 secs
lola: 204163414 markings, 1292444119 edges, 74493 markings/sec, 3020 secs
lola: 204337342 markings, 1295026351 edges, 34786 markings/sec, 3025 secs
lola: 204337852 markings, 1298225135 edges, 102 markings/sec, 3030 secs
lola: 204337864 markings, 1301417308 edges, 2 markings/sec, 3035 secs
lola: 204337933 markings, 1304792808 edges, 14 markings/sec, 3040 secs
lola: 204337933 markings, 1308173599 edges, 0 markings/sec, 3045 secs
lola: 204337933 markings, 1311449960 edges, 0 markings/sec, 3050 secs
lola: 204337933 markings, 1314735955 edges, 0 markings/sec, 3055 secs
lola: 204806348 markings, 1316544891 edges, 93683 markings/sec, 3060 secs
lola: 205448411 markings, 1317922085 edges, 128413 markings/sec, 3065 secs
lola: 206092350 markings, 1319266348 edges, 128788 markings/sec, 3070 secs
lola: 206718083 markings, 1320654868 edges, 125147 markings/sec, 3075 secs
lola: 207271301 markings, 1321940958 edges, 110644 markings/sec, 3080 secs
lola: 207842948 markings, 1323266558 edges, 114329 markings/sec, 3085 secs
lola: 208475760 markings, 1324486298 edges, 126562 markings/sec, 3090 secs
lola: 208903569 markings, 1326543160 edges, 85562 markings/sec, 3095 secs
lola: 209493364 markings, 1327984615 edges, 117959 markings/sec, 3100 secs
lola: 210085926 markings, 1329560972 edges, 118512 markings/sec, 3105 secs
lola: 210467732 markings, 1331756303 edges, 76361 markings/sec, 3110 secs
lola: 210470620 markings, 1334852959 edges, 578 markings/sec, 3115 secs
lola: 210470761 markings, 1338170681 edges, 28 markings/sec, 3120 secs
lola: 210470802 markings, 1341615899 edges, 8 markings/sec, 3125 secs
lola: 210470810 markings, 1344690480 edges, 2 markings/sec, 3130 secs
lola: 210470810 markings, 1347883679 edges, 0 markings/sec, 3135 secs
lola: 210470810 markings, 1350942186 edges, 0 markings/sec, 3140 secs
lola: 210645962 markings, 1353485475 edges, 35030 markings/sec, 3145 secs
lola: 211195977 markings, 1354638424 edges, 110003 markings/sec, 3150 secs
lola: 211781654 markings, 1355749737 edges, 117135 markings/sec, 3155 secs
lola: 212413273 markings, 1356880976 edges, 126324 markings/sec, 3160 secs
lola: 213034021 markings, 1358146043 edges, 124150 markings/sec, 3165 secs
lola: 213604353 markings, 1359277339 edges, 114066 markings/sec, 3170 secs
lola: 214166273 markings, 1360456842 edges, 112384 markings/sec, 3175 secs
lola: 214740584 markings, 1361613181 edges, 114862 markings/sec, 3180 secs
lola: 215257550 markings, 1362815646 edges, 103393 markings/sec, 3185 secs
lola: 215818308 markings, 1363971999 edges, 112152 markings/sec, 3190 secs
lola: 216405754 markings, 1365049462 edges, 117489 markings/sec, 3195 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1
lola: memory consumption: 11353500 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1
lola: memory consumption: 11353500 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: memory consumption: 11353500 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
rslt: finished

--------------------
content from stderr:

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="MultiwaySync-PT-none"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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 itslola"
echo " Input is MultiwaySync-PT-none, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r174-csrt-158987852700109"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiwaySync-PT-none.tgz
mv MultiwaySync-PT-none execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;