fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r016-qhx1-152646241300184
Last Updated
June 26, 2018

About the Execution of LoLA for AutoFlight-PT-96b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2553.900 3589857.00 3655491.00 7666.60 ? 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

Waiting for the VM to be ready (probing ssh)
....................................................
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.5K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 108 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 346 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 1.9M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is AutoFlight-PT-96b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-qhx1-152646241300184
=====================================================================


--------------------
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 AutoFlight-PT-96b-UpperBounds-00
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-01
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-02
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-03
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-04
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-05
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-06
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-07
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-08
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-09
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-10
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-11
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-12
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-13
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-14
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526676445735

info: Time: 3600 - MCC
===========================================================================================
prep: translating AutoFlight-PT-96b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating AutoFlight-PT-96b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ AutoFlight-PT-96b @ 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: 15762/65536 symbol table entries, 5176 collisions
lola: preprocessing...
lola: Size of bit vector: 7894
lola: finding significant places
lola: 7894 places, 7868 transitions, 7380 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 8694 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-96b-UpperBounds.task
lola: MAX(p6015) : MAX(p241) : MAX(p3667) : MAX(p2068) : MAX(p169) : MAX(p1106) : MAX(p3156) : MAX(p1095) : MAX(p6865) : MAX(p4268) : MAX(p7081) : MAX(p7305) : MAX(p6509) : MAX(p3197) : MAX(p162) : MAX(p3142)
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(p6015)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6015)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 244 markings, 244 edges, 49 markings/sec, 0 secs
lola: 29036 markings, 50022 edges, 5758 markings/sec, 5 secs
lola: 50279 markings, 106870 edges, 4249 markings/sec, 10 secs
lola: 72544 markings, 162761 edges, 4453 markings/sec, 15 secs
lola: 96072 markings, 217313 edges, 4706 markings/sec, 20 secs
lola: 117281 markings, 274086 edges, 4242 markings/sec, 25 secs
lola: 138494 markings, 330875 edges, 4243 markings/sec, 30 secs
lola: 162143 markings, 385236 edges, 4730 markings/sec, 35 secs
lola: 184326 markings, 441408 edges, 4437 markings/sec, 40 secs
lola: 205607 markings, 498335 edges, 4256 markings/sec, 45 secs
lola: 228207 markings, 553696 edges, 4520 markings/sec, 50 secs
lola: 251325 markings, 608619 edges, 4624 markings/sec, 55 secs
lola: 272633 markings, 665614 edges, 4262 markings/sec, 60 secs
lola: 294300 markings, 722271 edges, 4333 markings/sec, 65 secs
lola: 318081 markings, 777055 edges, 4756 markings/sec, 70 secs
lola: 340002 markings, 833637 edges, 4384 markings/sec, 75 secs
lola: 361587 markings, 891227 edges, 4317 markings/sec, 80 secs
lola: 384724 markings, 947369 edges, 4627 markings/sec, 85 secs
lola: 408153 markings, 1003369 edges, 4686 markings/sec, 90 secs
lola: 429775 markings, 1061044 edges, 4324 markings/sec, 95 secs
lola: 451645 markings, 1118571 edges, 4374 markings/sec, 100 secs
lola: 475659 markings, 1174096 edges, 4803 markings/sec, 105 secs
lola: 498113 markings, 1231185 edges, 4491 markings/sec, 110 secs
lola: 519790 markings, 1288974 edges, 4335 markings/sec, 115 secs
lola: 542705 markings, 1345668 edges, 4583 markings/sec, 120 secs
lola: 566488 markings, 1401399 edges, 4757 markings/sec, 125 secs
lola: 591425 markings, 1455850 edges, 4987 markings/sec, 130 secs
lola: 613029 markings, 1513486 edges, 4321 markings/sec, 135 secs
lola: 637981 markings, 1567966 edges, 4990 markings/sec, 140 secs
lola: 662602 markings, 1622757 edges, 4924 markings/sec, 145 secs
lola: 684557 markings, 1680125 edges, 4391 markings/sec, 150 secs
lola: 709510 markings, 1734615 edges, 4991 markings/sec, 155 secs
lola: 732057 markings, 1791573 edges, 4509 markings/sec, 160 secs
lola: 756176 markings, 1846958 edges, 4824 markings/sec, 165 secs
lola: 781048 markings, 1901280 edges, 4974 markings/sec, 170 secs
lola: 802625 markings, 1958852 edges, 4315 markings/sec, 175 secs
lola: 827568 markings, 2013321 edges, 4989 markings/sec, 180 secs
lola: 854432 markings, 2066067 edges, 5373 markings/sec, 185 secs
lola: 880765 markings, 2119496 edges, 5267 markings/sec, 190 secs
lola: 902749 markings, 2176901 edges, 4397 markings/sec, 195 secs
lola: 927426 markings, 2231362 edges, 4935 markings/sec, 200 secs
lola: 952825 markings, 2285165 edges, 5080 markings/sec, 205 secs
lola: 979344 markings, 2338210 edges, 5304 markings/sec, 210 secs
lola: 1005045 markings, 2392122 edges, 5140 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 318848 KB
lola: time consumption: 240 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 324168 KB
lola: time consumption: 244 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p241)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p241)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 242 markings, 241 edges
lola: ========================================

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

FORMULA AutoFlight-PT-96b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2068)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2068)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 604 markings, 609 edges

FORMULA AutoFlight-PT-96b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p169)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 170 markings, 169 edges
lola: ========================================

