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.r022-csrt-155225094500079.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 AutoFlight-PT-96b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094500079
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.9K Feb 9 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 9 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 04:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 04:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 22:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 2 01:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 01:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 29 12:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 12:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 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 1.9M Mar 10 17:31 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME 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 1552402429480

info: Time: 3600 - MCC
===========================================================================================
prep: translating AutoFlight-PT-96b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
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 @ 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: 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(p6825) : MAX(p3752) : MAX(p1437) : MAX(p5361) : MAX(p5951) : MAX(p1662) : MAX(p5448) : MAX(p7097) : MAX(p7856) : MAX(p3976) : MAX(p2373) : MAX(p6826) : MAX(p3445) : MAX(p2449) : MAX(p1663) : MAX(p189)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6825)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6825)
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: 20534 markings, 26392 edges, 4107 markings/sec, 0 secs
lola: 66335 markings, 86236 edges, 9160 markings/sec, 5 secs
lola: 112057 markings, 145982 edges, 9144 markings/sec, 10 secs
lola: 156932 markings, 206514 edges, 8975 markings/sec, 15 secs
lola: 189045 markings, 280604 edges, 6423 markings/sec, 20 secs
lola: 219480 markings, 350789 edges, 6087 markings/sec, 25 secs
lola: 249199 markings, 419355 edges, 5944 markings/sec, 30 secs
lola: 278953 markings, 487978 edges, 5951 markings/sec, 35 secs
lola: 311408 markings, 562844 edges, 6491 markings/sec, 40 secs
lola: 344245 markings, 638586 edges, 6567 markings/sec, 45 secs
lola: 377081 markings, 714334 edges, 6567 markings/sec, 50 secs
lola: 409535 markings, 789185 edges, 6491 markings/sec, 55 secs
lola: 441296 markings, 862450 edges, 6352 markings/sec, 60 secs
lola: 470881 markings, 939327 edges, 5917 markings/sec, 65 secs
lola: 495825 markings, 1021849 edges, 4989 markings/sec, 70 secs
lola: 520868 markings, 1104627 edges, 5009 markings/sec, 75 secs
lola: 545861 markings, 1187290 edges, 4999 markings/sec, 80 secs
lola: 570939 markings, 1270221 edges, 5016 markings/sec, 85 secs
lola: 595938 markings, 1352840 edges, 5000 markings/sec, 90 secs
lola: 622500 markings, 1434032 edges, 5312 markings/sec, 95 secs
lola: 655299 markings, 1509668 edges, 6560 markings/sec, 100 secs
lola: 688508 markings, 1586291 edges, 6642 markings/sec, 105 secs
lola: 721081 markings, 1661423 edges, 6515 markings/sec, 110 secs
lola: 753738 markings, 1736747 edges, 6531 markings/sec, 115 secs
lola: 786032 markings, 1811242 edges, 6459 markings/sec, 120 secs
lola: 818371 markings, 1885842 edges, 6468 markings/sec, 125 secs
lola: 850696 markings, 1960399 edges, 6465 markings/sec, 130 secs
lola: 882980 markings, 2034869 edges, 6457 markings/sec, 135 secs
lola: 914925 markings, 2108565 edges, 6389 markings/sec, 140 secs
lola: 947169 markings, 2182930 edges, 6449 markings/sec, 145 secs
lola: 979257 markings, 2256938 edges, 6418 markings/sec, 150 secs
lola: 1011324 markings, 2330908 edges, 6413 markings/sec, 155 secs
lola: 1043360 markings, 2404819 edges, 6407 markings/sec, 160 secs
lola: 1075492 markings, 2478942 edges, 6426 markings/sec, 165 secs
lola: 1108074 markings, 2554092 edges, 6516 markings/sec, 170 secs
lola: 1140161 markings, 2628098 edges, 6417 markings/sec, 175 secs
lola: 1172972 markings, 2703792 edges, 6562 markings/sec, 180 secs
lola: 1205425 markings, 2778656 edges, 6491 markings/sec, 185 secs
lola: 1237368 markings, 2852331 edges, 6389 markings/sec, 190 secs
lola: 1269252 markings, 2925879 edges, 6377 markings/sec, 195 secs
lola: 1301207 markings, 2999591 edges, 6391 markings/sec, 200 secs
lola: 1333226 markings, 3073451 edges, 6404 markings/sec, 205 secs
lola: 1365222 markings, 3147251 edges, 6399 markings/sec, 210 secs
lola: 1394337 markings, 3224898 edges, 5823 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: 194336 KB
lola: time consumption: 236 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3752)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3752)
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: 140 markings, 139 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 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1437)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1437)
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: 337 markings, 336 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 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5361)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5361)
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: 804 markings, 803 edges
lola: ========================================

FORMULA AutoFlight-PT-96b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5951)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5951)
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: 12866 markings, 16349 edges, 2573 markings/sec, 0 secs
lola: 59250 markings, 76952 edges, 9277 markings/sec, 5 secs
lola: 105831 markings, 137824 edges, 9316 markings/sec, 10 secs
lola: 152895 markings, 199320 edges, 9413 markings/sec, 15 secs
lola: 186701 markings, 275091 edges, 6761 markings/sec, 20 secs
lola: 219431 markings, 350588 edges, 6546 markings/sec, 25 secs
lola: 252361 markings, 426542 edges, 6586 markings/sec, 30 secs
lola: 285927 markings, 503980 edges, 6713 markings/sec, 35 secs
lola: 319418 markings, 581235 edges, 6698 markings/sec, 40 secs
lola: 352773 markings, 658167 edges, 6671 markings/sec, 45 secs
lola: 385827 markings, 734407 edges, 6611 markings/sec, 50 secs
lola: 418450 markings, 809672 edges, 6525 markings/sec, 55 secs
lola: 451074 markings, 884926 edges, 6525 markings/sec, 60 secs
lola: 479147 markings, 966524 edges, 5615 markings/sec, 65 secs
lola: 504576 markings, 1050600 edges, 5086 markings/sec, 70 secs
lola: 530025 markings, 1134773 edges, 5090 markings/sec, 75 secs
lola: 555252 markings, 1218198 edges, 5045 markings/sec, 80 secs
lola: 580637 markings, 1302126 edges, 5077 markings/sec, 85 secs
lola: 606018 markings, 1386039 edges, 5076 markings/sec, 90 secs
lola: 635594 markings, 1464131 edges, 5915 markings/sec, 95 secs
lola: 668604 markings, 1540284 edges, 6602 markings/sec, 100 secs
lola: 701565 markings, 1616295 edges, 6592 markings/sec, 105 secs
lola: 734538 markings, 1692384 edges, 6595 markings/sec, 110 secs
lola: 767385 markings, 1768153 edges, 6569 markings/sec, 115 secs
lola: 800421 markings, 1844348 edges, 6607 markings/sec, 120 secs
lola: 833048 markings, 1919612 edges, 6525 markings/sec, 125 secs
lola: 865924 markings, 1995422 edges, 6575 markings/sec, 130 secs
lola: 898891 markings, 2071479 edges, 6593 markings/sec, 135 secs
lola: 931829 markings, 2147467 edges, 6588 markings/sec, 140 secs
lola: 964810 markings, 2223518 edges, 6596 markings/sec, 145 secs
lola: 997741 markings, 2299508 edges, 6586 markings/sec, 150 secs
lola: 1030654 markings, 2375401 edges, 6583 markings/sec, 155 secs
lola: 1063500 markings, 2451170 edges, 6569 markings/sec, 160 secs
lola: 1096467 markings, 2527219 edges, 6593 markings/sec, 165 secs
lola: 1129507 markings, 2603433 edges, 6608 markings/sec, 170 secs
lola: 1162509 markings, 2679569 edges, 6600 markings/sec, 175 secs
lola: 1195456 markings, 2755566 edges, 6589 markings/sec, 180 secs
lola: 1229102 markings, 2833166 edges, 6729 markings/sec, 185 secs
lola: 1262358 markings, 2909881 edges, 6651 markings/sec, 190 secs
lola: 1296163 markings, 2987870 edges, 6761 markings/sec, 195 secs
lola: 1330039 markings, 3066003 edges, 6775 markings/sec, 200 secs
lola: 1363830 markings, 3143948 edges, 6758 markings/sec, 205 secs
lola: 1393961 markings, 3223539 edges, 6026 markings/sec, 210 secs
lola: 1420242 markings, 3310415 edges, 5256 markings/sec, 215 secs
lola: 1446542 markings, 3397407 edges, 5260 markings/sec, 220 secs
lola: 1472800 markings, 3484222 edges, 5252 markings/sec, 225 secs
lola: 1498961 markings, 3570741 edges, 5232 markings/sec, 230 secs
lola: 1524576 markings, 3655450 edges, 5123 markings/sec, 235 secs
lola: 1554530 markings, 3737428 edges, 5991 markings/sec, 240 secs
lola: 1587563 markings, 3813619 edges, 6607 markings/sec, 245 secs
lola: 1620776 markings, 3890228 edges, 6643 markings/sec, 250 secs
lola: 1654167 markings, 3967253 edges, 6678 markings/sec, 255 secs
lola: 1687103 markings, 4043230 edges, 6587 markings/sec, 260 secs
lola: 1720165 markings, 4119484 edges, 6612 markings/sec, 265 secs
lola: 1753164 markings, 4195612 edges, 6600 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 231792 KB
lola: time consumption: 523 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1662)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1662)
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: 321 markings, 320 edges
lola: ========================================

