About the Execution of 2018-Gold for Peterson-COL-5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3259.600 | 3570401.00 | 3769556.00 | 384.20 | 6 ? 5 6 ? 6 6 ? 6 ? 6 6 6 ? 6 6 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r110-oct2-155272242400166.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Peterson-COL-5, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-oct2-155272242400166
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.8K Feb 12 04:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 12 04:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 8 03:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 8 03:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 101 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 339 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 00:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 5 00:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 4 08:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 4 08:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 1 02:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 1 02:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 2 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 45K Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Peterson-COL-5-UpperBounds-00
FORMULA_NAME Peterson-COL-5-UpperBounds-01
FORMULA_NAME Peterson-COL-5-UpperBounds-02
FORMULA_NAME Peterson-COL-5-UpperBounds-03
FORMULA_NAME Peterson-COL-5-UpperBounds-04
FORMULA_NAME Peterson-COL-5-UpperBounds-05
FORMULA_NAME Peterson-COL-5-UpperBounds-06
FORMULA_NAME Peterson-COL-5-UpperBounds-07
FORMULA_NAME Peterson-COL-5-UpperBounds-08
FORMULA_NAME Peterson-COL-5-UpperBounds-09
FORMULA_NAME Peterson-COL-5-UpperBounds-10
FORMULA_NAME Peterson-COL-5-UpperBounds-11
FORMULA_NAME Peterson-COL-5-UpperBounds-12
FORMULA_NAME Peterson-COL-5-UpperBounds-13
FORMULA_NAME Peterson-COL-5-UpperBounds-14
FORMULA_NAME Peterson-COL-5-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1553041021340
info: Time: 3600 - MCC
===========================================================================================
prep: translating Peterson-COL-5 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Peterson-COL-5 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ Peterson-COL-5 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2166/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 27648
lola: finding significant places
lola: 864 places, 1302 transitions, 841 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2028 transition conflict sets
lola: TASK
lola: reading formula from Peterson-COL-5-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p12 + p13 + p14 + p15 + p16 + p18 + p19 + p20 + p21 + p22 + p24 + p25 + p26 + p27 + p28 + p30 + p31 + p32 + p33 + p34 + p36 + p37 + p38 + p39 + p40 + p41 + p35 + p29 + p23 + p17 <= 0)
lola: after: (5 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p0 + p2 + p4 + p6 + p8 + p11 + p10 + p9 + p7 + p5 + p3 + p1 <= 0)
lola: after: (6 <= 0)
lola: always false
lola: MAX(p98 + p97 + p96 + p95 + p94 + 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 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p72 + p73 + p74 + p75 + p76 + p99) : MAX(p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647) : MAX(0) : MAX(0) : MAX(p648 + p649 + p650 + p651 + p652 + p653) : MAX(p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p52 + p53 + p54 + p55 + p57 + p58 + p59 + p60 + p62 + p63 + p64 + p65 + p67 + p68 + p69 + p70 + p71 + p66 + p61 + p56 + p51) : MAX(p98 + p97 + p96 + p95 + p94 + 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 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p72 + p73 + p74 + p75 + p76 + p99) : MAX(p648 + p649 + p650 + p651 + p652 + p653) : MAX(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 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617) : MAX(p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647) : MAX(p98 + p97 + p96 + p95 + p94 + 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 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p72 + p73 + p74 + p75 + p76 + p99) : MAX(p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719 + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743 + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751 + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759 + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775 + p776 + p777 + p778 + p779 + p780 + p781 + p782 + p783 + p784 + p785 + p786 + p787 + p788 + p789 + p790 + p791 + p792 + p793 + p794 + p795 + p796 + p797 + p798 + p799 + p800 + p801 + p802 + p803 + p804 + p805 + p806 + p807 + p808 + p809 + p810 + p811 + p812 + p813 + p814 + p815 + p816 + p817 + p818 + p819 + p820 + p821 + p822 + p823 + p824 + p825 + p826 + p827 + p828 + p829 + p830 + p831 + p832 + p833) : MAX(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 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617) : MAX(p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647) : MAX(p98 + p97 + p96 + p95 + p94 + 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 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p72 + p73 + p74 + p75 + p76 + p99) : MAX(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 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617)
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(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
FORMULA Peterson-COL-5-UpperBounds-2 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: lola: ========================================
========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 0 markings, 0 edges
FORMULA Peterson-COL-5-UpperBounds-3 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p648 + p649 + p650 + p651 + p652 + p653)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p648 + p649 + p650 + p651 + p652 + p653)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: 6
lola: 138320 markings, 517231 edges, 27664 markings/sec, 0 secs
lola: 251521 markings, 1162230 edges, 22640 markings/sec, 5 secs
lola: 364329 markings, 1816148 edges, 22562 markings/sec, 10 secs
lola: 479186 markings, 2476908 edges, 22971 markings/sec, 15 secs
lola: 594483 markings, 3137539 edges, 23059 markings/sec, 20 secs
lola: 707244 markings, 3785814 edges, 22552 markings/sec, 25 secs
lola: 817216 markings, 4425703 edges, 21994 markings/sec, 30 secs
lola: 926792 markings, 5069696 edges, 21915 markings/sec, 35 secs
lola: 1038609 markings, 5714456 edges, 22363 markings/sec, 40 secs
lola: 1138415 markings, 6363132 edges, 19961 markings/sec, 45 secs
lola: 1261152 markings, 6937028 edges, 24547 markings/sec, 50 secs
lola: 1373954 markings, 7580290 edges, 22560 markings/sec, 55 secs
lola: 1480692 markings, 8193956 edges, 21348 markings/sec, 60 secs
lola: 1590717 markings, 8825431 edges, 22005 markings/sec, 65 secs
lola: 1702007 markings, 9472777 edges, 22258 markings/sec, 70 secs
lola: 1814709 markings, 10123967 edges, 22540 markings/sec, 75 secs
lola: 1924390 markings, 10766323 edges, 21936 markings/sec, 80 secs
lola: 2036325 markings, 11410701 edges, 22387 markings/sec, 85 secs
lola: 2116124 markings, 12137668 edges, 15960 markings/sec, 90 secs
lola: 2252511 markings, 12652304 edges, 27277 markings/sec, 95 secs
lola: 2363484 markings, 13284416 edges, 22195 markings/sec, 100 secs
lola: 2474024 markings, 13914289 edges, 22108 markings/sec, 105 secs
lola: 2583486 markings, 14556340 edges, 21892 markings/sec, 110 secs
lola: 2694211 markings, 15196141 edges, 22145 markings/sec, 115 secs
lola: 2806590 markings, 15843398 edges, 22476 markings/sec, 120 secs
lola: 2917618 markings, 16485080 edges, 22206 markings/sec, 125 secs
lola: 3034354 markings, 17105888 edges, 23347 markings/sec, 130 secs
lola: 3139260 markings, 17769496 edges, 20981 markings/sec, 135 secs
lola: 3222296 markings, 18484012 edges, 16607 markings/sec, 140 secs
lola: 3356146 markings, 18983985 edges, 26770 markings/sec, 145 secs
lola: 3467738 markings, 19623476 edges, 22318 markings/sec, 150 secs
lola: 3580389 markings, 20263726 edges, 22530 markings/sec, 155 secs
lola: 3690615 markings, 20897051 edges, 22045 markings/sec, 160 secs
lola: 3799924 markings, 21523803 edges, 21862 markings/sec, 165 secs
lola: 3909977 markings, 22160809 edges, 22011 markings/sec, 170 secs
lola: 4022136 markings, 22810094 edges, 22432 markings/sec, 175 secs
lola: 4131883 markings, 23453089 edges, 21949 markings/sec, 180 secs
lola: 4241880 markings, 24086298 edges, 21999 markings/sec, 185 secs
lola: 4322770 markings, 24789244 edges, 16178 markings/sec, 190 secs
lola: 4456905 markings, 25292942 edges, 26827 markings/sec, 195 secs
lola: 4565600 markings, 25913123 edges, 21739 markings/sec, 200 secs
lola: 4676247 markings, 26542847 edges, 22129 markings/sec, 205 secs
lola: 4785097 markings, 27179535 edges, 21770 markings/sec, 210 secs
lola: 4894936 markings, 27812328 edges, 21968 markings/sec, 215 secs
lola: 5006642 markings, 28456914 edges, 22341 markings/sec, 220 secs
lola: 5116849 markings, 29093736 edges, 22041 markings/sec, 225 secs
lola: 5234211 markings, 29714805 edges, 23472 markings/sec, 230 secs
lola: 5336458 markings, 30368154 edges, 20449 markings/sec, 235 secs
lola: 5438963 markings, 31009288 edges, 20501 markings/sec, 240 secs
lola: 5550988 markings, 31557014 edges, 22405 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 5 6 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 412592 KB
lola: time consumption: 255 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p648 + p649 + p650 + p651 + p652 + p653)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p648 + p649 + p650 + p651 + p652 + p653)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: 6
lola: 138571 markings, 519012 edges, 27714 markings/sec, 0 secs
lola: 250197 markings, 1154628 edges, 22325 markings/sec, 5 secs
lola: 361098 markings, 1799217 edges, 22180 markings/sec, 10 secs
lola: 476036 markings, 2458915 edges, 22988 markings/sec, 15 secs
lola: 589823 markings, 3110835 edges, 22757 markings/sec, 20 secs
lola: 702700 markings, 3759742 edges, 22575 markings/sec, 25 secs
lola: 816364 markings, 4420579 edges, 22733 markings/sec, 30 secs
lola: 928373 markings, 5078858 edges, 22402 markings/sec, 35 secs
lola: 1041876 markings, 5732884 edges, 22701 markings/sec, 40 secs
lola: 1145720 markings, 6386900 edges, 20769 markings/sec, 45 secs
lola: 1267981 markings, 6975589 edges, 24452 markings/sec, 50 secs
lola: 1381271 markings, 7620887 edges, 22658 markings/sec, 55 secs
lola: 1493030 markings, 8264697 edges, 22352 markings/sec, 60 secs
lola: 1603951 markings, 8900966 edges, 22184 markings/sec, 65 secs
lola: 1715817 markings, 9552841 edges, 22373 markings/sec, 70 secs
lola: 1831939 markings, 10196148 edges, 23224 markings/sec, 75 secs
lola: 1939226 markings, 10852172 edges, 21457 markings/sec, 80 secs
lola: 2050859 markings, 11494777 edges, 22327 markings/sec, 85 secs
lola: 2132279 markings, 12230608 edges, 16284 markings/sec, 90 secs
lola: 2268406 markings, 12743093 edges, 27225 markings/sec, 95 secs
lola: 2379154 markings, 13374155 edges, 22150 markings/sec, 100 secs
lola: 2490070 markings, 14005116 edges, 22183 markings/sec, 105 secs
lola: 2597846 markings, 14639014 edges, 21555 markings/sec, 110 secs
lola: 2707666 markings, 15273723 edges, 21964 markings/sec, 115 secs
lola: 2816120 markings, 15897729 edges, 21691 markings/sec, 120 secs
lola: 2927694 markings, 16541643 edges, 22315 markings/sec, 125 secs
lola: 3037304 markings, 17185703 edges, 21922 markings/sec, 130 secs
lola: 3149125 markings, 17827316 edges, 22364 markings/sec, 135 secs
lola: 3237546 markings, 18517353 edges, 17684 markings/sec, 140 secs
lola: 3365836 markings, 19041304 edges, 25658 markings/sec, 145 secs
lola: 3477563 markings, 19679146 edges, 22345 markings/sec, 150 secs
lola: 3590156 markings, 20318757 edges, 22519 markings/sec, 155 secs
lola: 3701423 markings, 20958937 edges, 22253 markings/sec, 160 secs
lola: 3812410 markings, 21596106 edges, 22197 markings/sec, 165 secs
lola: 3924465 markings, 22244944 edges, 22411 markings/sec, 170 secs
lola: 4036910 markings, 22896440 edges, 22489 markings/sec, 175 secs
lola: 4146931 markings, 23539905 edges, 22004 markings/sec, 180 secs
lola: 4256623 markings, 24171549 edges, 21938 markings/sec, 185 secs
lola: 4337323 markings, 24872201 edges, 16140 markings/sec, 190 secs
lola: 4470996 markings, 25373817 edges, 26735 markings/sec, 195 secs
lola: 4580138 markings, 25995637 edges, 21828 markings/sec, 200 secs
lola: 4691133 markings, 26627278 edges, 22199 markings/sec, 205 secs
lola: 4799997 markings, 27265871 edges, 21773 markings/sec, 210 secs
lola: 4910314 markings, 27902641 edges, 22063 markings/sec, 215 secs
lola: 5021954 markings, 28545395 edges, 22328 markings/sec, 220 secs
lola: 5132647 markings, 29184873 edges, 22139 markings/sec, 225 secs
lola: 5250587 markings, 29794446 edges, 23588 markings/sec, 230 secs
lola: 5351959 markings, 30458075 edges, 20274 markings/sec, 235 secs
lola: 5438973 markings, 31139805 edges, 17403 markings/sec, 240 secs
lola: 5566563 markings, 31646268 edges, 25518 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 5 6 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 413616 KB
lola: time consumption: 509 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p52 + p53 + p54 + p55 + p57 + p58 + p59 + p60 + p62 + p63 + p64 + p65 + p67 + p68 + p69 + p70 + p71 + p66 + p61 + p56 + p51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p52 + p53 + p54 + p55 + p57 + p58 + p59 + p60 + p62 + p63 + p64 + p65 + p67 + p68 + p69 + p70 + p71 + p66 + p61 + p56 + p51)
lola: processed formula length: 182
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 13 markings, 12 edges
FORMULA Peterson-COL-5-UpperBounds-5 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647)
lola: processed formula length: 212
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: ========================================
lola: Structural Bound: 6
lola: 145197 markings, 563765 edges, 29039 markings/sec, 0 secs
lola: 264131 markings, 1253037 edges, 23787 markings/sec, 5 secs
lola: 382766 markings, 1932206 edges, 23727 markings/sec, 10 secs
lola: 497942 markings, 2597653 edges, 23035 markings/sec, 15 secs
lola: 612813 markings, 3265300 edges, 22974 markings/sec, 20 secs
lola: 727806 markings, 3925609 edges, 22999 markings/sec, 25 secs
lola: 843577 markings, 4583928 edges, 23154 markings/sec, 30 secs
lola: 955135 markings, 5251263 edges, 22312 markings/sec, 35 secs
lola: 1066707 markings, 5891771 edges, 22314 markings/sec, 40 secs
lola: 1187813 markings, 6526054 edges, 24221 markings/sec, 45 secs
lola: 1304165 markings, 7195208 edges, 23270 markings/sec, 50 secs
lola: 1421249 markings, 7862469 edges, 23417 markings/sec, 55 secs
lola: 1537345 markings, 8530081 edges, 23219 markings/sec, 60 secs
lola: 1652290 markings, 9201924 edges, 22989 markings/sec, 65 secs
lola: 1767342 markings, 9866237 edges, 23010 markings/sec, 70 secs
lola: 1884610 markings, 10529501 edges, 23454 markings/sec, 75 secs
lola: 1995857 markings, 11198974 edges, 22249 markings/sec, 80 secs
lola: 2080005 markings, 11941909 edges, 16830 markings/sec, 85 secs
lola: 2220981 markings, 12485417 edges, 28195 markings/sec, 90 secs
lola: 2335213 markings, 13146519 edges, 22846 markings/sec, 95 secs
lola: 2449860 markings, 13804509 edges, 22929 markings/sec, 100 secs
lola: 2564243 markings, 14466743 edges, 22877 markings/sec, 105 secs
lola: 2679599 markings, 15127846 edges, 23071 markings/sec, 110 secs
lola: 2792909 markings, 15786638 edges, 22662 markings/sec, 115 secs
lola: 2907608 markings, 16447273 edges, 22940 markings/sec, 120 secs
lola: 3019406 markings, 17106153 edges, 22360 markings/sec, 125 secs
lola: 3116585 markings, 17785773 edges, 19436 markings/sec, 130 secs
lola: 3242664 markings, 18370126 edges, 25216 markings/sec, 135 secs
lola: 3355448 markings, 19024130 edges, 22557 markings/sec, 140 secs
lola: 3468170 markings, 19669190 edges, 22544 markings/sec, 145 secs
lola: 3582491 markings, 20328594 edges, 22864 markings/sec, 150 secs
lola: 3696570 markings, 20979957 edges, 22816 markings/sec, 155 secs
lola: 3808813 markings, 21635468 edges, 22449 markings/sec, 160 secs
lola: 3921490 markings, 22290093 edges, 22535 markings/sec, 165 secs
lola: 4036195 markings, 22942974 edges, 22941 markings/sec, 170 secs
lola: 4135804 markings, 23619953 edges, 19922 markings/sec, 175 secs
lola: 4247606 markings, 24238767 edges, 22360 markings/sec, 180 secs
lola: 4371013 markings, 24844600 edges, 24681 markings/sec, 185 secs
lola: 4483462 markings, 25497913 edges, 22490 markings/sec, 190 secs
lola: 4596910 markings, 26143996 edges, 22690 markings/sec, 195 secs
lola: 4710775 markings, 26796417 edges, 22773 markings/sec, 200 secs
lola: 4822548 markings, 27450090 edges, 22355 markings/sec, 205 secs
lola: 4934406 markings, 28102568 edges, 22372 markings/sec, 210 secs
lola: 5048733 markings, 28756774 edges, 22865 markings/sec, 215 secs
lola: 5162911 markings, 29401309 edges, 22836 markings/sec, 220 secs
lola: 5249641 markings, 30111109 edges, 17346 markings/sec, 225 secs
lola: 5381980 markings, 30653550 edges, 26468 markings/sec, 230 secs
lola: 5493511 markings, 31300440 edges, 22306 markings/sec, 235 secs
lola: 5604593 markings, 31935894 edges, 22216 markings/sec, 240 secs
lola: 5716395 markings, 32580490 edges, 22360 markings/sec, 245 secs
lola: 5829068 markings, 33228525 edges, 22535 markings/sec, 250 secs
lola: 5941933 markings, 33886545 edges, 22573 markings/sec, 255 secs
lola: 6054879 markings, 34536075 edges, 22589 markings/sec, 260 secs
lola: 6163863 markings, 35179132 edges, 21797 markings/sec, 265 secs
lola: 6247919 markings, 35885839 edges, 16811 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 5 6 unknown 6 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 462256 KB
lola: time consumption: 787 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647)
lola: processed formula length: 212
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: 6
lola: 143581 markings, 554302 edges, 28716 markings/sec, 0 secs
lola: 260575 markings, 1232390 edges, 23399 markings/sec, 5 secs
lola: 378434 markings, 1907107 edges, 23572 markings/sec, 10 secs
lola: 494858 markings, 2579430 edges, 23285 markings/sec, 15 secs
lola: 610945 markings, 3253558 edges, 23217 markings/sec, 20 secs
lola: 727446 markings, 3923474 edges, 23300 markings/sec, 25 secs
lola: 844748 markings, 4590490 edges, 23460 markings/sec, 30 secs
lola: 958254 markings, 5269562 edges, 22701 markings/sec, 35 secs
lola: 1073317 markings, 5909981 edges, 23013 markings/sec, 40 secs
lola: 1192389 markings, 6551881 edges, 23814 markings/sec, 45 secs
lola: 1308898 markings, 7221320 edges, 23302 markings/sec, 50 secs
lola: 1425406 markings, 7886140 edges, 23302 markings/sec, 55 secs
lola: 1540808 markings, 8550346 edges, 23080 markings/sec, 60 secs
lola: 1655087 markings, 9218098 edges, 22856 markings/sec, 65 secs
lola: 1770563 markings, 9884561 edges, 23095 markings/sec, 70 secs
lola: 1888430 markings, 10550876 edges, 23573 markings/sec, 75 secs
lola: 2000671 markings, 11226573 edges, 22448 markings/sec, 80 secs
lola: 2085505 markings, 11973145 edges, 16967 markings/sec, 85 secs
lola: 2227553 markings, 12522023 edges, 28410 markings/sec, 90 secs
lola: 2341870 markings, 13185213 edges, 22863 markings/sec, 95 secs
lola: 2456559 markings, 13842694 edges, 22938 markings/sec, 100 secs
lola: 2571417 markings, 14507206 edges, 22972 markings/sec, 105 secs
lola: 2687118 markings, 15172585 edges, 23140 markings/sec, 110 secs
lola: 2801627 markings, 15836361 edges, 22902 markings/sec, 115 secs
lola: 2916784 markings, 16498612 edges, 23031 markings/sec, 120 secs
lola: 3029371 markings, 17164022 edges, 22517 markings/sec, 125 secs
lola: 3132125 markings, 17827993 edges, 20551 markings/sec, 130 secs
lola: 3254162 markings, 18437141 edges, 24407 markings/sec, 135 secs
lola: 3367066 markings, 19091396 edges, 22581 markings/sec, 140 secs
lola: 3480670 markings, 19737811 edges, 22721 markings/sec, 145 secs
lola: 3594674 markings, 20400275 edges, 22801 markings/sec, 150 secs
lola: 3709145 markings, 21052309 edges, 22894 markings/sec, 155 secs
lola: 3821836 markings, 21712237 edges, 22538 markings/sec, 160 secs
lola: 3934539 markings, 22364437 edges, 22541 markings/sec, 165 secs
lola: 4050746 markings, 23014432 edges, 23241 markings/sec, 170 secs
lola: 4135822 markings, 23731656 edges, 17015 markings/sec, 175 secs
lola: 4268308 markings, 24295612 edges, 26497 markings/sec, 180 secs
lola: 4385836 markings, 24931063 edges, 23506 markings/sec, 185 secs
lola: 4498488 markings, 25584483 edges, 22530 markings/sec, 190 secs
lola: 4612800 markings, 26234915 edges, 22862 markings/sec, 195 secs
lola: 4726369 markings, 26886883 edges, 22714 markings/sec, 200 secs
lola: 4838556 markings, 27544867 edges, 22437 markings/sec, 205 secs
lola: 4951133 markings, 28195954 edges, 22515 markings/sec, 210 secs
lola: 5065239 markings, 28853040 edges, 22821 markings/sec, 215 secs
lola: 5182524 markings, 29487569 edges, 23457 markings/sec, 220 secs
lola: 5269410 markings, 30195613 edges, 17377 markings/sec, 225 secs
lola: 5400287 markings, 30759080 edges, 26175 markings/sec, 230 secs
lola: 5511530 markings, 31404292 edges, 22249 markings/sec, 235 secs
lola: 5623726 markings, 32044422 edges, 22439 markings/sec, 240 secs
lola: 5736237 markings, 32693448 edges, 22502 markings/sec, 245 secs
lola: 5848892 markings, 33340438 edges, 22531 markings/sec, 250 secs
lola: 5959725 markings, 33988876 edges, 22167 markings/sec, 255 secs
lola: 6072435 markings, 34633889 edges, 22542 markings/sec, 260 secs
lola: 6182353 markings, 35286363 edges, 21984 markings/sec, 265 secs
lola: 6267304 markings, 35999329 edges, 16990 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 5 6 unknown 6 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 464040 KB
lola: time consumption: 1065 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647)
lola: processed formula length: 212
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: 6
lola: 140257 markings, 534266 edges, 28051 markings/sec, 0 secs
lola: 256949 markings, 1211682 edges, 23338 markings/sec, 5 secs
lola: 374410 markings, 1883352 edges, 23492 markings/sec, 10 secs
lola: 490796 markings, 2554701 edges, 23277 markings/sec, 15 secs
lola: 606778 markings, 3230715 edges, 23196 markings/sec, 20 secs
lola: 723303 markings, 3900469 edges, 23305 markings/sec, 25 secs
lola: 840747 markings, 4569296 edges, 23489 markings/sec, 30 secs
lola: 954580 markings, 5248037 edges, 22767 markings/sec, 35 secs
lola: 1069345 markings, 5898955 edges, 22953 markings/sec, 40 secs
lola: 1190039 markings, 6538344 edges, 24139 markings/sec, 45 secs
lola: 1306355 markings, 7207550 edges, 23263 markings/sec, 50 secs
lola: 1423832 markings, 7877310 edges, 23495 markings/sec, 55 secs
lola: 1540277 markings, 8547141 edges, 23289 markings/sec, 60 secs
lola: 1655710 markings, 9222173 edges, 23087 markings/sec, 65 secs
lola: 1771565 markings, 9890567 edges, 23171 markings/sec, 70 secs
lola: 1889550 markings, 10556459 edges, 23597 markings/sec, 75 secs
lola: 2003246 markings, 11241864 edges, 22739 markings/sec, 80 secs
lola: 2088509 markings, 11990545 edges, 17053 markings/sec, 85 secs
lola: 2230358 markings, 12539807 edges, 28370 markings/sec, 90 secs
lola: 2344839 markings, 13202466 edges, 22896 markings/sec, 95 secs
lola: 2460149 markings, 13862947 edges, 23062 markings/sec, 100 secs
lola: 2575081 markings, 14527612 edges, 22986 markings/sec, 105 secs
lola: 2690739 markings, 15193862 edges, 23132 markings/sec, 110 secs
lola: 2806480 markings, 15863378 edges, 23148 markings/sec, 115 secs
lola: 2921659 markings, 16524998 edges, 23036 markings/sec, 120 secs
lola: 3034066 markings, 17191340 edges, 22481 markings/sec, 125 secs
lola: 3138616 markings, 17849907 edges, 20910 markings/sec, 130 secs
lola: 3259641 markings, 18468554 edges, 24205 markings/sec, 135 secs
lola: 3372326 markings, 19122202 edges, 22537 markings/sec, 140 secs
lola: 3485967 markings, 19771088 edges, 22728 markings/sec, 145 secs
lola: 3600090 markings, 20433125 edges, 22825 markings/sec, 150 secs
lola: 3714868 markings, 21085210 edges, 22956 markings/sec, 155 secs
lola: 3827770 markings, 21745261 edges, 22580 markings/sec, 160 secs
lola: 3940973 markings, 22401274 edges, 22641 markings/sec, 165 secs
lola: 4058059 markings, 23047404 edges, 23417 markings/sec, 170 secs
lola: 4140122 markings, 23775948 edges, 16413 markings/sec, 175 secs
lola: 4278100 markings, 24323308 edges, 27596 markings/sec, 180 secs
lola: 4392069 markings, 24967384 edges, 22794 markings/sec, 185 secs
lola: 4503835 markings, 25615835 edges, 22353 markings/sec, 190 secs
lola: 4616893 markings, 26258603 edges, 22612 markings/sec, 195 secs
lola: 4729157 markings, 26902968 edges, 22453 markings/sec, 200 secs
lola: 4839381 markings, 27549879 edges, 22045 markings/sec, 205 secs
lola: 4949627 markings, 28187269 edges, 22049 markings/sec, 210 secs
lola: 5061685 markings, 28832874 edges, 22412 markings/sec, 215 secs
lola: 5174555 markings, 29453449 edges, 22574 markings/sec, 220 secs
lola: 5250664 markings, 30156031 edges, 15222 markings/sec, 225 secs
lola: 5385271 markings, 30671819 edges, 26921 markings/sec, 230 secs
lola: 5492805 markings, 31296284 edges, 21507 markings/sec, 235 secs
lola: 5601591 markings, 31919305 edges, 21757 markings/sec, 240 secs
lola: 5710810 markings, 32548501 edges, 21844 markings/sec, 245 secs
lola: 5820311 markings, 33179934 edges, 21900 markings/sec, 250 secs
lola: 5928395 markings, 33806860 edges, 21617 markings/sec, 255 secs
lola: 6037433 markings, 34435504 edges, 21808 markings/sec, 260 secs
lola: 6152065 markings, 35038993 edges, 22926 markings/sec, 265 secs
lola: 6239549 markings, 35733013 edges, 17497 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 5 6 unknown 6 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 460172 KB
lola: time consumption: 1343 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (shortened)
lola: processed formula length: 1262
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 19 markings, 18 edges
lola: ========================================
FORMULA Peterson-COL-5-UpperBounds-8 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 317 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p98 + p97 + p96 + p95 + p94 + 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 + p1... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p98 + p97 + p96 + p95 + p94 + 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 + p1... (shortened)
lola: processed formula length: 1234
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 1880 markings, 3342 edges
FORMULA Peterson-COL-5-UpperBounds-6 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p98 + p97 + p96 + p95 + p94 + 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 + p1... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p98 + p97 + p96 + p95 + p94 + 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 + p1... (shortened)
lola: processed formula length: 1234
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: ========================================
lola: Structural Bound: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 1880 markings, 3342 edges
FORMULA Peterson-COL-5-UpperBounds-10 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710... (shortened)
lola: processed formula length: 1262
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 1485 markings, 2722 edges
FORMULA Peterson-COL-5-UpperBounds-11 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 556 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (shortened)
lola: processed formula length: 1262
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: ========================================
lola: Structural Bound: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 19 markings, 18 edges
FORMULA Peterson-COL-5-UpperBounds-12 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 741 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p98 + p97 + p96 + p95 + p94 + 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 + p1... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p98 + p97 + p96 + p95 + p94 + 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 + p1... (shortened)
lola: processed formula length: 1234
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: ========================================
lola: Structural Bound: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 1880 markings, 3342 edges
lola: ========================================
FORMULA Peterson-COL-5-UpperBounds-0 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1112 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p98 + p97 + p96 + p95 + p94 + 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 + p1... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p98 + p97 + p96 + p95 + p94 + 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 + p1... (shortened)
lola: processed formula length: 1234
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 1880 markings, 3342 edges
lola: ========================================
FORMULA Peterson-COL-5-UpperBounds-14 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2224 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (shortened)
lola: processed formula length: 1262
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 19 markings, 18 edges
lola: ========================================
FORMULA Peterson-COL-5-UpperBounds-15 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p648 + p649 + p650 + p651 + p652 + p653)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p648 + p649 + p650 + p651 + p652 + p653)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file Peterson-COL-5-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: 6
lola: 136454 markings, 506846 edges, 27291 markings/sec, 0 secs
lola: 247575 markings, 1139568 edges, 22224 markings/sec, 5 secs
lola: 357802 markings, 1780098 edges, 22045 markings/sec, 10 secs
lola: 469967 markings, 2422963 edges, 22433 markings/sec, 15 secs
lola: 580390 markings, 3057113 edges, 22085 markings/sec, 20 secs
lola: 689224 markings, 3680293 edges, 21767 markings/sec, 25 secs
lola: 799454 markings, 4322379 edges, 22046 markings/sec, 30 secs
lola: 907995 markings, 4962814 edges, 21708 markings/sec, 35 secs
lola: 1018153 markings, 5595544 edges, 22032 markings/sec, 40 secs
lola: 1108160 markings, 6284230 edges, 18001 markings/sec, 45 secs
lola: 1238964 markings, 6803240 edges, 26161 markings/sec, 50 secs
lola: 1347661 markings, 7429449 edges, 21739 markings/sec, 55 secs
lola: 1455917 markings, 8051284 edges, 21651 markings/sec, 60 secs
lola: 1562952 markings, 8666252 edges, 21407 markings/sec, 65 secs
lola: 1671290 markings, 9295344 edges, 21668 markings/sec, 70 secs
lola: 1780671 markings, 9927394 edges, 21876 markings/sec, 75 secs
lola: 1888842 markings, 10561451 edges, 21634 markings/sec, 80 secs
lola: 1998093 markings, 11188604 edges, 21850 markings/sec, 85 secs
lola: 2077403 markings, 11897688 edges, 15862 markings/sec, 90 secs
lola: 2205216 markings, 12435093 edges, 25563 markings/sec, 95 secs
lola: 2317241 markings, 13024318 edges, 22405 markings/sec, 100 secs
lola: 2426535 markings, 13643407 edges, 21859 markings/sec, 105 secs
lola: 2534008 markings, 14264781 edges, 21495 markings/sec, 110 secs
lola: 2641272 markings, 14890789 edges, 21453 markings/sec, 115 secs
lola: 2750431 markings, 15518909 edges, 21832 markings/sec, 120 secs
lola: 2859242 markings, 16146746 edges, 21762 markings/sec, 125 secs
lola: 2968287 markings, 16777152 edges, 21809 markings/sec, 130 secs
lola: 3076349 markings, 17410613 edges, 21612 markings/sec, 135 secs
lola: 3185554 markings, 18038040 edges, 21841 markings/sec, 140 secs
lola: 3288121 markings, 18664314 edges, 20513 markings/sec, 145 secs
lola: 3404932 markings, 19263907 edges, 23362 markings/sec, 150 secs
lola: 3517536 markings, 19906163 edges, 22521 markings/sec, 155 secs
lola: 3630397 markings, 20549895 edges, 22572 markings/sec, 160 secs
lola: 3742256 markings, 21195003 edges, 22372 markings/sec, 165 secs
lola: 3853431 markings, 21833438 edges, 22235 markings/sec, 170 secs
lola: 3965982 markings, 22485502 edges, 22510 markings/sec, 175 secs
lola: 4083334 markings, 23124980 edges, 23470 markings/sec, 180 secs
lola: 4188968 markings, 23780891 edges, 21127 markings/sec, 185 secs
lola: 4298185 markings, 24413559 edges, 21843 markings/sec, 190 secs
lola: 4394899 markings, 25059046 edges, 19343 markings/sec, 195 secs
lola: 4514823 markings, 25625195 edges, 23985 markings/sec, 200 secs
lola: 4625287 markings, 26253512 edges, 22093 markings/sec, 205 secs
lola: 4736241 markings, 26888407 edges, 22191 markings/sec, 210 secs
lola: 4845357 markings, 27528249 edges, 21823 markings/sec, 215 secs
lola: 4956893 markings, 28170093 edges, 22307 markings/sec, 220 secs
lola: 5067761 markings, 28810526 edges, 22174 markings/sec, 225 secs
lola: 5179569 markings, 29455495 edges, 22362 markings/sec, 230 secs
lola: 5285820 markings, 30077845 edges, 21250 markings/sec, 235 secs
lola: 5396165 markings, 30712877 edges, 22069 markings/sec, 240 secs
lola: 5491549 markings, 31320119 edges, 19077 markings/sec, 245 secs
lola: 5611666 markings, 31904568 edges, 24023 markings/sec, 250 secs
lola: 5724375 markings, 32550116 edges, 22542 markings/sec, 255 secs
lola: 5835408 markings, 33187916 edges, 22207 markings/sec, 260 secs
lola: 5938893 markings, 33786026 edges, 20697 markings/sec, 265 secs
lola: 6048611 markings, 34422767 edges, 21944 markings/sec, 270 secs
lola: 6159434 markings, 35062417 edges, 22165 markings/sec, 275 secs
lola: 6268781 markings, 35703205 edges, 21869 markings/sec, 280 secs
lola: 6377727 markings, 36328880 edges, 21789 markings/sec, 285 secs
lola: 6456098 markings, 37023204 edges, 15674 markings/sec, 290 secs
lola: 6588872 markings, 37522750 edges, 26555 markings/sec, 295 secs
lola: 6696972 markings, 38137277 edges, 21620 markings/sec, 300 secs
lola: 6805472 markings, 38754421 edges, 21700 markings/sec, 305 secs
lola: 6912402 markings, 39381824 edges, 21386 markings/sec, 310 secs
lola: 7017771 markings, 39991103 edges, 21074 markings/sec, 315 secs
lola: 7121526 markings, 40587848 edges, 20751 markings/sec, 320 secs
lola: 7223078 markings, 41175351 edges, 20310 markings/sec, 325 secs
lola: 7333527 markings, 41767648 edges, 22090 markings/sec, 330 secs
lola: 7431439 markings, 42386143 edges, 19582 markings/sec, 335 secs
lola: 7535299 markings, 42984145 edges, 20772 markings/sec, 340 secs
lola: 7632716 markings, 43521581 edges, 19483 markings/sec, 345 secs
lola: 7740306 markings, 44103484 edges, 21518 markings/sec, 350 secs
lola: 7841217 markings, 44684364 edges, 20182 markings/sec, 355 secs
lola: 7947045 markings, 45288862 edges, 21166 markings/sec, 360 secs
lola: 8056050 markings, 45919885 edges, 21801 markings/sec, 365 secs
lola: 8160176 markings, 46521795 edges, 20825 markings/sec, 370 secs
lola: 8267250 markings, 47136704 edges, 21415 markings/sec, 375 secs
lola: 8379419 markings, 47780725 edges, 22434 markings/sec, 380 secs
lola: 8486298 markings, 48408082 edges, 21376 markings/sec, 385 secs
lola: 8594194 markings, 49029885 edges, 21579 markings/sec, 390 secs
lola: 8664953 markings, 49689761 edges, 14152 markings/sec, 395 secs
lola: 8796608 markings, 50154438 edges, 26331 markings/sec, 400 secs
lola: 8899945 markings, 50744410 edges, 20667 markings/sec, 405 secs
lola: 9005441 markings, 51345397 edges, 21099 markings/sec, 410 secs
lola: 9113166 markings, 51971451 edges, 21545 markings/sec, 415 secs
lola: 9222366 markings, 52602659 edges, 21840 markings/sec, 420 secs
lola: 9332491 markings, 53239498 edges, 22025 markings/sec, 425 secs
lola: 9439749 markings, 53856368 edges, 21452 markings/sec, 430 secs
lola: 9547087 markings, 54477006 edges, 21468 markings/sec, 435 secs
lola: 9649462 markings, 55077548 edges, 20475 markings/sec, 440 secs
lola: 9752684 markings, 55675761 edges, 20644 markings/sec, 445 secs
lola: 9847763 markings, 56244225 edges, 19016 markings/sec, 450 secs
lola: 9954784 markings, 56823625 edges, 21404 markings/sec, 455 secs
lola: 10060503 markings, 57425943 edges, 21144 markings/sec, 460 secs
lola: 10164882 markings, 58026886 edges, 20876 markings/sec, 465 secs
lola: 10271211 markings, 58648573 edges, 21266 markings/sec, 470 secs
lola: 10376007 markings, 59249602 edges, 20959 markings/sec, 475 secs
lola: 10484073 markings, 59871210 edges, 21613 markings/sec, 480 secs
lola: 10588688 markings, 60485006 edges, 20923 markings/sec, 485 secs
lola: 10693195 markings, 61085590 edges, 20901 markings/sec, 490 secs
lola: 10767788 markings, 61750049 edges, 14919 markings/sec, 495 secs
lola: 10895883 markings, 62220057 edges, 25619 markings/sec, 500 secs
lola: 10999129 markings, 62793131 edges, 20649 markings/sec, 505 secs
lola: 11103496 markings, 63387703 edges, 20873 markings/sec, 510 secs
lola: 11208701 markings, 63994057 edges, 21041 markings/sec, 515 secs
lola: 11312006 markings, 64597867 edges, 20661 markings/sec, 520 secs
lola: 11416279 markings, 65198327 edges, 20855 markings/sec, 525 secs
lola: 11521252 markings, 65805111 edges, 20995 markings/sec, 530 secs
lola: 11626523 markings, 66410714 edges, 21054 markings/sec, 535 secs
lola: 11729559 markings, 67016149 edges, 20607 markings/sec, 540 secs
lola: 11836013 markings, 67626315 edges, 21291 markings/sec, 545 secs
lola: 11919843 markings, 68265672 edges, 16766 markings/sec, 550 secs
lola: 12041493 markings, 68778478 edges, 24330 markings/sec, 555 secs
lola: 12150094 markings, 69395753 edges, 21720 markings/sec, 560 secs
lola: 12258778 markings, 70016272 edges, 21737 markings/sec, 565 secs
lola: 12368141 markings, 70648914 edges, 21873 markings/sec, 570 secs
lola: 12477303 markings, 71276314 edges, 21832 markings/sec, 575 secs
lola: 12587199 markings, 71914015 edges, 21979 markings/sec, 580 secs
lola: 12697464 markings, 72553282 edges, 22053 markings/sec, 585 secs
lola: 12804926 markings, 73184291 edges, 21492 markings/sec, 590 secs
lola: 12911150 markings, 73797377 edges, 21245 markings/sec, 595 secs
lola: 12985670 markings, 74475163 edges, 14904 markings/sec, 600 secs
lola: 13114977 markings, 74948770 edges, 25861 markings/sec, 605 secs
lola: 13221024 markings, 75553379 edges, 21209 markings/sec, 610 secs
lola: 13328739 markings, 76173693 edges, 21543 markings/sec, 615 secs
lola: 13439340 markings, 76805285 edges, 22120 markings/sec, 620 secs
lola: 13550097 markings, 77447660 edges, 22151 markings/sec, 625 secs
lola: 13659952 markings, 78082437 edges, 21971 markings/sec, 630 secs
lola: 13769486 markings, 78710443 edges, 21907 markings/sec, 635 secs
lola: 13886280 markings, 79325423 edges, 23359 markings/sec, 640 secs
lola: 13985501 markings, 79966371 edges, 19844 markings/sec, 645 secs
lola: 14091499 markings, 80579981 edges, 21200 markings/sec, 650 secs
lola: 14190737 markings, 81119621 edges, 19848 markings/sec, 655 secs
lola: 14297359 markings, 81708906 edges, 21324 markings/sec, 660 secs
lola: 14404127 markings, 82316625 edges, 21354 markings/sec, 665 secs
lola: 14510450 markings, 82933021 edges, 21265 markings/sec, 670 secs
lola: 14614612 markings, 83540164 edges, 20832 markings/sec, 675 secs
lola: 14723236 markings, 84165685 edges, 21725 markings/sec, 680 secs
lola: 14828901 markings, 84774981 edges, 21133 markings/sec, 685 secs
lola: 14938439 markings, 85408141 edges, 21908 markings/sec, 690 secs
lola: 15045661 markings, 86036319 edges, 21444 markings/sec, 695 secs
lola: 15151127 markings, 86643370 edges, 21093 markings/sec, 700 secs
lola: 15226013 markings, 87289893 edges, 14977 markings/sec, 705 secs
lola: 15350381 markings, 87757364 edges, 24874 markings/sec, 710 secs
lola: 15449904 markings, 88329920 edges, 19905 markings/sec, 715 secs
lola: 15558211 markings, 88947496 edges, 21661 markings/sec, 720 secs
lola: 15669449 markings, 89591434 edges, 22248 markings/sec, 725 secs
lola: 15779059 markings, 90227714 edges, 21922 markings/sec, 730 secs
lola: 15891435 markings, 90871185 edges, 22475 markings/sec, 735 secs
lola: 16001046 markings, 91513925 edges, 21922 markings/sec, 740 secs
lola: 16109230 markings, 92136322 edges, 21637 markings/sec, 745 secs
lola: 16206290 markings, 92766818 edges, 19412 markings/sec, 750 secs
lola: 16310812 markings, 93280678 edges, 20904 markings/sec, 755 secs
lola: 16413754 markings, 93869547 edges, 20588 markings/sec, 760 secs
lola: 16522708 markings, 94488880 edges, 21791 markings/sec, 765 secs
lola: 16629738 markings, 95110103 edges, 21406 markings/sec, 770 secs
lola: 16736213 markings, 95726122 edges, 21295 markings/sec, 775 secs
lola: 16845666 markings, 96359175 edges, 21891 markings/sec, 780 secs
lola: 16952554 markings, 96974028 edges, 21378 markings/sec, 785 secs
lola: 17063170 markings, 97609259 edges, 22123 markings/sec, 790 secs
lola: 17166589 markings, 98218559 edges, 20684 markings/sec, 795 secs
lola: 17271189 markings, 98822780 edges, 20920 markings/sec, 800 secs
lola: 17345707 markings, 99483451 edges, 14904 markings/sec, 805 secs
lola: 17474944 markings, 99968051 edges, 25847 markings/sec, 810 secs
lola: 17581223 markings, 100578324 edges, 21256 markings/sec, 815 secs
lola: 17690377 markings, 101206671 edges, 21831 markings/sec, 820 secs
lola: 17799430 markings, 101834548 edges, 21811 markings/sec, 825 secs
lola: 17910596 markings, 102470679 edges, 22233 markings/sec, 830 secs
lola: 18021003 markings, 103110952 edges, 22081 markings/sec, 835 secs
lola: 18130389 markings, 103755038 edges, 21877 markings/sec, 840 secs
lola: 18239022 markings, 104377163 edges, 21727 markings/sec, 845 secs
lola: 18345559 markings, 104991642 edges, 21307 markings/sec, 850 secs
lola: 18434064 markings, 105629554 edges, 17701 markings/sec, 855 secs
lola: 18558640 markings, 106135056 edges, 24915 markings/sec, 860 secs
lola: 18666225 markings, 106747811 edges, 21517 markings/sec, 865 secs
lola: 18775224 markings, 107369554 edges, 21800 markings/sec, 870 secs
lola: 18883373 markings, 107996097 edges, 21630 markings/sec, 875 secs
lola: 18990765 markings, 108611878 edges, 21478 markings/sec, 880 secs
lola: 19100131 markings, 109245857 edges, 21873 markings/sec, 885 secs
lola: 19209983 markings, 109887522 edges, 21970 markings/sec, 890 secs
lola: 19317801 markings, 110522814 edges, 21564 markings/sec, 895 secs
lola: 19424124 markings, 111133925 edges, 21265 markings/sec, 900 secs
lola: 19496211 markings, 111810789 edges, 14417 markings/sec, 905 secs
lola: 19622971 markings, 112275553 edges, 25352 markings/sec, 910 secs
lola: 19728507 markings, 112876904 edges, 21107 markings/sec, 915 secs
lola: 19834420 markings, 113487238 edges, 21183 markings/sec, 920 secs
lola: 19941462 markings, 114099393 edges, 21408 markings/sec, 925 secs
lola: 20049921 markings, 114728992 edges, 21692 markings/sec, 930 secs
lola: 20156951 markings, 115342985 edges, 21406 markings/sec, 935 secs
lola: 20265748 markings, 115967576 edges, 21759 markings/sec, 940 secs
lola: 20383183 markings, 116566694 edges, 23487 markings/sec, 945 secs
lola: 20479257 markings, 117207672 edges, 19215 markings/sec, 950 secs
lola: 20579404 markings, 117813102 edges, 20029 markings/sec, 955 secs
lola: 20673171 markings, 118392701 edges, 18753 markings/sec, 960 secs
lola: 20786504 markings, 118924962 edges, 22667 markings/sec, 965 secs
lola: 20891895 markings, 119521919 edges, 21078 markings/sec, 970 secs
lola: 20997064 markings, 120125906 edges, 21034 markings/sec, 975 secs
lola: 21104389 markings, 120743587 edges, 21465 markings/sec, 980 secs
lola: 21211555 markings, 121358522 edges, 21433 markings/sec, 985 secs
lola: 21318403 markings, 121978214 edges, 21370 markings/sec, 990 secs
lola: 21426379 markings, 122607887 edges, 21595 markings/sec, 995 secs
lola: 21532557 markings, 123234600 edges, 21236 markings/sec, 1000 secs
lola: 21637920 markings, 123838706 edges, 21073 markings/sec, 1005 secs
lola: 21710333 markings, 124504885 edges, 14483 markings/sec, 1010 secs
lola: 21838652 markings, 124965063 edges, 25664 markings/sec, 1015 secs
lola: 21943711 markings, 125564910 edges, 21012 markings/sec, 1020 secs
lola: 22049980 markings, 126176347 edges, 21254 markings/sec, 1025 secs
lola: 22157588 markings, 126799950 edges, 21522 markings/sec, 1030 secs
lola: 22263998 markings, 127418454 edges, 21282 markings/sec, 1035 secs
lola: 22374388 markings, 128049944 edges, 22078 markings/sec, 1040 secs
lola: 22484190 markings, 128687846 edges, 21960 markings/sec, 1045 secs
lola: 22591483 markings, 129309724 edges, 21459 markings/sec, 1050 secs
lola: 22697634 markings, 129922697 edges, 21230 markings/sec, 1055 secs
lola: 22789902 markings, 130507270 edges, 18454 markings/sec, 1060 secs
lola: 22901631 markings, 131055108 edges, 22346 markings/sec, 1065 secs
lola: 23007900 markings, 131662402 edges, 21254 markings/sec, 1070 secs
lola: 23116315 markings, 132280455 edges, 21683 markings/sec, 1075 secs
lola: 23222175 markings, 132902102 edges, 21172 markings/sec, 1080 secs
lola: 23330219 markings, 133524228 edges, 21609 markings/sec, 1085 secs
lola: 23438200 markings, 134149012 edges, 21596 markings/sec, 1090 secs
lola: 23545406 markings, 134767116 edges, 21441 markings/sec, 1095 secs
lola: 23651863 markings, 135392272 edges, 21291 markings/sec, 1100 secs
lola: 23758036 markings, 136002084 edges, 21235 markings/sec, 1105 secs
lola: 23837679 markings, 136638656 edges, 15929 markings/sec, 1110 secs
lola: 23959208 markings, 137140472 edges, 24306 markings/sec, 1115 secs
lola: 24066562 markings, 137751680 edges, 21471 markings/sec, 1120 secs
lola: 24175942 markings, 138377151 edges, 21876 markings/sec, 1125 secs
lola: 24284891 markings, 139003577 edges, 21790 markings/sec, 1130 secs
lola: 24393530 markings, 139636513 edges, 21728 markings/sec, 1135 secs
lola: 24502065 markings, 140259006 edges, 21707 markings/sec, 1140 secs
lola: 24613601 markings, 140900330 edges, 22307 markings/sec, 1145 secs
lola: 24722546 markings, 141538666 edges, 21789 markings/sec, 1150 secs
lola: 24829317 markings, 142150603 edges, 21354 markings/sec, 1155 secs
lola: 24903086 markings, 142815988 edges, 14754 markings/sec, 1160 secs
lola: 25031544 markings, 143323096 edges, 25692 markings/sec, 1165 secs
lola: 25139268 markings, 143909701 edges, 21545 markings/sec, 1170 secs
lola: 25246911 markings, 144521034 edges, 21529 markings/sec, 1175 secs
lola: 25356504 markings, 145149326 edges, 21919 markings/sec, 1180 secs
lola: 25466980 markings, 145786783 edges, 22095 markings/sec, 1185 secs
lola: 25576027 markings, 146409897 edges, 21809 markings/sec, 1190 secs
lola: 25685436 markings, 147051626 edges, 21882 markings/sec, 1195 secs
lola: 25796254 markings, 147699310 edges, 22164 markings/sec, 1200 secs
lola: 25903045 markings, 148325049 edges, 21358 markings/sec, 1205 secs
lola: 26009772 markings, 148938939 edges, 21345 markings/sec, 1210 secs
lola: 26104768 markings, 149514796 edges, 18999 markings/sec, 1215 secs
lola: 26217937 markings, 150062793 edges, 22634 markings/sec, 1220 secs
lola: 26325678 markings, 150676248 edges, 21548 markings/sec, 1225 secs
lola: 26431671 markings, 151296370 edges, 21199 markings/sec, 1230 secs
lola: 26538270 markings, 151910043 edges, 21320 markings/sec, 1235 secs
lola: 26646762 markings, 152547141 edges, 21698 markings/sec, 1240 secs
lola: 26756695 markings, 153174526 edges, 21987 markings/sec, 1245 secs
lola: 26864367 markings, 153803184 edges, 21534 markings/sec, 1250 secs
lola: 26970174 markings, 154411373 edges, 21161 markings/sec, 1255 secs
lola: 27041908 markings, 155089627 edges, 14347 markings/sec, 1260 secs
lola: 27170788 markings, 155562815 edges, 25776 markings/sec, 1265 secs
lola: 27275258 markings, 156163421 edges, 20894 markings/sec, 1270 secs
lola: 27383092 markings, 156781886 edges, 21567 markings/sec, 1275 secs
lola: 27490616 markings, 157405805 edges, 21505 markings/sec, 1280 secs
lola: 27599100 markings, 158044465 edges, 21697 markings/sec, 1285 secs
lola: 27706915 markings, 158670885 edges, 21563 markings/sec, 1290 secs
lola: 27816405 markings, 159292724 edges, 21898 markings/sec, 1295 secs
lola: 27931604 markings, 159926404 edges, 23040 markings/sec, 1300 secs
lola: 28034840 markings, 160552937 edges, 20647 markings/sec, 1305 secs
lola: 28140348 markings, 161162143 edges, 21102 markings/sec, 1310 secs
lola: 28222876 markings, 161784548 edges, 16506 markings/sec, 1315 secs
lola: 28344309 markings, 162284892 edges, 24287 markings/sec, 1320 secs
lola: 28451677 markings, 162899109 edges, 21474 markings/sec, 1325 secs
lola: 28559613 markings, 163519151 edges, 21587 markings/sec, 1330 secs
lola: 28668333 markings, 164139641 edges, 21744 markings/sec, 1335 secs
lola: 28777373 markings, 164777221 edges, 21808 markings/sec, 1340 secs
lola: 28885823 markings, 165399900 edges, 21690 markings/sec, 1345 secs
lola: 28996728 markings, 166038128 edges, 22181 markings/sec, 1350 secs
lola: 29105220 markings, 166674940 edges, 21698 markings/sec, 1355 secs
lola: 29212012 markings, 167289607 edges, 21358 markings/sec, 1360 secs
lola: 29285930 markings, 167954538 edges, 14784 markings/sec, 1365 secs
lola: 29411354 markings, 168418295 edges, 25085 markings/sec, 1370 secs
lola: 29515456 markings, 169014200 edges, 20820 markings/sec, 1375 secs
lola: 29623592 markings, 169628855 edges, 21627 markings/sec, 1380 secs
lola: 29731515 markings, 170249887 edges, 21585 markings/sec, 1385 secs
lola: 29839410 markings, 170872256 edges, 21579 markings/sec, 1390 secs
lola: 29948205 markings, 171499675 edges, 21759 markings/sec, 1395 secs
lola: 30056033 markings, 172129877 edges, 21566 markings/sec, 1400 secs
lola: 30171518 markings, 172735532 edges, 23097 markings/sec, 1405 secs
lola: 30268923 markings, 173371654 edges, 19481 markings/sec, 1410 secs
lola: 30370426 markings, 173976095 edges, 20301 markings/sec, 1415 secs
lola: 30466321 markings, 174525388 edges, 19179 markings/sec, 1420 secs
lola: 30575712 markings, 175078525 edges, 21878 markings/sec, 1425 secs
lola: 30682730 markings, 175685901 edges, 21404 markings/sec, 1430 secs
lola: 30788909 markings, 176296536 edges, 21236 markings/sec, 1435 secs
lola: 30895024 markings, 176909589 edges, 21223 markings/sec, 1440 secs
lola: 31002325 markings, 177536222 edges, 21460 markings/sec, 1445 secs
lola: 31112554 markings, 178172849 edges, 22046 markings/sec, 1450 secs
lola: 31217869 markings, 178787412 edges, 21063 markings/sec, 1455 secs
lola: 31322975 markings, 179391594 edges, 21021 markings/sec, 1460 secs
lola: 31395143 markings, 180041300 edges, 14434 markings/sec, 1465 secs
lola: 31518708 markings, 180490713 edges, 24713 markings/sec, 1470 secs
lola: 31620777 markings, 181071270 edges, 20414 markings/sec, 1475 secs
lola: 31723411 markings, 181665179 edges, 20527 markings/sec, 1480 secs
lola: 31827932 markings, 182263173 edges, 20904 markings/sec, 1485 secs
lola: 31934783 markings, 182876376 edges, 21370 markings/sec, 1490 secs
lola: 32041797 markings, 183489850 edges, 21403 markings/sec, 1495 secs
lola: 32149260 markings, 184116650 edges, 21493 markings/sec, 1500 secs
lola: 32260821 markings, 184741283 edges, 22312 markings/sec, 1505 secs
lola: 32359998 markings, 185349506 edges, 19835 markings/sec, 1510 secs
lola: 32461890 markings, 185937102 edges, 20378 markings/sec, 1515 secs
lola: 32530788 markings, 186581550 edges, 13780 markings/sec, 1520 secs
lola: 32654797 markings, 187088525 edges, 24802 markings/sec, 1525 secs
lola: 32766771 markings, 187643425 edges, 22395 markings/sec, 1530 secs
lola: 32874864 markings, 188266994 edges, 21619 markings/sec, 1535 secs
lola: 32983438 markings, 188888712 edges, 21715 markings/sec, 1540 secs
lola: 33092714 markings, 189530938 edges, 21855 markings/sec, 1545 secs
lola: 33200634 markings, 190151226 edges, 21584 markings/sec, 1550 secs
lola: 33312289 markings, 190793397 edges, 22331 markings/sec, 1555 secs
lola: 33419111 markings, 191419471 edges, 21364 markings/sec, 1560 secs
lola: 33525302 markings, 192030850 edges, 21238 markings/sec, 1565 secs
lola: 33603693 markings, 192663089 edges, 15678 markings/sec, 1570 secs
lola: 33723113 markings, 193162546 edges, 23884 markings/sec, 1575 secs
lola: 33828523 markings, 193764033 edges, 21082 markings/sec, 1580 secs
lola: 33935447 markings, 194376153 edges, 21385 markings/sec, 1585 secs
lola: 34044152 markings, 195002796 edges, 21741 markings/sec, 1590 secs
lola: 34153450 markings, 195640268 edges, 21860 markings/sec, 1595 secs
lola: 34263660 markings, 196278660 edges, 22042 markings/sec, 1600 secs
lola: 34374879 markings, 196917751 edges, 22244 markings/sec, 1605 secs
lola: 34478884 markings, 197533168 edges, 20801 markings/sec, 1610 secs
lola: 34581853 markings, 198125830 edges, 20594 markings/sec, 1615 secs
lola: 34652989 markings, 198758823 edges, 14227 markings/sec, 1620 secs
lola: 34774925 markings, 199217933 edges, 24387 markings/sec, 1625 secs
lola: 34876691 markings, 199777345 edges, 20353 markings/sec, 1630 secs
lola: 34980760 markings, 200379294 edges, 20814 markings/sec, 1635 secs
lola: 35084580 markings, 200972564 edges, 20764 markings/sec, 1640 secs
lola: 35189129 markings, 201587074 edges, 20910 markings/sec, 1645 secs
lola: 35293421 markings, 202186509 edges, 20858 markings/sec, 1650 secs
lola: 35401909 markings, 202810016 edges, 21698 markings/sec, 1655 secs
lola: 35505429 markings, 203417313 edges, 20704 markings/sec, 1660 secs
lola: 35608542 markings, 204010451 edges, 20623 markings/sec, 1665 secs
lola: 35686250 markings, 204634906 edges, 15542 markings/sec, 1670 secs
lola: 35804853 markings, 205115617 edges, 23721 markings/sec, 1675 secs
lola: 35907923 markings, 205707490 edges, 20614 markings/sec, 1680 secs
lola: 36011319 markings, 206300965 edges, 20679 markings/sec, 1685 secs
lola: 36117970 markings, 206913297 edges, 21330 markings/sec, 1690 secs
lola: 36223162 markings, 207533633 edges, 21038 markings/sec, 1695 secs
lola: 36329120 markings, 208143685 edges, 21192 markings/sec, 1700 secs
lola: 36437759 markings, 208768660 edges, 21728 markings/sec, 1705 secs
lola: 36542427 markings, 209383830 edges, 20934 markings/sec, 1710 secs
lola: 36647126 markings, 209985444 edges, 20940 markings/sec, 1715 secs
lola: 36736698 markings, 210603353 edges, 17914 markings/sec, 1720 secs
lola: 36826506 markings, 211191279 edges, 17962 markings/sec, 1725 secs
lola: 36947561 markings, 211659152 edges, 24211 markings/sec, 1730 secs
lola: 37050108 markings, 212246630 edges, 20509 markings/sec, 1735 secs
lola: 37153937 markings, 212847010 edges, 20766 markings/sec, 1740 secs
lola: 37259950 markings, 213459108 edges, 21203 markings/sec, 1745 secs
lola: 37364327 markings, 214057359 edges, 20875 markings/sec, 1750 secs
lola: 37469209 markings, 214664215 edges, 20976 markings/sec, 1755 secs
lola: 37575533 markings, 215278278 edges, 21265 markings/sec, 1760 secs
lola: 37680378 markings, 215892603 edges, 20969 markings/sec, 1765 secs
lola: 37784349 markings, 216489564 edges, 20794 markings/sec, 1770 secs
lola: 37863980 markings, 217110382 edges, 15926 markings/sec, 1775 secs
lola: 37968415 markings, 217626466 edges, 20887 markings/sec, 1780 secs
lola: 38080646 markings, 218142770 edges, 22446 markings/sec, 1785 secs
lola: 38187913 markings, 218753643 edges, 21453 markings/sec, 1790 secs
lola: 38293961 markings, 219370358 edges, 21210 markings/sec, 1795 secs
lola: 38400524 markings, 219986544 edges, 21313 markings/sec, 1800 secs
lola: 38505484 markings, 220599397 edges, 20992 markings/sec, 1805 secs
lola: 38610903 markings, 221206812 edges, 21084 markings/sec, 1810 secs
lola: 38721190 markings, 221831350 edges, 22057 markings/sec, 1815 secs
lola: 38821906 markings, 222431949 edges, 20143 markings/sec, 1820 secs
lola: 38923833 markings, 223019604 edges, 20385 markings/sec, 1825 secs
lola: 38999402 markings, 223609000 edges, 15114 markings/sec, 1830 secs
lola: 39113795 markings, 224091605 edges, 22879 markings/sec, 1835 secs
lola: 39216647 markings, 224682728 edges, 20570 markings/sec, 1840 secs
lola: 39320491 markings, 225278113 edges, 20769 markings/sec, 1845 secs
lola: 39425477 markings, 225878607 edges, 20997 markings/sec, 1850 secs
lola: 39531931 markings, 226499320 edges, 21291 markings/sec, 1855 secs
lola: 39637132 markings, 227109825 edges, 21040 markings/sec, 1860 secs
lola: 39743812 markings, 227733923 edges, 21336 markings/sec, 1865 secs
lola: 39847818 markings, 228335476 edges, 20801 markings/sec, 1870 secs
lola: 39950336 markings, 228926237 edges, 20504 markings/sec, 1875 secs
lola: 40019117 markings, 229567911 edges, 13756 markings/sec, 1880 secs
lola: 40146279 markings, 230020895 edges, 25432 markings/sec, 1885 secs
lola: 40248368 markings, 230599945 edges, 20418 markings/sec, 1890 secs
lola: 40354650 markings, 231209490 edges, 21256 markings/sec, 1895 secs
lola: 40462295 markings, 231831218 edges, 21529 markings/sec, 1900 secs
lola: 40568409 markings, 232454661 edges, 21223 markings/sec, 1905 secs
lola: 40675152 markings, 233070641 edges, 21349 markings/sec, 1910 secs
lola: 40786080 markings, 233699735 edges, 22186 markings/sec, 1915 secs
lola: 40888630 markings, 234306586 edges, 20510 markings/sec, 1920 secs
lola: 40991363 markings, 234898929 edges, 20547 markings/sec, 1925 secs
lola: 41067244 markings, 235501845 edges, 15176 markings/sec, 1930 secs
lola: 41181469 markings, 235996318 edges, 22845 markings/sec, 1935 secs
lola: 41284917 markings, 236587695 edges, 20690 markings/sec, 1940 secs
lola: 41389086 markings, 237180077 edges, 20834 markings/sec, 1945 secs
lola: 41495519 markings, 237800652 edges, 21287 markings/sec, 1950 secs
lola: 41603074 markings, 238425691 edges, 21511 markings/sec, 1955 secs
lola: 41710468 markings, 239049281 edges, 21479 markings/sec, 1960 secs
lola: 41819794 markings, 239680550 edges, 21865 markings/sec, 1965 secs
lola: 41923858 markings, 240290350 edges, 20813 markings/sec, 1970 secs
lola: 42026774 markings, 240881227 edges, 20583 markings/sec, 1975 secs
lola: 42099193 markings, 241510721 edges, 14484 markings/sec, 1980 secs
lola: 42219108 markings, 241995997 edges, 23983 markings/sec, 1985 secs
lola: 42324381 markings, 242533217 edges, 21055 markings/sec, 1990 secs
lola: 42428767 markings, 243131615 edges, 20877 markings/sec, 1995 secs
lola: 42533890 markings, 243739888 edges, 21025 markings/sec, 2000 secs
lola: 42639651 markings, 244360902 edges, 21152 markings/sec, 2005 secs
lola: 42743649 markings, 244957976 edges, 20800 markings/sec, 2010 secs
lola: 42850356 markings, 245573299 edges, 21341 markings/sec, 2015 secs
lola: 42952593 markings, 246171344 edges, 20447 markings/sec, 2020 secs
lola: 43053882 markings, 246755533 edges, 20258 markings/sec, 2025 secs
lola: 43145792 markings, 247341147 edges, 18382 markings/sec, 2030 secs
lola: 43244405 markings, 247823644 edges, 19723 markings/sec, 2035 secs
lola: 43344072 markings, 248397495 edges, 19933 markings/sec, 2040 secs
lola: 43448110 markings, 248995748 edges, 20808 markings/sec, 2045 secs
lola: 43552459 markings, 249592637 edges, 20870 markings/sec, 2050 secs
lola: 43656665 markings, 250191334 edges, 20841 markings/sec, 2055 secs
lola: 43759572 markings, 250785244 edges, 20581 markings/sec, 2060 secs
lola: 43863698 markings, 251394808 edges, 20825 markings/sec, 2065 secs
lola: 43978443 markings, 251974809 edges, 22949 markings/sec, 2070 secs
lola: 44069939 markings, 252593318 edges, 18299 markings/sec, 2075 secs
lola: 44170670 markings, 253176244 edges, 20146 markings/sec, 2080 secs
lola: 44237539 markings, 253792174 edges, 13374 markings/sec, 2085 secs
lola: 44362303 markings, 254247329 edges, 24953 markings/sec, 2090 secs
lola: 44465672 markings, 254819848 edges, 20674 markings/sec, 2095 secs
lola: 44569501 markings, 255413527 edges, 20766 markings/sec, 2100 secs
lola: 44676248 markings, 256025559 edges, 21349 markings/sec, 2105 secs
lola: 44781187 markings, 256626461 edges, 20988 markings/sec, 2110 secs
lola: 44887933 markings, 257242783 edges, 21349 markings/sec, 2115 secs
lola: 44995248 markings, 257865288 edges, 21463 markings/sec, 2120 secs
lola: 45112637 markings, 258456946 edges, 23478 markings/sec, 2125 secs
lola: 45206015 markings, 259092786 edges, 18676 markings/sec, 2130 secs
lola: 45308458 markings, 259685491 edges, 20489 markings/sec, 2135 secs
lola: 45377108 markings, 260318169 edges, 13730 markings/sec, 2140 secs
lola: 45499615 markings, 260750135 edges, 24501 markings/sec, 2145 secs
lola: 45598577 markings, 261319424 edges, 19792 markings/sec, 2150 secs
lola: 45702099 markings, 261903852 edges, 20704 markings/sec, 2155 secs
lola: 45803004 markings, 262489581 edges, 20181 markings/sec, 2160 secs
lola: 45904998 markings, 263085465 edges, 20399 markings/sec, 2165 secs
lola: 46008560 markings, 263695012 edges, 20712 markings/sec, 2170 secs
lola: 46112844 markings, 264290710 edges, 20857 markings/sec, 2175 secs
lola: 46222644 markings, 264875993 edges, 21960 markings/sec, 2180 secs
lola: 46314939 markings, 265466097 edges, 18459 markings/sec, 2185 secs
lola: 46413020 markings, 266032839 edges, 19616 markings/sec, 2190 secs
lola: 46497011 markings, 266537777 edges, 16798 markings/sec, 2195 secs
lola: 46599325 markings, 267058956 edges, 20463 markings/sec, 2200 secs
lola: 46698729 markings, 267635219 edges, 19881 markings/sec, 2205 secs
lola: 46800106 markings, 268225253 edges, 20275 markings/sec, 2210 secs
lola: 46902746 markings, 268826231 edges, 20528 markings/sec, 2215 secs
lola: time limit reached - aborting
lola:
preliminary result: 6 unknown 5 6 unknown 6 6 unknown 6 unknown 6 6 6 unknown 6 6
lola:
preliminary result: 6 unknown 5 6 unknown 6 6 unknown 6 unknown 6 6 6 unknown 6 6
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 6 unknown 5 6 unknown 6 6 unknown 6 unknown 6 6 6 unknown 6 6
lola: memory consumption: 3122620 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 6 unknown 5 6 unknown 6 6 unknown 6 unknown 6 6 6 unknown 6 6
lola: memory consumption: 3122828 KB
lola: time consumption: 3569 seconds
BK_STOP 1553044591741
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Peterson-COL-5"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is Peterson-COL-5, 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 r110-oct2-155272242400166"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-COL-5.tgz
mv Peterson-COL-5 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;