About the Execution of 2018-Gold for FlexibleBarrier-PT-10b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7137.980 | 3570770.00 | 3711772.00 | 682.40 | 1 1 1 1 1 1 1 1 ? 1 ? 1 1 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2019-input.r088-csrt-155246565700064.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-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-3954
Executing tool win2018
Input is FlexibleBarrier-PT-10b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246565700064
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 3.2K Feb 11 00:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 11 00:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 6 21:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 6 21:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 10K Feb 4 23:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 3 08:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 08:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 31 01:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 31 01:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rw-r--r-- 1 mcc users 374K 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 FlexibleBarrier-PT-10b-UpperBounds-00
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-01
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-02
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-03
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-04
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-05
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-06
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-07
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-08
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-09
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552863325000
info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-10b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating FlexibleBarrier-PT-10b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ FlexibleBarrier-PT-10b @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3015/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 1402
lola: finding significant places
lola: 1402 places, 1613 transitions, 1390 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1635 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-10b-UpperBounds.task
lola: MAX(p1269) : MAX(p611) : MAX(p210) : MAX(p858) : MAX(p1138) : MAX(p968) : MAX(p1247) : MAX(p669) : MAX(p315) : MAX(p971) : MAX(p158) : MAX(p1322) : MAX(p436) : MAX(p745) : MAX(p9) : MAX(p670)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1269)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1269)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 38 markings, 37 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p611)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p611)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 10 markings, 9 edges
FORMULA FlexibleBarrier-PT-10b-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p210)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p210)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 10 markings, 9 edges
FORMULA FlexibleBarrier-PT-10b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p858)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p858)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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 FlexibleBarrier-PT-10b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1138)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1138)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 7 markings, 6 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p968)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p968)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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
FORMULA FlexibleBarrier-PT-10b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1247)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1247)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 23 markings, 22 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p669)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p669)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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 FlexibleBarrier-PT-10b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p315)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p315)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 108818 markings, 224683 edges, 21764 markings/sec, 0 secs
lola: 213078 markings, 473204 edges, 20852 markings/sec, 5 secs
lola: 316316 markings, 711929 edges, 20648 markings/sec, 10 secs
lola: 422456 markings, 960596 edges, 21228 markings/sec, 15 secs
lola: 518049 markings, 1206378 edges, 19119 markings/sec, 20 secs
lola: 623170 markings, 1424362 edges, 21024 markings/sec, 25 secs
lola: 725808 markings, 1672555 edges, 20528 markings/sec, 30 secs
lola: 829844 markings, 1910108 edges, 20807 markings/sec, 35 secs
lola: 925847 markings, 2137362 edges, 19201 markings/sec, 40 secs
lola: 1021648 markings, 2371289 edges, 19160 markings/sec, 45 secs
lola: 1125435 markings, 2597576 edges, 20757 markings/sec, 50 secs
lola: 1213277 markings, 2827918 edges, 17568 markings/sec, 55 secs
lola: 1316891 markings, 3041472 edges, 20723 markings/sec, 60 secs
lola: 1409228 markings, 3271440 edges, 18467 markings/sec, 65 secs
lola: 1510621 markings, 3494345 edges, 20279 markings/sec, 70 secs
lola: 1605263 markings, 3717299 edges, 18928 markings/sec, 75 secs
lola: 1701837 markings, 3941488 edges, 19315 markings/sec, 80 secs
lola: 1796982 markings, 4166568 edges, 19029 markings/sec, 85 secs
lola: 1892159 markings, 4406712 edges, 19035 markings/sec, 90 secs
lola: 2003542 markings, 4642890 edges, 22277 markings/sec, 95 secs
lola: 2109492 markings, 4899889 edges, 21190 markings/sec, 100 secs
lola: 2219973 markings, 5149952 edges, 22096 markings/sec, 105 secs
lola: 2330742 markings, 5408027 edges, 22154 markings/sec, 110 secs
lola: 2435167 markings, 5670876 edges, 20885 markings/sec, 115 secs
lola: 2549406 markings, 5915424 edges, 22848 markings/sec, 120 secs
lola: 2656309 markings, 6170026 edges, 21381 markings/sec, 125 secs
lola: 2758696 markings, 6426434 edges, 20477 markings/sec, 130 secs
lola: 2873059 markings, 6669313 edges, 22873 markings/sec, 135 secs
lola: 2969483 markings, 6931946 edges, 19285 markings/sec, 140 secs
lola: 3061677 markings, 7224786 edges, 18439 markings/sec, 145 secs
lola: 3150587 markings, 7508025 edges, 17782 markings/sec, 150 secs
lola: 3239515 markings, 7791788 edges, 17786 markings/sec, 155 secs
lola: 3329039 markings, 8077168 edges, 17905 markings/sec, 160 secs
lola: 3418409 markings, 8361713 edges, 17874 markings/sec, 165 secs
lola: 3508078 markings, 8647415 edges, 17934 markings/sec, 170 secs
lola: 3596708 markings, 8931006 edges, 17726 markings/sec, 175 secs
lola: 3685201 markings, 9214472 edges, 17699 markings/sec, 180 secs
lola: 3775008 markings, 9502526 edges, 17961 markings/sec, 185 secs
lola: 3864729 markings, 9789660 edges, 17944 markings/sec, 190 secs
lola: 3953450 markings, 10073041 edges, 17744 markings/sec, 195 secs
lola: 4038219 markings, 10344101 edges, 16954 markings/sec, 200 secs
lola: 4118727 markings, 10601828 edges, 16102 markings/sec, 205 secs
lola: 4201988 markings, 10868441 edges, 16652 markings/sec, 210 secs
lola: 4283393 markings, 11128169 edges, 16281 markings/sec, 215 secs
lola: 4370393 markings, 11406766 edges, 17400 markings/sec, 220 secs
lola: 4445199 markings, 11672554 edges, 14961 markings/sec, 225 secs
lola: 4517268 markings, 11957337 edges, 14414 markings/sec, 230 secs
lola: 4585989 markings, 12243547 edges, 13744 markings/sec, 235 secs
lola: 4659308 markings, 12517963 edges, 14664 markings/sec, 240 secs
lola: 4729433 markings, 12792790 edges, 14025 markings/sec, 245 secs
lola: 4804666 markings, 13081971 edges, 15047 markings/sec, 250 secs
lola: 4886378 markings, 13370820 edges, 16342 markings/sec, 255 secs
lola: 4962180 markings, 13635371 edges, 15160 markings/sec, 260 secs
lola: 5034410 markings, 13911869 edges, 14446 markings/sec, 265 secs
lola: 5110050 markings, 14179995 edges, 15128 markings/sec, 270 secs
lola: 5188318 markings, 14471760 edges, 15654 markings/sec, 275 secs
lola: 5265415 markings, 14744007 edges, 15419 markings/sec, 280 secs
lola: 5343389 markings, 15015023 edges, 15595 markings/sec, 285 secs
lola: 5419910 markings, 15306226 edges, 15304 markings/sec, 290 secs
lola: 5496120 markings, 15573279 edges, 15242 markings/sec, 295 secs
lola: 5573774 markings, 15865486 edges, 15531 markings/sec, 300 secs
lola: 5647849 markings, 16131208 edges, 14815 markings/sec, 305 secs
lola: 5717172 markings, 16412825 edges, 13865 markings/sec, 310 secs
lola: 5792884 markings, 16693778 edges, 15142 markings/sec, 315 secs
lola: 5867996 markings, 16994766 edges, 15022 markings/sec, 320 secs
lola: 5937783 markings, 17277101 edges, 13957 markings/sec, 325 secs
lola: 6012133 markings, 17557711 edges, 14870 markings/sec, 330 secs
lola: 6081764 markings, 17839415 edges, 13926 markings/sec, 335 secs
lola: 6151711 markings, 18119362 edges, 13989 markings/sec, 340 secs
lola: 6230785 markings, 18399443 edges, 15815 markings/sec, 345 secs
lola: 6309059 markings, 18676207 edges, 15655 markings/sec, 350 secs
lola: 6382200 markings, 18938602 edges, 14628 markings/sec, 355 secs
lola: 6461388 markings, 19203083 edges, 15838 markings/sec, 360 secs
lola: 6533437 markings, 19447609 edges, 14410 markings/sec, 365 secs
lola: 6586077 markings, 19733060 edges, 10528 markings/sec, 370 secs
lola: 6593449 markings, 20149137 edges, 1474 markings/sec, 375 secs
lola: 6671509 markings, 20448534 edges, 15612 markings/sec, 380 secs
lola: 6744631 markings, 20727107 edges, 14624 markings/sec, 385 secs
lola: 6818462 markings, 20997007 edges, 14766 markings/sec, 390 secs
lola: 6890841 markings, 21270012 edges, 14476 markings/sec, 395 secs
lola: 6967696 markings, 21524624 edges, 15371 markings/sec, 400 secs
lola: 7047843 markings, 21810376 edges, 16029 markings/sec, 405 secs
lola: 7128974 markings, 22099457 edges, 16226 markings/sec, 410 secs
lola: 7211015 markings, 22350770 edges, 16408 markings/sec, 415 secs
lola: 7284314 markings, 22618726 edges, 14660 markings/sec, 420 secs
lola: 7367837 markings, 22875580 edges, 16705 markings/sec, 425 secs
lola: 7448870 markings, 23152646 edges, 16207 markings/sec, 430 secs
lola: 7543974 markings, 23387189 edges, 19021 markings/sec, 435 secs
lola: 7632104 markings, 23613522 edges, 17626 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1287328 KB
lola: time consumption: 448 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p971)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p971)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 8 markings, 7 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 520 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 FlexibleBarrier-PT-10b-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: 109777 markings, 230226 edges, 21955 markings/sec, 0 secs
lola: 218248 markings, 484455 edges, 21694 markings/sec, 5 secs
lola: 324402 markings, 737314 edges, 21231 markings/sec, 10 secs
lola: 433984 markings, 988951 edges, 21916 markings/sec, 15 secs
lola: 539210 markings, 1244975 edges, 21045 markings/sec, 20 secs
lola: 650613 markings, 1493890 edges, 22281 markings/sec, 25 secs
lola: 758242 markings, 1747713 edges, 21526 markings/sec, 30 secs
lola: 861636 markings, 2006336 edges, 20679 markings/sec, 35 secs
lola: 977445 markings, 2252457 edges, 23162 markings/sec, 40 secs
lola: 1088185 markings, 2513519 edges, 22148 markings/sec, 45 secs
lola: 1194622 markings, 2771486 edges, 21287 markings/sec, 50 secs
lola: 1302894 markings, 3013710 edges, 21654 markings/sec, 55 secs
lola: 1400252 markings, 3255346 edges, 19472 markings/sec, 60 secs
lola: 1505123 markings, 3483724 edges, 20974 markings/sec, 65 secs
lola: 1604402 markings, 3715261 edges, 19856 markings/sec, 70 secs
lola: 1701842 markings, 3945970 edges, 19488 markings/sec, 75 secs
lola: 1800688 markings, 4177297 edges, 19769 markings/sec, 80 secs
lola: 1892539 markings, 4408469 edges, 18370 markings/sec, 85 secs
lola: 2007319 markings, 4654248 edges, 22956 markings/sec, 90 secs
lola: 2116369 markings, 4911327 edges, 21810 markings/sec, 95 secs
lola: 2226438 markings, 5169912 edges, 22014 markings/sec, 100 secs
lola: 2337892 markings, 5427292 edges, 22291 markings/sec, 105 secs
lola: 2445509 markings, 5688628 edges, 21523 markings/sec, 110 secs
lola: 2557457 markings, 5939017 edges, 22390 markings/sec, 115 secs
lola: 2664600 markings, 6191443 edges, 21429 markings/sec, 120 secs
lola: 2768447 markings, 6451130 edges, 20769 markings/sec, 125 secs
lola: 2883953 markings, 6696517 edges, 23101 markings/sec, 130 secs
lola: 2992079 markings, 6950606 edges, 21625 markings/sec, 135 secs
lola: 3098140 markings, 7203127 edges, 21212 markings/sec, 140 secs
lola: 3193933 markings, 7490299 edges, 19159 markings/sec, 145 secs
lola: 3284367 markings, 7775952 edges, 18087 markings/sec, 150 secs
lola: 3373348 markings, 8063264 edges, 17796 markings/sec, 155 secs
lola: 3462753 markings, 8350935 edges, 17881 markings/sec, 160 secs
lola: 3553209 markings, 8642087 edges, 18091 markings/sec, 165 secs
lola: 3642614 markings, 8928843 edges, 17881 markings/sec, 170 secs
lola: 3729359 markings, 9206784 edges, 17349 markings/sec, 175 secs
lola: 3819172 markings, 9492714 edges, 17963 markings/sec, 180 secs
lola: 3911380 markings, 9768625 edges, 18442 markings/sec, 185 secs
lola: 4001819 markings, 10055272 edges, 18088 markings/sec, 190 secs
lola: 4091867 markings, 10339587 edges, 18010 markings/sec, 195 secs
lola: 4180205 markings, 10625800 edges, 17668 markings/sec, 200 secs
lola: 4269783 markings, 10914275 edges, 17916 markings/sec, 205 secs
lola: 4360177 markings, 11205014 edges, 18079 markings/sec, 210 secs
lola: 4451283 markings, 11496711 edges, 18221 markings/sec, 215 secs
lola: 4542410 markings, 11787667 edges, 18225 markings/sec, 220 secs
lola: 4633722 markings, 12078633 edges, 18262 markings/sec, 225 secs
lola: 4727098 markings, 12365496 edges, 18675 markings/sec, 230 secs
lola: 4821591 markings, 12659147 edges, 18899 markings/sec, 235 secs
lola: 4902496 markings, 12982407 edges, 16181 markings/sec, 240 secs
lola: 4981771 markings, 13310407 edges, 15855 markings/sec, 245 secs
lola: 5062918 markings, 13630558 edges, 16229 markings/sec, 250 secs
lola: 5142210 markings, 13949476 edges, 15858 markings/sec, 255 secs
lola: 5220088 markings, 14273830 edges, 15576 markings/sec, 260 secs
lola: 5298580 markings, 14581936 edges, 15698 markings/sec, 265 secs
lola: 5376018 markings, 14872939 edges, 15488 markings/sec, 270 secs
lola: 5451754 markings, 15151198 edges, 15147 markings/sec, 275 secs
lola: 5524462 markings, 15440664 edges, 14542 markings/sec, 280 secs
lola: 5605470 markings, 15743960 edges, 16202 markings/sec, 285 secs
lola: 5685687 markings, 16055470 edges, 16043 markings/sec, 290 secs
lola: 5770185 markings, 16368936 edges, 16900 markings/sec, 295 secs
lola: 5853941 markings, 16690959 edges, 16751 markings/sec, 300 secs
lola: 5939404 markings, 17011220 edges, 17093 markings/sec, 305 secs
lola: 6025557 markings, 17326113 edges, 17231 markings/sec, 310 secs
lola: 6108022 markings, 17651597 edges, 16493 markings/sec, 315 secs
lola: 6188236 markings, 17948368 edges, 16043 markings/sec, 320 secs
lola: 6261065 markings, 18260570 edges, 14566 markings/sec, 325 secs
lola: 6342720 markings, 18581724 edges, 16331 markings/sec, 330 secs
lola: 6422207 markings, 18909422 edges, 15897 markings/sec, 335 secs
lola: 6500552 markings, 19240571 edges, 15669 markings/sec, 340 secs
lola: 6579537 markings, 19572379 edges, 15797 markings/sec, 345 secs
lola: 6660515 markings, 19887751 edges, 16196 markings/sec, 350 secs
lola: 6724195 markings, 20238889 edges, 12736 markings/sec, 355 secs
lola: 6803077 markings, 20528448 edges, 15776 markings/sec, 360 secs
lola: 6880921 markings, 20823376 edges, 15569 markings/sec, 365 secs
lola: 6962016 markings, 21111137 edges, 16219 markings/sec, 370 secs
lola: 7044423 markings, 21399457 edges, 16481 markings/sec, 375 secs
lola: 7120472 markings, 21674543 edges, 15210 markings/sec, 380 secs
lola: 7177007 markings, 21974155 edges, 11307 markings/sec, 385 secs
lola: 7190865 markings, 22381549 edges, 2772 markings/sec, 390 secs
lola: 7265606 markings, 22679014 edges, 14948 markings/sec, 395 secs
lola: 7348342 markings, 23011948 edges, 16547 markings/sec, 400 secs
lola: 7433170 markings, 23340731 edges, 16966 markings/sec, 405 secs
lola: 7522369 markings, 23659354 edges, 17840 markings/sec, 410 secs
lola: 7608074 markings, 23980019 edges, 17141 markings/sec, 415 secs
lola: 7699219 markings, 24283063 edges, 18229 markings/sec, 420 secs
lola: 7784970 markings, 24570248 edges, 17150 markings/sec, 425 secs
lola: 7870477 markings, 24855221 edges, 17101 markings/sec, 430 secs
lola: 7953991 markings, 25131812 edges, 16703 markings/sec, 435 secs
lola: 8042381 markings, 25427247 edges, 17678 markings/sec, 440 secs
lola: 8142095 markings, 25701859 edges, 19943 markings/sec, 445 secs
lola: 8244695 markings, 25963573 edges, 20520 markings/sec, 450 secs
lola: 8358091 markings, 26205155 edges, 22679 markings/sec, 455 secs
lola: 8464683 markings, 26460038 edges, 21318 markings/sec, 460 secs
lola: 8567530 markings, 26720713 edges, 20569 markings/sec, 465 secs
lola: 8681005 markings, 26961989 edges, 22695 markings/sec, 470 secs
lola: 8787484 markings, 27217212 edges, 21296 markings/sec, 475 secs
lola: 8889147 markings, 27475382 edges, 20333 markings/sec, 480 secs
lola: 9003931 markings, 27718884 edges, 22957 markings/sec, 485 secs
lola: 9112645 markings, 27979259 edges, 21743 markings/sec, 490 secs
lola: 9209363 markings, 28211250 edges, 19344 markings/sec, 495 secs
lola: 9312512 markings, 28444889 edges, 20630 markings/sec, 500 secs
lola: 9407352 markings, 28680878 edges, 18968 markings/sec, 505 secs
lola: 9508603 markings, 28905202 edges, 20250 markings/sec, 510 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 506832 KB
lola: time consumption: 968 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1322)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1322)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 24 markings, 23 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 650 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p436)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p436)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 25 markings, 24 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 867 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p745)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p745)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 21 markings, 20 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 10 markings, 9 edges
lola:
FORMULA FlexibleBarrier-PT-10b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2601 seconds at most (--localtimelimit=0)
lola: ========================================
========================================
lola: ...considering subproblem: MAX(p670)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p670)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 22 markings, 21 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p315)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p315)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 102414 markings, 210727 edges, 20483 markings/sec, 0 secs
lola: 198127 markings, 447206 edges, 19143 markings/sec, 5 secs
lola: 300843 markings, 674940 edges, 20543 markings/sec, 10 secs
lola: 399466 markings, 907992 edges, 19725 markings/sec, 15 secs
lola: 501255 markings, 1155145 edges, 20358 markings/sec, 20 secs
lola: 611524 markings, 1398750 edges, 22054 markings/sec, 25 secs
lola: 714029 markings, 1651862 edges, 20501 markings/sec, 30 secs
lola: 818787 markings, 1881927 edges, 20952 markings/sec, 35 secs
lola: 927038 markings, 2139251 edges, 21650 markings/sec, 40 secs
lola: 1030240 markings, 2398326 edges, 20640 markings/sec, 45 secs
lola: 1143707 markings, 2638098 edges, 22693 markings/sec, 50 secs
lola: 1253177 markings, 2897538 edges, 21894 markings/sec, 55 secs
lola: 1362093 markings, 3150176 edges, 21783 markings/sec, 60 secs
lola: 1472339 markings, 3406116 edges, 22049 markings/sec, 65 secs
lola: 1575246 markings, 3662663 edges, 20581 markings/sec, 70 secs
lola: 1686995 markings, 3905885 edges, 22350 markings/sec, 75 secs
lola: 1792290 markings, 4157196 edges, 21059 markings/sec, 80 secs
lola: 1893746 markings, 4410738 edges, 20291 markings/sec, 85 secs
lola: 2006235 markings, 4648843 edges, 22498 markings/sec, 90 secs
lola: 2110425 markings, 4901152 edges, 20838 markings/sec, 95 secs
lola: 2218523 markings, 5146708 edges, 21620 markings/sec, 100 secs
lola: 2325365 markings, 5396116 edges, 21368 markings/sec, 105 secs
lola: 2425141 markings, 5651745 edges, 19955 markings/sec, 110 secs
lola: 2538528 markings, 5888642 edges, 22677 markings/sec, 115 secs
lola: 2644551 markings, 6139245 edges, 21205 markings/sec, 120 secs
lola: 2750176 markings, 6387104 edges, 21125 markings/sec, 125 secs
lola: 2858243 markings, 6636927 edges, 21613 markings/sec, 130 secs
lola: 2956331 markings, 6897384 edges, 19618 markings/sec, 135 secs
lola: 3045121 markings, 7180771 edges, 17758 markings/sec, 140 secs
lola: 3133794 markings, 7463701 edges, 17735 markings/sec, 145 secs
lola: 3222958 markings, 7746034 edges, 17833 markings/sec, 150 secs
lola: 3312565 markings, 8027579 edges, 17921 markings/sec, 155 secs
lola: 3401644 markings, 8311476 edges, 17816 markings/sec, 160 secs
lola: 3487537 markings, 8585889 edges, 17179 markings/sec, 165 secs
lola: 3576586 markings, 8870062 edges, 17810 markings/sec, 170 secs
lola: 3665885 markings, 9154387 edges, 17860 markings/sec, 175 secs
lola: 3753449 markings, 9433859 edges, 17513 markings/sec, 180 secs
lola: 3838206 markings, 9704862 edges, 16951 markings/sec, 185 secs
lola: 3919941 markings, 9966805 edges, 16347 markings/sec, 190 secs
lola: 4001664 markings, 10229022 edges, 16345 markings/sec, 195 secs
lola: 4085253 markings, 10496320 edges, 16718 markings/sec, 200 secs
lola: 4167219 markings, 10758848 edges, 16393 markings/sec, 205 secs
lola: 4249240 markings, 11021985 edges, 16404 markings/sec, 210 secs
lola: 4335415 markings, 11297243 edges, 17235 markings/sec, 215 secs
lola: 4421221 markings, 11592101 edges, 17161 markings/sec, 220 secs
lola: 4500126 markings, 11896722 edges, 15781 markings/sec, 225 secs
lola: 4574707 markings, 12202985 edges, 14916 markings/sec, 230 secs
lola: 4657298 markings, 12510598 edges, 16518 markings/sec, 235 secs
lola: 4738283 markings, 12821199 edges, 16197 markings/sec, 240 secs
lola: 4820245 markings, 13135087 edges, 16392 markings/sec, 245 secs
lola: 4906775 markings, 13434461 edges, 17306 markings/sec, 250 secs
lola: 4987488 markings, 13738751 edges, 16143 markings/sec, 255 secs
lola: 5071949 markings, 14032784 edges, 16892 markings/sec, 260 secs
lola: 5153218 markings, 14338630 edges, 16254 markings/sec, 265 secs
lola: 5237241 markings, 14634649 edges, 16805 markings/sec, 270 secs
lola: 5316466 markings, 14929850 edges, 15845 markings/sec, 275 secs
lola: 5399782 markings, 15227931 edges, 16663 markings/sec, 280 secs
lola: 5480339 markings, 15522791 edges, 16111 markings/sec, 285 secs
lola: 5562357 markings, 15823521 edges, 16404 markings/sec, 290 secs
lola: 5647045 markings, 16119953 edges, 16938 markings/sec, 295 secs
lola: 5723245 markings, 16430074 edges, 15240 markings/sec, 300 secs
lola: 5802090 markings, 16745744 edges, 15769 markings/sec, 305 secs
lola: 5882591 markings, 17061504 edges, 16100 markings/sec, 310 secs
lola: 5965978 markings, 17372122 edges, 16677 markings/sec, 315 secs
lola: 6045866 markings, 17683862 edges, 15978 markings/sec, 320 secs
lola: 6125084 markings, 18003454 edges, 15844 markings/sec, 325 secs
lola: 6204524 markings, 18310235 edges, 15888 markings/sec, 330 secs
lola: 6285890 markings, 18610283 edges, 16273 markings/sec, 335 secs
lola: 6365840 markings, 18883373 edges, 15990 markings/sec, 340 secs
lola: 6451278 markings, 19169079 edges, 17088 markings/sec, 345 secs
lola: 6533135 markings, 19446818 edges, 16371 markings/sec, 350 secs
lola: 6588024 markings, 19783686 edges, 10978 markings/sec, 355 secs
lola: 6611205 markings, 20213882 edges, 4636 markings/sec, 360 secs
lola: 6692057 markings, 20521355 edges, 16170 markings/sec, 365 secs
lola: 6771037 markings, 20836733 edges, 15796 markings/sec, 370 secs
lola: 6859594 markings, 21138829 edges, 17711 markings/sec, 375 secs
lola: 6943539 markings, 21439038 edges, 16789 markings/sec, 380 secs
lola: 7025929 markings, 21739235 edges, 16478 markings/sec, 385 secs
lola: 7111690 markings, 22044878 edges, 17152 markings/sec, 390 secs
lola: 7198060 markings, 22309545 edges, 17274 markings/sec, 395 secs
lola: 7276747 markings, 22585829 edges, 15737 markings/sec, 400 secs
lola: 7361795 markings, 22855598 edges, 17010 markings/sec, 405 secs
lola: 7447327 markings, 23142543 edges, 17106 markings/sec, 410 secs
lola: 7544756 markings, 23388686 edges, 19486 markings/sec, 415 secs
lola: 7634763 markings, 23620129 edges, 18001 markings/sec, 420 secs
lola: 7747842 markings, 23857817 edges, 22616 markings/sec, 425 secs
lola: 7855574 markings, 24113469 edges, 21546 markings/sec, 430 secs
lola: 7962719 markings, 24362100 edges, 21429 markings/sec, 435 secs
lola: 8067018 markings, 24605949 edges, 20860 markings/sec, 440 secs
lola: 8164082 markings, 24854670 edges, 19413 markings/sec, 445 secs
lola: 8276341 markings, 25090342 edges, 22452 markings/sec, 450 secs
lola: 8379909 markings, 25335185 edges, 20714 markings/sec, 455 secs
lola: 8481568 markings, 25571767 edges, 20332 markings/sec, 460 secs
lola: 8584268 markings, 25811962 edges, 20540 markings/sec, 465 secs
lola: 8681429 markings, 26061628 edges, 19432 markings/sec, 470 secs
lola: 8794556 markings, 26298226 edges, 22625 markings/sec, 475 secs
lola: 8899835 markings, 26546660 edges, 21056 markings/sec, 480 secs
lola: 9003643 markings, 26788741 edges, 20762 markings/sec, 485 secs
lola: 9108500 markings, 27032948 edges, 20971 markings/sec, 490 secs
lola: 9206338 markings, 27282715 edges, 19568 markings/sec, 495 secs
lola: 9317959 markings, 27518479 edges, 22324 markings/sec, 500 secs
lola: 9421339 markings, 27762551 edges, 20676 markings/sec, 505 secs
lola: 9524578 markings, 28003606 edges, 20648 markings/sec, 510 secs
lola: 9629925 markings, 28248598 edges, 21069 markings/sec, 515 secs
lola: 9728863 markings, 28499264 edges, 19788 markings/sec, 520 secs
lola: 9840316 markings, 28736253 edges, 22291 markings/sec, 525 secs
lola: 9944656 markings, 28983724 edges, 20868 markings/sec, 530 secs
lola: 10047692 markings, 29226774 edges, 20607 markings/sec, 535 secs
lola: 10156429 markings, 29474742 edges, 21747 markings/sec, 540 secs
lola: 10258474 markings, 29728104 edges, 20409 markings/sec, 545 secs
lola: 10369534 markings, 29971369 edges, 22212 markings/sec, 550 secs
lola: 10463677 markings, 30243112 edges, 18829 markings/sec, 555 secs
lola: 10551908 markings, 30525333 edges, 17646 markings/sec, 560 secs
lola: 10640510 markings, 30807890 edges, 17720 markings/sec, 565 secs
lola: 10729079 markings, 31091902 edges, 17714 markings/sec, 570 secs
lola: 10819214 markings, 31380917 edges, 18027 markings/sec, 575 secs
lola: 10909541 markings, 31670118 edges, 18065 markings/sec, 580 secs
lola: 10998194 markings, 31953401 edges, 17731 markings/sec, 585 secs
lola: 11086738 markings, 32237134 edges, 17709 markings/sec, 590 secs
lola: 11173810 markings, 32526549 edges, 17414 markings/sec, 595 secs
lola: 11262659 markings, 32813748 edges, 17770 markings/sec, 600 secs
lola: 11354612 markings, 33106635 edges, 18391 markings/sec, 605 secs
lola: 11442507 markings, 33386922 edges, 17579 markings/sec, 610 secs
lola: 11533729 markings, 33677621 edges, 18244 markings/sec, 615 secs
lola: 11625931 markings, 33966585 edges, 18440 markings/sec, 620 secs
lola: 11717966 markings, 34257783 edges, 18407 markings/sec, 625 secs
lola: 11809642 markings, 34549523 edges, 18335 markings/sec, 630 secs
lola: 11894647 markings, 34845955 edges, 17001 markings/sec, 635 secs
lola: 11973932 markings, 35148006 edges, 15857 markings/sec, 640 secs
lola: 12048856 markings, 35459271 edges, 14985 markings/sec, 645 secs
lola: 12129522 markings, 35759879 edges, 16133 markings/sec, 650 secs
lola: 12206464 markings, 36055412 edges, 15388 markings/sec, 655 secs
lola: 12283987 markings, 36354634 edges, 15505 markings/sec, 660 secs
lola: 12368217 markings, 36648474 edges, 16846 markings/sec, 665 secs
lola: 12448906 markings, 36951295 edges, 16138 markings/sec, 670 secs
lola: 12533592 markings, 37246066 edges, 16937 markings/sec, 675 secs
lola: 12614514 markings, 37550278 edges, 16184 markings/sec, 680 secs
lola: 12699435 markings, 37844464 edges, 16984 markings/sec, 685 secs
lola: 12782094 markings, 38155366 edges, 16532 markings/sec, 690 secs
lola: 12867334 markings, 38449107 edges, 17048 markings/sec, 695 secs
lola: 12948523 markings, 38756859 edges, 16238 markings/sec, 700 secs
lola: 13030829 markings, 39058652 edges, 16461 markings/sec, 705 secs
lola: 13113852 markings, 39351630 edges, 16605 markings/sec, 710 secs
lola: 13190290 markings, 39661272 edges, 15288 markings/sec, 715 secs
lola: 13264179 markings, 39957289 edges, 14778 markings/sec, 720 secs
lola: 13341547 markings, 40244354 edges, 15474 markings/sec, 725 secs
lola: 13416980 markings, 40549586 edges, 15087 markings/sec, 730 secs
lola: 13493333 markings, 40851968 edges, 15271 markings/sec, 735 secs
lola: 13574275 markings, 41153344 edges, 16188 markings/sec, 740 secs
lola: 13647162 markings, 41463383 edges, 14577 markings/sec, 745 secs
lola: 13727992 markings, 41747750 edges, 16166 markings/sec, 750 secs
lola: 13809930 markings, 42017150 edges, 16388 markings/sec, 755 secs
lola: 13887074 markings, 42294931 edges, 15429 markings/sec, 760 secs
lola: 13970421 markings, 42565676 edges, 16669 markings/sec, 765 secs
lola: 14046917 markings, 42836640 edges, 15299 markings/sec, 770 secs
lola: 14059354 markings, 43255545 edges, 2487 markings/sec, 775 secs
lola: 14114326 markings, 43567175 edges, 10994 markings/sec, 780 secs
lola: 14183430 markings, 43854855 edges, 13821 markings/sec, 785 secs
lola: 14258829 markings, 44134420 edges, 15080 markings/sec, 790 secs
lola: 14337392 markings, 44428514 edges, 15713 markings/sec, 795 secs
lola: 14419066 markings, 44699395 edges, 16335 markings/sec, 800 secs
lola: 14496287 markings, 44980824 edges, 15444 markings/sec, 805 secs
lola: 14577411 markings, 45266165 edges, 16225 markings/sec, 810 secs
lola: 14657968 markings, 45517393 edges, 16111 markings/sec, 815 secs
lola: 14736029 markings, 45775620 edges, 15612 markings/sec, 820 secs
lola: 14813876 markings, 46037360 edges, 15569 markings/sec, 825 secs
lola: 14897055 markings, 46311299 edges, 16636 markings/sec, 830 secs
lola: 14984145 markings, 46556074 edges, 17418 markings/sec, 835 secs
lola: 15076957 markings, 46772053 edges, 18562 markings/sec, 840 secs
lola: 15176752 markings, 47005985 edges, 19959 markings/sec, 845 secs
lola: 15277338 markings, 47261019 edges, 20117 markings/sec, 850 secs
lola: 15390595 markings, 47499603 edges, 22651 markings/sec, 855 secs
lola: 15489207 markings, 47738728 edges, 19722 markings/sec, 860 secs
lola: 15591911 markings, 47972128 edges, 20541 markings/sec, 865 secs
lola: 15692343 markings, 48209389 edges, 20086 markings/sec, 870 secs
lola: 15788686 markings, 48451732 edges, 19269 markings/sec, 875 secs
lola: 15896657 markings, 48681022 edges, 21594 markings/sec, 880 secs
lola: 15994001 markings, 48923955 edges, 19469 markings/sec, 885 secs
lola: 16101265 markings, 49157617 edges, 21453 markings/sec, 890 secs
lola: 16202692 markings, 49397708 edges, 20285 markings/sec, 895 secs
lola: 16303229 markings, 49637165 edges, 20107 markings/sec, 900 secs
lola: 16408882 markings, 49875787 edges, 21131 markings/sec, 905 secs
lola: 16505452 markings, 50121157 edges, 19314 markings/sec, 910 secs
lola: 16615286 markings, 50355001 edges, 21967 markings/sec, 915 secs
lola: 16717516 markings, 50596431 edges, 20446 markings/sec, 920 secs
lola: 16819276 markings, 50833653 edges, 20352 markings/sec, 925 secs
lola: 16922787 markings, 51074628 edges, 20702 markings/sec, 930 secs
lola: 17019413 markings, 51323117 edges, 19325 markings/sec, 935 secs
lola: 17130829 markings, 51556032 edges, 22283 markings/sec, 940 secs
lola: 17233872 markings, 51799252 edges, 20609 markings/sec, 945 secs
lola: 17336987 markings, 52039776 edges, 20623 markings/sec, 950 secs
lola: 17441815 markings, 52284323 edges, 20966 markings/sec, 955 secs
lola: 17539573 markings, 52535484 edges, 19552 markings/sec, 960 secs
lola: 17651848 markings, 52770634 edges, 22455 markings/sec, 965 secs
lola: 17756000 markings, 53016930 edges, 20830 markings/sec, 970 secs
lola: 17860439 markings, 53261329 edges, 20888 markings/sec, 975 secs
lola: 17950290 markings, 53537678 edges, 17970 markings/sec, 980 secs
lola: 18037857 markings, 53818058 edges, 17513 markings/sec, 985 secs
lola: 18125702 markings, 54098535 edges, 17569 markings/sec, 990 secs
lola: 18213677 markings, 54379638 edges, 17595 markings/sec, 995 secs
lola: 18301376 markings, 54662251 edges, 17540 markings/sec, 1000 secs
lola: 18388089 markings, 54948342 edges, 17343 markings/sec, 1005 secs
lola: 18476205 markings, 55233500 edges, 17623 markings/sec, 1010 secs
lola: 18562887 markings, 55510751 edges, 17336 markings/sec, 1015 secs
lola: 18648826 markings, 55785810 edges, 17188 markings/sec, 1020 secs
lola: 18736482 markings, 56064723 edges, 17531 markings/sec, 1025 secs
lola: 18823581 markings, 56343365 edges, 17420 markings/sec, 1030 secs
lola: 18909609 markings, 56618427 edges, 17206 markings/sec, 1035 secs
lola: 18996851 markings, 56896827 edges, 17448 markings/sec, 1040 secs
lola: 19083398 markings, 57172945 edges, 17309 markings/sec, 1045 secs
lola: 19169908 markings, 57449649 edges, 17302 markings/sec, 1050 secs
lola: 19256461 markings, 57725857 edges, 17311 markings/sec, 1055 secs
lola: 19343193 markings, 58011884 edges, 17346 markings/sec, 1060 secs
lola: 19422897 markings, 58312980 edges, 15941 markings/sec, 1065 secs
lola: 19500744 markings, 58613503 edges, 15569 markings/sec, 1070 secs
lola: 19577201 markings, 58917419 edges, 15291 markings/sec, 1075 secs
lola: 19655630 markings, 59225455 edges, 15686 markings/sec, 1080 secs
lola: 19737700 markings, 59521494 edges, 16414 markings/sec, 1085 secs
lola: 19818944 markings, 59826347 edges, 16249 markings/sec, 1090 secs
lola: 19901119 markings, 60111910 edges, 16435 markings/sec, 1095 secs
lola: 19977013 markings, 60400173 edges, 15179 markings/sec, 1100 secs
lola: 20055411 markings, 60675089 edges, 15680 markings/sec, 1105 secs
lola: 20130018 markings, 60957686 edges, 14921 markings/sec, 1110 secs
lola: 20211129 markings, 61243706 edges, 16222 markings/sec, 1115 secs
lola: 20293082 markings, 61548868 edges, 16391 markings/sec, 1120 secs
lola: 20377320 markings, 61843439 edges, 16848 markings/sec, 1125 secs
lola: 20457889 markings, 62144299 edges, 16114 markings/sec, 1130 secs
lola: 20542054 markings, 62437893 edges, 16833 markings/sec, 1135 secs
lola: 20617283 markings, 62740998 edges, 15046 markings/sec, 1140 secs
lola: 20697216 markings, 63037093 edges, 15987 markings/sec, 1145 secs
lola: 20773225 markings, 63343970 edges, 15202 markings/sec, 1150 secs
lola: 20850036 markings, 63650191 edges, 15362 markings/sec, 1155 secs
lola: 20929503 markings, 63947494 edges, 15893 markings/sec, 1160 secs
lola: 21006819 markings, 64253600 edges, 15463 markings/sec, 1165 secs
lola: 21081605 markings, 64558698 edges, 14957 markings/sec, 1170 secs
lola: 21160174 markings, 64846888 edges, 15714 markings/sec, 1175 secs
lola: 21238508 markings, 65130094 edges, 15667 markings/sec, 1180 secs
lola: 21312145 markings, 65388809 edges, 14727 markings/sec, 1185 secs
lola: 21392709 markings, 65653759 edges, 16113 markings/sec, 1190 secs
lola: 21467843 markings, 65912092 edges, 15027 markings/sec, 1195 secs
lola: 21523132 markings, 66209132 edges, 11058 markings/sec, 1200 secs
lola: 21533138 markings, 66629664 edges, 2001 markings/sec, 1205 secs
lola: 21608017 markings, 66917001 edges, 14976 markings/sec, 1210 secs
lola: 21681404 markings, 67196751 edges, 14677 markings/sec, 1215 secs
lola: 21760411 markings, 67485206 edges, 15801 markings/sec, 1220 secs
lola: 21837520 markings, 67769729 edges, 15422 markings/sec, 1225 secs
lola: 21918118 markings, 68046247 edges, 16120 markings/sec, 1230 secs
lola: 21997303 markings, 68321823 edges, 15837 markings/sec, 1235 secs
lola: 22071979 markings, 68586806 edges, 14935 markings/sec, 1240 secs
lola: 22148140 markings, 68821795 edges, 15232 markings/sec, 1245 secs
lola: 22215636 markings, 69069477 edges, 13499 markings/sec, 1250 secs
lola: 22291634 markings, 69305235 edges, 15200 markings/sec, 1255 secs
lola: 22369023 markings, 69559074 edges, 15478 markings/sec, 1260 secs
lola: 22455759 markings, 69800290 edges, 17347 markings/sec, 1265 secs
lola: 22549721 markings, 70016798 edges, 18792 markings/sec, 1270 secs
lola: 22650235 markings, 70252352 edges, 20103 markings/sec, 1275 secs
lola: 22750064 markings, 70507886 edges, 19966 markings/sec, 1280 secs
lola: 22856863 markings, 70729822 edges, 21360 markings/sec, 1285 secs
lola: 22949840 markings, 70960230 edges, 18595 markings/sec, 1290 secs
lola: 23046516 markings, 71172741 edges, 19335 markings/sec, 1295 secs
lola: 23139705 markings, 71392642 edges, 18638 markings/sec, 1300 secs
lola: 23233354 markings, 71610208 edges, 18730 markings/sec, 1305 secs
lola: 23326289 markings, 71829410 edges, 18587 markings/sec, 1310 secs
lola: 23419876 markings, 72045170 edges, 18717 markings/sec, 1315 secs
lola: 23513756 markings, 72265696 edges, 18776 markings/sec, 1320 secs
lola: 23603450 markings, 72494112 edges, 17939 markings/sec, 1325 secs
lola: 23712033 markings, 72724750 edges, 21717 markings/sec, 1330 secs
lola: 23807295 markings, 72964267 edges, 19052 markings/sec, 1335 secs
lola: 23912284 markings, 73191050 edges, 20998 markings/sec, 1340 secs
lola: 24011703 markings, 73425179 edges, 19884 markings/sec, 1345 secs
lola: 24111124 markings, 73656949 edges, 19884 markings/sec, 1350 secs
lola: 24211929 markings, 73892696 edges, 20161 markings/sec, 1355 secs
lola: 24306339 markings, 74133708 edges, 18882 markings/sec, 1360 secs
lola: 24413471 markings, 74358787 edges, 21426 markings/sec, 1365 secs
lola: 24509986 markings, 74596961 edges, 19303 markings/sec, 1370 secs
lola: 24614048 markings, 74827666 edges, 20812 markings/sec, 1375 secs
lola: 24714232 markings, 75064981 edges, 20037 markings/sec, 1380 secs
lola: 24812838 markings, 75302070 edges, 19721 markings/sec, 1385 secs
lola: 24917749 markings, 75535971 edges, 20982 markings/sec, 1390 secs
lola: 25013584 markings, 75780038 edges, 19167 markings/sec, 1395 secs
lola: 25121952 markings, 76009851 edges, 21674 markings/sec, 1400 secs
lola: 25223161 markings, 76248483 edges, 20242 markings/sec, 1405 secs
lola: 25324403 markings, 76484590 edges, 20248 markings/sec, 1410 secs
lola: 25411961 markings, 76750221 edges, 17512 markings/sec, 1415 secs
lola: 25497032 markings, 77021969 edges, 17014 markings/sec, 1420 secs
lola: 25582232 markings, 77294546 edges, 17040 markings/sec, 1425 secs
lola: 25667413 markings, 77566869 edges, 17036 markings/sec, 1430 secs
lola: 25752648 markings, 77839583 edges, 17047 markings/sec, 1435 secs
lola: 25838772 markings, 78115271 edges, 17225 markings/sec, 1440 secs
lola: 25926965 markings, 78397847 edges, 17639 markings/sec, 1445 secs
lola: 26015082 markings, 78679999 edges, 17623 markings/sec, 1450 secs
lola: 26103460 markings, 78962368 edges, 17676 markings/sec, 1455 secs
lola: 26192064 markings, 79245293 edges, 17721 markings/sec, 1460 secs
lola: 26279600 markings, 79531380 edges, 17507 markings/sec, 1465 secs
lola: 26366948 markings, 79818895 edges, 17470 markings/sec, 1470 secs
lola: 26456000 markings, 80104123 edges, 17810 markings/sec, 1475 secs
lola: 26545419 markings, 80388597 edges, 17884 markings/sec, 1480 secs
lola: 26634798 markings, 80673907 edges, 17876 markings/sec, 1485 secs
lola: 26724322 markings, 80959665 edges, 17905 markings/sec, 1490 secs
lola: 26812041 markings, 81247972 edges, 17544 markings/sec, 1495 secs
lola: 26891800 markings, 81549593 edges, 15952 markings/sec, 1500 secs
lola: 26969619 markings, 81849557 edges, 15564 markings/sec, 1505 secs
lola: 27046237 markings, 82154299 edges, 15324 markings/sec, 1510 secs
lola: 27123323 markings, 82458783 edges, 15417 markings/sec, 1515 secs
lola: 27204779 markings, 82751272 edges, 16291 markings/sec, 1520 secs
lola: 27284787 markings, 83053096 edges, 16002 markings/sec, 1525 secs
lola: 27365927 markings, 83335113 edges, 16228 markings/sec, 1530 secs
lola: 27443281 markings, 83628649 edges, 15471 markings/sec, 1535 secs
lola: 27527264 markings, 83920415 edges, 16797 markings/sec, 1540 secs
lola: 27608067 markings, 84224834 edges, 16161 markings/sec, 1545 secs
lola: 27691511 markings, 84513975 edges, 16689 markings/sec, 1550 secs
lola: 27764741 markings, 84794599 edges, 14646 markings/sec, 1555 secs
lola: 27841655 markings, 85066509 edges, 15383 markings/sec, 1560 secs
lola: 27917141 markings, 85348949 edges, 15097 markings/sec, 1565 secs
lola: 28005250 markings, 85658372 edges, 17622 markings/sec, 1570 secs
lola: 28084672 markings, 85972296 edges, 15884 markings/sec, 1575 secs
lola: 28166169 markings, 86275525 edges, 16299 markings/sec, 1580 secs
lola: 28245294 markings, 86590115 edges, 15825 markings/sec, 1585 secs
lola: 28324216 markings, 86905952 edges, 15784 markings/sec, 1590 secs
lola: 28404348 markings, 87220715 edges, 16026 markings/sec, 1595 secs
lola: 28486408 markings, 87531642 edges, 16412 markings/sec, 1600 secs
lola: 28562854 markings, 87848199 edges, 15289 markings/sec, 1605 secs
lola: 28642510 markings, 88134986 edges, 15931 markings/sec, 1610 secs
lola: 28725501 markings, 88413476 edges, 16598 markings/sec, 1615 secs
lola: 28801358 markings, 88690484 edges, 15171 markings/sec, 1620 secs
lola: 28885111 markings, 88967710 edges, 16751 markings/sec, 1625 secs
lola: 28969591 markings, 89221137 edges, 16896 markings/sec, 1630 secs
lola: 28995512 markings, 89600118 edges, 5184 markings/sec, 1635 secs
lola: 29034554 markings, 89985202 edges, 7808 markings/sec, 1640 secs
lola: 29114329 markings, 90281500 edges, 15955 markings/sec, 1645 secs
lola: 29186534 markings, 90575108 edges, 14441 markings/sec, 1650 secs
lola: 29269565 markings, 90866819 edges, 16606 markings/sec, 1655 secs
lola: 29349566 markings, 91147130 edges, 16000 markings/sec, 1660 secs
lola: 29425010 markings, 91426060 edges, 15089 markings/sec, 1665 secs
lola: 29509029 markings, 91706095 edges, 16804 markings/sec, 1670 secs
lola: 29587499 markings, 91965057 edges, 15694 markings/sec, 1675 secs
lola: 29666456 markings, 92224937 edges, 15791 markings/sec, 1680 secs
lola: 29744265 markings, 92483709 edges, 15562 markings/sec, 1685 secs
lola: 29829301 markings, 92765339 edges, 17007 markings/sec, 1690 secs
lola: 29920053 markings, 93023821 edges, 18150 markings/sec, 1695 secs
lola: 30014215 markings, 93243132 edges, 18832 markings/sec, 1700 secs
lola: 30117071 markings, 93484239 edges, 20571 markings/sec, 1705 secs
lola: 30215839 markings, 93735834 edges, 19754 markings/sec, 1710 secs
lola: 30326757 markings, 93967997 edges, 22184 markings/sec, 1715 secs
lola: 30425442 markings, 94207445 edges, 19737 markings/sec, 1720 secs
lola: 30524576 markings, 94431908 edges, 19827 markings/sec, 1725 secs
lola: 30618929 markings, 94654440 edges, 18871 markings/sec, 1730 secs
lola: 30718473 markings, 94886564 edges, 19909 markings/sec, 1735 secs
lola: 30819473 markings, 95120353 edges, 20200 markings/sec, 1740 secs
lola: 30909342 markings, 95352341 edges, 17974 markings/sec, 1745 secs
lola: 31015783 markings, 95574851 edges, 21288 markings/sec, 1750 secs
lola: 31112808 markings, 95813428 edges, 19405 markings/sec, 1755 secs
lola: 31217955 markings, 96048188 edges, 21029 markings/sec, 1760 secs
lola: 31318956 markings, 96288506 edges, 20200 markings/sec, 1765 secs
lola: 31418132 markings, 96536402 edges, 19835 markings/sec, 1770 secs
lola: 31529697 markings, 96773673 edges, 22313 markings/sec, 1775 secs
lola: 31630963 markings, 97022017 edges, 20253 markings/sec, 1780 secs
lola: 31738794 markings, 97262109 edges, 21566 markings/sec, 1785 secs
lola: 31843248 markings, 97509931 edges, 20891 markings/sec, 1790 secs
lola: 31943519 markings, 97762116 edges, 20054 markings/sec, 1795 secs
lola: 32056357 markings, 98000142 edges, 22568 markings/sec, 1800 secs
lola: 32160149 markings, 98250469 edges, 20758 markings/sec, 1805 secs
lola: 32267715 markings, 98495912 edges, 21513 markings/sec, 1810 secs
lola: 32373724 markings, 98744050 edges, 21202 markings/sec, 1815 secs
lola: 32472171 markings, 98996188 edges, 19689 markings/sec, 1820 secs
lola: 32584908 markings, 99231493 edges, 22547 markings/sec, 1825 secs
lola: 32688996 markings, 99478420 edges, 20818 markings/sec, 1830 secs
lola: 32794494 markings, 99723562 edges, 21100 markings/sec, 1835 secs
lola: 32883491 markings, 99995642 edges, 17799 markings/sec, 1840 secs
lola: 32970188 markings, 100273030 edges, 17339 markings/sec, 1845 secs
lola: 33057884 markings, 100553799 edges, 17539 markings/sec, 1850 secs
lola: 33143989 markings, 100829454 edges, 17221 markings/sec, 1855 secs
lola: 33227902 markings, 101097662 edges, 16783 markings/sec, 1860 secs
lola: 33310424 markings, 101361039 edges, 16504 markings/sec, 1865 secs
lola: 33391092 markings, 101618542 edges, 16134 markings/sec, 1870 secs
lola: 33472203 markings, 101877278 edges, 16222 markings/sec, 1875 secs
lola: 33553399 markings, 102136472 edges, 16239 markings/sec, 1880 secs
lola: 33634507 markings, 102396271 edges, 16222 markings/sec, 1885 secs
lola: 33715542 markings, 102656101 edges, 16207 markings/sec, 1890 secs
lola: 33800763 markings, 102928674 edges, 17044 markings/sec, 1895 secs
lola: 33886143 markings, 103201479 edges, 17076 markings/sec, 1900 secs
lola: 33972138 markings, 103476445 edges, 17199 markings/sec, 1905 secs
lola: 34057345 markings, 103748569 edges, 17041 markings/sec, 1910 secs
lola: 34141960 markings, 104019181 edges, 16923 markings/sec, 1915 secs
lola: 34228466 markings, 104295418 edges, 17301 markings/sec, 1920 secs
lola: 34308966 markings, 104578689 edges, 16100 markings/sec, 1925 secs
lola: 34384972 markings, 104872166 edges, 15201 markings/sec, 1930 secs
lola: 34456452 markings, 105172270 edges, 14296 markings/sec, 1935 secs
lola: 34534088 markings, 105462909 edges, 15527 markings/sec, 1940 secs
lola: 34609365 markings, 105752427 edges, 15055 markings/sec, 1945 secs
lola: 34686174 markings, 106049751 edges, 15362 markings/sec, 1950 secs
lola: 34770907 markings, 106346746 edges, 16947 markings/sec, 1955 secs
lola: 34850807 markings, 106645682 edges, 15980 markings/sec, 1960 secs
lola: 34934000 markings, 106936832 edges, 16639 markings/sec, 1965 secs
lola: 35012795 markings, 107232158 edges, 15759 markings/sec, 1970 secs
lola: 35096793 markings, 107526218 edges, 16800 markings/sec, 1975 secs
lola: 35177329 markings, 107827514 edges, 16107 markings/sec, 1980 secs
lola: 35261561 markings, 108121299 edges, 16846 markings/sec, 1985 secs
lola: 35341509 markings, 108421735 edges, 15990 markings/sec, 1990 secs
lola: 35426040 markings, 108715951 edges, 16906 markings/sec, 1995 secs
lola: 35505372 markings, 109016647 edges, 15866 markings/sec, 2000 secs
lola: 35582018 markings, 109320374 edges, 15329 markings/sec, 2005 secs
lola: 35662373 markings, 109617591 edges, 16071 markings/sec, 2010 secs
lola: 35736916 markings, 109920877 edges, 14909 markings/sec, 2015 secs
lola: 35811728 markings, 110218155 edges, 14962 markings/sec, 2020 secs
lola: 35892081 markings, 110515638 edges, 16071 markings/sec, 2025 secs
lola: 35968550 markings, 110824315 edges, 15294 markings/sec, 2030 secs
lola: 36041028 markings, 111122177 edges, 14496 markings/sec, 2035 secs
lola: 36119227 markings, 111396019 edges, 15640 markings/sec, 2040 secs
lola: 36196934 markings, 111671672 edges, 15541 markings/sec, 2045 secs
lola: 36272861 markings, 111934284 edges, 15185 markings/sec, 2050 secs
lola: 36351888 markings, 112197494 edges, 15805 markings/sec, 2055 secs
lola: 36433346 markings, 112445524 edges, 16292 markings/sec, 2060 secs
lola: 36463806 markings, 112810499 edges, 6092 markings/sec, 2065 secs
lola: 36493886 markings, 113186845 edges, 6016 markings/sec, 2070 secs
lola: 36569629 markings, 113473535 edges, 15149 markings/sec, 2075 secs
lola: 36642225 markings, 113755598 edges, 14519 markings/sec, 2080 secs
lola: 36721298 markings, 114040601 edges, 15815 markings/sec, 2085 secs
lola: 36796923 markings, 114313630 edges, 15125 markings/sec, 2090 secs
lola: 36874023 markings, 114593874 edges, 15420 markings/sec, 2095 secs
lola: 36957349 markings, 114871009 edges, 16665 markings/sec, 2100 secs
lola: 37036602 markings, 115133014 edges, 15851 markings/sec, 2105 secs
lola: 37115003 markings, 115390790 edges, 15680 markings/sec, 2110 secs
lola: 37183583 markings, 115638072 edges, 13716 markings/sec, 2115 secs
lola: 37268017 markings, 115900284 edges, 16887 markings/sec, 2120 secs
lola: 37345653 markings, 116181452 edges, 15527 markings/sec, 2125 secs
lola: 37448576 markings, 116395195 edges, 20585 markings/sec, 2130 secs
lola: 37540479 markings, 116623331 edges, 18381 markings/sec, 2135 secs
lola: 37649746 markings, 116867504 edges, 21853 markings/sec, 2140 secs
lola: 37755906 markings, 117116739 edges, 21232 markings/sec, 2145 secs
lola: 37857005 markings, 117373164 edges, 20220 markings/sec, 2150 secs
lola: 37960292 markings, 117589093 edges, 20657 markings/sec, 2155 secs
lola: 38050706 markings, 117818338 edges, 18083 markings/sec, 2160 secs
lola: 38152151 markings, 118035752 edges, 20289 markings/sec, 2165 secs
lola: 38249401 markings, 118266405 edges, 19450 markings/sec, 2170 secs
lola: 38346630 markings, 118492412 edges, 19446 markings/sec, 2175 secs
lola: 38443036 markings, 118720058 edges, 19281 markings/sec, 2180 secs
lola: 38538808 markings, 118961210 edges, 19154 markings/sec, 2185 secs
lola: 38646007 markings, 119188732 edges, 21440 markings/sec, 2190 secs
lola: 38740428 markings, 119427641 edges, 18884 markings/sec, 2195 secs
lola: 38849151 markings, 119661232 edges, 21745 markings/sec, 2200 secs
lola: 38950878 markings, 119902161 edges, 20345 markings/sec, 2205 secs
lola: 39053105 markings, 120140421 edges, 20445 markings/sec, 2210 secs
lola: 39157620 markings, 120382337 edges, 20903 markings/sec, 2215 secs
lola: 39248559 markings, 120618381 edges, 18188 markings/sec, 2220 secs
lola: 39360145 markings, 120851021 edges, 22317 markings/sec, 2225 secs
lola: 39463619 markings, 121095922 edges, 20695 markings/sec, 2230 secs
lola: 39566959 markings, 121336217 edges, 20668 markings/sec, 2235 secs
lola: 39671938 markings, 121581953 edges, 20996 markings/sec, 2240 secs
lola: 39769337 markings, 121832995 edges, 19480 markings/sec, 2245 secs
lola: 39881877 markings, 122067546 edges, 22508 markings/sec, 2250 secs
lola: 39983850 markings, 122308488 edges, 20395 markings/sec, 2255 secs
lola: 40084969 markings, 122543584 edges, 20224 markings/sec, 2260 secs
lola: 40189619 markings, 122788797 edges, 20930 markings/sec, 2265 secs
lola: 40288227 markings, 123041685 edges, 19722 markings/sec, 2270 secs
lola: 40375334 markings, 123320154 edges, 17421 markings/sec, 2275 secs
lola: 40462687 markings, 123598962 edges, 17471 markings/sec, 2280 secs
lola: 40547361 markings, 123869754 edges, 16935 markings/sec, 2285 secs
lola: 40632499 markings, 124141883 edges, 17028 markings/sec, 2290 secs
lola: 40715985 markings, 124409566 edges, 16697 markings/sec, 2295 secs
lola: 40798208 markings, 124672779 edges, 16445 markings/sec, 2300 secs
lola: 40881149 markings, 124937838 edges, 16588 markings/sec, 2305 secs
lola: 40964650 markings, 125204508 edges, 16700 markings/sec, 2310 secs
lola: 41050840 markings, 125480376 edges, 17238 markings/sec, 2315 secs
lola: 41136903 markings, 125755800 edges, 17213 markings/sec, 2320 secs
lola: 41220585 markings, 126023078 edges, 16736 markings/sec, 2325 secs
lola: 41304221 markings, 126290816 edges, 16727 markings/sec, 2330 secs
lola: 41390899 markings, 126568014 edges, 17336 markings/sec, 2335 secs
lola: 41477631 markings, 126845366 edges, 17346 markings/sec, 2340 secs
lola: 41564554 markings, 127122538 edges, 17385 markings/sec, 2345 secs
lola: 41651538 markings, 127400036 edges, 17397 markings/sec, 2350 secs
lola: 41735225 markings, 127669969 edges, 16737 markings/sec, 2355 secs
lola: 41809322 markings, 127946725 edges, 14819 markings/sec, 2360 secs
lola: 41884268 markings, 128242675 edges, 14989 markings/sec, 2365 secs
lola: 41962344 markings, 128529845 edges, 15615 markings/sec, 2370 secs
lola: 42034713 markings, 128830372 edges, 14474 markings/sec, 2375 secs
lola: 42111178 markings, 129123735 edges, 15293 markings/sec, 2380 secs
lola: 42192651 markings, 129407209 edges, 16295 markings/sec, 2385 secs
lola: 42270410 markings, 129701729 edges, 15552 markings/sec, 2390 secs
lola: 42354325 markings, 129993715 edges, 16783 markings/sec, 2395 secs
lola: 42433436 markings, 130291714 edges, 15822 markings/sec, 2400 secs
lola: 42514305 markings, 130574426 edges, 16174 markings/sec, 2405 secs
lola: 42594377 markings, 130875726 edges, 16014 markings/sec, 2410 secs
lola: 42678332 markings, 131167959 edges, 16791 markings/sec, 2415 secs
lola: 42758924 markings, 131470963 edges, 16118 markings/sec, 2420 secs
lola: 42839490 markings, 131752338 edges, 16113 markings/sec, 2425 secs
lola: 42917643 markings, 132046605 edges, 15631 markings/sec, 2430 secs
lola: 42995298 markings, 132339937 edges, 15531 markings/sec, 2435 secs
lola: 43074800 markings, 132637322 edges, 15900 markings/sec, 2440 secs
lola: 43151682 markings, 132942752 edges, 15376 markings/sec, 2445 secs
lola: 43224942 markings, 133237618 edges, 14652 markings/sec, 2450 secs
lola: 43303658 markings, 133528420 edges, 15743 markings/sec, 2455 secs
lola: 43380866 markings, 133839008 edges, 15442 markings/sec, 2460 secs
lola: 43457080 markings, 134146890 edges, 15243 markings/sec, 2465 secs
lola: 43528734 markings, 134433662 edges, 14331 markings/sec, 2470 secs
lola: 43606029 markings, 134704359 edges, 15459 markings/sec, 2475 secs
lola: 43683423 markings, 134956948 edges, 15479 markings/sec, 2480 secs
lola: 43755213 markings, 135217553 edges, 14358 markings/sec, 2485 secs
lola: 43832996 markings, 135473122 edges, 15557 markings/sec, 2490 secs
lola: 43914260 markings, 135712744 edges, 16253 markings/sec, 2495 secs
lola: 43932590 markings, 136083029 edges, 3666 markings/sec, 2500 secs
lola: 43972433 markings, 136458803 edges, 7969 markings/sec, 2505 secs
lola: 44048677 markings, 136742387 edges, 15249 markings/sec, 2510 secs
lola: 44115973 markings, 137021839 edges, 13459 markings/sec, 2515 secs
lola: 44195018 markings, 137291422 edges, 15809 markings/sec, 2520 secs
lola: 44264791 markings, 137546770 edges, 13955 markings/sec, 2525 secs
lola: 44339462 markings, 137818384 edges, 14934 markings/sec, 2530 secs
lola: 44424537 markings, 138101658 edges, 17015 markings/sec, 2535 secs
lola: 44503911 markings, 138365482 edges, 15875 markings/sec, 2540 secs
lola: 44583919 markings, 138627490 edges, 16002 markings/sec, 2545 secs
lola: 44657813 markings, 138889355 edges, 14779 markings/sec, 2550 secs
lola: 44741164 markings, 139150810 edges, 16670 markings/sec, 2555 secs
lola: 44818748 markings, 139424856 edges, 15517 markings/sec, 2560 secs
lola: 44918655 markings, 139634086 edges, 19981 markings/sec, 2565 secs
lola: 45009524 markings, 139859297 edges, 18174 markings/sec, 2570 secs
lola: 45113084 markings, 140089832 edges, 20712 markings/sec, 2575 secs
lola: 45215075 markings, 140332278 edges, 20398 markings/sec, 2580 secs
lola: 45313928 markings, 140580269 edges, 19771 markings/sec, 2585 secs
lola: 45414660 markings, 140793279 edges, 20146 markings/sec, 2590 secs
lola: 45504512 markings, 141027898 edges, 17970 markings/sec, 2595 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 unknown 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 unknown 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 unknown 1 1 1 1 1
lola: memory consumption: 7061900 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 unknown 1 1 1 1 1
lola: memory consumption: 7061948 KB
lola: time consumption: 3570 seconds
BK_STOP 1552866895770
--------------------
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="FlexibleBarrier-PT-10b"
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 FlexibleBarrier-PT-10b, 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 r088-csrt-155246565700064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-10b.tgz
mv FlexibleBarrier-PT-10b 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 '
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 ;