Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r132-oct2-155403939100037.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is PolyORBNT-PT-S05J40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-oct2-155403939100037
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 11K Feb 12 09:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 12 09:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 8 10:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 8 10:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 5.9K Feb 5 00:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 5 00:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 4 22:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 4 22:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 4 13:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 42K Feb 4 13:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 23K Feb 1 08:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 1 08:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Feb 4 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.6K Feb 4 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.9M Mar 10 17:31 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 PolyORBNT-PT-S05J40-UpperBounds-00
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-01
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-02
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-03
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-04
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-05
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-06
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-07
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-08
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-09
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-10
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-11
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-12
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-13
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-14
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1554070048897

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBNT-PT-S05J40 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBNT-PT-S05J40 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBNT-PT-S05J40 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2219/65536 symbol table entries, 162 collisions
lola: preprocessing...
lola: Size of bit vector: 20128
lola: finding significant places
lola: 629 places, 1590 transitions, 527 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1168 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-PT-S05J40-UpperBounds.task
lola: MAX(NotifyEventEndOfCheckSourcesE_1) : MAX(mo1) : MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 + FetchJobE_1_24 + FetchJobE_1_25 + FetchJobE_1_26 + FetchJobE_1_27 + FetchJobE_1_28 + FetchJobE_1_29 + FetchJobE_1_30 + FetchJobE_1_31 + FetchJobE_1_32 + FetchJobE_1_33 + FetchJobE_1_34 + FetchJobE_1_35 + FetchJobE_1_36 + FetchJobE_1_37 + FetchJobE_1_38 + FetchJobE_1_39 + FetchJobE_1_40) : MAX(mo2) : MAX(place_500_1) : MAX(f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_31 + f3_32 + f3_33 + f3_34 + f3_35 + f3_36 + f3_37 + f3_38 + f3_39 + f3_40 + f3_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9) : MAX(Try_Check_Sources_B_1) : MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5) : MAX(AvailableJobId_40) : MAX(CreatedJobs_31_1) : MAX(f2_7) : MAX(Schedule_Task_E_1_PerformWork_24) : MAX(CreatedJobs_1_2) : MAX(CreatedJobs_36_1) : MAX(f2_34) : MAX(CreatedJobs_15_1)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventEndOfCheckSourcesE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventEndOfCheckSourcesE_1)
lola: processed formula length: 36
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 18 markings, 17 edges

