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 212K
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K 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 8.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 105 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 343 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K 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 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 2 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 44K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Peterson-COL-4, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469600527
=====================================================================

--------------------
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 Peterson-COL-4-UpperBounds-00
FORMULA_NAME Peterson-COL-4-UpperBounds-01
FORMULA_NAME Peterson-COL-4-UpperBounds-02
FORMULA_NAME Peterson-COL-4-UpperBounds-03
FORMULA_NAME Peterson-COL-4-UpperBounds-04
FORMULA_NAME Peterson-COL-4-UpperBounds-05
FORMULA_NAME Peterson-COL-4-UpperBounds-06
FORMULA_NAME Peterson-COL-4-UpperBounds-07
FORMULA_NAME Peterson-COL-4-UpperBounds-08
FORMULA_NAME Peterson-COL-4-UpperBounds-09
FORMULA_NAME Peterson-COL-4-UpperBounds-10
FORMULA_NAME Peterson-COL-4-UpperBounds-11
FORMULA_NAME Peterson-COL-4-UpperBounds-12
FORMULA_NAME Peterson-COL-4-UpperBounds-13
FORMULA_NAME Peterson-COL-4-UpperBounds-14
FORMULA_NAME Peterson-COL-4-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1527040653851

info: Time: 3600 - MCC
===========================================================================================
prep: translating Peterson-COL-4 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating Peterson-COL-4 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ Peterson-COL-4 @ 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: 1230/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 500
lola: finding significant places
lola: 500 places, 730 transitions, 481 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1135 transition conflict sets
lola: TASK
lola: reading formula from Peterson-COL-4-UpperBounds.task
lola: MAX(p380 + p381 + p382 + p383 + p384) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199) : MAX(p380 + p381 + p382 + p383 + p384) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p84 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p83 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p82 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p81 + p80 + p79 + p59 + p39 + p19 + p99) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p84 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p83 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p82 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p81 + p80 + p79 + p59 + p39 + p19 + p99) : MAX(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p84 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p83 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p82 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p81 + p80 + p79 + p59 + p39 + p19 + p99) : MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359) : MAX(p380 + p381 + p382 + p383 + p384) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p84 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p83 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p82 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p81 + p80 + p79 + p59 + p39 + p19 + p99) : MAX(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499) : MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359) : MAX(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499) : MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359) : MAX(p380 + p381 + p382 + p383 + p384) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p380 + p381 + p382 + p383 + p384)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p380 + p381 + p382 + p383 + p384)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: 168271 markings, 733710 edges, 33654 markings/sec, 0 secs
lola: 335066 markings, 1494709 edges, 33359 markings/sec, 5 secs
lola: 508016 markings, 2295663 edges, 34590 markings/sec, 10 secs
lola: 694221 markings, 3143430 edges, 37241 markings/sec, 15 secs
lola: 878867 markings, 3981644 edges, 36929 markings/sec, 20 secs
lola: 1056195 markings, 4829484 edges, 35466 markings/sec, 25 secs
lola: 1242855 markings, 5653018 edges, 37332 markings/sec, 30 secs
lola: 1424607 markings, 6492105 edges, 36350 markings/sec, 35 secs
lola: 1604946 markings, 7317138 edges, 36068 markings/sec, 40 secs
lola: 1786797 markings, 8146563 edges, 36370 markings/sec, 45 secs
lola: 1966707 markings, 8977675 edges, 35982 markings/sec, 50 secs
lola: 2147046 markings, 9799610 edges, 36068 markings/sec, 55 secs
lola: 2326479 markings, 10622402 edges, 35887 markings/sec, 60 secs
lola: 2506749 markings, 11449102 edges, 36054 markings/sec, 65 secs
lola: 2681825 markings, 12291238 edges, 35015 markings/sec, 70 secs
lola: 2867371 markings, 13125798 edges, 37109 markings/sec, 75 secs
lola: 3045682 markings, 13946252 edges, 35662 markings/sec, 80 secs
lola: 3226444 markings, 14772993 edges, 36152 markings/sec, 85 secs
lola: 3400996 markings, 15586403 edges, 34910 markings/sec, 90 secs
lola: 3575533 markings, 16428578 edges, 34907 markings/sec, 95 secs
lola: 3752863 markings, 17263352 edges, 35466 markings/sec, 100 secs
lola: 3931032 markings, 18101237 edges, 35634 markings/sec, 105 secs
lola: 4108701 markings, 18938561 edges, 35534 markings/sec, 110 secs
lola: 4287275 markings, 19780162 edges, 35715 markings/sec, 115 secs
lola: 4461373 markings, 20611946 edges, 34820 markings/sec, 120 secs
lola: 4638353 markings, 21440795 edges, 35396 markings/sec, 125 secs
lola: 4820906 markings, 22299187 edges, 36511 markings/sec, 130 secs
lola: 5002024 markings, 23161846 edges, 36224 markings/sec, 135 secs
lola: 5179404 markings, 24003239 edges, 35476 markings/sec, 140 secs
lola: 5337030 markings, 24755999 edges, 31525 markings/sec, 145 secs
lola: 5500284 markings, 25526955 edges, 32651 markings/sec, 150 secs
lola: 5676405 markings, 26356107 edges, 35224 markings/sec, 155 secs
lola: 5853043 markings, 27190876 edges, 35328 markings/sec, 160 secs
lola: 6031435 markings, 28040684 edges, 35678 markings/sec, 165 secs
lola: 6207247 markings, 28884056 edges, 35162 markings/sec, 170 secs
lola: 6369635 markings, 29644583 edges, 32478 markings/sec, 175 secs
lola: 6529302 markings, 30398526 edges, 31933 markings/sec, 180 secs
lola: 6697995 markings, 31203435 edges, 33739 markings/sec, 185 secs
lola: 6854094 markings, 31946687 edges, 31220 markings/sec, 190 secs
lola: 7023913 markings, 32757549 edges, 33964 markings/sec, 195 secs
lola: 7197116 markings, 33587513 edges, 34641 markings/sec, 200 secs
lola: 7368867 markings, 34408471 edges, 34350 markings/sec, 205 secs
lola: 7539138 markings, 35221932 edges, 34054 markings/sec, 210 secs
lola: 7697962 markings, 35983759 edges, 31765 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: 540556 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p380 + p381 + p382 + p383 + p384)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p380 + p381 + p382 + p383 + p384)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: 176126 markings, 769563 edges, 35225 markings/sec, 0 secs
lola: 358605 markings, 1603659 edges, 36496 markings/sec, 5 secs
lola: 541414 markings, 2449938 edges, 36562 markings/sec, 10 secs
lola: 713278 markings, 3230148 edges, 34373 markings/sec, 15 secs
lola: 892047 markings, 4051517 edges, 35754 markings/sec, 20 secs
lola: 1067525 markings, 4858760 edges, 35096 markings/sec, 25 secs
lola: 1243364 markings, 5655497 edges, 35168 markings/sec, 30 secs
lola: 1422338 markings, 6481585 edges, 35795 markings/sec, 35 secs
lola: 1600861 markings, 7297967 edges, 35705 markings/sec, 40 secs
lola: 1779290 markings, 8112731 edges, 35686 markings/sec, 45 secs
lola: 1954200 markings, 8919237 edges, 34982 markings/sec, 50 secs
lola: 2128045 markings, 9724069 edges, 34769 markings/sec, 55 secs
lola: 2305876 markings, 10527617 edges, 35566 markings/sec, 60 secs
lola: 2483034 markings, 11335847 edges, 35432 markings/sec, 65 secs
lola: 2653964 markings, 12159620 edges, 34186 markings/sec, 70 secs
lola: 2830811 markings, 12958167 edges, 35369 markings/sec, 75 secs
lola: 3005867 markings, 13758696 edges, 35011 markings/sec, 80 secs
lola: 3178792 markings, 14554421 edges, 34585 markings/sec, 85 secs
lola: 3353023 markings, 15360903 edges, 34846 markings/sec, 90 secs
lola: 3526806 markings, 16201520 edges, 34757 markings/sec, 95 secs
lola: 3703298 markings, 17029982 edges, 35298 markings/sec, 100 secs
lola: 3883218 markings, 17876612 edges, 35984 markings/sec, 105 secs
lola: 4062419 markings, 18718748 edges, 35840 markings/sec, 110 secs
lola: 4241066 markings, 19560841 edges, 35729 markings/sec, 115 secs
lola: 4417405 markings, 20400348 edges, 35268 markings/sec, 120 secs
lola: 4573475 markings, 21136190 edges, 31214 markings/sec, 125 secs
lola: 4728589 markings, 21865972 edges, 31023 markings/sec, 130 secs
lola: 4882648 markings, 22591143 edges, 30812 markings/sec, 135 secs
lola: 5045368 markings, 23366817 edges, 32544 markings/sec, 140 secs
lola: 5206639 markings, 24132776 edges, 32254 markings/sec, 145 secs
lola: 5370628 markings, 24916868 edges, 32798 markings/sec, 150 secs
lola: 5542127 markings, 25725618 edges, 34300 markings/sec, 155 secs
lola: 5700977 markings, 26472773 edges, 31770 markings/sec, 160 secs
lola: 5859537 markings, 27221262 edges, 31712 markings/sec, 165 secs
lola: 6021595 markings, 27993027 edges, 32412 markings/sec, 170 secs
lola: 6192561 markings, 28813174 edges, 34193 markings/sec, 175 secs
lola: 6357630 markings, 29588211 edges, 33014 markings/sec, 180 secs
lola: 6528799 markings, 30396328 edges, 34234 markings/sec, 185 secs
lola: 6703195 markings, 31228247 edges, 34879 markings/sec, 190 secs
lola: 6872867 markings, 32035789 edges, 33934 markings/sec, 195 secs
lola: 7041962 markings, 32845014 edges, 33819 markings/sec, 200 secs
lola: 7212718 markings, 33661014 edges, 34151 markings/sec, 205 secs
lola: 7385603 markings, 34488265 edges, 34577 markings/sec, 210 secs
lola: 7558186 markings, 35313677 edges, 34517 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: 531336 KB
lola: time consumption: 446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p380 + p381 + p382 + p383 + p384)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p380 + p381 + p382 + p383 + p384)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: 189497 markings, 830347 edges, 37899 markings/sec, 0 secs
lola: 375677 markings, 1686115 edges, 37236 markings/sec, 5 secs
lola: 561748 markings, 2538443 edges, 37214 markings/sec, 10 secs
lola: 742775 markings, 3365476 edges, 36205 markings/sec, 15 secs
lola: 919409 markings, 4191196 edges, 35327 markings/sec, 20 secs
lola: 1097798 markings, 4991368 edges, 35678 markings/sec, 25 secs
lola: 1273914 markings, 5799660 edges, 35223 markings/sec, 30 secs
lola: 1448552 markings, 6635098 edges, 34928 markings/sec, 35 secs
lola: 1629242 markings, 7427943 edges, 36138 markings/sec, 40 secs
lola: 1807866 markings, 8240030 edges, 35725 markings/sec, 45 secs
lola: 1981573 markings, 9064971 edges, 34741 markings/sec, 50 secs
lola: 2161117 markings, 9862283 edges, 35909 markings/sec, 55 secs
lola: 2336737 markings, 10669613 edges, 35124 markings/sec, 60 secs
lola: 2513125 markings, 11479185 edges, 35278 markings/sec, 65 secs
lola: 2680957 markings, 12287068 edges, 33566 markings/sec, 70 secs
lola: 2849842 markings, 13045142 edges, 33777 markings/sec, 75 secs
lola: 3018058 markings, 13814373 edges, 33643 markings/sec, 80 secs
lola: 3169448 markings, 14511446 edges, 30278 markings/sec, 85 secs
lola: 3317987 markings, 15200588 edges, 29708 markings/sec, 90 secs
lola: 3471040 markings, 15940591 edges, 30611 markings/sec, 95 secs
lola: 3641480 markings, 16740438 edges, 34088 markings/sec, 100 secs
lola: 3812112 markings, 17542562 edges, 34126 markings/sec, 105 secs
lola: 3986073 markings, 18359278 edges, 34792 markings/sec, 110 secs
lola: 4162680 markings, 19192099 edges, 35321 markings/sec, 115 secs
lola: 4330021 markings, 19981892 edges, 33468 markings/sec, 120 secs
lola: 4498380 markings, 20782737 edges, 33672 markings/sec, 125 secs
lola: 4660772 markings, 21546193 edges, 32478 markings/sec, 130 secs
lola: 4835804 markings, 22369225 edges, 35006 markings/sec, 135 secs
lola: 5014125 markings, 23219371 edges, 35664 markings/sec, 140 secs
lola: 5195069 markings, 24077742 edges, 36189 markings/sec, 145 secs
lola: 5374902 markings, 24937188 edges, 35967 markings/sec, 150 secs
lola: 5558823 markings, 25805048 edges, 36784 markings/sec, 155 secs
lola: 5742701 markings, 26670772 edges, 36776 markings/sec, 160 secs
lola: 5926749 markings, 27541509 edges, 36810 markings/sec, 165 secs
lola: 6100605 markings, 28371886 edges, 34771 markings/sec, 170 secs
lola: 6255605 markings, 29112283 edges, 31000 markings/sec, 175 secs
lola: 6410660 markings, 29837566 edges, 31011 markings/sec, 180 secs
lola: 6572870 markings, 30603545 edges, 32442 markings/sec, 185 secs
lola: 6734824 markings, 31378705 edges, 32391 markings/sec, 190 secs
lola: 6897202 markings, 32151747 edges, 32476 markings/sec, 195 secs
lola: 7058918 markings, 32925967 edges, 32343 markings/sec, 200 secs
lola: 7219144 markings, 33691008 edges, 32045 markings/sec, 205 secs
lola: 7384371 markings, 34482564 edges, 33045 markings/sec, 210 secs
lola: 7546700 markings, 35258720 edges, 32466 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: 530616 KB
lola: time consumption: 669 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p380 + p381 + p382 + p383 + p384)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p380 + p381 + p382 + p383 + p384)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: 192403 markings, 843894 edges, 38481 markings/sec, 0 secs
lola: 378986 markings, 1701594 edges, 37317 markings/sec, 5 secs
lola: 564899 markings, 2552930 edges, 37183 markings/sec, 10 secs
lola: 750957 markings, 3402864 edges, 37212 markings/sec, 15 secs
lola: 934085 markings, 4243125 edges, 36626 markings/sec, 20 secs
lola: 1114851 markings, 5068827 edges, 36153 markings/sec, 25 secs
lola: 1297835 markings, 5911870 edges, 36597 markings/sec, 30 secs
lola: 1474303 markings, 6715220 edges, 35294 markings/sec, 35 secs
lola: 1651114 markings, 7527858 edges, 35362 markings/sec, 40 secs
lola: 1833568 markings, 8366256 edges, 36491 markings/sec, 45 secs
lola: 2013415 markings, 9191157 edges, 35969 markings/sec, 50 secs
lola: 2192072 markings, 10006132 edges, 35731 markings/sec, 55 secs
lola: 2371957 markings, 10835024 edges, 35977 markings/sec, 60 secs
lola: 2542716 markings, 11614708 edges, 34152 markings/sec, 65 secs
lola: 2700075 markings, 12378148 edges, 31472 markings/sec, 70 secs
lola: 2863578 markings, 13108342 edges, 32701 markings/sec, 75 secs
lola: 3032178 markings, 13883322 edges, 33720 markings/sec, 80 secs
lola: 3208064 markings, 14689121 edges, 35177 markings/sec, 85 secs
lola: 3380792 markings, 15491957 edges, 34546 markings/sec, 90 secs
lola: 3552901 markings, 16321992 edges, 34422 markings/sec, 95 secs
lola: 3729437 markings, 17152981 edges, 35307 markings/sec, 100 secs
lola: 3906748 markings, 17986350 edges, 35462 markings/sec, 105 secs
lola: 4083294 markings, 18818738 edges, 35309 markings/sec, 110 secs
lola: 4259880 markings, 19650697 edges, 35317 markings/sec, 115 secs
lola: 4433133 markings, 20476783 edges, 34651 markings/sec, 120 secs
lola: 4610405 markings, 21309935 edges, 35454 markings/sec, 125 secs
lola: 4787291 markings, 22141710 edges, 35377 markings/sec, 130 secs
lola: 4967436 markings, 22996858 edges, 36029 markings/sec, 135 secs
lola: 5143694 markings, 23833199 edges, 35252 markings/sec, 140 secs
lola: 5317327 markings, 24662123 edges, 34727 markings/sec, 145 secs
lola: 5493839 markings, 25495771 edges, 35302 markings/sec, 150 secs
lola: 5665668 markings, 26305799 edges, 34366 markings/sec, 155 secs
lola: 5842134 markings, 27139398 edges, 35293 markings/sec, 160 secs
lola: 6019558 markings, 27983363 edges, 35485 markings/sec, 165 secs
lola: 6188626 markings, 28794069 edges, 33814 markings/sec, 170 secs
lola: 6353488 markings, 29569072 edges, 32972 markings/sec, 175 secs
lola: 6523492 markings, 30370579 edges, 34001 markings/sec, 180 secs
lola: 6694854 markings, 31188458 edges, 34272 markings/sec, 185 secs
lola: 6863130 markings, 31989637 edges, 33655 markings/sec, 190 secs
lola: 7031703 markings, 32795169 edges, 33715 markings/sec, 195 secs
lola: 7199205 markings, 33597296 edges, 33500 markings/sec, 200 secs
lola: 7367902 markings, 34404129 edges, 33739 markings/sec, 205 secs
lola: 7536355 markings, 35208211 edges, 33691 markings/sec, 210 secs
lola: 7699041 markings, 35989080 edges, 32537 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: 540984 KB
lola: time consumption: 892 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p84 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p83 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p84 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p83 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 ... (shortened)
lola: processed formula length: 592
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 664 markings, 1029 edges
lola: ========================================