FORMULA AutoFlight-PT-96b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5448)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5448)
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: 645 markings, 644 edges

FORMULA AutoFlight-PT-96b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7097)
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: 21235 markings, 27312 edges, 4247 markings/sec, 0 secs
lola: 67955 markings, 88358 edges, 9344 markings/sec, 5 secs
lola: 114246 markings, 148844 edges, 9258 markings/sec, 10 secs
lola: 159575 markings, 212618 edges, 9066 markings/sec, 15 secs
lola: 193083 markings, 289897 edges, 6702 markings/sec, 20 secs
lola: 226534 markings, 367064 edges, 6690 markings/sec, 25 secs
lola: 260074 markings, 444443 edges, 6708 markings/sec, 30 secs
lola: 292497 markings, 519219 edges, 6485 markings/sec, 35 secs
lola: 325537 markings, 595430 edges, 6608 markings/sec, 40 secs
lola: 358599 markings, 671695 edges, 6612 markings/sec, 45 secs
lola: 391889 markings, 748492 edges, 6658 markings/sec, 50 secs
lola: 425614 markings, 826276 edges, 6745 markings/sec, 55 secs
lola: 459215 markings, 903784 edges, 6720 markings/sec, 60 secs
lola: 486184 markings, 989960 edges, 5394 markings/sec, 65 secs
lola: 512373 markings, 1076557 edges, 5238 markings/sec, 70 secs
lola: 537898 markings, 1160946 edges, 5105 markings/sec, 75 secs
lola: 563600 markings, 1245938 edges, 5140 markings/sec, 80 secs
lola: 589233 markings, 1330709 edges, 5127 markings/sec, 85 secs
lola: 614811 markings, 1415294 edges, 5116 markings/sec, 90 secs
lola: 647921 markings, 1492670 edges, 6622 markings/sec, 95 secs
lola: 681238 markings, 1569514 edges, 6663 markings/sec, 100 secs
lola: 714562 markings, 1646379 edges, 6665 markings/sec, 105 secs
lola: 747895 markings, 1723277 edges, 6667 markings/sec, 110 secs
lola: 781184 markings, 1800047 edges, 6658 markings/sec, 115 secs
lola: 814479 markings, 1876853 edges, 6659 markings/sec, 120 secs
lola: 847682 markings, 1953445 edges, 6641 markings/sec, 125 secs
lola: 880987 markings, 2030280 edges, 6661 markings/sec, 130 secs
lola: 914201 markings, 2106865 edges, 6643 markings/sec, 135 secs
lola: 947127 markings, 2182823 edges, 6585 markings/sec, 140 secs
lola: 979629 markings, 2257791 edges, 6500 markings/sec, 145 secs
lola: 1012081 markings, 2332674 edges, 6490 markings/sec, 150 secs
lola: 1044998 markings, 2408577 edges, 6583 markings/sec, 155 secs
lola: 1077889 markings, 2484466 edges, 6578 markings/sec, 160 secs
lola: 1111039 markings, 2560936 edges, 6630 markings/sec, 165 secs
lola: 1144030 markings, 2637019 edges, 6598 markings/sec, 170 secs
lola: 1177256 markings, 2713675 edges, 6645 markings/sec, 175 secs
lola: 1210169 markings, 2789592 edges, 6583 markings/sec, 180 secs
lola: 1243090 markings, 2865532 edges, 6584 markings/sec, 185 secs
lola: 1276740 markings, 2943141 edges, 6730 markings/sec, 190 secs
lola: 1309957 markings, 3019763 edges, 6643 markings/sec, 195 secs
lola: 1342991 markings, 3095969 edges, 6607 markings/sec, 200 secs
lola: 1375495 markings, 3170949 edges, 6501 markings/sec, 205 secs
lola: 1402880 markings, 3253154 edges, 5477 markings/sec, 210 secs
lola: 1428433 markings, 3337681 edges, 5111 markings/sec, 215 secs
lola: 1453958 markings, 3422046 edges, 5105 markings/sec, 220 secs
lola: 1478764 markings, 3504114 edges, 4961 markings/sec, 225 secs
lola: 1504286 markings, 3588470 edges, 5104 markings/sec, 230 secs
lola: 1529715 markings, 3672573 edges, 5086 markings/sec, 235 secs
lola: 1560512 markings, 3751322 edges, 6159 markings/sec, 240 secs
lola: 1593508 markings, 3827433 edges, 6599 markings/sec, 245 secs
lola: 1626568 markings, 3903677 edges, 6612 markings/sec, 250 secs
lola: 1659671 markings, 3980039 edges, 6621 markings/sec, 255 secs
lola: 1692618 markings, 4056037 edges, 6589 markings/sec, 260 secs
lola: 1725725 markings, 4132408 edges, 6621 markings/sec, 265 secs
lola: 1758861 markings, 4208837 edges, 6627 markings/sec, 270 secs
lola: 1791612 markings, 4284388 edges, 6550 markings/sec, 275 secs
lola: 1824595 markings, 4360463 edges, 6597 markings/sec, 280 secs
lola: 1854683 markings, 4439894 edges, 6018 markings/sec, 285 secs
lola: 1880285 markings, 4524542 edges, 5120 markings/sec, 290 secs
lola: 1905843 markings, 4609076 edges, 5112 markings/sec, 295 secs
lola: 1931377 markings, 4693516 edges, 5107 markings/sec, 300 secs
lola: 1956908 markings, 4777946 edges, 5106 markings/sec, 305 secs
lola: 1982446 markings, 4862395 edges, 5108 markings/sec, 310 secs
lola: 2010761 markings, 4943474 edges, 5663 markings/sec, 315 secs
lola: 2043785 markings, 5019627 edges, 6605 markings/sec, 320 secs
lola: 2076685 markings, 5095534 edges, 6580 markings/sec, 325 secs
lola: 2109698 markings, 5171679 edges, 6603 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 272056 KB
lola: time consumption: 866 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 338 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7856)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7856)
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: 7 markings, 6 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 385 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3976)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3976)
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: 111 markings, 110 edges

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