FORMULA PolyORBNT-PT-S05J40-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mo1)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mo2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mo2)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 3 markings, 2 edges, 1 markings/sec, 25 secs
lola: 111421 markings, 231536 edges, 22284 markings/sec, 30 secs
lola: 238777 markings, 481269 edges, 25471 markings/sec, 35 secs
lola: 389207 markings, 750820 edges, 30086 markings/sec, 40 secs
lola: 555017 markings, 1023040 edges, 33162 markings/sec, 45 secs
lola: 699110 markings, 1256292 edges, 28819 markings/sec, 50 secs
lola: 848624 markings, 1522564 edges, 29903 markings/sec, 55 secs
lola: 1001406 markings, 1792350 edges, 30556 markings/sec, 60 secs
lola: 1181953 markings, 2067303 edges, 36109 markings/sec, 65 secs
lola: 1306449 markings, 2290047 edges, 24899 markings/sec, 70 secs
lola: 1454212 markings, 2553671 edges, 29553 markings/sec, 75 secs
lola: 1625708 markings, 2825730 edges, 34299 markings/sec, 80 secs
lola: 1766281 markings, 3052824 edges, 28115 markings/sec, 85 secs
lola: 1941188 markings, 3320333 edges, 34981 markings/sec, 90 secs
lola: 2083566 markings, 3549851 edges, 28476 markings/sec, 95 secs
lola: 2256912 markings, 3814979 edges, 34669 markings/sec, 100 secs
lola: 2397973 markings, 4042478 edges, 28212 markings/sec, 105 secs
lola: 2569932 markings, 4305547 edges, 34392 markings/sec, 110 secs
lola: 2710957 markings, 4532986 edges, 28205 markings/sec, 115 secs
lola: 2885073 markings, 4799470 edges, 34823 markings/sec, 120 secs
lola: 3027308 markings, 5028858 edges, 28447 markings/sec, 125 secs
lola: 3202203 markings, 5296258 edges, 34979 markings/sec, 130 secs
lola: 3342834 markings, 5523755 edges, 28126 markings/sec, 135 secs
lola: 3517294 markings, 5790096 edges, 34892 markings/sec, 140 secs
lola: 3656307 markings, 6016562 edges, 27803 markings/sec, 145 secs
lola: 3833529 markings, 6287957 edges, 35444 markings/sec, 150 secs
lola: 3973217 markings, 6514115 edges, 27938 markings/sec, 155 secs
lola: 4133798 markings, 6762998 edges, 32116 markings/sec, 160 secs
lola: 4288524 markings, 7007443 edges, 30945 markings/sec, 165 secs
lola: 4432268 markings, 7237864 edges, 28749 markings/sec, 170 secs
lola: 4600098 markings, 7495453 edges, 33566 markings/sec, 175 secs
lola: 4740351 markings, 7721262 edges, 28051 markings/sec, 180 secs
lola: 4913382 markings, 7986490 edges, 34606 markings/sec, 185 secs
lola: 5053959 markings, 8216308 edges, 28115 markings/sec, 190 secs
lola: 5219870 markings, 8471855 edges, 33182 markings/sec, 195 secs
lola: 5370698 markings, 8711490 edges, 30166 markings/sec, 200 secs
lola: 5515675 markings, 8943718 edges, 28995 markings/sec, 205 secs
lola: 5687509 markings, 9207475 edges, 34367 markings/sec, 210 secs
lola: 5830152 markings, 9440153 edges, 28529 markings/sec, 215 secs
lola: 5989161 markings, 9687104 edges, 31802 markings/sec, 220 secs
lola: 6150251 markings, 9940321 edges, 32218 markings/sec, 225 secs
lola: 6294911 markings, 10173492 edges, 28932 markings/sec, 230 secs
lola: 6460803 markings, 10431582 edges, 33178 markings/sec, 235 secs
lola: 6613207 markings, 10673417 edges, 30481 markings/sec, 240 secs
lola: 6762199 markings, 10912496 edges, 29798 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 519048 KB
lola: time consumption: 273 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_500_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_500_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 9 markings, 8 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Try_Check_Sources_B_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Try_Check_Sources_B_1)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AvailableJobId_40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AvailableJobId_40)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_31_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_31_1)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 12 markings, 11 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f2_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f2_7)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 17 markings, 16 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Schedule_Task_E_1_PerformWork_24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Schedule_Task_E_1_PerformWork_24)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 5392 markings, 12179 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 470 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_1_2)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 19 markings, 18 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 549 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_36_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_36_1)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 12 markings, 11 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 659 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f2_34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f2_34)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 17 markings, 16 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 823 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_15_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_15_1)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 12 markings, 11 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1098 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-7 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1647 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 ... (shortened)
lola: processed formula length: 689
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 29 markings, 28 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3294 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_31 + f3_32 + f3_33 + f3_34 + f3_35 + f3_36 + f3_37 + f3_38 + f3_39 + f3_40 + f3_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_31 + f3_32 + f3_33 + f3_34 + f3_35 + f3_36 + f3_37 + f3_38 + f3_39 + f3_40 + f3_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9)
lola: processed formula length: 320
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 42123 markings, 104349 edges, 8425 markings/sec, 0 secs
lola: 88710 markings, 214055 edges, 9317 markings/sec, 5 secs
lola: 135312 markings, 324123 edges, 9320 markings/sec, 10 secs
lola: 181686 markings, 433766 edges, 9275 markings/sec, 15 secs
lola: 228064 markings, 544057 edges, 9276 markings/sec, 20 secs
lola: 274365 markings, 655223 edges, 9260 markings/sec, 25 secs
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 291940 markings, 700191 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(mo2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mo2)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-UpperBounds.task
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 111511 markings, 231680 edges, 22302 markings/sec, 30 secs
lola: 240622 markings, 484588 edges, 25822 markings/sec, 35 secs
lola: 392126 markings, 756084 edges, 30301 markings/sec, 40 secs
lola: 560664 markings, 1031555 edges, 33708 markings/sec, 45 secs
lola: 704172 markings, 1266066 edges, 28702 markings/sec, 50 secs
lola: 855441 markings, 1534741 edges, 30254 markings/sec, 55 secs
lola: 1011118 markings, 1806854 edges, 31135 markings/sec, 60 secs
lola: 1187774 markings, 2077418 edges, 35331 markings/sec, 65 secs
lola: 1319807 markings, 2313734 edges, 26407 markings/sec, 70 secs
lola: 1471816 markings, 2585610 edges, 30402 markings/sec, 75 secs
lola: 1653302 markings, 2867607 edges, 36297 markings/sec, 80 secs
lola: 1789566 markings, 3088635 edges, 27253 markings/sec, 85 secs
lola: 1964502 markings, 3355633 edges, 34987 markings/sec, 90 secs
lola: 2106399 markings, 3584982 edges, 28379 markings/sec, 95 secs
lola: 2283463 markings, 3855224 edges, 35413 markings/sec, 100 secs
lola: 2424180 markings, 4082838 edges, 28143 markings/sec, 105 secs
lola: 2600363 markings, 4351639 edges, 35237 markings/sec, 110 secs
lola: 2741246 markings, 4579721 edges, 28177 markings/sec, 115 secs
lola: 2919691 markings, 4852254 edges, 35689 markings/sec, 120 secs
lola: 3060676 markings, 5081583 edges, 28197 markings/sec, 125 secs
lola: 3240657 markings, 5355808 edges, 35996 markings/sec, 130 secs
lola: 3380830 markings, 5584454 edges, 28035 markings/sec, 135 secs
lola: 3555181 markings, 5851823 edges, 34870 markings/sec, 140 secs
lola: 3705966 markings, 6092755 edges, 30157 markings/sec, 145 secs
lola: 3860734 markings, 6336581 edges, 30954 markings/sec, 150 secs
lola: 4031030 markings, 6600878 edges, 34059 markings/sec, 155 secs
lola: 4177557 markings, 6836082 edges, 29305 markings/sec, 160 secs
lola: 4350546 markings, 7101045 edges, 34598 markings/sec, 165 secs
lola: 4492334 markings, 7330393 edges, 28358 markings/sec, 170 secs
lola: 4670358 markings, 7604058 edges, 35605 markings/sec, 175 secs
lola: 4813906 markings, 7836061 edges, 28710 markings/sec, 180 secs
lola: 4966494 markings, 8076474 edges, 30518 markings/sec, 185 secs
lola: 5135260 markings, 8338417 edges, 33753 markings/sec, 190 secs
lola: 5280760 markings, 8572376 edges, 29100 markings/sec, 195 secs
lola: 5455876 markings, 8841569 edges, 35023 markings/sec, 200 secs
lola: 5601211 markings, 9076926 edges, 29067 markings/sec, 205 secs
lola: 5748427 markings, 9312027 edges, 29443 markings/sec, 210 secs
lola: 5922858 markings, 9579758 edges, 34886 markings/sec, 215 secs
lola: 6067144 markings, 9814834 edges, 28857 markings/sec, 220 secs
lola: 6229110 markings, 10066655 edges, 32393 markings/sec, 225 secs
lola: 6390678 markings, 10320418 edges, 32314 markings/sec, 230 secs
lola: 6537652 markings, 10557435 edges, 29395 markings/sec, 235 secs
lola: 6702556 markings, 10814197 edges, 32981 markings/sec, 240 secs
lola: 6861716 markings, 11065795 edges, 31832 markings/sec, 245 secs
lola: 7011348 markings, 11308869 edges, 29926 markings/sec, 250 secs
lola: 7168073 markings, 11556535 edges, 31345 markings/sec, 255 secs
lola: 7342314 markings, 11825587 edges, 34848 markings/sec, 260 secs
lola: 7491590 markings, 12067307 edges, 29855 markings/sec, 265 secs
lola: 7644944 markings, 12312246 edges, 30671 markings/sec, 270 secs
lola: 7808283 markings, 12569027 edges, 32668 markings/sec, 275 secs
lola: 7969426 markings, 12822251 edges, 32229 markings/sec, 280 secs
lola: 8117001 markings, 13061353 edges, 29515 markings/sec, 285 secs
lola: 8269959 markings, 13305833 edges, 30592 markings/sec, 290 secs
lola: 8427395 markings, 13558166 edges, 31487 markings/sec, 295 secs
lola: 8602048 markings, 13829003 edges, 34931 markings/sec, 300 secs
lola: 8753998 markings, 14072443 edges, 30390 markings/sec, 305 secs
lola: 8902999 markings, 14313098 edges, 29800 markings/sec, 310 secs
lola: 9054622 markings, 14558201 edges, 30325 markings/sec, 315 secs
lola: 9207184 markings, 14800885 edges, 30512 markings/sec, 320 secs
lola: 9360208 markings, 15046902 edges, 30605 markings/sec, 325 secs
lola: 9520098 markings, 15298948 edges, 31978 markings/sec, 330 secs
lola: 9683774 markings, 15558933 edges, 32735 markings/sec, 335 secs
lola: 9834278 markings, 15799825 edges, 30101 markings/sec, 340 secs
lola: 9985137 markings, 16042486 edges, 30172 markings/sec, 345 secs
lola: 10135957 markings, 16285295 edges, 30164 markings/sec, 350 secs
lola: 10288187 markings, 16530595 edges, 30446 markings/sec, 355 secs
lola: 10441582 markings, 16777392 edges, 30679 markings/sec, 360 secs
lola: 10594443 markings, 17023403 edges, 30572 markings/sec, 365 secs
lola: 10749060 markings, 17272614 edges, 30923 markings/sec, 370 secs
lola: 10902258 markings, 17521758 edges, 30640 markings/sec, 375 secs
lola: 11048940 markings, 17760435 edges, 29336 markings/sec, 380 secs
lola: 11197574 markings, 18003625 edges, 29727 markings/sec, 385 secs
lola: 11350143 markings, 18251934 edges, 30514 markings/sec, 390 secs
lola: 11506057 markings, 18501965 edges, 31183 markings/sec, 395 secs
lola: 11662408 markings, 18755656 edges, 31270 markings/sec, 400 secs
lola: 11804496 markings, 18990863 edges, 28418 markings/sec, 405 secs
lola: 11962209 markings, 19246438 edges, 31543 markings/sec, 410 secs
lola: 12113461 markings, 19494317 edges, 30250 markings/sec, 415 secs
lola: 12272489 markings, 19755435 edges, 31806 markings/sec, 420 secs
lola: 12426223 markings, 20010497 edges, 30747 markings/sec, 425 secs
lola: 12583459 markings, 20266449 edges, 31447 markings/sec, 430 secs
lola: 12729294 markings, 20509942 edges, 29167 markings/sec, 435 secs
lola: 12877469 markings, 20758117 edges, 29635 markings/sec, 440 secs
lola: 13028665 markings, 21010621 edges, 30239 markings/sec, 445 secs
lola: 13182787 markings, 21267375 edges, 30824 markings/sec, 450 secs
lola: 13341425 markings, 21534030 edges, 31728 markings/sec, 455 secs
lola: 13488747 markings, 21785429 edges, 29464 markings/sec, 460 secs
lola: 13634365 markings, 22034886 edges, 29124 markings/sec, 465 secs
lola: 13784375 markings, 22293782 edges, 30002 markings/sec, 470 secs
lola: 13938027 markings, 22562857 edges, 30730 markings/sec, 475 secs
lola: 14085520 markings, 22824894 edges, 29499 markings/sec, 480 secs
lola: 14233885 markings, 23098895 edges, 29673 markings/sec, 485 secs
lola: 14381197 markings, 23396561 edges, 29462 markings/sec, 490 secs
lola: 14523981 markings, 23631317 edges, 28557 markings/sec, 495 secs
lola: 14663761 markings, 23823184 edges, 27956 markings/sec, 500 secs
lola: 14804655 markings, 24018123 edges, 28179 markings/sec, 505 secs
lola: 14948579 markings, 24215611 edges, 28785 markings/sec, 510 secs
lola: 15085036 markings, 24409442 edges, 27291 markings/sec, 515 secs
lola: 15215758 markings, 24601932 edges, 26144 markings/sec, 520 secs
lola: 15355554 markings, 24793765 edges, 27959 markings/sec, 525 secs
lola: 15502281 markings, 24995378 edges, 29345 markings/sec, 530 secs
lola: 15635312 markings, 25192201 edges, 26606 markings/sec, 535 secs
lola: 15779041 markings, 25390946 edges, 28746 markings/sec, 540 secs
lola: 15917862 markings, 25588326 edges, 27764 markings/sec, 545 secs
lola: 16049380 markings, 25778809 edges, 26304 markings/sec, 550 secs
lola: 16193227 markings, 25979915 edges, 28769 markings/sec, 555 secs
lola: 16324687 markings, 26171548 edges, 26292 markings/sec, 560 secs
lola: 16467519 markings, 26375353 edges, 28566 markings/sec, 565 secs
lola: 16612584 markings, 26579740 edges, 29013 markings/sec, 570 secs
lola: 16744894 markings, 26775462 edges, 26462 markings/sec, 575 secs
lola: 16883009 markings, 26977679 edges, 27623 markings/sec, 580 secs
lola: 17024472 markings, 27180061 edges, 28293 markings/sec, 585 secs
lola: 17166057 markings, 27386433 edges, 28317 markings/sec, 590 secs
lola: 17306928 markings, 27593868 edges, 28174 markings/sec, 595 secs
lola: 17449476 markings, 27803681 edges, 28510 markings/sec, 600 secs
lola: 17596170 markings, 28016847 edges, 29339 markings/sec, 605 secs
lola: 17735738 markings, 28226088 edges, 27914 markings/sec, 610 secs
lola: 17876759 markings, 28435972 edges, 28204 markings/sec, 615 secs
lola: 18016035 markings, 28648071 edges, 27855 markings/sec, 620 secs
lola: 18156787 markings, 28861990 edges, 28150 markings/sec, 625 secs
lola: 18297393 markings, 29076255 edges, 28121 markings/sec, 630 secs
lola: 18437292 markings, 29292436 edges, 27980 markings/sec, 635 secs
lola: 18575384 markings, 29508439 edges, 27618 markings/sec, 640 secs
lola: 18709296 markings, 29724679 edges, 26782 markings/sec, 645 secs
lola: 18844736 markings, 29945472 edges, 27088 markings/sec, 650 secs
lola: 18979386 markings, 30171811 edges, 26930 markings/sec, 655 secs
lola: 19110128 markings, 30404590 edges, 26148 markings/sec, 660 secs
lola: 19233261 markings, 30660338 edges, 24627 markings/sec, 665 secs
lola: 19399445 markings, 30903477 edges, 33237 markings/sec, 670 secs
lola: 19564098 markings, 31124324 edges, 32931 markings/sec, 675 secs
lola: 19732761 markings, 31341491 edges, 33733 markings/sec, 680 secs
lola: 19895047 markings, 31558678 edges, 32457 markings/sec, 685 secs
lola: 20059160 markings, 31771313 edges, 32823 markings/sec, 690 secs
lola: 20223481 markings, 31989229 edges, 32864 markings/sec, 695 secs
lola: 20388483 markings, 32204748 edges, 33000 markings/sec, 700 secs
lola: 20549367 markings, 32420843 edges, 32177 markings/sec, 705 secs
lola: 20717701 markings, 32636803 edges, 33667 markings/sec, 710 secs
lola: 20872656 markings, 32848704 edges, 30991 markings/sec, 715 secs
lola: 21040351 markings, 33061029 edges, 33539 markings/sec, 720 secs
lola: 21193316 markings, 33272684 edges, 30593 markings/sec, 725 secs
lola: 21365717 markings, 33488810 edges, 34480 markings/sec, 730 secs
lola: 21512178 markings, 33695148 edges, 29292 markings/sec, 735 secs
lola: 21691686 markings, 33916556 edges, 35902 markings/sec, 740 secs
lola: 21836873 markings, 34123226 edges, 29037 markings/sec, 745 secs
lola: 22019073 markings, 34347667 edges, 36440 markings/sec, 750 secs
lola: 22158713 markings, 34547230 edges, 27928 markings/sec, 755 secs
lola: 22334486 markings, 34771536 edges, 35155 markings/sec, 760 secs
lola: 22489832 markings, 34982551 edges, 31069 markings/sec, 765 secs
lola: 22652530 markings, 35200223 edges, 32540 markings/sec, 770 secs
lola: 22822013 markings, 35416139 edges, 33897 markings/sec, 775 secs
lola: 22971683 markings, 35627271 edges, 29934 markings/sec, 780 secs
lola: 23153379 markings, 35854722 edges, 36339 markings/sec, 785 secs
lola: 23299732 markings, 36060139 edges, 29271 markings/sec, 790 secs
lola: 23465775 markings, 36278112 edges, 33209 markings/sec, 795 secs
lola: 23632686 markings, 36493627 edges, 33382 markings/sec, 800 secs
lola: 23782340 markings, 36703927 edges, 29931 markings/sec, 805 secs
lola: 23959229 markings, 36929437 edges, 35378 markings/sec, 810 secs
lola: 24113126 markings, 37138483 edges, 30779 markings/sec, 815 secs
lola: 24267694 markings, 37351370 edges, 30914 markings/sec, 820 secs
lola: 24445496 markings, 37573496 edges, 35560 markings/sec, 825 secs
lola: 24591829 markings, 37780453 edges, 29267 markings/sec, 830 secs
lola: 24751091 markings, 37997978 edges, 31852 markings/sec, 835 secs
lola: 24925337 markings, 38215820 edges, 34849 markings/sec, 840 secs
lola: 25071411 markings, 38421300 edges, 29215 markings/sec, 845 secs
lola: 25228808 markings, 38636600 edges, 31479 markings/sec, 850 secs
lola: 25400734 markings, 38855843 edges, 34385 markings/sec, 855 secs
lola: 25551908 markings, 39062300 edges, 30235 markings/sec, 860 secs
lola: 25701886 markings, 39270166 edges, 29996 markings/sec, 865 secs
lola: 25868632 markings, 39487347 edges, 33349 markings/sec, 870 secs
lola: 26030087 markings, 39700477 edges, 32291 markings/sec, 875 secs
lola: 26179478 markings, 39910099 edges, 29878 markings/sec, 880 secs
lola: 26333083 markings, 40120864 edges, 30721 markings/sec, 885 secs
lola: 26500275 markings, 40338760 edges, 33438 markings/sec, 890 secs
lola: 26661330 markings, 40551485 edges, 32211 markings/sec, 895 secs
lola: 26810934 markings, 40759615 edges, 29921 markings/sec, 900 secs
lola: 26959235 markings, 40964735 edges, 29660 markings/sec, 905 secs
lola: 27115500 markings, 41178752 edges, 31253 markings/sec, 910 secs
lola: 27278242 markings, 41393195 edges, 32548 markings/sec, 915 secs
lola: 27439843 markings, 41609002 edges, 32320 markings/sec, 920 secs
lola: 27592625 markings, 41816231 edges, 30556 markings/sec, 925 secs
lola: 27739848 markings, 42021473 edges, 29445 markings/sec, 930 secs
lola: 27892977 markings, 42233322 edges, 30626 markings/sec, 935 secs
lola: 28046735 markings, 42443926 edges, 30752 markings/sec, 940 secs
lola: 28199712 markings, 42653868 edges, 30595 markings/sec, 945 secs
lola: 28354236 markings, 42866185 edges, 30905 markings/sec, 950 secs
lola: 28507720 markings, 43077285 edges, 30697 markings/sec, 955 secs
lola: 28662418 markings, 43288860 edges, 30940 markings/sec, 960 secs
lola: 28817884 markings, 43503275 edges, 31093 markings/sec, 965 secs
lola: 28973553 markings, 43717041 edges, 31134 markings/sec, 970 secs
lola: 29128095 markings, 43930375 edges, 30908 markings/sec, 975 secs
lola: 29282589 markings, 44142784 edges, 30899 markings/sec, 980 secs
lola: 29437546 markings, 44354388 edges, 30991 markings/sec, 985 secs
lola: 29594704 markings, 44570773 edges, 31432 markings/sec, 990 secs
lola: 29742725 markings, 44781848 edges, 29604 markings/sec, 995 secs
lola: 29890796 markings, 44992457 edges, 29614 markings/sec, 1000 secs
lola: 30050145 markings, 45211303 edges, 31870 markings/sec, 1005 secs
lola: 30205079 markings, 45428549 edges, 30987 markings/sec, 1010 secs
lola: 30364605 markings, 45657562 edges, 31905 markings/sec, 1015 secs
lola: 30530193 markings, 45890293 edges, 33118 markings/sec, 1020 secs
lola: 30681898 markings, 46105207 edges, 30341 markings/sec, 1025 secs
lola: 30828570 markings, 46318587 edges, 29334 markings/sec, 1030 secs
lola: 30983673 markings, 46537632 edges, 31021 markings/sec, 1035 secs
lola: 31134986 markings, 46754516 edges, 30263 markings/sec, 1040 secs
lola: 31285912 markings, 46974269 edges, 30185 markings/sec, 1045 secs
lola: 31446905 markings, 47211249 edges, 32199 markings/sec, 1050 secs
lola: 31599558 markings, 47439687 edges, 30531 markings/sec, 1055 secs
lola: 31752426 markings, 47663055 edges, 30574 markings/sec, 1060 secs
lola: 31895471 markings, 47882467 edges, 28609 markings/sec, 1065 secs
lola: 32050015 markings, 48116053 edges, 30909 markings/sec, 1070 secs
lola: 32205408 markings, 48359569 edges, 31079 markings/sec, 1075 secs
lola: 32352182 markings, 48597555 edges, 29355 markings/sec, 1080 secs
lola: 32505003 markings, 48854183 edges, 30564 markings/sec, 1085 secs
lola: 32656951 markings, 49156806 edges, 30390 markings/sec, 1090 secs
lola: 32777358 markings, 49368460 edges, 24081 markings/sec, 1095 secs
lola: 32883448 markings, 49561330 edges, 21218 markings/sec, 1100 secs
lola: 32988957 markings, 49755074 edges, 21102 markings/sec, 1105 secs
lola: 33102577 markings, 49953812 edges, 22724 markings/sec, 1110 secs
lola: 33219972 markings, 50149850 edges, 23479 markings/sec, 1115 secs
lola: 33329684 markings, 50342096 edges, 21942 markings/sec, 1120 secs
lola: 33436119 markings, 50537474 edges, 21287 markings/sec, 1125 secs
lola: 33545203 markings, 50733335 edges, 21817 markings/sec, 1130 secs
lola: 33656162 markings, 50931762 edges, 22192 markings/sec, 1135 secs
lola: 33770968 markings, 51124188 edges, 22961 markings/sec, 1140 secs
lola: 33882730 markings, 51315430 edges, 22352 markings/sec, 1145 secs
lola: 33988015 markings, 51506898 edges, 21057 markings/sec, 1150 secs
lola: 34095862 markings, 51702321 edges, 21569 markings/sec, 1155 secs
lola: 34203874 markings, 51898390 edges, 21602 markings/sec, 1160 secs
lola: 34314432 markings, 52094151 edges, 22112 markings/sec, 1165 secs
lola: 34424991 markings, 52291410 edges, 22112 markings/sec, 1170 secs
lola: 34533591 markings, 52485855 edges, 21720 markings/sec, 1175 secs
lola: 34641940 markings, 52672733 edges, 21670 markings/sec, 1180 secs
lola: 34749339 markings, 52862604 edges, 21480 markings/sec, 1185 secs
lola: 34856262 markings, 53051483 edges, 21385 markings/sec, 1190 secs
lola: 34961949 markings, 53237896 edges, 21137 markings/sec, 1195 secs
lola: 35067252 markings, 53426740 edges, 21061 markings/sec, 1200 secs
lola: 35171957 markings, 53614327 edges, 20941 markings/sec, 1205 secs
lola: 35277238 markings, 53803072 edges, 21056 markings/sec, 1210 secs
lola: 35378582 markings, 53986482 edges, 20269 markings/sec, 1215 secs
lola: 35480495 markings, 54171243 edges, 20383 markings/sec, 1220 secs
lola: 35583037 markings, 54357421 edges, 20508 markings/sec, 1225 secs
lola: 35685042 markings, 54546651 edges, 20401 markings/sec, 1230 secs
lola: 35787760 markings, 54733957 edges, 20544 markings/sec, 1235 secs
lola: 35889643 markings, 54917914 edges, 20377 markings/sec, 1240 secs
lola: 35991089 markings, 55099885 edges, 20289 markings/sec, 1245 secs
lola: 36094986 markings, 55283858 edges, 20779 markings/sec, 1250 secs
lola: 36198534 markings, 55473040 edges, 20710 markings/sec, 1255 secs
lola: 36296219 markings, 55659418 edges, 19537 markings/sec, 1260 secs
lola: 36396108 markings, 55841113 edges, 19978 markings/sec, 1265 secs
lola: 36501652 markings, 56026591 edges, 21109 markings/sec, 1270 secs
lola: 36599349 markings, 56213749 edges, 19539 markings/sec, 1275 secs
lola: 36700751 markings, 56398597 edges, 20280 markings/sec, 1280 secs
lola: 36803222 markings, 56586985 edges, 20494 markings/sec, 1285 secs
lola: 36904559 markings, 56776098 edges, 20267 markings/sec, 1290 secs
lola: 37006395 markings, 56969873 edges, 20367 markings/sec, 1295 secs
lola: 37110384 markings, 57156345 edges, 20798 markings/sec, 1300 secs
lola: 37207294 markings, 57343243 edges, 19382 markings/sec, 1305 secs
lola: 37306525 markings, 57532635 edges, 19846 markings/sec, 1310 secs
lola: 37409189 markings, 57726939 edges, 20533 markings/sec, 1315 secs
lola: 37512081 markings, 57923232 edges, 20578 markings/sec, 1320 secs
lola: 37624815 markings, 58133810 edges, 22547 markings/sec, 1325 secs
lola: 37723269 markings, 58328067 edges, 19691 markings/sec, 1330 secs
lola: 37822708 markings, 58520950 edges, 19888 markings/sec, 1335 secs
lola: 37922975 markings, 58720321 edges, 20053 markings/sec, 1340 secs
lola: 38027009 markings, 58926249 edges, 20807 markings/sec, 1345 secs
lola: 38130641 markings, 59135122 edges, 20726 markings/sec, 1350 secs
lola: 38228215 markings, 59334377 edges, 19515 markings/sec, 1355 secs
lola: 38328753 markings, 59546852 edges, 20108 markings/sec, 1360 secs
lola: 38426899 markings, 59764327 edges, 19629 markings/sec, 1365 secs
lola: 38526420 markings, 60000550 edges, 19904 markings/sec, 1370 secs
lola: 38656925 markings, 60264523 edges, 26101 markings/sec, 1375 secs
lola: 38794306 markings, 60459640 edges, 27476 markings/sec, 1380 secs
lola: 38926882 markings, 60647924 edges, 26515 markings/sec, 1385 secs
lola: 39061277 markings, 60839921 edges, 26879 markings/sec, 1390 secs
lola: 39202763 markings, 61034887 edges, 28297 markings/sec, 1395 secs
lola: 39347599 markings, 61233686 edges, 28967 markings/sec, 1400 secs
lola: 39482593 markings, 61427863 edges, 26999 markings/sec, 1405 secs
lola: 39616462 markings, 61620176 edges, 26774 markings/sec, 1410 secs
lola: 39765318 markings, 61824120 edges, 29771 markings/sec, 1415 secs
lola: 39903812 markings, 62024570 edges, 27699 markings/sec, 1420 secs
lola: 40041827 markings, 62220074 edges, 27603 markings/sec, 1425 secs
lola: 40183368 markings, 62419069 edges, 28308 markings/sec, 1430 secs
lola: 40315176 markings, 62611307 edges, 26362 markings/sec, 1435 secs
lola: 40457593 markings, 62810582 edges, 28483 markings/sec, 1440 secs
lola: 40592324 markings, 63005946 edges, 26946 markings/sec, 1445 secs
lola: 40731110 markings, 63207196 edges, 27757 markings/sec, 1450 secs
lola: 40874866 markings, 63409856 edges, 28751 markings/sec, 1455 secs
lola: 41009637 markings, 63606100 edges, 26954 markings/sec, 1460 secs
lola: 41143871 markings, 63804211 edges, 26847 markings/sec, 1465 secs
lola: 41282382 markings, 64005949 edges, 27702 markings/sec, 1470 secs
lola: 41419614 markings, 64207289 edges, 27446 markings/sec, 1475 secs
lola: 41559517 markings, 64410978 edges, 27981 markings/sec, 1480 secs
lola: 41701645 markings, 64618528 edges, 28426 markings/sec, 1485 secs
lola: 41844017 markings, 64828366 edges, 28474 markings/sec, 1490 secs
lola: 41977892 markings, 65031471 edges, 26775 markings/sec, 1495 secs
lola: 42121927 markings, 65244408 edges, 28807 markings/sec, 1500 secs
lola: 42264118 markings, 65457971 edges, 28438 markings/sec, 1505 secs
lola: 42402277 markings, 65669191 edges, 27632 markings/sec, 1510 secs
lola: 42540347 markings, 65886472 edges, 27614 markings/sec, 1515 secs
lola: 42678358 markings, 66098292 edges, 27602 markings/sec, 1520 secs
lola: 42811173 markings, 66308654 edges, 26563 markings/sec, 1525 secs
lola: 42940943 markings, 66520229 edges, 25954 markings/sec, 1530 secs
lola: 43075186 markings, 66740392 edges, 26849 markings/sec, 1535 secs
lola: 43205061 markings, 66964492 edges, 25975 markings/sec, 1540 secs
lola: 43332355 markings, 67198943 edges, 25459 markings/sec, 1545 secs
lola: 43458131 markings, 67462990 edges, 25155 markings/sec, 1550 secs
lola: 43640605 markings, 67685583 edges, 36495 markings/sec, 1555 secs
lola: 43782336 markings, 67889911 edges, 28346 markings/sec, 1560 secs
lola: 43957367 markings, 68103463 edges, 35006 markings/sec, 1565 secs
lola: 44101711 markings, 68309374 edges, 28869 markings/sec, 1570 secs
lola: 44275241 markings, 68522897 edges, 34706 markings/sec, 1575 secs
lola: 44421175 markings, 68729278 edges, 29187 markings/sec, 1580 secs
lola: 44590354 markings, 68939365 edges, 33836 markings/sec, 1585 secs
lola: 44740885 markings, 69152142 edges, 30106 markings/sec, 1590 secs
lola: 44912074 markings, 69362570 edges, 34238 markings/sec, 1595 secs
lola: 45059393 markings, 69571362 edges, 29464 markings/sec, 1600 secs
lola: 45229670 markings, 69780821 edges, 34055 markings/sec, 1605 secs
lola: 45375082 markings, 69987414 edges, 29082 markings/sec, 1610 secs
lola: 45546479 markings, 70198501 edges, 34279 markings/sec, 1615 secs
lola: 45687102 markings, 70397849 edges, 28125 markings/sec, 1620 secs
lola: 45856750 markings, 70607202 edges, 33930 markings/sec, 1625 secs
lola: 45994203 markings, 70804428 edges, 27491 markings/sec, 1630 secs
lola: 46167247 markings, 71016378 edges, 34609 markings/sec, 1635 secs
lola: 46302603 markings, 71211107 edges, 27071 markings/sec, 1640 secs
lola: 46478917 markings, 71428548 edges, 35263 markings/sec, 1645 secs
lola: 46616846 markings, 71625278 edges, 27586 markings/sec, 1650 secs
lola: 46790144 markings, 71846103 edges, 34660 markings/sec, 1655 secs
lola: 46943112 markings, 72054677 edges, 30594 markings/sec, 1660 secs
lola: 47108282 markings, 72274777 edges, 33034 markings/sec, 1665 secs
lola: 47279622 markings, 72493802 edges, 34268 markings/sec, 1670 secs
lola: 47430256 markings, 72705408 edges, 30127 markings/sec, 1675 secs
lola: 47608369 markings, 72932025 edges, 35623 markings/sec, 1680 secs
lola: 47762716 markings, 73142593 edges, 30869 markings/sec, 1685 secs
lola: 47922315 markings, 73359657 edges, 31920 markings/sec, 1690 secs
lola: 48096425 markings, 73578366 edges, 34822 markings/sec, 1695 secs
lola: 48243487 markings, 73787238 edges, 29412 markings/sec, 1700 secs
lola: 48410369 markings, 74005275 edges, 33376 markings/sec, 1705 secs
lola: 48575058 markings, 74219151 edges, 32938 markings/sec, 1710 secs
lola: 48723542 markings, 74427566 edges, 29697 markings/sec, 1715 secs
lola: 48893501 markings, 74648698 edges, 33992 markings/sec, 1720 secs
lola: 49054334 markings, 74860688 edges, 32167 markings/sec, 1725 secs
lola: 49203500 markings, 75069158 edges, 29833 markings/sec, 1730 secs
lola: 49372131 markings, 75289307 edges, 33726 markings/sec, 1735 secs
lola: 49532953 markings, 75500859 edges, 32164 markings/sec, 1740 secs
lola: 49680783 markings, 75710163 edges, 29566 markings/sec, 1745 secs
lola: 49841211 markings, 75924432 edges, 32086 markings/sec, 1750 secs
lola: 50011251 markings, 76140805 edges, 34008 markings/sec, 1755 secs
lola: 50159492 markings, 76347828 edges, 29648 markings/sec, 1760 secs
lola: 50311977 markings, 76558102 edges, 30497 markings/sec, 1765 secs
lola: 50475134 markings, 76774528 edges, 32631 markings/sec, 1770 secs
lola: 50641588 markings, 76990391 edges, 33291 markings/sec, 1775 secs
lola: 50789663 markings, 77196758 edges, 29615 markings/sec, 1780 secs
lola: 50939939 markings, 77404887 edges, 30055 markings/sec, 1785 secs
lola: 51095705 markings, 77617713 edges, 31153 markings/sec, 1790 secs
lola: 51258359 markings, 77829661 edges, 32531 markings/sec, 1795 secs
lola: 51417795 markings, 78042345 edges, 31887 markings/sec, 1800 secs
lola: 51568542 markings, 78250618 edges, 30149 markings/sec, 1805 secs
lola: 51718686 markings, 78459728 edges, 30029 markings/sec, 1810 secs
lola: 51871342 markings, 78668902 edges, 30531 markings/sec, 1815 secs
lola: 52026017 markings, 78881442 edges, 30935 markings/sec, 1820 secs
lola: 52182110 markings, 79094876 edges, 31219 markings/sec, 1825 secs
lola: 52339499 markings, 79305193 edges, 31478 markings/sec, 1830 secs
lola: 52495871 markings, 79519091 edges, 31274 markings/sec, 1835 secs
lola: 52651713 markings, 79732142 edges, 31168 markings/sec, 1840 secs
lola: 52807022 markings, 79944509 edges, 31062 markings/sec, 1845 secs
lola: 52961108 markings, 80158238 edges, 30817 markings/sec, 1850 secs
lola: 53114747 markings, 80371671 edges, 30728 markings/sec, 1855 secs
lola: 53266047 markings, 80581802 edges, 30260 markings/sec, 1860 secs
lola: 53413988 markings, 80788913 edges, 29588 markings/sec, 1865 secs
lola: 53564425 markings, 80995869 edges, 30087 markings/sec, 1870 secs
lola: 53718590 markings, 81209313 edges, 30833 markings/sec, 1875 secs
lola: 53877576 markings, 81425390 edges, 31797 markings/sec, 1880 secs
lola: 54030988 markings, 81640993 edges, 30682 markings/sec, 1885 secs
lola: 54177064 markings, 81852012 edges, 29215 markings/sec, 1890 secs
lola: 54332521 markings, 82066171 edges, 31091 markings/sec, 1895 secs
lola: 54490511 markings, 82289079 edges, 31598 markings/sec, 1900 secs
lola: 54652691 markings, 82518743 edges, 32436 markings/sec, 1905 secs
lola: 54804802 markings, 82737311 edges, 30422 markings/sec, 1910 secs
lola: 54954908 markings, 82947336 edges, 30021 markings/sec, 1915 secs
lola: 55099212 markings, 83158893 edges, 28861 markings/sec, 1920 secs
lola: 55250012 markings, 83373278 edges, 30160 markings/sec, 1925 secs
lola: 55401215 markings, 83591871 edges, 30241 markings/sec, 1930 secs
lola: 55553937 markings, 83815450 edges, 30544 markings/sec, 1935 secs
lola: 55711133 markings, 84048759 edges, 31439 markings/sec, 1940 secs
lola: 55859790 markings, 84265929 edges, 29731 markings/sec, 1945 secs
lola: 56002957 markings, 84484577 edges, 28633 markings/sec, 1950 secs
lola: 56151107 markings, 84709066 edges, 29630 markings/sec, 1955 secs
lola: 56310631 markings, 84951722 edges, 31905 markings/sec, 1960 secs
lola: 56455298 markings, 85182447 edges, 28933 markings/sec, 1965 secs
lola: 56607889 markings, 85434443 edges, 30518 markings/sec, 1970 secs
lola: 56755483 markings, 85696223 edges, 29519 markings/sec, 1975 secs
lola: 56889193 markings, 85973369 edges, 26742 markings/sec, 1980 secs
lola: 56999590 markings, 86170843 edges, 22079 markings/sec, 1985 secs
lola: 57116746 markings, 86368860 edges, 23431 markings/sec, 1990 secs
lola: 57231180 markings, 86562115 edges, 22887 markings/sec, 1995 secs
lola: 57337134 markings, 86757273 edges, 21191 markings/sec, 2000 secs
lola: 57445149 markings, 86952819 edges, 21603 markings/sec, 2005 secs
lola: 57558200 markings, 87154381 edges, 22610 markings/sec, 2010 secs
lola: 57674912 markings, 87347302 edges, 23342 markings/sec, 2015 secs
lola: 57786969 markings, 87541840 edges, 22411 markings/sec, 2020 secs
lola: 57893232 markings, 87735187 edges, 21253 markings/sec, 2025 secs
lola: 57998518 markings, 87928207 edges, 21057 markings/sec, 2030 secs
lola: 58107223 markings, 88120999 edges, 21741 markings/sec, 2035 secs
lola: 58215200 markings, 88310839 edges, 21595 markings/sec, 2040 secs
lola: 58319895 markings, 88486864 edges, 20939 markings/sec, 2045 secs
lola: 58418009 markings, 88660766 edges, 19623 markings/sec, 2050 secs
lola: 58514122 markings, 88838340 edges, 19223 markings/sec, 2055 secs
lola: 58610182 markings, 89012703 edges, 19212 markings/sec, 2060 secs
lola: 58709213 markings, 89190367 edges, 19806 markings/sec, 2065 secs
lola: 58811147 markings, 89364295 edges, 20387 markings/sec, 2070 secs
lola: 58911859 markings, 89539733 edges, 20142 markings/sec, 2075 secs
lola: 59007954 markings, 89710417 edges, 19219 markings/sec, 2080 secs
lola: 59102379 markings, 89882900 edges, 18885 markings/sec, 2085 secs
lola: 59196471 markings, 90055411 edges, 18818 markings/sec, 2090 secs
lola: 59291059 markings, 90227955 edges, 18918 markings/sec, 2095 secs
lola: 59385725 markings, 90397266 edges, 18933 markings/sec, 2100 secs
lola: 59481087 markings, 90569043 edges, 19072 markings/sec, 2105 secs
lola: 59575613 markings, 90739776 edges, 18905 markings/sec, 2110 secs
lola: 59669990 markings, 90910307 edges, 18875 markings/sec, 2115 secs
lola: 59764172 markings, 91076030 edges, 18836 markings/sec, 2120 secs
lola: 59857603 markings, 91245536 edges, 18686 markings/sec, 2125 secs
lola: 59950585 markings, 91413967 edges, 18596 markings/sec, 2130 secs
lola: 60043346 markings, 91581880 edges, 18552 markings/sec, 2135 secs
lola: 60132887 markings, 91747298 edges, 17908 markings/sec, 2140 secs
lola: 60221204 markings, 91907378 edges, 17663 markings/sec, 2145 secs
lola: 60309340 markings, 92067313 edges, 17627 markings/sec, 2150 secs
lola: 60398496 markings, 92229150 edges, 17831 markings/sec, 2155 secs
lola: 60497701 markings, 92408087 edges, 19841 markings/sec, 2160 secs
lola: 60603475 markings, 92595514 edges, 21155 markings/sec, 2165 secs
lola: 60700666 markings, 92783912 edges, 19438 markings/sec, 2170 secs
lola: 60804336 markings, 92970424 edges, 20734 markings/sec, 2175 secs
lola: 60907980 markings, 93161766 edges, 20729 markings/sec, 2180 secs
lola: 61008486 markings, 93349241 edges, 20101 markings/sec, 2185 secs
lola: 61112750 markings, 93544731 edges, 20853 markings/sec, 2190 secs
lola: 61219495 markings, 93737253 edges, 21349 markings/sec, 2195 secs
lola: 61318192 markings, 93928078 edges, 19739 markings/sec, 2200 secs
lola: 61421279 markings, 94122723 edges, 20617 markings/sec, 2205 secs
lola: 61524685 markings, 94318776 edges, 20681 markings/sec, 2210 secs
lola: 61628895 markings, 94516286 edges, 20842 markings/sec, 2215 secs
lola: 61738019 markings, 94723686 edges, 21825 markings/sec, 2220 secs
lola: 61848770 markings, 94933748 edges, 22150 markings/sec, 2225 secs
lola: 61947740 markings, 95129391 edges, 19794 markings/sec, 2230 secs
lola: 62051265 markings, 95329557 edges, 20705 markings/sec, 2235 secs
lola: 62154688 markings, 95534294 edges, 20685 markings/sec, 2240 secs
lola: 62264027 markings, 95753724 edges, 21868 markings/sec, 2245 secs
lola: 62364047 markings, 95960216 edges, 20004 markings/sec, 2250 secs
lola: 62466728 markings, 96172491 edges, 20536 markings/sec, 2255 secs
lola: 62571079 markings, 96398779 edges, 20870 markings/sec, 2260 secs
lola: 62673205 markings, 96634659 edges, 20425 markings/sec, 2265 secs
lola: 62787007 markings, 96910982 edges, 22760 markings/sec, 2270 secs
lola: 62937012 markings, 97115842 edges, 30001 markings/sec, 2275 secs
lola: 63082146 markings, 97319161 edges, 29027 markings/sec, 2280 secs
lola: 63218104 markings, 97515189 edges, 27192 markings/sec, 2285 secs
lola: 63358324 markings, 97712379 edges, 28044 markings/sec, 2290 secs
lola: 63507132 markings, 97916804 edges, 29762 markings/sec, 2295 secs
lola: 63651022 markings, 98120558 edges, 28778 markings/sec, 2300 secs
lola: 63787015 markings, 98317643 edges, 27199 markings/sec, 2305 secs
lola: 63939121 markings, 98525452 edges, 30421 markings/sec, 2310 secs
lola: 64079169 markings, 98728840 edges, 28010 markings/sec, 2315 secs
lola: 64223671 markings, 98931390 edges, 28900 markings/sec, 2320 secs
lola: 64365397 markings, 99134233 edges, 28345 markings/sec, 2325 secs
lola: 64508557 markings, 99336918 edges, 28632 markings/sec, 2330 secs
lola: 64644133 markings, 99533579 edges, 27115 markings/sec, 2335 secs
lola: 64790103 markings, 99737820 edges, 29194 markings/sec, 2340 secs
lola: 64927352 markings, 99940730 edges, 27450 markings/sec, 2345 secs
lola: 65067997 markings, 100144967 edges, 28129 markings/sec, 2350 secs
lola: 65212773 markings, 100350192 edges, 28955 markings/sec, 2355 secs
lola: 65356320 markings, 100556691 edges, 28709 markings/sec, 2360 secs
lola: 65497742 markings, 100762242 edges, 28284 markings/sec, 2365 secs
lola: 65638463 markings, 100969334 edges, 28144 markings/sec, 2370 secs
lola: 65777610 markings, 101174839 edges, 27829 markings/sec, 2375 secs
lola: 65914559 markings, 101381414 edges, 27390 markings/sec, 2380 secs
lola: 66057246 markings, 101589039 edges, 28537 markings/sec, 2385 secs
lola: 66195091 markings, 101796616 edges, 27569 markings/sec, 2390 secs
lola: 66338069 markings, 102008449 edges, 28596 markings/sec, 2395 secs
lola: 66475829 markings, 102218407 edges, 27552 markings/sec, 2400 secs
lola: 66613267 markings, 102428023 edges, 27488 markings/sec, 2405 secs
lola: 66748865 markings, 102640371 edges, 27120 markings/sec, 2410 secs
lola: 66886992 markings, 102854723 edges, 27625 markings/sec, 2415 secs
lola: 67021125 markings, 103068862 edges, 26827 markings/sec, 2420 secs
lola: 67155072 markings, 103286064 edges, 26789 markings/sec, 2425 secs
lola: 67288295 markings, 103508634 edges, 26645 markings/sec, 2430 secs
lola: 67418590 markings, 103735901 edges, 26059 markings/sec, 2435 secs
lola: 67542195 markings, 103974463 edges, 24721 markings/sec, 2440 secs
lola: 67686829 markings, 104235072 edges, 28927 markings/sec, 2445 secs
lola: 67870783 markings, 104465213 edges, 36791 markings/sec, 2450 secs
lola: 68021926 markings, 104675226 edges, 30229 markings/sec, 2455 secs
lola: 68203320 markings, 104902099 edges, 36279 markings/sec, 2460 secs
lola: 68353402 markings, 105111016 edges, 30016 markings/sec, 2465 secs
lola: 68534539 markings, 105336931 edges, 36227 markings/sec, 2470 secs
lola: 68682992 markings, 105544733 edges, 29691 markings/sec, 2475 secs
lola: 68863148 markings, 105772180 edges, 36031 markings/sec, 2480 secs
lola: 69017547 markings, 105982807 edges, 30880 markings/sec, 2485 secs
lola: 69191432 markings, 106206934 edges, 34777 markings/sec, 2490 secs
lola: 69351446 markings, 106420296 edges, 32003 markings/sec, 2495 secs
lola: 69519824 markings, 106642155 edges, 33676 markings/sec, 2500 secs
lola: 69688481 markings, 106861690 edges, 33731 markings/sec, 2505 secs
lola: 69844579 markings, 107079569 edges, 31220 markings/sec, 2510 secs
lola: 70022215 markings, 107298426 edges, 35527 markings/sec, 2515 secs
lola: 70169594 markings, 107507619 edges, 29476 markings/sec, 2520 secs
lola: 70351669 markings, 107730851 edges, 36415 markings/sec, 2525 secs
lola: 70496120 markings, 107936894 edges, 28890 markings/sec, 2530 secs
lola: 70675827 markings, 108165096 edges, 35941 markings/sec, 2535 secs
lola: 70827986 markings, 108374027 edges, 30432 markings/sec, 2540 secs
lola: 70993975 markings, 108593443 edges, 33198 markings/sec, 2545 secs
lola: 71160512 markings, 108807832 edges, 33307 markings/sec, 2550 secs
lola: 71312297 markings, 109020132 edges, 30357 markings/sec, 2555 secs
lola: 71494132 markings, 109246464 edges, 36367 markings/sec, 2560 secs
lola: 71639165 markings, 109453075 edges, 29007 markings/sec, 2565 secs
lola: 71805495 markings, 109668876 edges, 33266 markings/sec, 2570 secs
lola: 71967380 markings, 109880678 edges, 32377 markings/sec, 2575 secs
lola: 72118310 markings, 110092239 edges, 30186 markings/sec, 2580 secs
lola: 72296754 markings, 110317142 edges, 35689 markings/sec, 2585 secs
lola: 72447868 markings, 110525753 edges, 30223 markings/sec, 2590 secs
lola: 72606749 markings, 110743925 edges, 31776 markings/sec, 2595 secs
lola: 72782779 markings, 110962427 edges, 35206 markings/sec, 2600 secs
lola: 72927703 markings, 111169156 edges, 28985 markings/sec, 2605 secs
lola: 73090901 markings, 111387659 edges, 32640 markings/sec, 2610 secs
lola: 73264093 markings, 111606640 edges, 34638 markings/sec, 2615 secs
lola: 73412425 markings, 111816106 edges, 29666 markings/sec, 2620 secs
lola: 73572154 markings, 112034226 edges, 31946 markings/sec, 2625 secs
lola: 73745113 markings, 112253817 edges, 34592 markings/sec, 2630 secs
lola: 73895036 markings, 112459543 edges, 29985 markings/sec, 2635 secs
lola: 74047618 markings, 112670492 edges, 30516 markings/sec, 2640 secs
lola: 74215459 markings, 112889133 edges, 33568 markings/sec, 2645 secs
lola: 74378362 markings, 113103964 edges, 32581 markings/sec, 2650 secs
lola: 74528812 markings, 113314720 edges, 30090 markings/sec, 2655 secs
lola: 74681379 markings, 113524301 edges, 30513 markings/sec, 2660 secs
lola: 74848776 markings, 113743128 edges, 33479 markings/sec, 2665 secs
lola: 75011102 markings, 113957046 edges, 32465 markings/sec, 2670 secs
lola: 75162110 markings, 114166469 edges, 30202 markings/sec, 2675 secs
lola: 75313298 markings, 114376426 edges, 30238 markings/sec, 2680 secs
lola: 75469366 markings, 114588985 edges, 31214 markings/sec, 2685 secs
lola: 75631642 markings, 114805278 edges, 32455 markings/sec, 2690 secs
lola: 75790788 markings, 115016990 edges, 31829 markings/sec, 2695 secs
lola: 75941843 markings, 115220901 edges, 30211 markings/sec, 2700 secs
lola: 76093307 markings, 115431196 edges, 30293 markings/sec, 2705 secs
lola: 76244861 markings, 115641037 edges, 30311 markings/sec, 2710 secs
lola: 76397453 markings, 115851889 edges, 30518 markings/sec, 2715 secs
lola: 76552535 markings, 116063237 edges, 31016 markings/sec, 2720 secs
lola: 76708520 markings, 116277403 edges, 31197 markings/sec, 2725 secs
lola: 76861221 markings, 116487393 edges, 30540 markings/sec, 2730 secs
lola: 77016130 markings, 116700315 edges, 30982 markings/sec, 2735 secs
lola: 77173305 markings, 116916014 edges, 31435 markings/sec, 2740 secs
lola: 77327259 markings, 117127941 edges, 30791 markings/sec, 2745 secs
lola: 77481976 markings, 117342135 edges, 30943 markings/sec, 2750 secs
lola: 77639146 markings, 117556248 edges, 31434 markings/sec, 2755 secs
lola: 77796020 markings, 117770586 edges, 31375 markings/sec, 2760 secs
lola: 77950876 markings, 117987724 edges, 30971 markings/sec, 2765 secs
lola: 78097909 markings, 118197918 edges, 29407 markings/sec, 2770 secs
lola: 78243971 markings, 118402345 edges, 29212 markings/sec, 2775 secs
lola: 78392727 markings, 118607789 edges, 29751 markings/sec, 2780 secs
lola: 78545779 markings, 118820781 edges, 30610 markings/sec, 2785 secs
lola: 78699516 markings, 119043280 edges, 30747 markings/sec, 2790 secs
lola: 78868179 markings, 119277839 edges, 33733 markings/sec, 2795 secs
lola: 79016328 markings, 119491592 edges, 29630 markings/sec, 2800 secs
lola: 79166578 markings, 119705635 edges, 30050 markings/sec, 2805 secs
lola: 79320735 markings, 119923210 edges, 30831 markings/sec, 2810 secs
lola: 79466997 markings, 120137222 edges, 29252 markings/sec, 2815 secs
lola: 79620710 markings, 120360736 edges, 30743 markings/sec, 2820 secs
lola: 79783809 markings, 120596594 edges, 32620 markings/sec, 2825 secs
lola: 79937261 markings, 120828148 edges, 30690 markings/sec, 2830 secs
lola: 80088853 markings, 121050817 edges, 30318 markings/sec, 2835 secs
lola: 80235647 markings, 121274215 edges, 29359 markings/sec, 2840 secs
lola: 80390872 markings, 121509769 edges, 31045 markings/sec, 2845 secs
lola: 80547808 markings, 121755443 edges, 31387 markings/sec, 2850 secs
lola: 80695745 markings, 121992983 edges, 29587 markings/sec, 2855 secs
lola: 80848927 markings, 122250509 edges, 30636 markings/sec, 2860 secs
lola: 81000052 markings, 122548476 edges, 30225 markings/sec, 2865 secs
lola: 81122405 markings, 122766845 edges, 24471 markings/sec, 2870 secs
lola: 81228955 markings, 122961171 edges, 21310 markings/sec, 2875 secs
lola: 81334938 markings, 123155265 edges, 21197 markings/sec, 2880 secs
lola: 81448939 markings, 123354678 edges, 22800 markings/sec, 2885 secs
lola: 81566277 markings, 123550702 edges, 23468 markings/sec, 2890 secs
lola: 81676213 markings, 123743408 edges, 21987 markings/sec, 2895 secs
lola: 81783274 markings, 123939701 edges, 21412 markings/sec, 2900 secs
lola: 81892849 markings, 124136557 edges, 21915 markings/sec, 2905 secs
lola: 82003789 markings, 124334835 edges, 22188 markings/sec, 2910 secs
lola: 82119109 markings, 124528951 edges, 23064 markings/sec, 2915 secs
lola: 82231708 markings, 124720804 edges, 22520 markings/sec, 2920 secs
lola: 82335046 markings, 124908949 edges, 20668 markings/sec, 2925 secs
lola: 82441207 markings, 125101884 edges, 21232 markings/sec, 2930 secs
lola: 82546922 markings, 125294520 edges, 21143 markings/sec, 2935 secs
lola: 82657348 markings, 125489235 edges, 22085 markings/sec, 2940 secs
lola: 82768403 markings, 125687599 edges, 22211 markings/sec, 2945 secs
lola: 82879412 markings, 125886020 edges, 22202 markings/sec, 2950 secs
lola: 82991490 markings, 126081015 edges, 22416 markings/sec, 2955 secs
lola: 83101598 markings, 126276823 edges, 22022 markings/sec, 2960 secs
lola: 83211315 markings, 126471774 edges, 21943 markings/sec, 2965 secs
lola: 83320831 markings, 126666341 edges, 21903 markings/sec, 2970 secs
lola: 83428485 markings, 126860568 edges, 21531 markings/sec, 2975 secs
lola: 83536209 markings, 127055121 edges, 21545 markings/sec, 2980 secs
lola: 83641286 markings, 127243455 edges, 21015 markings/sec, 2985 secs
lola: 83742320 markings, 127426912 edges, 20207 markings/sec, 2990 secs
lola: 83847672 markings, 127618196 edges, 21070 markings/sec, 2995 secs
lola: 83952338 markings, 127805875 edges, 20933 markings/sec, 3000 secs
lola: 84057848 markings, 127997127 edges, 21102 markings/sec, 3005 secs
lola: 84167802 markings, 128190843 edges, 21991 markings/sec, 3010 secs
lola: 84275751 markings, 128382215 edges, 21590 markings/sec, 3015 secs
lola: 84380165 markings, 128574892 edges, 20883 markings/sec, 3020 secs
lola: 84481275 markings, 128765791 edges, 20222 markings/sec, 3025 secs
lola: 84585475 markings, 128954074 edges, 20840 markings/sec, 3030 secs
lola: 84694449 markings, 129145465 edges, 21795 markings/sec, 3035 secs
lola: 84793370 markings, 129333645 edges, 19784 markings/sec, 3040 secs
lola: 84888378 markings, 129510565 edges, 19002 markings/sec, 3045 secs
lola: 84997878 markings, 129703556 edges, 21900 markings/sec, 3050 secs
lola: 85096565 markings, 129894030 edges, 19737 markings/sec, 3055 secs
lola: 85205416 markings, 130088061 edges, 21770 markings/sec, 3060 secs
lola: 85306952 markings, 130284221 edges, 20307 markings/sec, 3065 secs
lola: 85411868 markings, 130481694 edges, 20983 markings/sec, 3070 secs
lola: 85518308 markings, 130673617 edges, 21288 markings/sec, 3075 secs
lola: 85617749 markings, 130862417 edges, 19888 markings/sec, 3080 secs
lola: 85717354 markings, 131053572 edges, 19921 markings/sec, 3085 secs
lola: 85822748 markings, 131252518 edges, 21079 markings/sec, 3090 secs
lola: 85934349 markings, 131465727 edges, 22320 markings/sec, 3095 secs
lola: 86038483 markings, 131670372 edges, 20827 markings/sec, 3100 secs
lola: 86143828 markings, 131870718 edges, 21069 markings/sec, 3105 secs
lola: 86243889 markings, 132068821 edges, 20012 markings/sec, 3110 secs
lola: 86349390 markings, 132276730 edges, 21100 markings/sec, 3115 secs
lola: 86455651 markings, 132493686 edges, 21252 markings/sec, 3120 secs
lola: 86556401 markings, 132700125 edges, 20150 markings/sec, 3125 secs
lola: 86659917 markings, 132916492 edges, 20703 markings/sec, 3130 secs
lola: 86762258 markings, 133141054 edges, 20468 markings/sec, 3135 secs
lola: 86862635 markings, 133376509 edges, 20075 markings/sec, 3140 secs
lola: 86986160 markings, 133643583 edges, 24705 markings/sec, 3145 secs
lola: 87130048 markings, 133842953 edges, 28778 markings/sec, 3150 secs
lola: 87264445 markings, 134034342 edges, 26879 markings/sec, 3155 secs
lola: 87397528 markings, 134227278 edges, 26617 markings/sec, 3160 secs
lola: 87537822 markings, 134422139 edges, 28059 markings/sec, 3165 secs
lola: 87682591 markings, 134620217 edges, 28954 markings/sec, 3170 secs
lola: 87822362 markings, 134818065 edges, 27954 markings/sec, 3175 secs
lola: 87953433 markings, 135010411 edges, 26214 markings/sec, 3180 secs
lola: 88099791 markings, 135210203 edges, 29272 markings/sec, 3185 secs
lola: 88242135 markings, 135412115 edges, 28469 markings/sec, 3190 secs
lola: 88375161 markings, 135605223 edges, 26605 markings/sec, 3195 secs
lola: 88521384 markings, 135805947 edges, 29245 markings/sec, 3200 secs
lola: 88650794 markings, 135997659 edges, 25882 markings/sec, 3205 secs
lola: 88797504 markings, 136200620 edges, 29342 markings/sec, 3210 secs
lola: 88929355 markings, 136395487 edges, 26370 markings/sec, 3215 secs
lola: 89072679 markings, 136599604 edges, 28665 markings/sec, 3220 secs
lola: 89214446 markings, 136799907 edges, 28353 markings/sec, 3225 secs
lola: 89345898 markings, 136994537 edges, 26290 markings/sec, 3230 secs
lola: 89482352 markings, 137194051 edges, 27291 markings/sec, 3235 secs
lola: 89620676 markings, 137396030 edges, 27665 markings/sec, 3240 secs
lola: 89760506 markings, 137598656 edges, 27966 markings/sec, 3245 secs
lola: 89899839 markings, 137804486 edges, 27867 markings/sec, 3250 secs
lola: 90041525 markings, 138011518 edges, 28337 markings/sec, 3255 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 1 1 5 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 unknown 1 1 1 5 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 1 1 5 1 1 1 1 1 1 1 1
lola: memory consumption: 7051600 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 1 1 5 1 1 1 1 1 1 1 1
lola: memory consumption: 7051864 KB
lola: time consumption: 3569 seconds

BK_STOP 1554073618690

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

grep: GenericPropertiesVerdict.xml: No such file or directory

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="PolyORBNT-PT-S05J40"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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-3954"
echo " Executing tool win2018"
echo " Input is PolyORBNT-PT-S05J40, 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 r132-oct2-155403939100037"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-PT-S05J40.tgz
mv PolyORBNT-PT-S05J40 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; 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
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 ;