FORMULA Peterson-COL-4-UpperBounds-4 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456... (shortened)
lola: processed formula length: 702
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 664 markings, 1100 edges
lola: ========================================

FORMULA Peterson-COL-4-UpperBounds-5 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 267 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p84 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p83 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p84 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p83 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 ... (shortened)
lola: processed formula length: 592
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 664 markings, 1029 edges
lola: ========================================

FORMULA Peterson-COL-4-UpperBounds-6 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316... (shortened)
lola: processed formula length: 702
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 19 markings, 18 edges
lola: ========================================

FORMULA Peterson-COL-4-UpperBounds-7 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: processed formula length: 702
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 309 markings, 332 edges
lola: ========================================

FORMULA Peterson-COL-4-UpperBounds-1 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p84 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p83 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p84 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p83 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 ... (shortened)
lola: processed formula length: 592
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 664 markings, 1029 edges
lola: ========================================

FORMULA Peterson-COL-4-UpperBounds-9 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456... (shortened)
lola: processed formula length: 702
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 664 markings, 1100 edges
lola: ========================================

FORMULA Peterson-COL-4-UpperBounds-10 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316... (shortened)
lola: processed formula length: 702
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 19 markings, 18 edges
lola: ========================================

FORMULA Peterson-COL-4-UpperBounds-11 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 669 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456... (shortened)
lola: processed formula length: 702
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 664 markings, 1100 edges
lola: ========================================