FORMULA AutoFlight-PT-96b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 539 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6826)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6826)
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: 20216 markings, 25972 edges, 4043 markings/sec, 0 secs
lola: 66688 markings, 86703 edges, 9294 markings/sec, 5 secs
lola: 113246 markings, 147533 edges, 9312 markings/sec, 10 secs
lola: 158340 markings, 209776 edges, 9019 markings/sec, 15 secs
lola: 191364 markings, 285943 edges, 6605 markings/sec, 20 secs
lola: 224314 markings, 361940 edges, 6590 markings/sec, 25 secs
lola: 257358 markings, 438163 edges, 6609 markings/sec, 30 secs
lola: 290326 markings, 514223 edges, 6594 markings/sec, 35 secs
lola: 323233 markings, 590123 edges, 6581 markings/sec, 40 secs
lola: 356028 markings, 665778 edges, 6559 markings/sec, 45 secs
lola: 388833 markings, 741435 edges, 6561 markings/sec, 50 secs
lola: 421756 markings, 817372 edges, 6585 markings/sec, 55 secs
lola: 454484 markings, 892874 edges, 6546 markings/sec, 60 secs
lola: 482287 markings, 977066 edges, 5561 markings/sec, 65 secs
lola: 508549 markings, 1063910 edges, 5252 markings/sec, 70 secs
lola: 534058 markings, 1148230 edges, 5102 markings/sec, 75 secs
lola: 559601 markings, 1232709 edges, 5109 markings/sec, 80 secs
lola: 585148 markings, 1317184 edges, 5109 markings/sec, 85 secs
lola: 610641 markings, 1401473 edges, 5099 markings/sec, 90 secs
lola: 642328 markings, 1479745 edges, 6337 markings/sec, 95 secs
lola: 675479 markings, 1556214 edges, 6630 markings/sec, 100 secs
lola: 708599 markings, 1632641 edges, 6624 markings/sec, 105 secs
lola: 741828 markings, 1709287 edges, 6646 markings/sec, 110 secs
lola: 775045 markings, 1785895 edges, 6643 markings/sec, 115 secs
lola: 808218 markings, 1862407 edges, 6635 markings/sec, 120 secs
lola: 841260 markings, 1938634 edges, 6608 markings/sec, 125 secs
lola: 874423 markings, 2015142 edges, 6633 markings/sec, 130 secs
lola: 907608 markings, 2091686 edges, 6637 markings/sec, 135 secs
lola: 940616 markings, 2167817 edges, 6602 markings/sec, 140 secs
lola: 973490 markings, 2243649 edges, 6575 markings/sec, 145 secs
lola: 1006346 markings, 2319444 edges, 6571 markings/sec, 150 secs
lola: 1039257 markings, 2395331 edges, 6582 markings/sec, 155 secs
lola: 1071618 markings, 2469992 edges, 6472 markings/sec, 160 secs
lola: 1104228 markings, 2545223 edges, 6522 markings/sec, 165 secs
lola: 1137025 markings, 2620875 edges, 6559 markings/sec, 170 secs
lola: 1169800 markings, 2696480 edges, 6555 markings/sec, 175 secs
lola: 1201551 markings, 2769702 edges, 6350 markings/sec, 180 secs
lola: 1233692 markings, 2843850 edges, 6428 markings/sec, 185 secs
lola: 1266577 markings, 2919706 edges, 6577 markings/sec, 190 secs
lola: 1299293 markings, 2995178 edges, 6543 markings/sec, 195 secs
lola: 1332061 markings, 3070764 edges, 6554 markings/sec, 200 secs
lola: 1364797 markings, 3146271 edges, 6547 markings/sec, 205 secs
lola: 1394457 markings, 3225322 edges, 5932 markings/sec, 210 secs
lola: 1419428 markings, 3307891 edges, 4994 markings/sec, 215 secs
lola: 1442991 markings, 3385827 edges, 4713 markings/sec, 220 secs
lola: 1466702 markings, 3464204 edges, 4742 markings/sec, 225 secs
lola: 1490557 markings, 3543067 edges, 4771 markings/sec, 230 secs
lola: 1514154 markings, 3621116 edges, 4719 markings/sec, 235 secs
lola: 1537801 markings, 3698927 edges, 4729 markings/sec, 240 secs
lola: 1568447 markings, 3769610 edges, 6129 markings/sec, 245 secs
lola: 1598997 markings, 3840085 edges, 6110 markings/sec, 250 secs
lola: 1629928 markings, 3911436 edges, 6186 markings/sec, 255 secs
lola: 1660709 markings, 3982444 edges, 6156 markings/sec, 260 secs
lola: 1691495 markings, 4053435 edges, 6157 markings/sec, 265 secs
lola: 1722383 markings, 4124686 edges, 6178 markings/sec, 270 secs
lola: 1753173 markings, 4195714 edges, 6158 markings/sec, 275 secs
lola: 1784858 markings, 4268795 edges, 6337 markings/sec, 280 secs
lola: 1818702 markings, 4346877 edges, 6769 markings/sec, 285 secs
lola: 1851202 markings, 4428404 edges, 6500 markings/sec, 290 secs
lola: 1875911 markings, 4510092 edges, 4942 markings/sec, 295 secs
lola: 1901367 markings, 4594263 edges, 5091 markings/sec, 300 secs
lola: 1926834 markings, 4678489 edges, 5093 markings/sec, 305 secs
lola: 1952522 markings, 4763462 edges, 5138 markings/sec, 310 secs
lola: 1977304 markings, 4845364 edges, 4956 markings/sec, 315 secs
lola: 2003571 markings, 4926889 edges, 5253 markings/sec, 320 secs
lola: 2035771 markings, 5001163 edges, 6440 markings/sec, 325 secs
lola: 2069587 markings, 5079159 edges, 6763 markings/sec, 330 secs
lola: 2103529 markings, 5157463 edges, 6788 markings/sec, 335 secs
lola: 2136151 markings, 5232690 edges, 6524 markings/sec, 340 secs
lola: 2168032 markings, 5306215 edges, 6376 markings/sec, 345 secs
lola: 2199750 markings, 5379399 edges, 6344 markings/sec, 350 secs
lola: 2230381 markings, 5450045 edges, 6126 markings/sec, 355 secs
lola: 2261851 markings, 5522644 edges, 6294 markings/sec, 360 secs
lola: 2293345 markings, 5595293 edges, 6299 markings/sec, 365 secs
lola: 2320487 markings, 5672969 edges, 5428 markings/sec, 370 secs
lola: 2345036 markings, 5754149 edges, 4910 markings/sec, 375 secs
lola: 2369027 markings, 5833446 edges, 4798 markings/sec, 380 secs
lola: 2392650 markings, 5911590 edges, 4725 markings/sec, 385 secs
lola: 2416618 markings, 5990875 edges, 4794 markings/sec, 390 secs
lola: 2440355 markings, 6069364 edges, 4747 markings/sec, 395 secs
lola: 2465578 markings, 6146159 edges, 5045 markings/sec, 400 secs
lola: 2496029 markings, 6216401 edges, 6090 markings/sec, 405 secs
lola: 2526511 markings, 6286722 edges, 6096 markings/sec, 410 secs
lola: 2557080 markings, 6357227 edges, 6114 markings/sec, 415 secs
lola: 2587817 markings, 6428138 edges, 6147 markings/sec, 420 secs
lola: 2619573 markings, 6501398 edges, 6351 markings/sec, 425 secs
lola: 2651021 markings, 6573936 edges, 6290 markings/sec, 430 secs
lola: 2682286 markings, 6646042 edges, 6253 markings/sec, 435 secs
lola: 2713605 markings, 6718285 edges, 6264 markings/sec, 440 secs
lola: 2745257 markings, 6791305 edges, 6330 markings/sec, 445 secs
lola: 2775709 markings, 6861552 edges, 6090 markings/sec, 450 secs
lola: 2806601 markings, 6932798 edges, 6178 markings/sec, 455 secs
lola: 2837417 markings, 7003875 edges, 6163 markings/sec, 460 secs
lola: 2868397 markings, 7075331 edges, 6196 markings/sec, 465 secs
lola: 2899332 markings, 7146700 edges, 6187 markings/sec, 470 secs
lola: 2929870 markings, 7217159 edges, 6108 markings/sec, 475 secs
lola: 2960700 markings, 7288270 edges, 6166 markings/sec, 480 secs
lola: 2991561 markings, 7359460 edges, 6172 markings/sec, 485 secs
lola: 3022153 markings, 7430019 edges, 6118 markings/sec, 490 secs
lola: 3053720 markings, 7502826 edges, 6313 markings/sec, 495 secs
lola: 3085205 markings, 7575452 edges, 6297 markings/sec, 500 secs
lola: 3116159 markings, 7646852 edges, 6191 markings/sec, 505 secs
lola: 3147125 markings, 7718275 edges, 6193 markings/sec, 510 secs
lola: 3177709 markings, 7788838 edges, 6117 markings/sec, 515 secs
lola: 3208321 markings, 7859436 edges, 6122 markings/sec, 520 secs
lola: 3236273 markings, 7933190 edges, 5590 markings/sec, 525 secs
lola: 3259824 markings, 8011081 edges, 4710 markings/sec, 530 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 unknown 1 1 unknown 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 402556 KB
lola: time consumption: 1414 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 539 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3445)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3445)
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: 176 markings, 175 edges
lola: ========================================