FORMULA AutoFlight-PT-96b-UpperBounds-4 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(p1106)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1106)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: Structural Bound: 1
lola: 27590 markings, 35306 edges, 5518 markings/sec, 5 secs
lola: 61459 markings, 79563 edges, 6774 markings/sec, 10 secs
lola: 95214 markings, 123673 edges, 6751 markings/sec, 15 secs
lola: 128920 markings, 167716 edges, 6741 markings/sec, 20 secs
lola: 160614 markings, 213602 edges, 6339 markings/sec, 25 secs
lola: 184077 markings, 267719 edges, 4693 markings/sec, 30 secs
lola: 207512 markings, 321775 edges, 4687 markings/sec, 35 secs
lola: 230909 markings, 375737 edges, 4679 markings/sec, 40 secs
lola: 254373 markings, 429866 edges, 4693 markings/sec, 45 secs
lola: 277858 markings, 484030 edges, 4697 markings/sec, 50 secs
lola: 301297 markings, 538097 edges, 4688 markings/sec, 55 secs
lola: 324632 markings, 591928 edges, 4667 markings/sec, 60 secs
lola: 348014 markings, 645860 edges, 4676 markings/sec, 65 secs
lola: 371384 markings, 699772 edges, 4674 markings/sec, 70 secs
lola: 394668 markings, 753478 edges, 4657 markings/sec, 75 secs
lola: 417931 markings, 807151 edges, 4653 markings/sec, 80 secs
lola: 441242 markings, 860906 edges, 4662 markings/sec, 85 secs
lola: 464243 markings, 914881 edges, 4600 markings/sec, 90 secs
lola: 482362 markings, 974790 edges, 3624 markings/sec, 95 secs
lola: 500440 markings, 1034561 edges, 3616 markings/sec, 100 secs
lola: 518497 markings, 1094282 edges, 3611 markings/sec, 105 secs
lola: 536555 markings, 1153971 edges, 3612 markings/sec, 110 secs
lola: 554641 markings, 1213776 edges, 3617 markings/sec, 115 secs
lola: 572751 markings, 1273647 edges, 3622 markings/sec, 120 secs
lola: 590837 markings, 1333481 edges, 3617 markings/sec, 125 secs
lola: 608878 markings, 1393144 edges, 3608 markings/sec, 130 secs
lola: 630174 markings, 1450319 edges, 4259 markings/sec, 135 secs
lola: 654067 markings, 1505432 edges, 4779 markings/sec, 140 secs
lola: 677828 markings, 1560223 edges, 4752 markings/sec, 145 secs
lola: 701637 markings, 1615139 edges, 4762 markings/sec, 150 secs
lola: 725470 markings, 1670130 edges, 4767 markings/sec, 155 secs
lola: 749237 markings, 1724963 edges, 4753 markings/sec, 160 secs
lola: 773028 markings, 1779826 edges, 4758 markings/sec, 165 secs
lola: 796856 markings, 1834803 edges, 4766 markings/sec, 170 secs
lola: 820505 markings, 1889332 edges, 4730 markings/sec, 175 secs
lola: 844218 markings, 1944054 edges, 4743 markings/sec, 180 secs
lola: 868038 markings, 1998996 edges, 4764 markings/sec, 185 secs
lola: 891893 markings, 2054017 edges, 4771 markings/sec, 190 secs
lola: 915688 markings, 2108889 edges, 4759 markings/sec, 195 secs
lola: 939377 markings, 2163532 edges, 4738 markings/sec, 200 secs
lola: 962976 markings, 2217975 edges, 4720 markings/sec, 205 secs
lola: 986578 markings, 2272420 edges, 4720 markings/sec, 210 secs
lola: 1010146 markings, 2326783 edges, 4714 markings/sec, 215 secs
lola: 1033766 markings, 2381251 edges, 4724 markings/sec, 220 secs
lola: 1057301 markings, 2435551 edges, 4707 markings/sec, 225 secs
lola: 1080811 markings, 2489793 edges, 4702 markings/sec, 230 secs
lola: 1104312 markings, 2543998 edges, 4700 markings/sec, 235 secs
lola: 1127623 markings, 2597762 edges, 4662 markings/sec, 240 secs
lola: 1150996 markings, 2651686 edges, 4675 markings/sec, 245 secs
lola: 1174431 markings, 2705738 edges, 4687 markings/sec, 250 secs
lola: 1197861 markings, 2759777 edges, 4686 markings/sec, 255 secs
lola: 1221236 markings, 2813712 edges, 4675 markings/sec, 260 secs
lola: 1244671 markings, 2867759 edges, 4687 markings/sec, 265 secs
lola: 1268058 markings, 2921699 edges, 4677 markings/sec, 270 secs
lola: 1291458 markings, 2975676 edges, 4680 markings/sec, 275 secs
lola: 1314841 markings, 3029624 edges, 4677 markings/sec, 280 secs
lola: 1338233 markings, 3083576 edges, 4678 markings/sec, 285 secs
lola: 1361633 markings, 3137554 edges, 4680 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 190412 KB
lola: time consumption: 578 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 191516 KB
lola: time consumption: 579 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3156)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3156)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 315 markings, 314 edges
lola: ========================================

FORMULA AutoFlight-PT-96b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1095)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1095)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 359 markings, 358 edges
lola: ========================================

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

FORMULA AutoFlight-PT-96b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4268)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4268)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 99 markings, 98 edges

FORMULA AutoFlight-PT-96b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 492 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7081)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7081)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 5112 markings, 6237 edges, 1022 markings/sec, 0 secs
lola: 39842 markings, 51624 edges, 6946 markings/sec, 5 secs
lola: 74521 markings, 96939 edges, 6936 markings/sec, 10 secs
lola: 109223 markings, 142279 edges, 6940 markings/sec, 15 secs
lola: 143905 markings, 187599 edges, 6936 markings/sec, 20 secs
lola: 171338 markings, 239743 edges, 5487 markings/sec, 25 secs
lola: 195327 markings, 295079 edges, 4798 markings/sec, 30 secs
lola: 219330 markings, 350445 edges, 4801 markings/sec, 35 secs
lola: 243302 markings, 405742 edges, 4794 markings/sec, 40 secs
lola: 267271 markings, 461042 edges, 4794 markings/sec, 45 secs
lola: 291187 markings, 516207 edges, 4783 markings/sec, 50 secs
lola: 315017 markings, 571175 edges, 4766 markings/sec, 55 secs
lola: 338851 markings, 626144 edges, 4767 markings/sec, 60 secs
lola: 362627 markings, 681000 edges, 4755 markings/sec, 65 secs
lola: 386370 markings, 735764 edges, 4749 markings/sec, 70 secs
lola: 410198 markings, 790717 edges, 4766 markings/sec, 75 secs
lola: 433989 markings, 845601 edges, 4758 markings/sec, 80 secs
lola: 457730 markings, 900371 edges, 4748 markings/sec, 85 secs
lola: 477147 markings, 960035 edges, 3883 markings/sec, 90 secs
lola: 495443 markings, 1020546 edges, 3659 markings/sec, 95 secs
lola: 513781 markings, 1081200 edges, 3668 markings/sec, 100 secs
lola: 532088 markings, 1141744 edges, 3661 markings/sec, 105 secs
lola: 550425 markings, 1202393 edges, 3667 markings/sec, 110 secs
lola: 568775 markings, 1263053 edges, 3670 markings/sec, 115 secs
lola: 587130 markings, 1323731 edges, 3671 markings/sec, 120 secs
lola: 605433 markings, 1384274 edges, 3661 markings/sec, 125 secs
lola: 626289 markings, 1442771 edges, 4171 markings/sec, 130 secs
lola: 650510 markings, 1498638 edges, 4844 markings/sec, 135 secs
lola: 674688 markings, 1554389 edges, 4836 markings/sec, 140 secs
lola: 698810 markings, 1610049 edges, 4824 markings/sec, 145 secs
lola: 722953 markings, 1665738 edges, 4829 markings/sec, 150 secs
lola: 747102 markings, 1721439 edges, 4830 markings/sec, 155 secs
lola: 771199 markings, 1777029 edges, 4819 markings/sec, 160 secs
lola: 795431 markings, 1832908 edges, 4846 markings/sec, 165 secs
lola: 819587 markings, 1888633 edges, 4831 markings/sec, 170 secs
lola: 843697 markings, 1944236 edges, 4822 markings/sec, 175 secs
lola: 867807 markings, 1999850 edges, 4822 markings/sec, 180 secs
lola: 891891 markings, 2055409 edges, 4817 markings/sec, 185 secs
lola: 915990 markings, 2111003 edges, 4820 markings/sec, 190 secs
lola: 939962 markings, 2166300 edges, 4794 markings/sec, 195 secs
lola: 963776 markings, 2221241 edges, 4763 markings/sec, 200 secs
lola: 987689 markings, 2276384 edges, 4783 markings/sec, 205 secs
lola: 1011617 markings, 2331576 edges, 4786 markings/sec, 210 secs
lola: 1035543 markings, 2386776 edges, 4785 markings/sec, 215 secs
lola: 1059321 markings, 2441621 edges, 4756 markings/sec, 220 secs
lola: 1083143 markings, 2496588 edges, 4764 markings/sec, 225 secs
lola: 1106916 markings, 2551426 edges, 4755 markings/sec, 230 secs
lola: 1130722 markings, 2606331 edges, 4761 markings/sec, 235 secs
lola: 1154468 markings, 2661115 edges, 4749 markings/sec, 240 secs
lola: 1178365 markings, 2716234 edges, 4779 markings/sec, 245 secs
lola: 1202205 markings, 2771228 edges, 4768 markings/sec, 250 secs
lola: 1225978 markings, 2826063 edges, 4755 markings/sec, 255 secs
lola: 1249860 markings, 2881148 edges, 4776 markings/sec, 260 secs
lola: 1273724 markings, 2936195 edges, 4773 markings/sec, 265 secs
lola: 1297570 markings, 2991202 edges, 4769 markings/sec, 270 secs
lola: 1321414 markings, 3046203 edges, 4769 markings/sec, 275 secs
lola: 1345255 markings, 3101196 edges, 4768 markings/sec, 280 secs
lola: 1369074 markings, 3156140 edges, 4764 markings/sec, 285 secs
lola: 1390747 markings, 3213040 edges, 4335 markings/sec, 290 secs
lola: 1408863 markings, 3272977 edges, 3623 markings/sec, 295 secs
lola: 1426923 markings, 3332651 edges, 3612 markings/sec, 300 secs
lola: 1445031 markings, 3392547 edges, 3622 markings/sec, 305 secs
lola: 1463157 markings, 3452481 edges, 3625 markings/sec, 310 secs
lola: 1481300 markings, 3512456 edges, 3629 markings/sec, 315 secs
lola: 1499295 markings, 3571976 edges, 3599 markings/sec, 320 secs
lola: 1517378 markings, 3631786 edges, 3617 markings/sec, 325 secs
lola: 1535477 markings, 3691615 edges, 3620 markings/sec, 330 secs
lola: 1558770 markings, 3747288 edges, 4659 markings/sec, 335 secs
lola: 1582590 markings, 3802240 edges, 4764 markings/sec, 340 secs
lola: 1606375 markings, 3857107 edges, 4757 markings/sec, 345 secs
lola: 1630219 markings, 3912112 edges, 4769 markings/sec, 350 secs
lola: 1654037 markings, 3967053 edges, 4764 markings/sec, 355 secs
lola: 1677860 markings, 4021993 edges, 4765 markings/sec, 360 secs
lola: 1701625 markings, 4076820 edges, 4753 markings/sec, 365 secs
lola: 1725376 markings, 4131594 edges, 4750 markings/sec, 370 secs
lola: 1749032 markings, 4186168 edges, 4731 markings/sec, 375 secs
lola: 1772790 markings, 4240966 edges, 4752 markings/sec, 380 secs
lola: 1796535 markings, 4295744 edges, 4749 markings/sec, 385 secs
lola: 1820294 markings, 4350541 edges, 4752 markings/sec, 390 secs
lola: 1844033 markings, 4405294 edges, 4748 markings/sec, 395 secs
lola: 1862388 markings, 4465395 edges, 3671 markings/sec, 400 secs
lola: 1880560 markings, 4525484 edges, 3634 markings/sec, 405 secs
lola: 1898667 markings, 4585328 edges, 3621 markings/sec, 410 secs
lola: 1916781 markings, 4645225 edges, 3623 markings/sec, 415 secs
lola: 1934947 markings, 4705323 edges, 3633 markings/sec, 420 secs
lola: 1953091 markings, 4765330 edges, 3629 markings/sec, 425 secs
lola: 1971227 markings, 4825261 edges, 3627 markings/sec, 430 secs
lola: 1989295 markings, 4885015 edges, 3614 markings/sec, 435 secs
lola: 2010305 markings, 4942395 edges, 4202 markings/sec, 440 secs
lola: 2034082 markings, 4997274 edges, 4755 markings/sec, 445 secs
lola: 2057828 markings, 5052046 edges, 4749 markings/sec, 450 secs
lola: 2081568 markings, 5106803 edges, 4748 markings/sec, 455 secs
lola: 2105363 markings, 5161672 edges, 4759 markings/sec, 460 secs
lola: 2129186 markings, 5216641 edges, 4765 markings/sec, 465 secs
lola: 2152880 markings, 5271270 edges, 4739 markings/sec, 470 secs
lola: 2176697 markings, 5326235 edges, 4763 markings/sec, 475 secs
lola: 2200458 markings, 5381021 edges, 4752 markings/sec, 480 secs
lola: 2224108 markings, 5435597 edges, 4730 markings/sec, 485 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 284588 KB
lola: time consumption: 1109 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 286752 KB
lola: time consumption: 1112 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 488 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7305)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7305)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 47 markings, 46 edges
lola: ========================================

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