FORMULA Peterson-COL-4-UpperBounds-12 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316... (shortened)
lola: processed formula length: 702
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 19 markings, 18 edges
lola: ========================================

FORMULA Peterson-COL-4-UpperBounds-13 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1338 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p84 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p83 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p84 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p83 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 ... (shortened)
lola: processed formula length: 592
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 664 markings, 1029 edges
lola: ========================================

FORMULA Peterson-COL-4-UpperBounds-3 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2677 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: processed formula length: 702
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 309 markings, 332 edges
lola: ========================================

FORMULA Peterson-COL-4-UpperBounds-15 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p380 + p381 + p382 + p383 + p384)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p380 + p381 + p382 + p383 + p384)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: 180260 markings, 787341 edges, 36052 markings/sec, 0 secs
lola: 351273 markings, 1569765 edges, 34203 markings/sec, 5 secs
lola: 519330 markings, 2378780 edges, 33611 markings/sec, 10 secs
lola: 696525 markings, 3153876 edges, 35439 markings/sec, 15 secs
lola: 869426 markings, 3943169 edges, 34580 markings/sec, 20 secs
lola: 1039049 markings, 4733272 edges, 33925 markings/sec, 25 secs
lola: 1213112 markings, 5517835 edges, 34813 markings/sec, 30 secs
lola: 1380136 markings, 6282467 edges, 33405 markings/sec, 35 secs
lola: 1547448 markings, 7054638 edges, 33462 markings/sec, 40 secs
lola: 1716418 markings, 7842505 edges, 33794 markings/sec, 45 secs
lola: 1891710 markings, 8629397 edges, 35058 markings/sec, 50 secs
lola: 2067448 markings, 9434934 edges, 35148 markings/sec, 55 secs
lola: 2235865 markings, 10211888 edges, 33683 markings/sec, 60 secs
lola: 2398211 markings, 10987578 edges, 32469 markings/sec, 65 secs
lola: 2569318 markings, 11737640 edges, 34221 markings/sec, 70 secs
lola: 2736953 markings, 12552952 edges, 33527 markings/sec, 75 secs
lola: 2911138 markings, 13331368 edges, 34837 markings/sec, 80 secs
lola: 3076760 markings, 14119122 edges, 33124 markings/sec, 85 secs
lola: 3251751 markings, 14893657 edges, 34998 markings/sec, 90 secs
lola: 3417693 markings, 15690823 edges, 33188 markings/sec, 95 secs
lola: 3596091 markings, 16526144 edges, 35680 markings/sec, 100 secs
lola: 3773738 markings, 17361525 edges, 35529 markings/sec, 105 secs
lola: 3953224 markings, 18205552 edges, 35897 markings/sec, 110 secs
lola: 4131836 markings, 19048176 edges, 35722 markings/sec, 115 secs
lola: 4309891 markings, 19887086 edges, 35611 markings/sec, 120 secs
lola: 4485925 markings, 20726291 edges, 35207 markings/sec, 125 secs
lola: 4664958 markings, 21566067 edges, 35807 markings/sec, 130 secs
lola: 4843609 markings, 22405990 edges, 35730 markings/sec, 135 secs
lola: 5019868 markings, 23245987 edges, 35252 markings/sec, 140 secs
lola: 5194486 markings, 24074979 edges, 34924 markings/sec, 145 secs
lola: 5368534 markings, 24906544 edges, 34810 markings/sec, 150 secs
lola: 5543461 markings, 25732284 edges, 34985 markings/sec, 155 secs
lola: 5716731 markings, 26548422 edges, 34654 markings/sec, 160 secs
lola: 5890253 markings, 27366557 edges, 34704 markings/sec, 165 secs
lola: 6061412 markings, 28184792 edges, 34232 markings/sec, 170 secs
lola: 6230759 markings, 28996997 edges, 33869 markings/sec, 175 secs
lola: 6381903 markings, 29702347 edges, 30229 markings/sec, 180 secs
lola: 6539583 markings, 30446623 edges, 31536 markings/sec, 185 secs
lola: 6697329 markings, 31200339 edges, 31549 markings/sec, 190 secs
lola: 6863442 markings, 31991151 edges, 33223 markings/sec, 195 secs
lola: 7027902 markings, 32776396 edges, 32892 markings/sec, 200 secs
lola: 7193964 markings, 33572809 edges, 33212 markings/sec, 205 secs
lola: 7360524 markings, 34368713 edges, 33312 markings/sec, 210 secs
lola: 7530880 markings, 35182015 edges, 34071 markings/sec, 215 secs
lola: 7699552 markings, 35991591 edges, 33734 markings/sec, 220 secs
lola: 7872813 markings, 36811140 edges, 34652 markings/sec, 225 secs
lola: 8037102 markings, 37595390 edges, 32858 markings/sec, 230 secs
lola: 8200790 markings, 38368862 edges, 32738 markings/sec, 235 secs
lola: 8366461 markings, 39157239 edges, 33134 markings/sec, 240 secs
lola: 8528906 markings, 39928607 edges, 32489 markings/sec, 245 secs
lola: 8699259 markings, 40733976 edges, 34071 markings/sec, 250 secs
lola: 8868680 markings, 41542047 edges, 33884 markings/sec, 255 secs
lola: 9031332 markings, 42315993 edges, 32530 markings/sec, 260 secs
lola: 9196934 markings, 43098627 edges, 33120 markings/sec, 265 secs
lola: 9357601 markings, 43862938 edges, 32133 markings/sec, 270 secs
lola: 9511845 markings, 44612695 edges, 30849 markings/sec, 275 secs
lola: 9660900 markings, 45323212 edges, 29811 markings/sec, 280 secs
lola: 9830454 markings, 46098990 edges, 33911 markings/sec, 285 secs
lola: 9988569 markings, 46852489 edges, 31623 markings/sec, 290 secs
lola: 10137303 markings, 47558957 edges, 29747 markings/sec, 295 secs
lola: 10296265 markings, 48308371 edges, 31792 markings/sec, 300 secs
lola: 10448339 markings, 49042463 edges, 30415 markings/sec, 305 secs
lola: 10593503 markings, 49737241 edges, 29033 markings/sec, 310 secs
lola: 10747870 markings, 50471969 edges, 30873 markings/sec, 315 secs
lola: 10893127 markings, 51162953 edges, 29051 markings/sec, 320 secs
lola: 11038993 markings, 51855648 edges, 29173 markings/sec, 325 secs
lola: 11199733 markings, 52613739 edges, 32148 markings/sec, 330 secs
lola: 11365354 markings, 53394086 edges, 33124 markings/sec, 335 secs
lola: 11531724 markings, 54167114 edges, 33274 markings/sec, 340 secs
lola: 11696988 markings, 54942771 edges, 33053 markings/sec, 345 secs
lola: 11863654 markings, 55723314 edges, 33333 markings/sec, 350 secs
lola: 12032498 markings, 56510125 edges, 33769 markings/sec, 355 secs
lola: 12195967 markings, 57291127 edges, 32694 markings/sec, 360 secs
lola: 12362055 markings, 58063942 edges, 33218 markings/sec, 365 secs
lola: 12527654 markings, 58841682 edges, 33120 markings/sec, 370 secs
lola: 12688819 markings, 59615277 edges, 32233 markings/sec, 375 secs
lola: 12854198 markings, 60405777 edges, 33076 markings/sec, 380 secs
lola: 13018033 markings, 61181671 edges, 32767 markings/sec, 385 secs
lola: 13183223 markings, 61962070 edges, 33038 markings/sec, 390 secs
lola: 13349223 markings, 62740329 edges, 33200 markings/sec, 395 secs
lola: 13512324 markings, 63519425 edges, 32620 markings/sec, 400 secs
lola: 13674389 markings, 64292712 edges, 32413 markings/sec, 405 secs
lola: 13827653 markings, 65029216 edges, 30653 markings/sec, 410 secs
lola: 13975579 markings, 65734681 edges, 29585 markings/sec, 415 secs
lola: 14122015 markings, 66443908 edges, 29287 markings/sec, 420 secs
lola: 14276861 markings, 67157418 edges, 30969 markings/sec, 425 secs
lola: 14429396 markings, 67866969 edges, 30507 markings/sec, 430 secs
lola: 14580376 markings, 68567593 edges, 30196 markings/sec, 435 secs
lola: 14732056 markings, 69288475 edges, 30336 markings/sec, 440 secs
lola: 14896606 markings, 70073023 edges, 32910 markings/sec, 445 secs
lola: 15050279 markings, 70793313 edges, 30735 markings/sec, 450 secs
lola: 15202350 markings, 71515866 edges, 30414 markings/sec, 455 secs
lola: 15347464 markings, 72214602 edges, 29023 markings/sec, 460 secs
lola: 15495977 markings, 72925366 edges, 29703 markings/sec, 465 secs
lola: 15654652 markings, 73687803 edges, 31735 markings/sec, 470 secs
lola: 15805968 markings, 74403795 edges, 30263 markings/sec, 475 secs
lola: 15969687 markings, 75186802 edges, 32744 markings/sec, 480 secs
lola: 16125412 markings, 75933890 edges, 31145 markings/sec, 485 secs
lola: 16270901 markings, 76639214 edges, 29098 markings/sec, 490 secs
lola: 16417619 markings, 77330073 edges, 29344 markings/sec, 495 secs
lola: 16576028 markings, 78074775 edges, 31682 markings/sec, 500 secs
lola: 16739950 markings, 78869721 edges, 32784 markings/sec, 505 secs
lola: 16903901 markings, 79634757 edges, 32790 markings/sec, 510 secs
lola: 17064264 markings, 80399871 edges, 32073 markings/sec, 515 secs
lola: 17221032 markings, 81155583 edges, 31354 markings/sec, 520 secs
lola: 17377668 markings, 81906890 edges, 31327 markings/sec, 525 secs
lola: 17529864 markings, 82646510 edges, 30439 markings/sec, 530 secs
lola: 17696381 markings, 83424534 edges, 33303 markings/sec, 535 secs
lola: 17864803 markings, 84207282 edges, 33684 markings/sec, 540 secs
lola: 18032494 markings, 84981106 edges, 33538 markings/sec, 545 secs
lola: 18197414 markings, 85755752 edges, 32984 markings/sec, 550 secs
lola: 18361428 markings, 86539116 edges, 32803 markings/sec, 555 secs
lola: 18522616 markings, 87310520 edges, 32238 markings/sec, 560 secs
lola: 18677837 markings, 88067244 edges, 31044 markings/sec, 565 secs
lola: 18828083 markings, 88773157 edges, 30049 markings/sec, 570 secs
lola: 18976530 markings, 89473833 edges, 29689 markings/sec, 575 secs
lola: 19125954 markings, 90184281 edges, 29885 markings/sec, 580 secs
lola: 19287221 markings, 90949217 edges, 32253 markings/sec, 585 secs
lola: 19450744 markings, 91707282 edges, 32705 markings/sec, 590 secs
lola: 19611232 markings, 92469988 edges, 32098 markings/sec, 595 secs
lola: 19762340 markings, 93186409 edges, 30222 markings/sec, 600 secs
lola: 19912651 markings, 93904547 edges, 30062 markings/sec, 605 secs
lola: 20059774 markings, 94609351 edges, 29425 markings/sec, 610 secs
lola: 20216005 markings, 95360060 edges, 31246 markings/sec, 615 secs
lola: 20382450 markings, 96134035 edges, 33289 markings/sec, 620 secs
lola: 20547706 markings, 96914237 edges, 33051 markings/sec, 625 secs
lola: 20709046 markings, 97691336 edges, 32268 markings/sec, 630 secs
lola: 20874504 markings, 98468087 edges, 33092 markings/sec, 635 secs
lola: 21040229 markings, 99249281 edges, 33145 markings/sec, 640 secs
lola: 21206062 markings, 100022186 edges, 33167 markings/sec, 645 secs
lola: 21370055 markings, 100792930 edges, 32799 markings/sec, 650 secs
lola: 21534110 markings, 101554435 edges, 32811 markings/sec, 655 secs
lola: 21697270 markings, 102315409 edges, 32632 markings/sec, 660 secs
lola: 21856509 markings, 103066355 edges, 31848 markings/sec, 665 secs
lola: 22014375 markings, 103813903 edges, 31573 markings/sec, 670 secs
lola: 22174002 markings, 104580130 edges, 31925 markings/sec, 675 secs
lola: 22327214 markings, 105323046 edges, 30642 markings/sec, 680 secs
lola: 22465860 markings, 105988478 edges, 27729 markings/sec, 685 secs
lola: 22602679 markings, 106660128 edges, 27364 markings/sec, 690 secs
lola: 22749553 markings, 107338851 edges, 29375 markings/sec, 695 secs
lola: 22896578 markings, 108023590 edges, 29405 markings/sec, 700 secs
lola: 23045736 markings, 108721946 edges, 29832 markings/sec, 705 secs
lola: 23192955 markings, 109430874 edges, 29444 markings/sec, 710 secs
lola: 23341757 markings, 110149070 edges, 29760 markings/sec, 715 secs
lola: 23485948 markings, 110839916 edges, 28838 markings/sec, 720 secs
lola: 23633731 markings, 111533861 edges, 29557 markings/sec, 725 secs
lola: 23794248 markings, 112315043 edges, 32103 markings/sec, 730 secs
lola: 23962271 markings, 113108583 edges, 33605 markings/sec, 735 secs
lola: 24125944 markings, 113875126 edges, 32735 markings/sec, 740 secs
lola: 24292315 markings, 114652498 edges, 33274 markings/sec, 745 secs
lola: 24457790 markings, 115427530 edges, 33095 markings/sec, 750 secs
lola: 24622391 markings, 116209924 edges, 32920 markings/sec, 755 secs
lola: 24785710 markings, 116975689 edges, 32664 markings/sec, 760 secs
lola: 24948657 markings, 117754904 edges, 32589 markings/sec, 765 secs
lola: 25108567 markings, 118514870 edges, 31982 markings/sec, 770 secs
lola: 25247581 markings, 119175034 edges, 27803 markings/sec, 775 secs
lola: 25409505 markings, 119942457 edges, 32385 markings/sec, 780 secs
lola: 25564521 markings, 120677712 edges, 31003 markings/sec, 785 secs
lola: 25723681 markings, 121414047 edges, 31832 markings/sec, 790 secs
lola: 25886031 markings, 122172161 edges, 32470 markings/sec, 795 secs
lola: 26049910 markings, 122941491 edges, 32776 markings/sec, 800 secs
lola: 26200495 markings, 123650299 edges, 30117 markings/sec, 805 secs
lola: 26359255 markings, 124394806 edges, 31752 markings/sec, 810 secs
lola: 26511842 markings, 125124559 edges, 30517 markings/sec, 815 secs
lola: 26667971 markings, 125861055 edges, 31226 markings/sec, 820 secs
lola: 26829880 markings, 126609909 edges, 32382 markings/sec, 825 secs
lola: 26988211 markings, 127352150 edges, 31666 markings/sec, 830 secs
lola: 27146577 markings, 128094952 edges, 31673 markings/sec, 835 secs
lola: 27299405 markings, 128822506 edges, 30566 markings/sec, 840 secs
lola: 27450127 markings, 129542615 edges, 30144 markings/sec, 845 secs
lola: 27605491 markings, 130266579 edges, 31073 markings/sec, 850 secs
lola: 27758627 markings, 130998288 edges, 30627 markings/sec, 855 secs
lola: 27912094 markings, 131731344 edges, 30693 markings/sec, 860 secs
lola: 28068556 markings, 132465053 edges, 31292 markings/sec, 865 secs
lola: 28223353 markings, 133201934 edges, 30959 markings/sec, 870 secs
lola: 28383383 markings, 133946530 edges, 32006 markings/sec, 875 secs
lola: 28546794 markings, 134700755 edges, 32682 markings/sec, 880 secs
lola: 28708870 markings, 135456794 edges, 32415 markings/sec, 885 secs
lola: 28865469 markings, 136194900 edges, 31320 markings/sec, 890 secs
lola: 29021914 markings, 136935346 edges, 31289 markings/sec, 895 secs
lola: 29177718 markings, 137678369 edges, 31161 markings/sec, 900 secs
lola: 29334831 markings, 138410016 edges, 31423 markings/sec, 905 secs
lola: 29488025 markings, 139126230 edges, 30639 markings/sec, 910 secs
lola: 29646385 markings, 139866350 edges, 31672 markings/sec, 915 secs
lola: 29796124 markings, 140578828 edges, 29948 markings/sec, 920 secs
lola: 29945008 markings, 141290660 edges, 29777 markings/sec, 925 secs
lola: 30099882 markings, 142028017 edges, 30975 markings/sec, 930 secs
lola: 30261065 markings, 142792244 edges, 32237 markings/sec, 935 secs
lola: 30416561 markings, 143519674 edges, 31099 markings/sec, 940 secs
lola: 30566178 markings, 144232632 edges, 29923 markings/sec, 945 secs
lola: 30724656 markings, 144974964 edges, 31696 markings/sec, 950 secs
lola: 30893146 markings, 145774151 edges, 33698 markings/sec, 955 secs
lola: 31057042 markings, 146560822 edges, 32779 markings/sec, 960 secs
lola: 31220472 markings, 147344567 edges, 32686 markings/sec, 965 secs
lola: 31383293 markings, 148123823 edges, 32564 markings/sec, 970 secs
lola: 31540501 markings, 148867199 edges, 31442 markings/sec, 975 secs
lola: 31703661 markings, 149637082 edges, 32632 markings/sec, 980 secs
lola: 31858319 markings, 150374664 edges, 30932 markings/sec, 985 secs
lola: 32016716 markings, 151115675 edges, 31679 markings/sec, 990 secs
lola: 32170791 markings, 151848598 edges, 30815 markings/sec, 995 secs
lola: 32336004 markings, 152620601 edges, 33043 markings/sec, 1000 secs
lola: 32502436 markings, 153408216 edges, 33286 markings/sec, 1005 secs
lola: 32659561 markings, 154138303 edges, 31425 markings/sec, 1010 secs
lola: 32808994 markings, 154832411 edges, 29887 markings/sec, 1015 secs
lola: 32974041 markings, 155601067 edges, 33009 markings/sec, 1020 secs
lola: 33129642 markings, 156326642 edges, 31120 markings/sec, 1025 secs
lola: 33280763 markings, 157045382 edges, 30224 markings/sec, 1030 secs
lola: 33430244 markings, 157759173 edges, 29896 markings/sec, 1035 secs
lola: 33580151 markings, 158472912 edges, 29981 markings/sec, 1040 secs
lola: 33741109 markings, 159226056 edges, 32192 markings/sec, 1045 secs
lola: 33902090 markings, 159979714 edges, 32196 markings/sec, 1050 secs
lola: 34066756 markings, 160749376 edges, 32933 markings/sec, 1055 secs
lola: 34228792 markings, 161517161 edges, 32407 markings/sec, 1060 secs
lola: 34388548 markings, 162279305 edges, 31951 markings/sec, 1065 secs
lola: 34549380 markings, 163041574 edges, 32166 markings/sec, 1070 secs
lola: 34713976 markings, 163809697 edges, 32919 markings/sec, 1075 secs
lola: 34874539 markings, 164572270 edges, 32113 markings/sec, 1080 secs
lola: 35032323 markings, 165326696 edges, 31557 markings/sec, 1085 secs
lola: 35192283 markings, 166087109 edges, 31992 markings/sec, 1090 secs
lola: 35354607 markings, 166844575 edges, 32465 markings/sec, 1095 secs
lola: 35519347 markings, 167616469 edges, 32948 markings/sec, 1100 secs
lola: 35680933 markings, 168397065 edges, 32317 markings/sec, 1105 secs
lola: 35845582 markings, 169173636 edges, 32930 markings/sec, 1110 secs
lola: 36006268 markings, 169922421 edges, 32137 markings/sec, 1115 secs
lola: 36173638 markings, 170700870 edges, 33474 markings/sec, 1120 secs
lola: 36340521 markings, 171482102 edges, 33377 markings/sec, 1125 secs
lola: 36497184 markings, 172228355 edges, 31333 markings/sec, 1130 secs
lola: 36658670 markings, 172993856 edges, 32297 markings/sec, 1135 secs
lola: 36822323 markings, 173763990 edges, 32731 markings/sec, 1140 secs
lola: 36981960 markings, 174520770 edges, 31927 markings/sec, 1145 secs
lola: 37150593 markings, 175312276 edges, 33727 markings/sec, 1150 secs
lola: 37321601 markings, 176120079 edges, 34202 markings/sec, 1155 secs
lola: 37491338 markings, 176920702 edges, 33947 markings/sec, 1160 secs
lola: 37658968 markings, 177711309 edges, 33526 markings/sec, 1165 secs
lola: 37825529 markings, 178502496 edges, 33312 markings/sec, 1170 secs
lola: 37993470 markings, 179289673 edges, 33588 markings/sec, 1175 secs
lola: 38159711 markings, 180079207 edges, 33248 markings/sec, 1180 secs
lola: 38330413 markings, 180886450 edges, 34140 markings/sec, 1185 secs
lola: 38497424 markings, 181676200 edges, 33402 markings/sec, 1190 secs
lola: 38663562 markings, 182466005 edges, 33228 markings/sec, 1195 secs
lola: 38829159 markings, 183249858 edges, 33119 markings/sec, 1200 secs
lola: 38993871 markings, 184040383 edges, 32942 markings/sec, 1205 secs
lola: 39160717 markings, 184823674 edges, 33369 markings/sec, 1210 secs
lola: 39328338 markings, 185616213 edges, 33524 markings/sec, 1215 secs
lola: 39492458 markings, 186398542 edges, 32824 markings/sec, 1220 secs
lola: 39656386 markings, 187174179 edges, 32786 markings/sec, 1225 secs
lola: 39825028 markings, 187975493 edges, 33728 markings/sec, 1230 secs
lola: 39993385 markings, 188778793 edges, 33671 markings/sec, 1235 secs
lola: 40160248 markings, 189573470 edges, 33373 markings/sec, 1240 secs
lola: 40326996 markings, 190367845 edges, 33350 markings/sec, 1245 secs
lola: 40491892 markings, 191160223 edges, 32979 markings/sec, 1250 secs
lola: 40659288 markings, 191951480 edges, 33479 markings/sec, 1255 secs
lola: 40828984 markings, 192751671 edges, 33939 markings/sec, 1260 secs
lola: 40992168 markings, 193523562 edges, 32637 markings/sec, 1265 secs
lola: 41156718 markings, 194306049 edges, 32910 markings/sec, 1270 secs
lola: 41320372 markings, 195087349 edges, 32731 markings/sec, 1275 secs
lola: 41482911 markings, 195864310 edges, 32508 markings/sec, 1280 secs
lola: 41648876 markings, 196637412 edges, 33193 markings/sec, 1285 secs
lola: 41789220 markings, 197288908 edges, 28069 markings/sec, 1290 secs
lola: 41941536 markings, 197997435 edges, 30463 markings/sec, 1295 secs
lola: 42093466 markings, 198706262 edges, 30386 markings/sec, 1300 secs
lola: 42233274 markings, 199359716 edges, 27962 markings/sec, 1305 secs
lola: 42383404 markings, 200070775 edges, 30026 markings/sec, 1310 secs
lola: 42557848 markings, 200904380 edges, 34889 markings/sec, 1315 secs
lola: 42727654 markings, 201710021 edges, 33961 markings/sec, 1320 secs
lola: 42896600 markings, 202517404 edges, 33789 markings/sec, 1325 secs
lola: 43061347 markings, 203298242 edges, 32949 markings/sec, 1330 secs
lola: 43231368 markings, 204107419 edges, 34004 markings/sec, 1335 secs
lola: 43399189 markings, 204909944 edges, 33564 markings/sec, 1340 secs
lola: 43563133 markings, 205690726 edges, 32789 markings/sec, 1345 secs
lola: 43733831 markings, 206501063 edges, 34140 markings/sec, 1350 secs
lola: 43901935 markings, 207312760 edges, 33621 markings/sec, 1355 secs
lola: 44064393 markings, 208092891 edges, 32492 markings/sec, 1360 secs
lola: 44235269 markings, 208912550 edges, 34175 markings/sec, 1365 secs
lola: 44398096 markings, 209690470 edges, 32565 markings/sec, 1370 secs
lola: 44552433 markings, 210425472 edges, 30867 markings/sec, 1375 secs
lola: 44706117 markings, 211153692 edges, 30737 markings/sec, 1380 secs
lola: 44850717 markings, 211839994 edges, 28920 markings/sec, 1385 secs
lola: 45003475 markings, 212565857 edges, 30552 markings/sec, 1390 secs
lola: 45151765 markings, 213272620 edges, 29658 markings/sec, 1395 secs
lola: 45309746 markings, 214015304 edges, 31596 markings/sec, 1400 secs
lola: 45472950 markings, 214773132 edges, 32641 markings/sec, 1405 secs
lola: 45637130 markings, 215538899 edges, 32836 markings/sec, 1410 secs
lola: 45798847 markings, 216296675 edges, 32343 markings/sec, 1415 secs
lola: 45960989 markings, 217065895 edges, 32428 markings/sec, 1420 secs
lola: 46118701 markings, 217800710 edges, 31542 markings/sec, 1425 secs
lola: 46279047 markings, 218553477 edges, 32069 markings/sec, 1430 secs
lola: 46436411 markings, 219299715 edges, 31473 markings/sec, 1435 secs
lola: 46598487 markings, 220052547 edges, 32415 markings/sec, 1440 secs
lola: 46756705 markings, 220799240 edges, 31644 markings/sec, 1445 secs
lola: 46915653 markings, 221538132 edges, 31790 markings/sec, 1450 secs
lola: 47076078 markings, 222293632 edges, 32085 markings/sec, 1455 secs
lola: 47234459 markings, 223028414 edges, 31676 markings/sec, 1460 secs
lola: 47391363 markings, 223767751 edges, 31381 markings/sec, 1465 secs
lola: 47550826 markings, 224510727 edges, 31893 markings/sec, 1470 secs
lola: 47709568 markings, 225257809 edges, 31748 markings/sec, 1475 secs
lola: 47875315 markings, 226023606 edges, 33149 markings/sec, 1480 secs
lola: 48037985 markings, 226784387 edges, 32534 markings/sec, 1485 secs
lola: 48199888 markings, 227537224 edges, 32381 markings/sec, 1490 secs
lola: 48365712 markings, 228306668 edges, 33165 markings/sec, 1495 secs
lola: 48527384 markings, 229068384 edges, 32334 markings/sec, 1500 secs
lola: 48688375 markings, 229824893 edges, 32198 markings/sec, 1505 secs
lola: 48848868 markings, 230581390 edges, 32099 markings/sec, 1510 secs
lola: 49004775 markings, 231331015 edges, 31181 markings/sec, 1515 secs
lola: 49163199 markings, 232084673 edges, 31685 markings/sec, 1520 secs
lola: 49322909 markings, 232845652 edges, 31942 markings/sec, 1525 secs
lola: 49478564 markings, 233596329 edges, 31131 markings/sec, 1530 secs
lola: 49637553 markings, 234350269 edges, 31798 markings/sec, 1535 secs
lola: 49788453 markings, 235067312 edges, 30180 markings/sec, 1540 secs
lola: 49931246 markings, 235752040 edges, 28559 markings/sec, 1545 secs
lola: 50067917 markings, 236408813 edges, 27334 markings/sec, 1550 secs
lola: 50216306 markings, 237127576 edges, 29678 markings/sec, 1555 secs
lola: 50362261 markings, 237828190 edges, 29191 markings/sec, 1560 secs
lola: 50515735 markings, 238545251 edges, 30695 markings/sec, 1565 secs
lola: 50662714 markings, 239240078 edges, 29396 markings/sec, 1570 secs
lola: 50805053 markings, 239909844 edges, 28468 markings/sec, 1575 secs
lola: 50954079 markings, 240615706 edges, 29805 markings/sec, 1580 secs
lola: 51104686 markings, 241330700 edges, 30121 markings/sec, 1585 secs
lola: 51248056 markings, 242010661 edges, 28674 markings/sec, 1590 secs
lola: 51387482 markings, 242674930 edges, 27885 markings/sec, 1595 secs
lola: 51533787 markings, 243362695 edges, 29261 markings/sec, 1600 secs
lola: 51686130 markings, 244073068 edges, 30469 markings/sec, 1605 secs
lola: 51837386 markings, 244773634 edges, 30251 markings/sec, 1610 secs
lola: 51986425 markings, 245476739 edges, 29808 markings/sec, 1615 secs
lola: 52133007 markings, 246171482 edges, 29316 markings/sec, 1620 secs
lola: 52285885 markings, 246875823 edges, 30576 markings/sec, 1625 secs
lola: 52437355 markings, 247582072 edges, 30294 markings/sec, 1630 secs
lola: 52587834 markings, 248291334 edges, 30096 markings/sec, 1635 secs
lola: 52734822 markings, 248976539 edges, 29398 markings/sec, 1640 secs
lola: 52886583 markings, 249681966 edges, 30352 markings/sec, 1645 secs
lola: 53032657 markings, 250371691 edges, 29215 markings/sec, 1650 secs
lola: 53182844 markings, 251089723 edges, 30037 markings/sec, 1655 secs
lola: 53335403 markings, 251813825 edges, 30512 markings/sec, 1660 secs
lola: 53489880 markings, 252536939 edges, 30895 markings/sec, 1665 secs
lola: 53640955 markings, 253253634 edges, 30215 markings/sec, 1670 secs
lola: 53790354 markings, 253966191 edges, 29880 markings/sec, 1675 secs
lola: 53945323 markings, 254674793 edges, 30994 markings/sec, 1680 secs
lola: 54101570 markings, 255402725 edges, 31249 markings/sec, 1685 secs
lola: 54253353 markings, 256119622 edges, 30357 markings/sec, 1690 secs
lola: 54401050 markings, 256826301 edges, 29539 markings/sec, 1695 secs
lola: 54549630 markings, 257544825 edges, 29716 markings/sec, 1700 secs
lola: 54699098 markings, 258254665 edges, 29894 markings/sec, 1705 secs
lola: 54845397 markings, 258949379 edges, 29260 markings/sec, 1710 secs
lola: 54993224 markings, 259646262 edges, 29565 markings/sec, 1715 secs
lola: 55144249 markings, 260354252 edges, 30205 markings/sec, 1720 secs
lola: 55293385 markings, 261066440 edges, 29827 markings/sec, 1725 secs
lola: 55439638 markings, 261771093 edges, 29251 markings/sec, 1730 secs
lola: 55587072 markings, 262467651 edges, 29487 markings/sec, 1735 secs
lola: 55737475 markings, 263179966 edges, 30081 markings/sec, 1740 secs
lola: 55880854 markings, 263868078 edges, 28676 markings/sec, 1745 secs
lola: 56030345 markings, 264582732 edges, 29898 markings/sec, 1750 secs
lola: 56179988 markings, 265297049 edges, 29929 markings/sec, 1755 secs
lola: 56325508 markings, 265995524 edges, 29104 markings/sec, 1760 secs
lola: 56474254 markings, 266701915 edges, 29749 markings/sec, 1765 secs
lola: 56620429 markings, 267406319 edges, 29235 markings/sec, 1770 secs
lola: 56767013 markings, 268106068 edges, 29317 markings/sec, 1775 secs
lola: 56919358 markings, 268815430 edges, 30469 markings/sec, 1780 secs
lola: 57069606 markings, 269521334 edges, 30050 markings/sec, 1785 secs
lola: 57218018 markings, 270223592 edges, 29682 markings/sec, 1790 secs
lola: 57361286 markings, 270910527 edges, 28654 markings/sec, 1795 secs
lola: 57500527 markings, 271579355 edges, 27848 markings/sec, 1800 secs
lola: 57649515 markings, 272283236 edges, 29798 markings/sec, 1805 secs
lola: 57793635 markings, 272972055 edges, 28824 markings/sec, 1810 secs
lola: 57939767 markings, 273663141 edges, 29226 markings/sec, 1815 secs
lola: 58086737 markings, 274364084 edges, 29394 markings/sec, 1820 secs
lola: 58233759 markings, 275061668 edges, 29404 markings/sec, 1825 secs
lola: 58388568 markings, 275781228 edges, 30962 markings/sec, 1830 secs
lola: 58540988 markings, 276501303 edges, 30484 markings/sec, 1835 secs
lola: 58691570 markings, 277212522 edges, 30116 markings/sec, 1840 secs
lola: 58838543 markings, 277909365 edges, 29395 markings/sec, 1845 secs
lola: 58985680 markings, 278613484 edges, 29427 markings/sec, 1850 secs
lola: 59137365 markings, 279331353 edges, 30337 markings/sec, 1855 secs
lola: 59290146 markings, 280042719 edges, 30556 markings/sec, 1860 secs
lola: 59444928 markings, 280768003 edges, 30956 markings/sec, 1865 secs
lola: 59593672 markings, 281465805 edges, 29749 markings/sec, 1870 secs
lola: 59742456 markings, 282164297 edges, 29757 markings/sec, 1875 secs
lola: 59891334 markings, 282854660 edges, 29776 markings/sec, 1880 secs
lola: 60037493 markings, 283535685 edges, 29232 markings/sec, 1885 secs
lola: 60182162 markings, 284215160 edges, 28934 markings/sec, 1890 secs
lola: 60331821 markings, 284908679 edges, 29932 markings/sec, 1895 secs
lola: 60480989 markings, 285611157 edges, 29834 markings/sec, 1900 secs
lola: 60626692 markings, 286299108 edges, 29141 markings/sec, 1905 secs
lola: 60766510 markings, 286971066 edges, 27964 markings/sec, 1910 secs
lola: 60912772 markings, 287655706 edges, 29252 markings/sec, 1915 secs
lola: 61057545 markings, 288343907 edges, 28955 markings/sec, 1920 secs
lola: 61204144 markings, 289040622 edges, 29320 markings/sec, 1925 secs
lola: 61351077 markings, 289719096 edges, 29387 markings/sec, 1930 secs
lola: 61499492 markings, 290415352 edges, 29683 markings/sec, 1935 secs
lola: 61642224 markings, 291098445 edges, 28546 markings/sec, 1940 secs
lola: 61780859 markings, 291771608 edges, 27727 markings/sec, 1945 secs
lola: 61927236 markings, 292465312 edges, 29275 markings/sec, 1950 secs
lola: 62073487 markings, 293155133 edges, 29250 markings/sec, 1955 secs
lola: 62222906 markings, 293856281 edges, 29884 markings/sec, 1960 secs
lola: 62369058 markings, 294553306 edges, 29230 markings/sec, 1965 secs
lola: 62512275 markings, 295245430 edges, 28643 markings/sec, 1970 secs
lola: 62662358 markings, 295965318 edges, 30017 markings/sec, 1975 secs
lola: 62807289 markings, 296672642 edges, 28986 markings/sec, 1980 secs
lola: 62954279 markings, 297372381 edges, 29398 markings/sec, 1985 secs
lola: 63097120 markings, 298059693 edges, 28568 markings/sec, 1990 secs
lola: 63240721 markings, 298757526 edges, 28720 markings/sec, 1995 secs
lola: 63384276 markings, 299445948 edges, 28711 markings/sec, 2000 secs
lola: 63532279 markings, 300136602 edges, 29601 markings/sec, 2005 secs
lola: 63665247 markings, 300760308 edges, 26594 markings/sec, 2010 secs
lola: 63797978 markings, 301387416 edges, 26546 markings/sec, 2015 secs
lola: 63930008 markings, 302016614 edges, 26406 markings/sec, 2020 secs
lola: 64062129 markings, 302646984 edges, 26424 markings/sec, 2025 secs
lola: 64194279 markings, 303272220 edges, 26430 markings/sec, 2030 secs
lola: 64326437 markings, 303901806 edges, 26432 markings/sec, 2035 secs
lola: 64472820 markings, 304577162 edges, 29277 markings/sec, 2040 secs
lola: 64616402 markings, 305259517 edges, 28716 markings/sec, 2045 secs
lola: 64749817 markings, 305887000 edges, 26683 markings/sec, 2050 secs
lola: 64882886 markings, 306522436 edges, 26614 markings/sec, 2055 secs
lola: 65019613 markings, 307172505 edges, 27345 markings/sec, 2060 secs
lola: 65162724 markings, 307842846 edges, 28622 markings/sec, 2065 secs
lola: 65309196 markings, 308523463 edges, 29294 markings/sec, 2070 secs
lola: 65454332 markings, 309203369 edges, 29027 markings/sec, 2075 secs
lola: 65601147 markings, 309890588 edges, 29363 markings/sec, 2080 secs
lola: 65741323 markings, 310542033 edges, 28035 markings/sec, 2085 secs
lola: 65878287 markings, 311189530 edges, 27393 markings/sec, 2090 secs
lola: 66004204 markings, 311808028 edges, 25183 markings/sec, 2095 secs
lola: 66134321 markings, 312439909 edges, 26023 markings/sec, 2100 secs
lola: 66275877 markings, 313111180 edges, 28311 markings/sec, 2105 secs
lola: 66425886 markings, 313820177 edges, 30002 markings/sec, 2110 secs
lola: 66575785 markings, 314528157 edges, 29980 markings/sec, 2115 secs
lola: 66714979 markings, 315202090 edges, 27839 markings/sec, 2120 secs
lola: 66863456 markings, 315901781 edges, 29695 markings/sec, 2125 secs
lola: 67012649 markings, 316609583 edges, 29839 markings/sec, 2130 secs
lola: 67167331 markings, 317332068 edges, 30936 markings/sec, 2135 secs
lola: 67320023 markings, 318049247 edges, 30538 markings/sec, 2140 secs
lola: 67468620 markings, 318753879 edges, 29719 markings/sec, 2145 secs
lola: 67611542 markings, 319429195 edges, 28584 markings/sec, 2150 secs
lola: 67756903 markings, 320118928 edges, 29072 markings/sec, 2155 secs
lola: 67909648 markings, 320837662 edges, 30549 markings/sec, 2160 secs
lola: 68063757 markings, 321557610 edges, 30822 markings/sec, 2165 secs
lola: 68214719 markings, 322265849 edges, 30192 markings/sec, 2170 secs
lola: 68364933 markings, 322971951 edges, 30043 markings/sec, 2175 secs
lola: 68508242 markings, 323649115 edges, 28662 markings/sec, 2180 secs
lola: 68654274 markings, 324324183 edges, 29206 markings/sec, 2185 secs
lola: 68795260 markings, 324991410 edges, 28197 markings/sec, 2190 secs
lola: 68930377 markings, 325644642 edges, 27023 markings/sec, 2195 secs
lola: 69074986 markings, 326333540 edges, 28922 markings/sec, 2200 secs
lola: 69212424 markings, 326970590 edges, 27488 markings/sec, 2205 secs
lola: 69346700 markings, 327603445 edges, 26855 markings/sec, 2210 secs
lola: 69479527 markings, 328241027 edges, 26565 markings/sec, 2215 secs
lola: 69615517 markings, 328890611 edges, 27198 markings/sec, 2220 secs
lola: 69756558 markings, 329553401 edges, 28208 markings/sec, 2225 secs
lola: 69892721 markings, 330204032 edges, 27233 markings/sec, 2230 secs
lola: 70028939 markings, 330862177 edges, 27244 markings/sec, 2235 secs
lola: 70171035 markings, 331545531 edges, 28419 markings/sec, 2240 secs
lola: 70306060 markings, 332201992 edges, 27005 markings/sec, 2245 secs
lola: 70438243 markings, 332838802 edges, 26437 markings/sec, 2250 secs
lola: 70568861 markings, 333470987 edges, 26124 markings/sec, 2255 secs
lola: 70700129 markings, 334113099 edges, 26254 markings/sec, 2260 secs
lola: 70841122 markings, 334769769 edges, 28199 markings/sec, 2265 secs
lola: 70980121 markings, 335422332 edges, 27800 markings/sec, 2270 secs
lola: 71118896 markings, 336077986 edges, 27755 markings/sec, 2275 secs
lola: 71253132 markings, 336718846 edges, 26847 markings/sec, 2280 secs
lola: 71389653 markings, 337368203 edges, 27304 markings/sec, 2285 secs
lola: 71523991 markings, 338004582 edges, 26868 markings/sec, 2290 secs
lola: 71662700 markings, 338655772 edges, 27742 markings/sec, 2295 secs
lola: 71796485 markings, 339290933 edges, 26757 markings/sec, 2300 secs
lola: 71932976 markings, 339941141 edges, 27298 markings/sec, 2305 secs
lola: 72071238 markings, 340589682 edges, 27652 markings/sec, 2310 secs
lola: 72211705 markings, 341244443 edges, 28093 markings/sec, 2315 secs
lola: 72352193 markings, 341902570 edges, 28098 markings/sec, 2320 secs
lola: 72491554 markings, 342550465 edges, 27872 markings/sec, 2325 secs
lola: 72625721 markings, 343193956 edges, 26833 markings/sec, 2330 secs
lola: 72761212 markings, 343835052 edges, 27098 markings/sec, 2335 secs
lola: 72897979 markings, 344489436 edges, 27353 markings/sec, 2340 secs
lola: 73042412 markings, 345163766 edges, 28887 markings/sec, 2345 secs
lola: 73180464 markings, 345814854 edges, 27610 markings/sec, 2350 secs
lola: 73313401 markings, 346447189 edges, 26587 markings/sec, 2355 secs
lola: 73452475 markings, 347098806 edges, 27815 markings/sec, 2360 secs
lola: 73597059 markings, 347782218 edges, 28917 markings/sec, 2365 secs
lola: 73739760 markings, 348463513 edges, 28540 markings/sec, 2370 secs
lola: 73889986 markings, 349171664 edges, 30045 markings/sec, 2375 secs
lola: 74035433 markings, 349852433 edges, 29089 markings/sec, 2380 secs
lola: 74179104 markings, 350525692 edges, 28734 markings/sec, 2385 secs
lola: 74319273 markings, 351187915 edges, 28034 markings/sec, 2390 secs
lola: 74460691 markings, 351861707 edges, 28284 markings/sec, 2395 secs
lola: 74606687 markings, 352554983 edges, 29199 markings/sec, 2400 secs
lola: 74754729 markings, 353245785 edges, 29608 markings/sec, 2405 secs
lola: 74902501 markings, 353937697 edges, 29554 markings/sec, 2410 secs
lola: 75048801 markings, 354621140 edges, 29260 markings/sec, 2415 secs
lola: 75201849 markings, 355335276 edges, 30610 markings/sec, 2420 secs
lola: 75344275 markings, 356004152 edges, 28485 markings/sec, 2425 secs
lola: 75482664 markings, 356652173 edges, 27678 markings/sec, 2430 secs
lola: 75617936 markings, 357286060 edges, 27054 markings/sec, 2435 secs
lola: 75748355 markings, 357904748 edges, 26084 markings/sec, 2440 secs
lola: 75881047 markings, 358534963 edges, 26538 markings/sec, 2445 secs
lola: 76019483 markings, 359193465 edges, 27687 markings/sec, 2450 secs
lola: 76155776 markings, 359833292 edges, 27259 markings/sec, 2455 secs
lola: 76295721 markings, 360477894 edges, 27989 markings/sec, 2460 secs
lola: 76433316 markings, 361119085 edges, 27519 markings/sec, 2465 secs
lola: 76568964 markings, 361761010 edges, 27130 markings/sec, 2470 secs
lola: 76702025 markings, 362381927 edges, 26612 markings/sec, 2475 secs
lola: 76840929 markings, 363040115 edges, 27781 markings/sec, 2480 secs
lola: 76972987 markings, 363669168 edges, 26412 markings/sec, 2485 secs
lola: 77108517 markings, 364311083 edges, 27106 markings/sec, 2490 secs
lola: 77240610 markings, 364934841 edges, 26419 markings/sec, 2495 secs
lola: 77376153 markings, 365572858 edges, 27109 markings/sec, 2500 secs
lola: 77513533 markings, 366226073 edges, 27476 markings/sec, 2505 secs
lola: 77650277 markings, 366869255 edges, 27349 markings/sec, 2510 secs
lola: 77797571 markings, 367564924 edges, 29459 markings/sec, 2515 secs
lola: 77945591 markings, 368266585 edges, 29604 markings/sec, 2520 secs
lola: 78089600 markings, 368942053 edges, 28802 markings/sec, 2525 secs
lola: 78229498 markings, 369595645 edges, 27980 markings/sec, 2530 secs
lola: 78362948 markings, 370223430 edges, 26690 markings/sec, 2535 secs
lola: 78490024 markings, 370828543 edges, 25415 markings/sec, 2540 secs
lola: 78622904 markings, 371451784 edges, 26576 markings/sec, 2545 secs
lola: 78768206 markings, 372136919 edges, 29060 markings/sec, 2550 secs
lola: 78916627 markings, 372841955 edges, 29684 markings/sec, 2555 secs
lola: 79063677 markings, 373541900 edges, 29410 markings/sec, 2560 secs
lola: 79205488 markings, 374217095 edges, 28362 markings/sec, 2565 secs
lola: 79347377 markings, 374898472 edges, 28378 markings/sec, 2570 secs
lola: 79491038 markings, 375588289 edges, 28732 markings/sec, 2575 secs
lola: 79635060 markings, 376271607 edges, 28804 markings/sec, 2580 secs
lola: 79777335 markings, 376926300 edges, 28455 markings/sec, 2585 secs
lola: 79920303 markings, 377603452 edges, 28594 markings/sec, 2590 secs
lola: 80061657 markings, 378277195 edges, 28271 markings/sec, 2595 secs
lola: 80202121 markings, 378939670 edges, 28093 markings/sec, 2600 secs
lola: 80336727 markings, 379576646 edges, 26921 markings/sec, 2605 secs
lola: 80476742 markings, 380241233 edges, 28003 markings/sec, 2610 secs
lola: 80617766 markings, 380916896 edges, 28205 markings/sec, 2615 secs
lola: 80762369 markings, 381604532 edges, 28921 markings/sec, 2620 secs
lola: 80904752 markings, 382271448 edges, 28477 markings/sec, 2625 secs
lola: 81048967 markings, 382949918 edges, 28843 markings/sec, 2630 secs
lola: 81188112 markings, 383612163 edges, 27829 markings/sec, 2635 secs
lola: 81329803 markings, 384272127 edges, 28338 markings/sec, 2640 secs
lola: 81459364 markings, 384893036 edges, 25912 markings/sec, 2645 secs
lola: 81599172 markings, 385551813 edges, 27962 markings/sec, 2650 secs
lola: 81741139 markings, 386226761 edges, 28393 markings/sec, 2655 secs
lola: 81886890 markings, 386908319 edges, 29150 markings/sec, 2660 secs
lola: 82034916 markings, 387606806 edges, 29605 markings/sec, 2665 secs
lola: 82183540 markings, 388304007 edges, 29725 markings/sec, 2670 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 5 unknown 5 5 5 5 5 unknown 5 5 5 5 5 unknown 5
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 5 unknown 5 5 5 5 5 unknown 5 5 5 5 5 unknown 5
lola:
preliminary result: unknown 5 unknown 5 5 5 5 5 unknown 5 5 5 5 5 unknown 5
lola: memory consumption: 5103072 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 5 unknown 5 5 5 5 5 unknown 5 5 5 5 5 unknown 5
lola: memory consumption: 5103312 KB
lola: time consumption: 3570 seconds

BK_STOP 1527044224359

--------------------
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="Peterson-COL-4"
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/Peterson-COL-4.tgz
mv Peterson-COL-4 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 Peterson-COL-4, 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 r112-csrt-152666469600527"
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 ;