FORMULA AutoFlight-PT-96b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 717 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2449)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2449)
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: 255 markings, 254 edges

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 1075 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1663)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1663)
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: ========================================
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: 320 markings, 319 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 2147 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p189)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p189)
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: 190 markings, 189 edges

FORMULA AutoFlight-PT-96b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p6825)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6825)
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: 17628 markings, 22595 edges, 3526 markings/sec, 0 secs
lola: 59864 markings, 77787 edges, 8447 markings/sec, 5 secs
lola: 104292 markings, 135839 edges, 8886 markings/sec, 10 secs
lola: 148556 markings, 193675 edges, 8853 markings/sec, 15 secs
lola: 181919 markings, 264167 edges, 6673 markings/sec, 20 secs
lola: 212945 markings, 335727 edges, 6205 markings/sec, 25 secs
lola: 243239 markings, 405610 edges, 6059 markings/sec, 30 secs
lola: 273536 markings, 475496 edges, 6059 markings/sec, 35 secs
lola: 303957 markings, 545657 edges, 6084 markings/sec, 40 secs
lola: 334208 markings, 615444 edges, 6050 markings/sec, 45 secs
lola: 365311 markings, 687174 edges, 6221 markings/sec, 50 secs
lola: 395668 markings, 757211 edges, 6071 markings/sec, 55 secs
lola: 425854 markings, 826840 edges, 6037 markings/sec, 60 secs
lola: 456000 markings, 896378 edges, 6029 markings/sec, 65 secs
lola: 480974 markings, 972730 edges, 4995 markings/sec, 70 secs
lola: 504472 markings, 1050399 edges, 4700 markings/sec, 75 secs
lola: 528937 markings, 1131333 edges, 4893 markings/sec, 80 secs
lola: 552625 markings, 1209638 edges, 4738 markings/sec, 85 secs
lola: 576333 markings, 1288044 edges, 4742 markings/sec, 90 secs
lola: 599849 markings, 1365820 edges, 4703 markings/sec, 95 secs
lola: 626034 markings, 1442187 edges, 5237 markings/sec, 100 secs
lola: 656543 markings, 1512558 edges, 6102 markings/sec, 105 secs
lola: 687025 markings, 1582856 edges, 6096 markings/sec, 110 secs
lola: 717580 markings, 1653332 edges, 6111 markings/sec, 115 secs
lola: 748071 markings, 1723661 edges, 6098 markings/sec, 120 secs
lola: 779024 markings, 1795087 edges, 6191 markings/sec, 125 secs
lola: 809788 markings, 1866034 edges, 6153 markings/sec, 130 secs
lola: 840602 markings, 1937122 edges, 6163 markings/sec, 135 secs
lola: 871104 markings, 2007464 edges, 6100 markings/sec, 140 secs
lola: 902094 markings, 2078968 edges, 6198 markings/sec, 145 secs
lola: 933166 markings, 2150621 edges, 6214 markings/sec, 150 secs
lola: 964370 markings, 2222595 edges, 6241 markings/sec, 155 secs
lola: 996089 markings, 2295761 edges, 6344 markings/sec, 160 secs
lola: 1028643 markings, 2370850 edges, 6511 markings/sec, 165 secs
lola: 1058783 markings, 2440384 edges, 6028 markings/sec, 170 secs
lola: 1090100 markings, 2512631 edges, 6263 markings/sec, 175 secs
lola: 1121824 markings, 2585810 edges, 6345 markings/sec, 180 secs
lola: 1152493 markings, 2656547 edges, 6134 markings/sec, 185 secs
lola: 1182929 markings, 2726764 edges, 6087 markings/sec, 190 secs
lola: 1213155 markings, 2796486 edges, 6045 markings/sec, 195 secs
lola: 1243528 markings, 2866545 edges, 6075 markings/sec, 200 secs
lola: 1275818 markings, 2941027 edges, 6458 markings/sec, 205 secs
lola: 1308327 markings, 3016015 edges, 6502 markings/sec, 210 secs
lola: 1340959 markings, 3091285 edges, 6526 markings/sec, 215 secs
lola: 1371109 markings, 3160830 edges, 6030 markings/sec, 220 secs
lola: 1397348 markings, 3234879 edges, 5248 markings/sec, 225 secs
lola: 1420711 markings, 3312156 edges, 4673 markings/sec, 230 secs
lola: 1445099 markings, 3392782 edges, 4878 markings/sec, 235 secs
lola: 1469266 markings, 3472680 edges, 4833 markings/sec, 240 secs
lola: 1492629 markings, 3549951 edges, 4673 markings/sec, 245 secs
lola: 1516145 markings, 3627700 edges, 4703 markings/sec, 250 secs
lola: 1541680 markings, 3707871 edges, 5107 markings/sec, 255 secs
lola: 1573545 markings, 3781366 edges, 6373 markings/sec, 260 secs
lola: 1604755 markings, 3853373 edges, 6242 markings/sec, 265 secs
lola: 1635109 markings, 3923382 edges, 6071 markings/sec, 270 secs
lola: 1665413 markings, 3993282 edges, 6061 markings/sec, 275 secs
lola: 1699369 markings, 4071614 edges, 6791 markings/sec, 280 secs
lola: 1732926 markings, 4149021 edges, 6711 markings/sec, 285 secs
lola: 1766270 markings, 4225938 edges, 6669 markings/sec, 290 secs
lola: 1797647 markings, 4298308 edges, 6275 markings/sec, 295 secs
lola: 1828157 markings, 4368680 edges, 6102 markings/sec, 300 secs
lola: 1856336 markings, 4445342 edges, 5636 markings/sec, 305 secs
lola: 1880334 markings, 4524709 edges, 4800 markings/sec, 310 secs
lola: 1904524 markings, 4604719 edges, 4838 markings/sec, 315 secs
lola: 1928185 markings, 4682967 edges, 4732 markings/sec, 320 secs
lola: 1951848 markings, 4761223 edges, 4733 markings/sec, 325 secs
lola: 1975271 markings, 4838639 edges, 4685 markings/sec, 330 secs
lola: 1999379 markings, 4917210 edges, 4822 markings/sec, 335 secs
lola: 2032025 markings, 4992529 edges, 6529 markings/sec, 340 secs
lola: 2065127 markings, 5068873 edges, 6620 markings/sec, 345 secs
lola: 2097791 markings, 5144217 edges, 6533 markings/sec, 350 secs
lola: 2131244 markings, 5221399 edges, 6691 markings/sec, 355 secs
lola: 2164358 markings, 5297770 edges, 6623 markings/sec, 360 secs
lola: 2197104 markings, 5373309 edges, 6549 markings/sec, 365 secs
lola: 2230395 markings, 5450107 edges, 6658 markings/sec, 370 secs
lola: 2263832 markings, 5527203 edges, 6687 markings/sec, 375 secs
lola: 2296823 markings, 5603312 edges, 6598 markings/sec, 380 secs
lola: 2324134 markings, 5685025 edges, 5462 markings/sec, 385 secs
lola: 2349904 markings, 5770248 edges, 5154 markings/sec, 390 secs
lola: 2375696 markings, 5855509 edges, 5158 markings/sec, 395 secs
lola: 2400788 markings, 5938546 edges, 5018 markings/sec, 400 secs
lola: 2425875 markings, 6021464 edges, 5017 markings/sec, 405 secs
lola: 2450440 markings, 6102690 edges, 4913 markings/sec, 410 secs
lola: 2478217 markings, 6175320 edges, 5555 markings/sec, 415 secs
lola: 2509390 markings, 6247259 edges, 6235 markings/sec, 420 secs
lola: 2539725 markings, 6317201 edges, 6067 markings/sec, 425 secs
lola: 2569989 markings, 6387036 edges, 6053 markings/sec, 430 secs
lola: 2600772 markings, 6458024 edges, 6157 markings/sec, 435 secs
lola: 2631029 markings, 6527809 edges, 6051 markings/sec, 440 secs
lola: 2661387 markings, 6597850 edges, 6072 markings/sec, 445 secs
lola: 2693202 markings, 6671219 edges, 6363 markings/sec, 450 secs
lola: 2727136 markings, 6749503 edges, 6787 markings/sec, 455 secs
lola: 2760709 markings, 6826964 edges, 6715 markings/sec, 460 secs
lola: 2793515 markings, 6902622 edges, 6561 markings/sec, 465 secs
lola: 2825177 markings, 6975658 edges, 6332 markings/sec, 470 secs
lola: 2855804 markings, 7046303 edges, 6125 markings/sec, 475 secs
lola: 2888505 markings, 7121742 edges, 6540 markings/sec, 480 secs
lola: 2919618 markings, 7193497 edges, 6223 markings/sec, 485 secs
lola: 2951093 markings, 7266095 edges, 6295 markings/sec, 490 secs
lola: 2981317 markings, 7335824 edges, 6045 markings/sec, 495 secs
lola: 3012671 markings, 7408156 edges, 6271 markings/sec, 500 secs
lola: 3046982 markings, 7487304 edges, 6862 markings/sec, 505 secs
lola: 3080156 markings, 7563792 edges, 6635 markings/sec, 510 secs
lola: 3114202 markings, 7642332 edges, 6809 markings/sec, 515 secs
lola: 3148038 markings, 7720407 edges, 6767 markings/sec, 520 secs
lola: 3181338 markings, 7797214 edges, 6660 markings/sec, 525 secs
lola: 3213746 markings, 7871966 edges, 6482 markings/sec, 530 secs
lola: 3242511 markings, 7953828 edges, 5753 markings/sec, 535 secs
lola: 3268490 markings, 8039736 edges, 5196 markings/sec, 540 secs
lola: 3294395 markings, 8125376 edges, 5181 markings/sec, 545 secs
lola: 3320418 markings, 8211437 edges, 5205 markings/sec, 550 secs
lola: 3346419 markings, 8297426 edges, 5200 markings/sec, 555 secs
lola: 3372375 markings, 8383247 edges, 5191 markings/sec, 560 secs
lola: 3403363 markings, 8462922 edges, 6198 markings/sec, 565 secs
lola: 3436352 markings, 8539028 edges, 6598 markings/sec, 570 secs
lola: 3469340 markings, 8615130 edges, 6598 markings/sec, 575 secs
lola: 3502716 markings, 8692122 edges, 6675 markings/sec, 580 secs
lola: 3536011 markings, 8768891 edges, 6659 markings/sec, 585 secs
lola: 3569154 markings, 8845365 edges, 6629 markings/sec, 590 secs
lola: 3602554 markings, 8922391 edges, 6680 markings/sec, 595 secs
lola: 3635981 markings, 8999515 edges, 6685 markings/sec, 600 secs
lola: 3669384 markings, 9076548 edges, 6681 markings/sec, 605 secs
lola: 3702767 markings, 9153561 edges, 6677 markings/sec, 610 secs
lola: 3735820 markings, 9229811 edges, 6611 markings/sec, 615 secs
lola: 3769175 markings, 9306748 edges, 6671 markings/sec, 620 secs
lola: 3802588 markings, 9383835 edges, 6683 markings/sec, 625 secs
lola: 3835782 markings, 9460401 edges, 6639 markings/sec, 630 secs
lola: 3868996 markings, 9536982 edges, 6643 markings/sec, 635 secs
lola: 3902190 markings, 9613577 edges, 6639 markings/sec, 640 secs
lola: 3935564 markings, 9690570 edges, 6675 markings/sec, 645 secs
lola: 3968896 markings, 9767434 edges, 6666 markings/sec, 650 secs
lola: 4002082 markings, 9843977 edges, 6637 markings/sec, 655 secs
lola: 4032725 markings, 9914686 edges, 6129 markings/sec, 660 secs
lola: 4063264 markings, 9985115 edges, 6108 markings/sec, 665 secs
lola: 4093533 markings, 10054925 edges, 6054 markings/sec, 670 secs
lola: 4123765 markings, 10124666 edges, 6046 markings/sec, 675 secs
lola: 4153280 markings, 10197435 edges, 5903 markings/sec, 680 secs
lola: 4179330 markings, 10283578 edges, 5210 markings/sec, 685 secs
lola: 4204872 markings, 10368036 edges, 5108 markings/sec, 690 secs
lola: 4230791 markings, 10453744 edges, 5184 markings/sec, 695 secs
lola: 4256848 markings, 10539887 edges, 5211 markings/sec, 700 secs
lola: 4282784 markings, 10625671 edges, 5187 markings/sec, 705 secs
lola: 4310477 markings, 10708940 edges, 5539 markings/sec, 710 secs
lola: 4343968 markings, 10786215 edges, 6698 markings/sec, 715 secs
lola: 4377505 markings, 10863563 edges, 6707 markings/sec, 720 secs
lola: 4411082 markings, 10940994 edges, 6715 markings/sec, 725 secs
lola: 4444593 markings, 11018312 edges, 6702 markings/sec, 730 secs
lola: 4478110 markings, 11095633 edges, 6703 markings/sec, 735 secs
lola: 4511597 markings, 11172878 edges, 6697 markings/sec, 740 secs
lola: 4545036 markings, 11250007 edges, 6688 markings/sec, 745 secs
lola: 4578454 markings, 11327090 edges, 6684 markings/sec, 750 secs
lola: 4611871 markings, 11404171 edges, 6683 markings/sec, 755 secs
lola: 4645228 markings, 11481105 edges, 6671 markings/sec, 760 secs
lola: 4678530 markings, 11557915 edges, 6660 markings/sec, 765 secs
lola: 4711691 markings, 11634429 edges, 6632 markings/sec, 770 secs
lola: 4743801 markings, 11708485 edges, 6422 markings/sec, 775 secs
lola: 4775283 markings, 11781102 edges, 6296 markings/sec, 780 secs
lola: 4806098 markings, 11852184 edges, 6163 markings/sec, 785 secs
lola: 4836371 markings, 11922032 edges, 6055 markings/sec, 790 secs
lola: 4869301 markings, 11997987 edges, 6586 markings/sec, 795 secs
lola: 4902763 markings, 12075159 edges, 6692 markings/sec, 800 secs
lola: 4936228 markings, 12152353 edges, 6693 markings/sec, 805 secs
lola: 4969255 markings, 12228521 edges, 6605 markings/sec, 810 secs
lola: 5002190 markings, 12304512 edges, 6587 markings/sec, 815 secs
lola: 5034784 markings, 12379675 edges, 6519 markings/sec, 820 secs
lola: 5067577 markings, 12455319 edges, 6559 markings/sec, 825 secs
lola: 5093496 markings, 12538421 edges, 5184 markings/sec, 830 secs
lola: 5117529 markings, 12617903 edges, 4807 markings/sec, 835 secs
lola: 5140903 markings, 12695235 edges, 4675 markings/sec, 840 secs
lola: 5164269 markings, 12772497 edges, 4673 markings/sec, 845 secs
lola: 5189280 markings, 12855196 edges, 5002 markings/sec, 850 secs
lola: 5215305 markings, 12941247 edges, 5205 markings/sec, 855 secs
lola: 5246457 markings, 13021538 edges, 6230 markings/sec, 860 secs
lola: 5279645 markings, 13098091 edges, 6638 markings/sec, 865 secs
lola: 5312118 markings, 13172990 edges, 6495 markings/sec, 870 secs
lola: 5344700 markings, 13248145 edges, 6516 markings/sec, 875 secs
lola: 5377213 markings, 13323144 edges, 6503 markings/sec, 880 secs
lola: 5409783 markings, 13398294 edges, 6514 markings/sec, 885 secs
lola: 5442283 markings, 13473246 edges, 6500 markings/sec, 890 secs
lola: 5474874 markings, 13548416 edges, 6518 markings/sec, 895 secs
lola: 5507462 markings, 13623608 edges, 6518 markings/sec, 900 secs
lola: 5540081 markings, 13698833 edges, 6524 markings/sec, 905 secs
lola: 5572674 markings, 13774021 edges, 6519 markings/sec, 910 secs
lola: 5605219 markings, 13849099 edges, 6509 markings/sec, 915 secs
lola: 5637881 markings, 13924435 edges, 6532 markings/sec, 920 secs
lola: 5670469 markings, 13999608 edges, 6518 markings/sec, 925 secs
lola: 5703132 markings, 14074970 edges, 6533 markings/sec, 930 secs
lola: 5735896 markings, 14150525 edges, 6553 markings/sec, 935 secs
lola: 5768337 markings, 14225360 edges, 6488 markings/sec, 940 secs
lola: 5801087 markings, 14300921 edges, 6550 markings/sec, 945 secs
lola: 5833899 markings, 14376601 edges, 6562 markings/sec, 950 secs
lola: 5878393 markings, 14438954 edges, 8899 markings/sec, 955 secs
lola: 5924501 markings, 14499202 edges, 9222 markings/sec, 960 secs
lola: 5970646 markings, 14559496 edges, 9229 markings/sec, 965 secs
lola: 6009512 markings, 14628001 edges, 7773 markings/sec, 970 secs
lola: 6042141 markings, 14703278 edges, 6526 markings/sec, 975 secs
lola: 6074762 markings, 14778498 edges, 6524 markings/sec, 980 secs
lola: 6107476 markings, 14853978 edges, 6543 markings/sec, 985 secs
lola: 6140192 markings, 14929429 edges, 6543 markings/sec, 990 secs
lola: 6172953 markings, 15005010 edges, 6552 markings/sec, 995 secs
lola: 6205714 markings, 15080560 edges, 6552 markings/sec, 1000 secs
lola: 6238504 markings, 15156216 edges, 6558 markings/sec, 1005 secs
lola: 6272036 markings, 15233553 edges, 6706 markings/sec, 1010 secs
lola: 6304177 markings, 15312882 edges, 6428 markings/sec, 1015 secs
lola: 6330287 markings, 15399217 edges, 5222 markings/sec, 1020 secs
lola: 6356272 markings, 15485171 edges, 5197 markings/sec, 1025 secs
lola: 6382299 markings, 15571233 edges, 5205 markings/sec, 1030 secs
lola: 6408300 markings, 15657201 edges, 5200 markings/sec, 1035 secs
lola: 6434304 markings, 15743173 edges, 5201 markings/sec, 1040 secs
lola: 6462095 markings, 15825559 edges, 5558 markings/sec, 1045 secs
lola: 6494980 markings, 15901418 edges, 6577 markings/sec, 1050 secs
lola: 6528205 markings, 15978039 edges, 6645 markings/sec, 1055 secs
lola: 6562078 markings, 16056205 edges, 6775 markings/sec, 1060 secs
lola: 6596296 markings, 16135109 edges, 6844 markings/sec, 1065 secs
lola: 6630507 markings, 16214034 edges, 6842 markings/sec, 1070 secs
lola: 6664594 markings, 16292658 edges, 6817 markings/sec, 1075 secs
lola: 6698711 markings, 16371342 edges, 6823 markings/sec, 1080 secs
lola: 6732089 markings, 16448347 edges, 6676 markings/sec, 1085 secs
lola: 6765470 markings, 16525354 edges, 6676 markings/sec, 1090 secs
lola: 6798912 markings, 16602474 edges, 6688 markings/sec, 1095 secs
lola: 6832262 markings, 16679428 edges, 6670 markings/sec, 1100 secs
lola: 6865816 markings, 16756823 edges, 6711 markings/sec, 1105 secs
lola: 6899007 markings, 16833365 edges, 6638 markings/sec, 1110 secs
lola: 6927197 markings, 16912200 edges, 5638 markings/sec, 1115 secs
lola: 6953119 markings, 16997966 edges, 5184 markings/sec, 1120 secs
lola: 6979104 markings, 17083864 edges, 5197 markings/sec, 1125 secs
lola: 7004492 markings, 17167838 edges, 5078 markings/sec, 1130 secs
lola: 7030475 markings, 17253725 edges, 5197 markings/sec, 1135 secs
lola: 7055911 markings, 17337844 edges, 5087 markings/sec, 1140 secs
lola: 7085455 markings, 17417056 edges, 5909 markings/sec, 1145 secs
lola: 7118162 markings, 17492494 edges, 6541 markings/sec, 1150 secs
lola: 7150831 markings, 17567844 edges, 6534 markings/sec, 1155 secs
lola: 7183549 markings, 17643304 edges, 6544 markings/sec, 1160 secs
lola: 7216205 markings, 17718649 edges, 6531 markings/sec, 1165 secs
lola: 7248980 markings, 17794242 edges, 6555 markings/sec, 1170 secs
lola: 7281643 markings, 17869575 edges, 6533 markings/sec, 1175 secs
lola: 7314115 markings, 17944490 edges, 6494 markings/sec, 1180 secs
lola: 7345782 markings, 18017540 edges, 6333 markings/sec, 1185 secs
lola: 7377383 markings, 18093641 edges, 6320 markings/sec, 1190 secs
lola: 7403229 markings, 18179135 edges, 5169 markings/sec, 1195 secs
lola: 7429043 markings, 18264446 edges, 5163 markings/sec, 1200 secs
lola: 7455075 markings, 18350551 edges, 5206 markings/sec, 1205 secs
lola: 7481095 markings, 18436563 edges, 5204 markings/sec, 1210 secs
lola: 7507089 markings, 18522559 edges, 5199 markings/sec, 1215 secs
lola: 7534677 markings, 18606848 edges, 5518 markings/sec, 1220 secs
lola: 7569262 markings, 18686615 edges, 6917 markings/sec, 1225 secs
lola: 7601324 markings, 18760578 edges, 6412 markings/sec, 1230 secs
lola: 7632615 markings, 18832765 edges, 6258 markings/sec, 1235 secs
lola: 7663159 markings, 18903211 edges, 6109 markings/sec, 1240 secs
lola: 7693798 markings, 18973885 edges, 6128 markings/sec, 1245 secs
lola: 7725562 markings, 19047164 edges, 6353 markings/sec, 1250 secs
lola: 7758970 markings, 19124217 edges, 6682 markings/sec, 1255 secs
lola: 7792695 markings, 19202027 edges, 6745 markings/sec, 1260 secs
lola: 7826280 markings, 19279470 edges, 6717 markings/sec, 1265 secs
lola: 7859847 markings, 19356917 edges, 6713 markings/sec, 1270 secs
lola: 7893242 markings, 19433944 edges, 6679 markings/sec, 1275 secs
lola: 7926717 markings, 19511170 edges, 6695 markings/sec, 1280 secs
lola: 7960004 markings, 19587940 edges, 6657 markings/sec, 1285 secs
lola: 7993601 markings, 19665423 edges, 6719 markings/sec, 1290 secs
lola: 8028067 markings, 19744944 edges, 6893 markings/sec, 1295 secs
lola: 8062405 markings, 19824142 edges, 6868 markings/sec, 1300 secs
lola: 8095330 markings, 19900078 edges, 6585 markings/sec, 1305 secs
lola: 8127998 markings, 19975434 edges, 6534 markings/sec, 1310 secs
lola: 8160668 markings, 20050814 edges, 6534 markings/sec, 1315 secs
lola: 8193405 markings, 20126320 edges, 6547 markings/sec, 1320 secs
lola: 8226105 markings, 20201764 edges, 6540 markings/sec, 1325 secs
lola: 8258861 markings, 20277310 edges, 6551 markings/sec, 1330 secs
lola: 8291638 markings, 20352905 edges, 6555 markings/sec, 1335 secs
lola: 8318169 markings, 20436557 edges, 5306 markings/sec, 1340 secs
lola: 8343965 markings, 20521821 edges, 5159 markings/sec, 1345 secs
lola: 8369536 markings, 20606406 edges, 5114 markings/sec, 1350 secs
lola: 8395159 markings, 20691134 edges, 5125 markings/sec, 1355 secs
lola: 8421192 markings, 20777206 edges, 5207 markings/sec, 1360 secs
lola: 8447193 markings, 20863142 edges, 5200 markings/sec, 1365 secs
lola: 8480156 markings, 20941349 edges, 6593 markings/sec, 1370 secs
lola: 8513729 markings, 21018816 edges, 6715 markings/sec, 1375 secs
lola: 8547372 markings, 21096414 edges, 6729 markings/sec, 1380 secs
lola: 8580983 markings, 21173926 edges, 6722 markings/sec, 1385 secs
lola: 8614483 markings, 21251211 edges, 6700 markings/sec, 1390 secs
lola: 8647998 markings, 21328507 edges, 6703 markings/sec, 1395 secs
lola: 8681467 markings, 21405727 edges, 6694 markings/sec, 1400 secs
lola: 8714731 markings, 21482454 edges, 6653 markings/sec, 1405 secs
lola: 8748164 markings, 21559561 edges, 6687 markings/sec, 1410 secs
lola: 8780433 markings, 21634003 edges, 6454 markings/sec, 1415 secs
lola: 8813824 markings, 21711025 edges, 6678 markings/sec, 1420 secs
lola: 8847359 markings, 21788389 edges, 6707 markings/sec, 1425 secs
lola: 8879839 markings, 21863309 edges, 6496 markings/sec, 1430 secs
lola: 8913027 markings, 21939861 edges, 6638 markings/sec, 1435 secs
lola: 8946625 markings, 22017362 edges, 6720 markings/sec, 1440 secs
lola: 8980103 markings, 22094586 edges, 6696 markings/sec, 1445 secs
lola: 9013582 markings, 22171793 edges, 6696 markings/sec, 1450 secs
lola: 9046966 markings, 22248803 edges, 6677 markings/sec, 1455 secs
lola: 9080279 markings, 22325650 edges, 6663 markings/sec, 1460 secs
lola: 9113754 markings, 22402875 edges, 6695 markings/sec, 1465 secs
lola: 9147148 markings, 22479892 edges, 6679 markings/sec, 1470 secs
lola: 9180604 markings, 22557048 edges, 6691 markings/sec, 1475 secs
lola: 9214093 markings, 22634317 edges, 6698 markings/sec, 1480 secs
lola: 9240905 markings, 22719724 edges, 5362 markings/sec, 1485 secs
lola: 9266846 markings, 22805505 edges, 5188 markings/sec, 1490 secs
lola: 9292801 markings, 22891315 edges, 5191 markings/sec, 1495 secs
lola: 9318910 markings, 22977693 edges, 5222 markings/sec, 1500 secs
lola: 9344944 markings, 23063774 edges, 5207 markings/sec, 1505 secs
lola: 9370906 markings, 23149588 edges, 5192 markings/sec, 1510 secs
lola: 9403955 markings, 23225863 edges, 6610 markings/sec, 1515 secs
lola: 9436519 markings, 23300979 edges, 6513 markings/sec, 1520 secs
lola: 9469240 markings, 23376442 edges, 6544 markings/sec, 1525 secs
lola: 9501994 markings, 23452001 edges, 6551 markings/sec, 1530 secs
lola: 9534681 markings, 23527400 edges, 6537 markings/sec, 1535 secs
lola: 9567417 markings, 23602926 edges, 6547 markings/sec, 1540 secs
lola: 9600084 markings, 23678269 edges, 6533 markings/sec, 1545 secs
lola: 9632862 markings, 23753879 edges, 6556 markings/sec, 1550 secs
lola: 9665519 markings, 23829214 edges, 6531 markings/sec, 1555 secs
lola: 9698551 markings, 23905376 edges, 6606 markings/sec, 1560 secs
lola: 9732143 markings, 23982868 edges, 6718 markings/sec, 1565 secs
lola: 9765340 markings, 24059463 edges, 6639 markings/sec, 1570 secs
lola: 9798072 markings, 24134951 edges, 6546 markings/sec, 1575 secs
lola: 9830642 markings, 24210080 edges, 6514 markings/sec, 1580 secs
lola: 9863371 markings, 24285589 edges, 6546 markings/sec, 1585 secs
lola: 9896057 markings, 24360985 edges, 6537 markings/sec, 1590 secs
lola: 9928357 markings, 24435491 edges, 6460 markings/sec, 1595 secs
lola: 9960086 markings, 24508677 edges, 6346 markings/sec, 1600 secs
lola: 9992257 markings, 24582889 edges, 6434 markings/sec, 1605 secs
lola: 10024985 markings, 24658372 edges, 6546 markings/sec, 1610 secs
lola: 10057563 markings, 24733512 edges, 6516 markings/sec, 1615 secs
lola: 10088750 markings, 24805461 edges, 6237 markings/sec, 1620 secs
lola: 10119655 markings, 24876740 edges, 6181 markings/sec, 1625 secs
lola: 10149325 markings, 24955587 edges, 5934 markings/sec, 1630 secs
lola: 10175993 markings, 25043801 edges, 5334 markings/sec, 1635 secs
lola: 10202651 markings, 25131925 edges, 5332 markings/sec, 1640 secs
lola: 10229373 markings, 25220295 edges, 5344 markings/sec, 1645 secs
lola: 10256171 markings, 25308911 edges, 5360 markings/sec, 1650 secs
lola: 10282998 markings, 25397612 edges, 5365 markings/sec, 1655 secs
lola: 10314799 markings, 25480469 edges, 6360 markings/sec, 1660 secs
lola: 10349286 markings, 25560031 edges, 6897 markings/sec, 1665 secs
lola: 10383776 markings, 25639586 edges, 6898 markings/sec, 1670 secs
lola: 10418264 markings, 25719118 edges, 6898 markings/sec, 1675 secs
lola: 10452690 markings, 25798528 edges, 6885 markings/sec, 1680 secs
lola: 10487190 markings, 25878112 edges, 6900 markings/sec, 1685 secs
lola: 10521630 markings, 25957574 edges, 6888 markings/sec, 1690 secs
lola: 10556207 markings, 26037329 edges, 6915 markings/sec, 1695 secs
lola: 10590695 markings, 26116874 edges, 6898 markings/sec, 1700 secs
lola: 10625197 markings, 26196470 edges, 6900 markings/sec, 1705 secs
lola: 10659512 markings, 26275620 edges, 6863 markings/sec, 1710 secs
lola: 10693334 markings, 26353616 edges, 6764 markings/sec, 1715 secs
lola: 10727597 markings, 26432650 edges, 6853 markings/sec, 1720 secs
lola: 10761856 markings, 26511699 edges, 6852 markings/sec, 1725 secs
lola: 10794838 markings, 26587765 edges, 6596 markings/sec, 1730 secs
lola: 10828313 markings, 26664990 edges, 6695 markings/sec, 1735 secs
lola: 10861981 markings, 26742653 edges, 6734 markings/sec, 1740 secs
lola: 10895588 markings, 26820163 edges, 6721 markings/sec, 1745 secs
lola: 10929284 markings, 26897900 edges, 6739 markings/sec, 1750 secs
lola: 10963009 markings, 26975692 edges, 6745 markings/sec, 1755 secs
lola: 10996741 markings, 27053503 edges, 6746 markings/sec, 1760 secs
lola: 11030439 markings, 27131229 edges, 6740 markings/sec, 1765 secs
lola: 11063285 markings, 27209785 edges, 6569 markings/sec, 1770 secs
lola: 11088835 markings, 27294272 edges, 5110 markings/sec, 1775 secs
lola: 11114291 markings, 27378428 edges, 5091 markings/sec, 1780 secs
lola: 11139808 markings, 27462832 edges, 5103 markings/sec, 1785 secs
lola: 11164733 markings, 27545239 edges, 4985 markings/sec, 1790 secs
lola: 11189388 markings, 27626763 edges, 4931 markings/sec, 1795 secs
lola: 11214790 markings, 27710061 edges, 5080 markings/sec, 1800 secs
lola: 11247656 markings, 27785880 edges, 6573 markings/sec, 1805 secs
lola: 11280500 markings, 27861639 edges, 6569 markings/sec, 1810 secs
lola: 11313787 markings, 27938416 edges, 6657 markings/sec, 1815 secs
lola: 11347560 markings, 28016324 edges, 6755 markings/sec, 1820 secs
lola: 11381250 markings, 28094029 edges, 6738 markings/sec, 1825 secs
lola: 11414852 markings, 28171539 edges, 6720 markings/sec, 1830 secs
lola: 11448451 markings, 28249042 edges, 6720 markings/sec, 1835 secs
lola: 11482133 markings, 28326741 edges, 6736 markings/sec, 1840 secs
lola: 11514781 markings, 28402042 edges, 6530 markings/sec, 1845 secs
lola: 11539836 markings, 28478366 edges, 5011 markings/sec, 1850 secs
lola: 11563448 markings, 28556463 edges, 4722 markings/sec, 1855 secs
lola: 11587120 markings, 28634721 edges, 4734 markings/sec, 1860 secs
lola: 11612282 markings, 28717915 edges, 5032 markings/sec, 1865 secs
lola: 11638394 markings, 28804284 edges, 5222 markings/sec, 1870 secs
lola: 11664601 markings, 28890950 edges, 5241 markings/sec, 1875 secs
lola: 11692647 markings, 28965918 edges, 5609 markings/sec, 1880 secs
lola: 11723444 markings, 29036963 edges, 6159 markings/sec, 1885 secs
lola: 11754294 markings, 29108115 edges, 6170 markings/sec, 1890 secs
lola: 11786762 markings, 29183012 edges, 6494 markings/sec, 1895 secs
lola: 11819348 markings, 29258176 edges, 6517 markings/sec, 1900 secs
lola: 11852090 markings, 29333699 edges, 6548 markings/sec, 1905 secs
lola: 11885499 markings, 29410765 edges, 6682 markings/sec, 1910 secs
lola: 11919109 markings, 29488291 edges, 6722 markings/sec, 1915 secs
lola: 11952626 markings, 29565605 edges, 6703 markings/sec, 1920 secs
lola: 11985183 markings, 29643738 edges, 6511 markings/sec, 1925 secs
lola: 12011353 markings, 29730272 edges, 5234 markings/sec, 1930 secs
lola: 12037478 markings, 29816680 edges, 5225 markings/sec, 1935 secs
lola: 12063484 markings, 29902692 edges, 5201 markings/sec, 1940 secs
lola: 12089661 markings, 29989256 edges, 5235 markings/sec, 1945 secs
lola: 12115772 markings, 30075589 edges, 5222 markings/sec, 1950 secs
lola: 12143664 markings, 30159841 edges, 5578 markings/sec, 1955 secs
lola: 12177333 markings, 30237517 edges, 6734 markings/sec, 1960 secs
lola: 12211772 markings, 30316947 edges, 6888 markings/sec, 1965 secs
lola: 12246258 markings, 30396496 edges, 6897 markings/sec, 1970 secs
lola: 12280680 markings, 30475895 edges, 6884 markings/sec, 1975 secs
lola: 12315191 markings, 30555500 edges, 6902 markings/sec, 1980 secs
lola: 12349641 markings, 30634955 edges, 6890 markings/sec, 1985 secs
lola: 12380671 markings, 30706541 edges, 6206 markings/sec, 1990 secs
lola: 12410687 markings, 30775761 edges, 6003 markings/sec, 1995 secs
lola: 12442114 markings, 30848289 edges, 6285 markings/sec, 2000 secs
lola: 12465902 markings, 30926163 edges, 4758 markings/sec, 2005 secs
lola: 12489486 markings, 31004153 edges, 4717 markings/sec, 2010 secs
lola: 12514741 markings, 31087619 edges, 5051 markings/sec, 2015 secs
lola: 12541448 markings, 31175930 edges, 5341 markings/sec, 2020 secs
lola: 12568250 markings, 31264566 edges, 5360 markings/sec, 2025 secs
lola: 12594997 markings, 31353013 edges, 5349 markings/sec, 2030 secs
lola: 12628917 markings, 31432756 edges, 6784 markings/sec, 2035 secs
lola: 12663244 markings, 31511941 edges, 6865 markings/sec, 2040 secs
lola: 12697551 markings, 31591061 edges, 6861 markings/sec, 2045 secs
lola: 12731901 markings, 31670301 edges, 6870 markings/sec, 2050 secs
lola: 12765428 markings, 31747625 edges, 6705 markings/sec, 2055 secs
lola: 12798433 markings, 31823765 edges, 6601 markings/sec, 2060 secs
lola: 12831703 markings, 31900513 edges, 6654 markings/sec, 2065 secs
lola: 12865100 markings, 31977556 edges, 6679 markings/sec, 2070 secs
lola: 12898589 markings, 32054788 edges, 6698 markings/sec, 2075 secs
lola: 12932129 markings, 32132169 edges, 6708 markings/sec, 2080 secs
lola: 12965667 markings, 32209517 edges, 6708 markings/sec, 2085 secs
lola: 12999169 markings, 32286819 edges, 6700 markings/sec, 2090 secs
lola: 13032729 markings, 32364217 edges, 6712 markings/sec, 2095 secs
lola: 13066307 markings, 32441673 edges, 6716 markings/sec, 2100 secs
lola: 13099505 markings, 32518238 edges, 6640 markings/sec, 2105 secs
lola: 13132218 markings, 32593725 edges, 6543 markings/sec, 2110 secs
lola: 13165091 markings, 32669524 edges, 6575 markings/sec, 2115 secs
lola: 13197879 markings, 32745181 edges, 6558 markings/sec, 2120 secs
lola: 13230788 markings, 32821064 edges, 6582 markings/sec, 2125 secs
lola: 13263718 markings, 32897026 edges, 6586 markings/sec, 2130 secs
lola: 13296570 markings, 32972812 edges, 6570 markings/sec, 2135 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 unknown 1 1 unknown 1 1 1 unknown 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown 1 1 1 unknown 1 1 unknown 1 1 1 unknown 1 1 1 1
preliminary result: unknown 1 1 1 unknown 1 1 unknown 1 1 1 unknown 1 1 1 1

lola: memory consumption: 1534156 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 unknown 1 1 unknown 1 1 1 unknown 1 1 1 1
lola: memory consumption: 1534156 KB
lola: time consumption: 3570 seconds

BK_STOP 1552405999903

--------------------
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="AutoFlight-PT-96b"
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 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 r022-csrt-155225094500079"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-96b.tgz
mv AutoFlight-PT-96b execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;