FORMULA AutoFlight-PT-96b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 810 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3197)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 78 markings, 78 edges, 16 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 313 markings, 312 edges
lola: ========================================

FORMULA AutoFlight-PT-96b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p162)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p162)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 163 markings, 162 edges

FORMULA AutoFlight-PT-96b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3142)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 206 markings, 205 edges
lola: ========================================

FORMULA AutoFlight-PT-96b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p6015)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6015)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-96b-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: 624 markings, 624 edges, 125 markings/sec, 0 secs
lola: 29552 markings, 51145 edges, 5786 markings/sec, 5 secs
lola: 51161 markings, 108793 edges, 4322 markings/sec, 10 secs
lola: 73475 markings, 165718 edges, 4463 markings/sec, 15 secs
lola: 97498 markings, 221282 edges, 4805 markings/sec, 20 secs
lola: 119357 markings, 278627 edges, 4372 markings/sec, 25 secs
lola: 141024 markings, 336393 edges, 4333 markings/sec, 30 secs
lola: 164402 markings, 392411 edges, 4676 markings/sec, 35 secs
lola: 187472 markings, 448278 edges, 4614 markings/sec, 40 secs
lola: 209063 markings, 505880 edges, 4318 markings/sec, 45 secs
lola: 231156 markings, 563097 edges, 4419 markings/sec, 50 secs
lola: 255227 markings, 618804 edges, 4814 markings/sec, 55 secs
lola: 277460 markings, 676151 edges, 4447 markings/sec, 60 secs
lola: 299041 markings, 733735 edges, 4316 markings/sec, 65 secs
lola: 322189 markings, 790136 edges, 4630 markings/sec, 70 secs
lola: 345857 markings, 846417 edges, 4734 markings/sec, 75 secs
lola: 367653 markings, 904472 edges, 4359 markings/sec, 80 secs
lola: 389407 markings, 962271 edges, 4351 markings/sec, 85 secs
lola: 413568 markings, 1018260 edges, 4832 markings/sec, 90 secs
lola: 436420 markings, 1075552 edges, 4570 markings/sec, 95 secs
lola: 458220 markings, 1133616 edges, 4360 markings/sec, 100 secs
lola: 480874 markings, 1190681 edges, 4531 markings/sec, 105 secs
lola: 505071 markings, 1246764 edges, 4839 markings/sec, 110 secs
lola: 527052 markings, 1304825 edges, 4396 markings/sec, 115 secs
lola: 548838 markings, 1362856 edges, 4357 markings/sec, 120 secs
lola: 573954 markings, 1417701 edges, 5023 markings/sec, 125 secs
lola: 599092 markings, 1472877 edges, 5028 markings/sec, 130 secs
lola: 621011 markings, 1530907 edges, 4384 markings/sec, 135 secs
lola: 646154 markings, 1585814 edges, 5029 markings/sec, 140 secs
lola: 668876 markings, 1642731 edges, 4544 markings/sec, 145 secs
lola: 693065 markings, 1698695 edges, 4838 markings/sec, 150 secs
lola: 718550 markings, 1754356 edges, 5097 markings/sec, 155 secs
lola: 740492 markings, 1812728 edges, 4388 markings/sec, 160 secs
lola: 765900 markings, 1868175 edges, 5082 markings/sec, 165 secs
lola: 790219 markings, 1924430 edges, 4864 markings/sec, 170 secs
lola: 813145 markings, 1981830 edges, 4585 markings/sec, 175 secs
lola: 838417 markings, 2037012 edges, 5054 markings/sec, 180 secs
lola: 863783 markings, 2092398 edges, 5073 markings/sec, 185 secs
lola: 889683 markings, 2146917 edges, 5180 markings/sec, 190 secs
lola: 916607 markings, 2201253 edges, 5385 markings/sec, 195 secs
lola: 943008 markings, 2255934 edges, 5280 markings/sec, 200 secs
lola: 965465 markings, 2313893 edges, 4491 markings/sec, 205 secs
lola: 990680 markings, 2369469 edges, 5043 markings/sec, 210 secs
lola: 1016366 markings, 2424688 edges, 5137 markings/sec, 215 secs
lola: 1043323 markings, 2479122 edges, 5391 markings/sec, 220 secs
lola: 1070270 markings, 2533511 edges, 5389 markings/sec, 225 secs
lola: 1093350 markings, 2590783 edges, 4616 markings/sec, 230 secs
lola: 1117788 markings, 2647021 edges, 4888 markings/sec, 235 secs
lola: 1143204 markings, 2702505 edges, 5083 markings/sec, 240 secs
lola: 1169984 markings, 2756810 edges, 5356 markings/sec, 245 secs
lola: 1196935 markings, 2811223 edges, 5390 markings/sec, 250 secs
lola: 1221228 markings, 2867660 edges, 4859 markings/sec, 255 secs
lola: 1244878 markings, 2924513 edges, 4730 markings/sec, 260 secs
lola: 1270280 markings, 2979990 edges, 5080 markings/sec, 265 secs
lola: 1296654 markings, 3034535 edges, 5275 markings/sec, 270 secs
lola: 1323564 markings, 3088818 edges, 5382 markings/sec, 275 secs
lola: 1348904 markings, 3144300 edges, 5068 markings/sec, 280 secs
lola: 1371774 markings, 3201602 edges, 4574 markings/sec, 285 secs
lola: 1397116 markings, 3256934 edges, 5068 markings/sec, 290 secs
lola: 1423184 markings, 3311803 edges, 5214 markings/sec, 295 secs
lola: 1449977 markings, 3365717 edges, 5359 markings/sec, 300 secs
lola: 1476126 markings, 3420409 edges, 5230 markings/sec, 305 secs
lola: 1498173 markings, 3477557 edges, 4409 markings/sec, 310 secs
lola: 1516947 markings, 3536927 edges, 3755 markings/sec, 315 secs
lola: 1533029 markings, 3598599 edges, 3216 markings/sec, 320 secs
lola: 1551462 markings, 3657872 edges, 3687 markings/sec, 325 secs
lola: 1567771 markings, 3719663 edges, 3262 markings/sec, 330 secs
lola: 1585684 markings, 3780116 edges, 3583 markings/sec, 335 secs
lola: 1602725 markings, 3841397 edges, 3408 markings/sec, 340 secs
lola: 1619973 markings, 3902643 edges, 3450 markings/sec, 345 secs
lola: 1637720 markings, 3963271 edges, 3549 markings/sec, 350 secs
lola: 1654217 markings, 4024962 edges, 3299 markings/sec, 355 secs
lola: 1672661 markings, 4084969 edges, 3689 markings/sec, 360 secs
lola: 1688846 markings, 4146954 edges, 3237 markings/sec, 365 secs
lola: 1707670 markings, 4206875 edges, 3765 markings/sec, 370 secs
lola: 1723846 markings, 4268840 edges, 3235 markings/sec, 375 secs
lola: 1741961 markings, 4329287 edges, 3623 markings/sec, 380 secs
lola: 1758860 markings, 4390771 edges, 3380 markings/sec, 385 secs
lola: 1776338 markings, 4452195 edges, 3496 markings/sec, 390 secs
lola: 1793982 markings, 4513047 edges, 3529 markings/sec, 395 secs
lola: 1810678 markings, 4574935 edges, 3339 markings/sec, 400 secs
lola: 1829139 markings, 4635429 edges, 3692 markings/sec, 405 secs
lola: 1845522 markings, 4698047 edges, 3277 markings/sec, 410 secs
lola: 1864487 markings, 4758426 edges, 3793 markings/sec, 415 secs
lola: 1880827 markings, 4820901 edges, 3268 markings/sec, 420 secs
lola: 1899056 markings, 4881899 edges, 3646 markings/sec, 425 secs
lola: 1916181 markings, 4943918 edges, 3425 markings/sec, 430 secs
lola: 1933597 markings, 5005484 edges, 3483 markings/sec, 435 secs
lola: 1951471 markings, 5066723 edges, 3575 markings/sec, 440 secs
lola: 1968115 markings, 5128964 edges, 3329 markings/sec, 445 secs
lola: 1986833 markings, 5189766 edges, 3744 markings/sec, 450 secs
lola: 2003215 markings, 5252373 edges, 3276 markings/sec, 455 secs
lola: 2022118 markings, 5313017 edges, 3781 markings/sec, 460 secs
lola: 2038766 markings, 5375988 edges, 3330 markings/sec, 465 secs
lola: 2057825 markings, 5436685 edges, 3812 markings/sec, 470 secs
lola: 2076932 markings, 5497515 edges, 3821 markings/sec, 475 secs
lola: 2093751 markings, 5560399 edges, 3364 markings/sec, 480 secs
lola: 2112614 markings, 5621566 edges, 3773 markings/sec, 485 secs
lola: 2131784 markings, 5682597 edges, 3834 markings/sec, 490 secs
lola: 2150104 markings, 5743857 edges, 3664 markings/sec, 495 secs
lola: 2167282 markings, 5806072 edges, 3436 markings/sec, 500 secs
lola: 2186317 markings, 5866670 edges, 3807 markings/sec, 505 secs
lola: 2205292 markings, 5927074 edges, 3795 markings/sec, 510 secs
lola: 2221763 markings, 5989965 edges, 3294 markings/sec, 515 secs
lola: 2240741 markings, 6050369 edges, 3796 markings/sec, 520 secs
lola: 2259693 markings, 6110717 edges, 3790 markings/sec, 525 secs
lola: 2277454 markings, 6172024 edges, 3552 markings/sec, 530 secs
lola: 2295009 markings, 6233610 edges, 3511 markings/sec, 535 secs
lola: 2313895 markings, 6293742 edges, 3777 markings/sec, 540 secs
lola: 2335508 markings, 6352110 edges, 4323 markings/sec, 545 secs
lola: 2351949 markings, 6414881 edges, 3288 markings/sec, 550 secs
lola: 2372249 markings, 6474418 edges, 4060 markings/sec, 555 secs
lola: 2390775 markings, 6535485 edges, 3705 markings/sec, 560 secs
lola: 2409062 markings, 6596686 edges, 3657 markings/sec, 565 secs
lola: 2430449 markings, 6655151 edges, 4277 markings/sec, 570 secs
lola: 2447099 markings, 6717797 edges, 3330 markings/sec, 575 secs
lola: 2467166 markings, 6777363 edges, 4013 markings/sec, 580 secs
lola: 2486299 markings, 6838215 edges, 3827 markings/sec, 585 secs
lola: 2504207 markings, 6899567 edges, 3582 markings/sec, 590 secs
lola: 2525443 markings, 6958413 edges, 4247 markings/sec, 595 secs
lola: 2542309 markings, 7020898 edges, 3373 markings/sec, 600 secs
lola: 2562217 markings, 7080879 edges, 3982 markings/sec, 605 secs
lola: 2581917 markings, 7141148 edges, 3940 markings/sec, 610 secs
lola: 2599433 markings, 7202753 edges, 3503 markings/sec, 615 secs
lola: 2620476 markings, 7261832 edges, 4209 markings/sec, 620 secs
lola: 2637569 markings, 7324152 edges, 3419 markings/sec, 625 secs
lola: 2657212 markings, 7384138 edges, 3929 markings/sec, 630 secs
lola: 2677516 markings, 7444037 edges, 4061 markings/sec, 635 secs
lola: 2694701 markings, 7506029 edges, 3437 markings/sec, 640 secs
lola: 2715502 markings, 7565225 edges, 4160 markings/sec, 645 secs
lola: 2732724 markings, 7627056 edges, 3444 markings/sec, 650 secs
lola: 2752178 markings, 7687282 edges, 3891 markings/sec, 655 secs
lola: 2772989 markings, 7746661 edges, 4162 markings/sec, 660 secs
lola: 2789832 markings, 7808880 edges, 3369 markings/sec, 665 secs
lola: 2810472 markings, 7868378 edges, 4128 markings/sec, 670 secs
lola: 2828223 markings, 7930019 edges, 3550 markings/sec, 675 secs
lola: 2847092 markings, 7990204 edges, 3774 markings/sec, 680 secs
lola: 2868399 markings, 8049139 edges, 4261 markings/sec, 685 secs
lola: 2884917 markings, 8111592 edges, 3304 markings/sec, 690 secs
lola: 2905337 markings, 8171101 edges, 4084 markings/sec, 695 secs
lola: 2923552 markings, 8232335 edges, 3643 markings/sec, 700 secs
lola: 2941954 markings, 8292896 edges, 3680 markings/sec, 705 secs
lola: 2963428 markings, 8351323 edges, 4295 markings/sec, 710 secs
lola: 2981554 markings, 8411256 edges, 3625 markings/sec, 715 secs
lola: 3000831 markings, 8470006 edges, 3855 markings/sec, 720 secs
lola: 3016921 markings, 8531688 edges, 3218 markings/sec, 725 secs
lola: 3035549 markings, 8591002 edges, 3726 markings/sec, 730 secs
lola: 3051630 markings, 8652656 edges, 3216 markings/sec, 735 secs
lola: 3069796 markings, 8712427 edges, 3633 markings/sec, 740 secs
lola: 3086378 markings, 8773732 edges, 3316 markings/sec, 745 secs
lola: 3103915 markings, 8834228 edges, 3507 markings/sec, 750 secs
lola: 3121185 markings, 8895012 edges, 3454 markings/sec, 755 secs
lola: 3138040 markings, 8956085 edges, 3371 markings/sec, 760 secs
lola: 3156016 markings, 9016360 edges, 3595 markings/sec, 765 secs
lola: 3172291 markings, 9078453 edges, 3255 markings/sec, 770 secs
lola: 3190984 markings, 9138138 edges, 3739 markings/sec, 775 secs
lola: 3207220 markings, 9200276 edges, 3247 markings/sec, 780 secs
lola: 3225745 markings, 9260237 edges, 3705 markings/sec, 785 secs
lola: 3242246 markings, 9322262 edges, 3300 markings/sec, 790 secs
lola: 3260012 markings, 9382675 edges, 3553 markings/sec, 795 secs
lola: 3277097 markings, 9443672 edges, 3417 markings/sec, 800 secs
lola: 3294191 markings, 9504742 edges, 3419 markings/sec, 805 secs
lola: 3311991 markings, 9565222 edges, 3560 markings/sec, 810 secs
lola: 3328414 markings, 9626994 edges, 3285 markings/sec, 815 secs
lola: 3347004 markings, 9687150 edges, 3718 markings/sec, 820 secs
lola: 3363221 markings, 9749236 edges, 3243 markings/sec, 825 secs
lola: 3381960 markings, 9809160 edges, 3748 markings/sec, 830 secs
lola: 3398279 markings, 9871305 edges, 3264 markings/sec, 835 secs
lola: 3416317 markings, 9931971 edges, 3608 markings/sec, 840 secs
lola: 3433501 markings, 9993901 edges, 3437 markings/sec, 845 secs
lola: 3450840 markings, 10055470 edges, 3468 markings/sec, 850 secs
lola: 3468828 markings, 10116819 edges, 3598 markings/sec, 855 secs
lola: 3485513 markings, 10179598 edges, 3337 markings/sec, 860 secs
lola: 3504365 markings, 10240401 edges, 3770 markings/sec, 865 secs
lola: 3520672 markings, 10302780 edges, 3261 markings/sec, 870 secs
lola: 3539661 markings, 10363236 edges, 3798 markings/sec, 875 secs
lola: 3558692 markings, 10423814 edges, 3806 markings/sec, 880 secs
lola: 3576234 markings, 10485897 edges, 3508 markings/sec, 885 secs
lola: 3594290 markings, 10547595 edges, 3611 markings/sec, 890 secs
lola: 3613394 markings, 10608424 edges, 3821 markings/sec, 895 secs
lola: 3632573 markings, 10669478 edges, 3836 markings/sec, 900 secs
lola: 3649083 markings, 10732514 edges, 3302 markings/sec, 905 secs
lola: 3668173 markings, 10793267 edges, 3818 markings/sec, 910 secs
lola: 3687260 markings, 10854051 edges, 3817 markings/sec, 915 secs
lola: 3704246 markings, 10916832 edges, 3397 markings/sec, 920 secs
lola: 3722839 markings, 10977769 edges, 3719 markings/sec, 925 secs
lola: 3741885 markings, 11038417 edges, 3809 markings/sec, 930 secs
lola: 3760369 markings, 11099322 edges, 3697 markings/sec, 935 secs
lola: 3777345 markings, 11161760 edges, 3395 markings/sec, 940 secs
lola: 3796338 markings, 11222223 edges, 3799 markings/sec, 945 secs
lola: 3816995 markings, 11281606 edges, 4131 markings/sec, 950 secs
lola: 3834429 markings, 11343479 edges, 3487 markings/sec, 955 secs
lola: 3855314 markings, 11402353 edges, 4177 markings/sec, 960 secs
lola: 3872408 markings, 11464401 edges, 3419 markings/sec, 965 secs
lola: 3891978 markings, 11524368 edges, 3914 markings/sec, 970 secs
lola: 3912221 markings, 11583682 edges, 4049 markings/sec, 975 secs
lola: 3929376 markings, 11645756 edges, 3431 markings/sec, 980 secs
lola: 3950104 markings, 11704782 edges, 4146 markings/sec, 985 secs
lola: 3967346 markings, 11766637 edges, 3448 markings/sec, 990 secs
lola: 3986804 markings, 11826920 edges, 3892 markings/sec, 995 secs
lola: 4007629 markings, 11886162 edges, 4165 markings/sec, 1000 secs
lola: 4024444 markings, 11948397 edges, 3363 markings/sec, 1005 secs
lola: 4045002 markings, 12007612 edges, 4112 markings/sec, 1010 secs
lola: 4062581 markings, 12068910 edges, 3516 markings/sec, 1015 secs
lola: 4081557 markings, 12129182 edges, 3795 markings/sec, 1020 secs
lola: 4102755 markings, 12188019 edges, 4240 markings/sec, 1025 secs
lola: 4119296 markings, 12250370 edges, 3308 markings/sec, 1030 secs
lola: 4139694 markings, 12309614 edges, 4080 markings/sec, 1035 secs
lola: 4157765 markings, 12370903 edges, 3614 markings/sec, 1040 secs
lola: 4176306 markings, 12431398 edges, 3708 markings/sec, 1045 secs
lola: 4197802 markings, 12489953 edges, 4299 markings/sec, 1050 secs
lola: 4214164 markings, 12552384 edges, 3272 markings/sec, 1055 secs
lola: 4234362 markings, 12611525 edges, 4040 markings/sec, 1060 secs
lola: 4252837 markings, 12672641 edges, 3695 markings/sec, 1065 secs
lola: 4271139 markings, 12733763 edges, 3660 markings/sec, 1070 secs
lola: 4292660 markings, 12792647 edges, 4304 markings/sec, 1075 secs
lola: 4309082 markings, 12854556 edges, 3284 markings/sec, 1080 secs
lola: 4329179 markings, 12914005 edges, 4019 markings/sec, 1085 secs
lola: 4348040 markings, 12974669 edges, 3772 markings/sec, 1090 secs
lola: 4366037 markings, 13035867 edges, 3599 markings/sec, 1095 secs
lola: 4387383 markings, 13094752 edges, 4269 markings/sec, 1100 secs
lola: 4404120 markings, 13157109 edges, 3347 markings/sec, 1105 secs
lola: 4424050 markings, 13216784 edges, 3986 markings/sec, 1110 secs
lola: 4443451 markings, 13277156 edges, 3880 markings/sec, 1115 secs
lola: 4461117 markings, 13338485 edges, 3533 markings/sec, 1120 secs
lola: 4477796 markings, 13399619 edges, 3336 markings/sec, 1125 secs
lola: 4492428 markings, 13462565 edges, 2926 markings/sec, 1130 secs
lola: 4505726 markings, 13526922 edges, 2660 markings/sec, 1135 secs
lola: 4520773 markings, 13589880 edges, 3009 markings/sec, 1140 secs
lola: 4533700 markings, 13654422 edges, 2585 markings/sec, 1145 secs
lola: 4548697 markings, 13717161 edges, 2999 markings/sec, 1150 secs
lola: 4561991 markings, 13781304 edges, 2659 markings/sec, 1155 secs
lola: 4576580 markings, 13844275 edges, 2918 markings/sec, 1160 secs
lola: 4590488 markings, 13908070 edges, 2782 markings/sec, 1165 secs
lola: 4604614 markings, 13972021 edges, 2825 markings/sec, 1170 secs
lola: 4619113 markings, 14035560 edges, 2900 markings/sec, 1175 secs
lola: 4632624 markings, 14099667 edges, 2702 markings/sec, 1180 secs
lola: 4647616 markings, 14162392 edges, 2998 markings/sec, 1185 secs
lola: 4660629 markings, 14227291 edges, 2603 markings/sec, 1190 secs
lola: 4675723 markings, 14290432 edges, 3019 markings/sec, 1195 secs
lola: 4688843 markings, 14355173 edges, 2624 markings/sec, 1200 secs
lola: 4703778 markings, 14418268 edges, 2987 markings/sec, 1205 secs
lola: 4717387 markings, 14482215 edges, 2722 markings/sec, 1210 secs
lola: 4731769 markings, 14545824 edges, 2876 markings/sec, 1215 secs
lola: 4745996 markings, 14609585 edges, 2845 markings/sec, 1220 secs
lola: 4759864 markings, 14673831 edges, 2774 markings/sec, 1225 secs
lola: 4774679 markings, 14737349 edges, 2963 markings/sec, 1230 secs
lola: 4788067 markings, 14802276 edges, 2678 markings/sec, 1235 secs
lola: 4803214 markings, 14865645 edges, 3029 markings/sec, 1240 secs
lola: 4816319 markings, 14930941 edges, 2621 markings/sec, 1245 secs
lola: 4831514 markings, 14994504 edges, 3039 markings/sec, 1250 secs
lola: 4844664 markings, 15058270 edges, 2630 markings/sec, 1255 secs
lola: 4859482 markings, 15121977 edges, 2964 markings/sec, 1260 secs
lola: 4873481 markings, 15186732 edges, 2800 markings/sec, 1265 secs
lola: 4887840 markings, 15251078 edges, 2872 markings/sec, 1270 secs
lola: 4902244 markings, 15314906 edges, 2881 markings/sec, 1275 secs
lola: 4916020 markings, 15379438 edges, 2755 markings/sec, 1280 secs
lola: 4930930 markings, 15442663 edges, 2982 markings/sec, 1285 secs
lola: 4944063 markings, 15507221 edges, 2627 markings/sec, 1290 secs
lola: 4959227 markings, 15570645 edges, 3033 markings/sec, 1295 secs
lola: 4972467 markings, 15636497 edges, 2648 markings/sec, 1300 secs
lola: 4987733 markings, 15700362 edges, 3053 markings/sec, 1305 secs
lola: 5001178 markings, 15764929 edges, 2689 markings/sec, 1310 secs
lola: 5015840 markings, 15828413 edges, 2932 markings/sec, 1315 secs
lola: 5030810 markings, 15891038 edges, 2994 markings/sec, 1320 secs
lola: 5045861 markings, 15953992 edges, 3010 markings/sec, 1325 secs
lola: 5060122 markings, 16018184 edges, 2852 markings/sec, 1330 secs
lola: 5074086 markings, 16082530 edges, 2793 markings/sec, 1335 secs
lola: 5089271 markings, 16146071 edges, 3037 markings/sec, 1340 secs
lola: 5104475 markings, 16209680 edges, 3041 markings/sec, 1345 secs
lola: 5119409 markings, 16273190 edges, 2987 markings/sec, 1350 secs
lola: 5132644 markings, 16337994 edges, 2647 markings/sec, 1355 secs
lola: 5147795 markings, 16401382 edges, 3030 markings/sec, 1360 secs
lola: 5162908 markings, 16464600 edges, 3023 markings/sec, 1365 secs
lola: 5178015 markings, 16527809 edges, 3021 markings/sec, 1370 secs
lola: 5191262 markings, 16593333 edges, 2649 markings/sec, 1375 secs
lola: 5206466 markings, 16657288 edges, 3041 markings/sec, 1380 secs
lola: 5221634 markings, 16720746 edges, 3034 markings/sec, 1385 secs
lola: 5236784 markings, 16784122 edges, 3030 markings/sec, 1390 secs
lola: 5250621 markings, 16848722 edges, 2767 markings/sec, 1395 secs
lola: 5265081 markings, 16912963 edges, 2892 markings/sec, 1400 secs
lola: 5280180 markings, 16976129 edges, 3020 markings/sec, 1405 secs
lola: 5295335 markings, 17039545 edges, 3031 markings/sec, 1410 secs
lola: 5311632 markings, 17102216 edges, 3259 markings/sec, 1415 secs
lola: 5325774 markings, 17166880 edges, 2828 markings/sec, 1420 secs
lola: 5342248 markings, 17229528 edges, 3295 markings/sec, 1425 secs
lola: 5356142 markings, 17293930 edges, 2779 markings/sec, 1430 secs
lola: 5372749 markings, 17356248 edges, 3321 markings/sec, 1435 secs
lola: 5386556 markings, 17421162 edges, 2761 markings/sec, 1440 secs
lola: 5403193 markings, 17482670 edges, 3327 markings/sec, 1445 secs
lola: 5416789 markings, 17547638 edges, 2719 markings/sec, 1450 secs
lola: 5433807 markings, 17609973 edges, 3404 markings/sec, 1455 secs
lola: 5447181 markings, 17674791 edges, 2675 markings/sec, 1460 secs
lola: 5464238 markings, 17736303 edges, 3411 markings/sec, 1465 secs
lola: 5475919 markings, 17795011 edges, 2336 markings/sec, 1470 secs
lola: 5491760 markings, 17854020 edges, 3168 markings/sec, 1475 secs
lola: 5505349 markings, 17918031 edges, 2718 markings/sec, 1480 secs
lola: 5521563 markings, 17980304 edges, 3243 markings/sec, 1485 secs
lola: 5535781 markings, 18044409 edges, 2844 markings/sec, 1490 secs
lola: 5551680 markings, 18107567 edges, 3180 markings/sec, 1495 secs
lola: 5566091 markings, 18170131 edges, 2882 markings/sec, 1500 secs
lola: 5580953 markings, 18232136 edges, 2972 markings/sec, 1505 secs
lola: 5595873 markings, 18293112 edges, 2984 markings/sec, 1510 secs
lola: 5609819 markings, 18355184 edges, 2789 markings/sec, 1515 secs
lola: 5625541 markings, 18415523 edges, 3144 markings/sec, 1520 secs
lola: 5639100 markings, 18477675 edges, 2712 markings/sec, 1525 secs
lola: 5654985 markings, 18536768 edges, 3177 markings/sec, 1530 secs
lola: 5668559 markings, 18600916 edges, 2715 markings/sec, 1535 secs
lola: 5685480 markings, 18663450 edges, 3384 markings/sec, 1540 secs
lola: 5699111 markings, 18728739 edges, 2726 markings/sec, 1545 secs
lola: 5716182 markings, 18791209 edges, 3414 markings/sec, 1550 secs
lola: 5729633 markings, 18856431 edges, 2690 markings/sec, 1555 secs
lola: 5746865 markings, 18918874 edges, 3446 markings/sec, 1560 secs
lola: 5760163 markings, 18984119 edges, 2660 markings/sec, 1565 secs
lola: 5777456 markings, 19046058 edges, 3459 markings/sec, 1570 secs
lola: 5790561 markings, 19111280 edges, 2621 markings/sec, 1575 secs
lola: 5807736 markings, 19173791 edges, 3435 markings/sec, 1580 secs
lola: 5821040 markings, 19238825 edges, 2661 markings/sec, 1585 secs
lola: 5837893 markings, 19301178 edges, 3371 markings/sec, 1590 secs
lola: 5851506 markings, 19366288 edges, 2723 markings/sec, 1595 secs
lola: 5867911 markings, 19428126 edges, 3281 markings/sec, 1600 secs
lola: 5881713 markings, 19492327 edges, 2760 markings/sec, 1605 secs
lola: 5897971 markings, 19555208 edges, 3252 markings/sec, 1610 secs
lola: 5912226 markings, 19619110 edges, 2851 markings/sec, 1615 secs
lola: 5927807 markings, 19681573 edges, 3116 markings/sec, 1620 secs
lola: 5942576 markings, 19744959 edges, 2954 markings/sec, 1625 secs
lola: 5962562 markings, 19802535 edges, 3997 markings/sec, 1630 secs
lola: 5980128 markings, 19862287 edges, 3513 markings/sec, 1635 secs
lola: 5996940 markings, 19922420 edges, 3362 markings/sec, 1640 secs
lola: 6013915 markings, 19982719 edges, 3395 markings/sec, 1645 secs
lola: 6031428 markings, 20042694 edges, 3503 markings/sec, 1650 secs
lola: 6047801 markings, 20103558 edges, 3275 markings/sec, 1655 secs
lola: 6065988 markings, 20163184 edges, 3637 markings/sec, 1660 secs
lola: 6082036 markings, 20224738 edges, 3210 markings/sec, 1665 secs
lola: 6100670 markings, 20284057 edges, 3727 markings/sec, 1670 secs
lola: 6116752 markings, 20345709 edges, 3216 markings/sec, 1675 secs
lola: 6134964 markings, 20405448 edges, 3642 markings/sec, 1680 secs
lola: 6151134 markings, 20465637 edges, 3234 markings/sec, 1685 secs
lola: 6168655 markings, 20525463 edges, 3504 markings/sec, 1690 secs
lola: 6185334 markings, 20584978 edges, 3336 markings/sec, 1695 secs
lola: 6202045 markings, 20644240 edges, 3342 markings/sec, 1700 secs
lola: 6219329 markings, 20703656 edges, 3457 markings/sec, 1705 secs
lola: 6235437 markings, 20763018 edges, 3222 markings/sec, 1710 secs
lola: 6252899 markings, 20820992 edges, 3492 markings/sec, 1715 secs
lola: 6268582 markings, 20880756 edges, 3137 markings/sec, 1720 secs
lola: 6286248 markings, 20937619 edges, 3533 markings/sec, 1725 secs
lola: 6301653 markings, 20997124 edges, 3081 markings/sec, 1730 secs
lola: 6320564 markings, 21057336 edges, 3782 markings/sec, 1735 secs
lola: 6336898 markings, 21119800 edges, 3267 markings/sec, 1740 secs
lola: 6354995 markings, 21179500 edges, 3619 markings/sec, 1745 secs
lola: 6371749 markings, 21241207 edges, 3351 markings/sec, 1750 secs
lola: 6389202 markings, 21301692 edges, 3491 markings/sec, 1755 secs
lola: 6406844 markings, 21363404 edges, 3528 markings/sec, 1760 secs
lola: 6423872 markings, 21425810 edges, 3406 markings/sec, 1765 secs
lola: 6442373 markings, 21486976 edges, 3700 markings/sec, 1770 secs
lola: 6458884 markings, 21549952 edges, 3302 markings/sec, 1775 secs
lola: 6477959 markings, 21610708 edges, 3815 markings/sec, 1780 secs
lola: 6494429 markings, 21673612 edges, 3294 markings/sec, 1785 secs
lola: 6513515 markings, 21734353 edges, 3817 markings/sec, 1790 secs
lola: 6532601 markings, 21795134 edges, 3817 markings/sec, 1795 secs
lola: 6549633 markings, 21857770 edges, 3406 markings/sec, 1800 secs
lola: 6568240 markings, 21919048 edges, 3721 markings/sec, 1805 secs
lola: 6587367 markings, 21979945 edges, 3825 markings/sec, 1810 secs
lola: 6606033 markings, 22041360 edges, 3733 markings/sec, 1815 secs
lola: 6623074 markings, 22104074 edges, 3408 markings/sec, 1820 secs
lola: 6642163 markings, 22164844 edges, 3818 markings/sec, 1825 secs
lola: 6661215 markings, 22225489 edges, 3810 markings/sec, 1830 secs
lola: 6677669 markings, 22288337 edges, 3291 markings/sec, 1835 secs
lola: 6696741 markings, 22349064 edges, 3814 markings/sec, 1840 secs
lola: 6715674 markings, 22409335 edges, 3787 markings/sec, 1845 secs
lola: 6733640 markings, 22470642 edges, 3593 markings/sec, 1850 secs
lola: 6751079 markings, 22532490 edges, 3488 markings/sec, 1855 secs
lola: 6769981 markings, 22592684 edges, 3780 markings/sec, 1860 secs
lola: 6791342 markings, 22651166 edges, 4272 markings/sec, 1865 secs
lola: 6807839 markings, 22713207 edges, 3299 markings/sec, 1870 secs
lola: 6828163 markings, 22771956 edges, 4065 markings/sec, 1875 secs
lola: 6845816 markings, 22832877 edges, 3531 markings/sec, 1880 secs
lola: 6864583 markings, 22892928 edges, 3753 markings/sec, 1885 secs
lola: 6885709 markings, 22951368 edges, 4225 markings/sec, 1890 secs
lola: 6902140 markings, 23013413 edges, 3286 markings/sec, 1895 secs
lola: 6922448 markings, 23072228 edges, 4062 markings/sec, 1900 secs
lola: 6940217 markings, 23133150 edges, 3554 markings/sec, 1905 secs
lola: 6958890 markings, 23193317 edges, 3735 markings/sec, 1910 secs
lola: 6980154 markings, 23251740 edges, 4253 markings/sec, 1915 secs
lola: 6996527 markings, 23313899 edges, 3275 markings/sec, 1920 secs
lola: 7016773 markings, 23372697 edges, 4049 markings/sec, 1925 secs
lola: 7034676 markings, 23433555 edges, 3581 markings/sec, 1930 secs
lola: 7053255 markings, 23493937 edges, 3716 markings/sec, 1935 secs
lola: 7074708 markings, 23552349 edges, 4291 markings/sec, 1940 secs
lola: 7090999 markings, 23614649 edges, 3258 markings/sec, 1945 secs
lola: 7111266 markings, 23673860 edges, 4053 markings/sec, 1950 secs
lola: 7129524 markings, 23734806 edges, 3652 markings/sec, 1955 secs
lola: 7147852 markings, 23795540 edges, 3666 markings/sec, 1960 secs
lola: 7169301 markings, 23853877 edges, 4290 markings/sec, 1965 secs
lola: 7185660 markings, 23916007 edges, 3272 markings/sec, 1970 secs
lola: 7205800 markings, 23975194 edges, 4028 markings/sec, 1975 secs
lola: 7224212 markings, 24035698 edges, 3682 markings/sec, 1980 secs
lola: 7242257 markings, 24096179 edges, 3609 markings/sec, 1985 secs
lola: 7263687 markings, 24154590 edges, 4286 markings/sec, 1990 secs
lola: 7280210 markings, 24217000 edges, 3305 markings/sec, 1995 secs
lola: 7300285 markings, 24276319 edges, 4015 markings/sec, 2000 secs
lola: 7318987 markings, 24336788 edges, 3740 markings/sec, 2005 secs
lola: 7336978 markings, 24397700 edges, 3598 markings/sec, 2010 secs
lola: 7358361 markings, 24456512 edges, 4277 markings/sec, 2015 secs
lola: 7374954 markings, 24518625 edges, 3319 markings/sec, 2020 secs
lola: 7394945 markings, 24578177 edges, 3998 markings/sec, 2025 secs
lola: 7414023 markings, 24638465 edges, 3816 markings/sec, 2030 secs
lola: 7432289 markings, 24699226 edges, 3653 markings/sec, 2035 secs
lola: 7452975 markings, 24756394 edges, 4137 markings/sec, 2040 secs
lola: 7469692 markings, 24817406 edges, 3343 markings/sec, 2045 secs
lola: 7487599 markings, 24877083 edges, 3581 markings/sec, 2050 secs
lola: 7503624 markings, 24938436 edges, 3205 markings/sec, 2055 secs
lola: 7522176 markings, 24997624 edges, 3710 markings/sec, 2060 secs
lola: 7538202 markings, 25059098 edges, 3205 markings/sec, 2065 secs
lola: 7556631 markings, 25118358 edges, 3686 markings/sec, 2070 secs
lola: 7572801 markings, 25179716 edges, 3234 markings/sec, 2075 secs
lola: 7590670 markings, 25239843 edges, 3574 markings/sec, 2080 secs
lola: 7607579 markings, 25300890 edges, 3382 markings/sec, 2085 secs
lola: 7624818 markings, 25361780 edges, 3448 markings/sec, 2090 secs
lola: 7642468 markings, 25422433 edges, 3530 markings/sec, 2095 secs
lola: 7659009 markings, 25483899 edges, 3308 markings/sec, 2100 secs
lola: 7677204 markings, 25543478 edges, 3639 markings/sec, 2105 secs
lola: 7693248 markings, 25605018 edges, 3209 markings/sec, 2110 secs
lola: 7711872 markings, 25664298 edges, 3725 markings/sec, 2115 secs
lola: 7728020 markings, 25726178 edges, 3230 markings/sec, 2120 secs
lola: 7746279 markings, 25786231 edges, 3652 markings/sec, 2125 secs
lola: 7762986 markings, 25847949 edges, 3341 markings/sec, 2130 secs
lola: 7780605 markings, 25908919 edges, 3524 markings/sec, 2135 secs
lola: 7798050 markings, 25970046 edges, 3489 markings/sec, 2140 secs
lola: 7814893 markings, 26031439 edges, 3369 markings/sec, 2145 secs
lola: 7833103 markings, 26092103 edges, 3642 markings/sec, 2150 secs
lola: 7849373 markings, 26154362 edges, 3254 markings/sec, 2155 secs
lola: 7868281 markings, 26214554 edges, 3782 markings/sec, 2160 secs
lola: 7884599 markings, 26276961 edges, 3264 markings/sec, 2165 secs
lola: 7903067 markings, 26337554 edges, 3694 markings/sec, 2170 secs
lola: 7919884 markings, 26399761 edges, 3363 markings/sec, 2175 secs
lola: 7937601 markings, 26461097 edges, 3543 markings/sec, 2180 secs
lola: 7954982 markings, 26521936 edges, 3476 markings/sec, 2185 secs
lola: 7971768 markings, 26583086 edges, 3357 markings/sec, 2190 secs
lola: 7989902 markings, 26643576 edges, 3627 markings/sec, 2195 secs
lola: 8008888 markings, 26704022 edges, 3797 markings/sec, 2200 secs
lola: 8027675 markings, 26764663 edges, 3757 markings/sec, 2205 secs
lola: 8044345 markings, 26827354 edges, 3334 markings/sec, 2210 secs
lola: 8063416 markings, 26888068 edges, 3814 markings/sec, 2215 secs
lola: 8082511 markings, 26948864 edges, 3819 markings/sec, 2220 secs
lola: 8099203 markings, 27011633 edges, 3338 markings/sec, 2225 secs
lola: 8118067 markings, 27072522 edges, 3773 markings/sec, 2230 secs
lola: 8137085 markings, 27133069 edges, 3804 markings/sec, 2235 secs
lola: 8155381 markings, 27194279 edges, 3659 markings/sec, 2240 secs
lola: 8172561 markings, 27256462 edges, 3436 markings/sec, 2245 secs
lola: 8191532 markings, 27316865 edges, 3794 markings/sec, 2250 secs
lola: 8210454 markings, 27377084 edges, 3784 markings/sec, 2255 secs
lola: 8226777 markings, 27439526 edges, 3265 markings/sec, 2260 secs
lola: 8245659 markings, 27499640 edges, 3776 markings/sec, 2265 secs
lola: 8264466 markings, 27559496 edges, 3761 markings/sec, 2270 secs
lola: 8284392 markings, 27618994 edges, 3985 markings/sec, 2275 secs
lola: 8303611 markings, 27679320 edges, 3844 markings/sec, 2280 secs
lola: 8321355 markings, 27740616 edges, 3549 markings/sec, 2285 secs
lola: 8342447 markings, 27799089 edges, 4218 markings/sec, 2290 secs
lola: 8359278 markings, 27861345 edges, 3366 markings/sec, 2295 secs
lola: 8379068 markings, 27920909 edges, 3958 markings/sec, 2300 secs
lola: 8398610 markings, 27980900 edges, 3908 markings/sec, 2305 secs
lola: 8416151 markings, 28042397 edges, 3508 markings/sec, 2310 secs
lola: 8437146 markings, 28101103 edges, 4199 markings/sec, 2315 secs
lola: 8454119 markings, 28163260 edges, 3395 markings/sec, 2320 secs
lola: 8473799 markings, 28223069 edges, 3936 markings/sec, 2325 secs
lola: 8493779 markings, 28282848 edges, 3996 markings/sec, 2330 secs
lola: 8511063 markings, 28344512 edges, 3457 markings/sec, 2335 secs
lola: 8531933 markings, 28403519 edges, 4174 markings/sec, 2340 secs
lola: 8549079 markings, 28465583 edges, 3429 markings/sec, 2345 secs
lola: 8568595 markings, 28525507 edges, 3903 markings/sec, 2350 secs
lola: 8589045 markings, 28585023 edges, 4090 markings/sec, 2355 secs
lola: 8605949 markings, 28646625 edges, 3381 markings/sec, 2360 secs
lola: 8626540 markings, 28705139 edges, 4118 markings/sec, 2365 secs
lola: 8643278 markings, 28765465 edges, 3348 markings/sec, 2370 secs
lola: 8662744 markings, 28825232 edges, 3893 markings/sec, 2375 secs
lola: 8683129 markings, 28884603 edges, 4077 markings/sec, 2380 secs
lola: 8700182 markings, 28946620 edges, 3411 markings/sec, 2385 secs
lola: 8720871 markings, 29005638 edges, 4138 markings/sec, 2390 secs
lola: 8738238 markings, 29067704 edges, 3473 markings/sec, 2395 secs
lola: 8757590 markings, 29127866 edges, 3870 markings/sec, 2400 secs
lola: 8778504 markings, 29187010 edges, 4183 markings/sec, 2405 secs
lola: 8795149 markings, 29248941 edges, 3329 markings/sec, 2410 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown 1 1 1 1 1
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown 1 1 1 1 1
lola: memory consumption: 2401092 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown 1 1 1 1 1
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown 1 1 1 1 1
lola: memory consumption: 29644 KB
lola: time consumption: 3569 seconds

BK_STOP 1526680035592

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutoFlight-PT-96b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
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

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-96b.tgz
mv AutoFlight-PT-96b execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is AutoFlight-PT-96b, 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 r016-qhx1-152646241300184"
echo "====================================================================="
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 ;