Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.........................
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 105 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 343 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 2 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 45K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
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 r112-csrt-152666469600534
=====================================================================

--------------------
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 1527041220290

info: Time: 3600 - MCC
===========================================================================================
prep: translating Peterson-COL-5 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating Peterson-COL-5 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ Peterson-COL-5 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2166/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 864
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: (p114 + p115 + p116 + p117 + p118 + p120 + p121 + p122 + p123 + p124 + p126 + p127 + p128 + p129 + p130 + p132 + p133 + p134 + p135 + p136 + p138 + p139 + p140 + p141 + p142 + p143 + p137 + p131 + p125 + p119 <= 0)
lola: after: (5 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p77 + p78 + p79 + p80 + p81 + p82 + p83 + p76 + p75 + p74 + p73 + p72 <= 0)
lola: after: (6 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p114 + p115 + p116 + p117 + p118 + p120 + p121 + p122 + p123 + p124 + p126 + p127 + p128 + p129 + p130 + p132 + p133 + p134 + p135 + p136 + p138 + p139 + p140 + p141 + p142 + p143 + p137 + p131 + p125 + p119 <= 0)
lola: after: (5 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p77 + p78 + p79 + p80 + p81 + p82 + p83 + p76 + p75 + p74 + p73 + p72 <= 0)
lola: after: (6 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p114 + p115 + p116 + p117 + p118 + p120 + p121 + p122 + p123 + p124 + p126 + p127 + p128 + p129 + p130 + p132 + p133 + p134 + p135 + p136 + p138 + p139 + p140 + p141 + p142 + p143 + p137 + p131 + p125 + p119 <= 0)
lola: after: (5 <= 0)
lola: always false
lola: MAX(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 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323) : MAX(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 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323) : MAX(p60 + p61 + p62 + p63 + p64 + p65) : MAX(0) : MAX(0) : MAX(0) : MAX(0) : MAX(p60 + p61 + p62 + p63 + p64 + p65) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p97 + p96 + p95 + p94 + p92 + p91 + p90 + p89 + p87 + p86 + p85 + p84 + p88 + p93 + p98 + p99) : MAX(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 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841 + p842 + p843 + p844 + p845 + p846 + p847 + p848 + p849 + p850 + p851 + p852 + p853 + p854 + p855 + p856 + p857 + p858 + p859 + p860 + p861 + p862 + p863) : MAX(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 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841 + p842 + p843 + p844 + p845 + p846 + p847 + p848 + p849 + p850 + p851 + p852 + p853 + p854 + p855 + p856 + p857 + p858 + p859 + p860 + p861 + p862 + p863) : MAX(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 + 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 + p648 + p649 + p650 + p651 + p652 + p653 + 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) : MAX(p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59) : MAX(p66 + p67 + p68 + p69 + p71 + p70) : MAX(0) : MAX(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 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841 + p842 + p843 + p844 + p845 + p846 + p847 + p848 + p849 + p850 + p851 + p852 + p853 + p854 + p855 + p856 + p857 + p858 + p859 + p860 + p861 + p862 + p863)
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-3 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: ...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: 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-4 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(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-5 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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
lola: ========================================

FORMULA Peterson-COL-5-UpperBounds-6 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-14 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p60 + p61 + p62 + p63 + p64 + p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p60 + p61 + p62 + p63 + p64 + p65)
lola: processed formula length: 38
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: 99684 markings, 263962 edges, 19937 markings/sec, 0 secs
lola: 187354 markings, 619210 edges, 17534 markings/sec, 5 secs
lola: 271567 markings, 992947 edges, 16843 markings/sec, 10 secs
lola: 356462 markings, 1370337 edges, 16979 markings/sec, 15 secs
lola: 444919 markings, 1776549 edges, 17691 markings/sec, 20 secs
lola: 534708 markings, 2171643 edges, 17958 markings/sec, 25 secs
lola: 622021 markings, 2574131 edges, 17463 markings/sec, 30 secs
lola: 709750 markings, 2978939 edges, 17546 markings/sec, 35 secs
lola: 798962 markings, 3381940 edges, 17842 markings/sec, 40 secs
lola: 879563 markings, 3829397 edges, 16120 markings/sec, 45 secs
lola: 976495 markings, 4244892 edges, 19386 markings/sec, 50 secs
lola: 1062943 markings, 4683508 edges, 17290 markings/sec, 55 secs
lola: 1162369 markings, 5037220 edges, 19885 markings/sec, 60 secs
lola: 1258114 markings, 5429530 edges, 19149 markings/sec, 65 secs
lola: 1352704 markings, 5820206 edges, 18918 markings/sec, 70 secs
lola: 1448646 markings, 6221773 edges, 19188 markings/sec, 75 secs
lola: 1543695 markings, 6620504 edges, 19010 markings/sec, 80 secs
lola: 1635635 markings, 7001069 edges, 18388 markings/sec, 85 secs
lola: 1731536 markings, 7383585 edges, 19180 markings/sec, 90 secs
lola: 1805970 markings, 7797707 edges, 14887 markings/sec, 95 secs
lola: 1893654 markings, 8179296 edges, 17537 markings/sec, 100 secs
lola: 1967670 markings, 8692454 edges, 14803 markings/sec, 105 secs
lola: 2081700 markings, 8995839 edges, 22806 markings/sec, 110 secs
lola: 2180045 markings, 9386678 edges, 19669 markings/sec, 115 secs
lola: 2275397 markings, 9779469 edges, 19070 markings/sec, 120 secs
lola: 2371085 markings, 10153893 edges, 19138 markings/sec, 125 secs
lola: 2456160 markings, 10550987 edges, 17015 markings/sec, 130 secs
lola: 2546235 markings, 10924078 edges, 18015 markings/sec, 135 secs
lola: 2636932 markings, 11300150 edges, 18139 markings/sec, 140 secs
lola: 2727709 markings, 11656984 edges, 18155 markings/sec, 145 secs
lola: 2807003 markings, 12102498 edges, 15859 markings/sec, 150 secs
lola: 2897961 markings, 12542159 edges, 18192 markings/sec, 155 secs
lola: 2991949 markings, 12933587 edges, 18798 markings/sec, 160 secs
lola: 3087812 markings, 13325791 edges, 19173 markings/sec, 165 secs
lola: 3173791 markings, 13689874 edges, 17196 markings/sec, 170 secs
lola: 3257974 markings, 14049838 edges, 16837 markings/sec, 175 secs
lola: 3342365 markings, 14406537 edges, 16878 markings/sec, 180 secs
lola: 3429165 markings, 14808071 edges, 17360 markings/sec, 185 secs
lola: 3518285 markings, 15207718 edges, 17824 markings/sec, 190 secs
lola: 3604445 markings, 15603750 edges, 17232 markings/sec, 195 secs
lola: 3685838 markings, 16061227 edges, 16279 markings/sec, 200 secs
lola: 3778752 markings, 16478523 edges, 18583 markings/sec, 205 secs
lola: 3849829 markings, 16985558 edges, 14215 markings/sec, 210 secs
lola: 3955800 markings, 17305049 edges, 21194 markings/sec, 215 secs
lola: 4049091 markings, 17689435 edges, 18658 markings/sec, 220 secs
lola: 4136415 markings, 18082656 edges, 17465 markings/sec, 225 secs
lola: 4223730 markings, 18477434 edges, 17463 markings/sec, 230 secs
lola: 4311693 markings, 18858930 edges, 17593 markings/sec, 235 secs
lola: 4397273 markings, 19238570 edges, 17116 markings/sec, 240 secs
lola: 4480450 markings, 19631763 edges, 16635 markings/sec, 245 secs
lola: 4566311 markings, 20016788 edges, 17172 markings/sec, 250 secs
lola: 4650419 markings, 20400010 edges, 16822 markings/sec, 255 secs
lola: 4732445 markings, 20787398 edges, 16405 markings/sec, 260 secs
lola: 4816172 markings, 21213104 edges, 16745 markings/sec, 265 secs
lola: 4892842 markings, 21655732 edges, 15334 markings/sec, 270 secs
lola: 4992506 markings, 21988722 edges, 19933 markings/sec, 275 secs
lola: 5082043 markings, 22374869 edges, 17907 markings/sec, 280 secs
lola: 5169461 markings, 22778327 edges, 17484 markings/sec, 285 secs
lola: 5255573 markings, 23170241 edges, 17222 markings/sec, 290 secs
lola: 5343121 markings, 23565273 edges, 17510 markings/sec, 295 secs
lola: 5428496 markings, 23956537 edges, 17075 markings/sec, 300 secs
lola: 5514624 markings, 24338929 edges, 17226 markings/sec, 305 secs
lola: 5601703 markings, 24734278 edges, 17416 markings/sec, 310 secs
lola: 5689373 markings, 25107444 edges, 17534 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 5 6 5 6 unknown unknown unknown unknown unknown unknown unknown 5 unknown
lola: memory consumption: 538664 KB
lola: time consumption: 325 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p66 + p67 + p68 + p69 + p71 + p70)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p66 + p67 + p68 + p69 + p71 + p70)
lola: processed formula length: 38
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
lola: ========================================

FORMULA Peterson-COL-5-UpperBounds-13 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p60 + p61 + p62 + p63 + p64 + p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p60 + p61 + p62 + p63 + p64 + p65)
lola: processed formula length: 38
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: 106781 markings, 287729 edges, 21356 markings/sec, 0 secs
lola: 198258 markings, 666478 edges, 18295 markings/sec, 5 secs
lola: 284892 markings, 1048672 edges, 17327 markings/sec, 10 secs
lola: 370620 markings, 1431496 edges, 17146 markings/sec, 15 secs
lola: 456494 markings, 1827292 edges, 17175 markings/sec, 20 secs
lola: 546159 markings, 2224835 edges, 17933 markings/sec, 25 secs
lola: 636117 markings, 2644592 edges, 17992 markings/sec, 30 secs
lola: 726918 markings, 3056199 edges, 18160 markings/sec, 35 secs
lola: 817127 markings, 3462213 edges, 18042 markings/sec, 40 secs
lola: 897669 markings, 3908684 edges, 16108 markings/sec, 45 secs
lola: 990412 markings, 4339999 edges, 18549 markings/sec, 50 secs
lola: 1080387 markings, 4733117 edges, 17995 markings/sec, 55 secs
lola: 1178961 markings, 5106686 edges, 19715 markings/sec, 60 secs
lola: 1277582 markings, 5502653 edges, 19724 markings/sec, 65 secs
lola: 1371994 markings, 5905014 edges, 18882 markings/sec, 70 secs
lola: 1467667 markings, 6307825 edges, 19135 markings/sec, 75 secs
lola: 1564929 markings, 6704210 edges, 19452 markings/sec, 80 secs
lola: 1657578 markings, 7094139 edges, 18530 markings/sec, 85 secs
lola: 1757120 markings, 7477398 edges, 19908 markings/sec, 90 secs
lola: 1839004 markings, 7950451 edges, 16377 markings/sec, 95 secs
lola: 1925776 markings, 8392787 edges, 17354 markings/sec, 100 secs
lola: 2017267 markings, 8808947 edges, 18298 markings/sec, 105 secs
lola: 2123041 markings, 9158706 edges, 21155 markings/sec, 110 secs
lola: 2219129 markings, 9548840 edges, 19218 markings/sec, 115 secs
lola: 2312165 markings, 9937313 edges, 18607 markings/sec, 120 secs
lola: 2408067 markings, 10324543 edges, 19180 markings/sec, 125 secs
lola: 2499170 markings, 10728224 edges, 18221 markings/sec, 130 secs
lola: 2592308 markings, 11115676 edges, 18628 markings/sec, 135 secs
lola: 2686978 markings, 11499571 edges, 18934 markings/sec, 140 secs
lola: 2766110 markings, 11928514 edges, 15826 markings/sec, 145 secs
lola: 2856332 markings, 12313865 edges, 18044 markings/sec, 150 secs
lola: 2935321 markings, 12764290 edges, 15798 markings/sec, 155 secs
lola: 3036725 markings, 13111701 edges, 20281 markings/sec, 160 secs
lola: 3130332 markings, 13501276 edges, 18721 markings/sec, 165 secs
lola: 3221745 markings, 13893201 edges, 18283 markings/sec, 170 secs
lola: 3314607 markings, 14279675 edges, 18572 markings/sec, 175 secs
lola: 3397921 markings, 14668636 edges, 16663 markings/sec, 180 secs
lola: 3479806 markings, 15031671 edges, 16377 markings/sec, 185 secs
lola: 3557530 markings, 15413060 edges, 15545 markings/sec, 190 secs
lola: 3631153 markings, 15823121 edges, 14725 markings/sec, 195 secs
lola: 3721752 markings, 16230365 edges, 18120 markings/sec, 200 secs
lola: 3797296 markings, 16717245 edges, 15109 markings/sec, 205 secs
lola: 3892731 markings, 17109543 edges, 19087 markings/sec, 210 secs
lola: 3995482 markings, 17452908 edges, 20550 markings/sec, 215 secs
lola: 4089260 markings, 17869211 edges, 18756 markings/sec, 220 secs
lola: 4178193 markings, 18275091 edges, 17787 markings/sec, 225 secs
lola: 4268458 markings, 18670782 edges, 18053 markings/sec, 230 secs
lola: 4357506 markings, 19063612 edges, 17810 markings/sec, 235 secs
lola: 4445792 markings, 19473821 edges, 17657 markings/sec, 240 secs
lola: 4534654 markings, 19874654 edges, 17772 markings/sec, 245 secs
lola: 4621533 markings, 20263821 edges, 17376 markings/sec, 250 secs
lola: 4706046 markings, 20638739 edges, 16903 markings/sec, 255 secs
lola: 4782194 markings, 21074293 edges, 15230 markings/sec, 260 secs
lola: 4857251 markings, 21570830 edges, 15011 markings/sec, 265 secs
lola: 4964022 markings, 21874488 edges, 21354 markings/sec, 270 secs
lola: 5054157 markings, 22255995 edges, 18027 markings/sec, 275 secs
lola: 5139769 markings, 22650413 edges, 17122 markings/sec, 280 secs
lola: 5227328 markings, 23035739 edges, 17512 markings/sec, 285 secs
lola: 5312191 markings, 23428416 edges, 16973 markings/sec, 290 secs
lola: 5398401 markings, 23812430 edges, 17242 markings/sec, 295 secs
lola: 5485117 markings, 24195374 edges, 17343 markings/sec, 300 secs
lola: 5568815 markings, 24586109 edges, 16740 markings/sec, 305 secs
lola: 5656121 markings, 24976631 edges, 17461 markings/sec, 310 secs
lola: 5733602 markings, 25408791 edges, 15496 markings/sec, 315 secs
lola: 5826474 markings, 25809120 edges, 18574 markings/sec, 320 secs
lola: 5903405 markings, 26293790 edges, 15386 markings/sec, 325 secs
lola: 6006260 markings, 26595734 edges, 20571 markings/sec, 330 secs
lola: 6099271 markings, 26962118 edges, 18602 markings/sec, 335 secs
lola: 6192737 markings, 27337828 edges, 18693 markings/sec, 340 secs
lola: 6285634 markings, 27720754 edges, 18579 markings/sec, 345 secs
lola: 6382032 markings, 28097224 edges, 19280 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 5 6 5 6 unknown unknown unknown unknown unknown unknown 6 5 unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 5 6 5 6 unknown unknown unknown unknown unknown unknown 6 5 unknown
lola: memory consumption: 606244 KB
lola: time consumption: 685 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p97 + p96 + p95 + p94 + p92 + p91 + p90 + p89 + p87 + p86 + p85 + p84 + p88 + p93 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p97 + p96 + p95 + p94 + p92 + p91 + p90 + p89 + p87 + p86 + p85 + p84 + p88 + p93 + p98 + p99)
lola: processed formula length: 196
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: 7 markings, 6 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 412 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59)
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: 118972 markings, 351446 edges, 23794 markings/sec, 0 secs
lola: 233745 markings, 762800 edges, 22955 markings/sec, 5 secs
lola: 348360 markings, 1175642 edges, 22923 markings/sec, 10 secs
lola: 462528 markings, 1579674 edges, 22834 markings/sec, 15 secs
lola: 572541 markings, 1985192 edges, 22003 markings/sec, 20 secs
lola: 669017 markings, 2418461 edges, 19295 markings/sec, 25 secs
lola: 768230 markings, 2895085 edges, 19843 markings/sec, 30 secs
lola: 892371 markings, 3270812 edges, 24828 markings/sec, 35 secs
lola: 1005964 markings, 3687046 edges, 22719 markings/sec, 40 secs
lola: 1119615 markings, 4118898 edges, 22730 markings/sec, 45 secs
lola: 1230794 markings, 4556399 edges, 22236 markings/sec, 50 secs
lola: 1326405 markings, 4959648 edges, 19122 markings/sec, 55 secs
lola: 1418754 markings, 5364712 edges, 18470 markings/sec, 60 secs
lola: 1520522 markings, 5761690 edges, 20354 markings/sec, 65 secs
lola: 1602120 markings, 6192270 edges, 16320 markings/sec, 70 secs
lola: 1683317 markings, 6651172 edges, 16239 markings/sec, 75 secs
lola: 1795725 markings, 6975350 edges, 22482 markings/sec, 80 secs
lola: 1899158 markings, 7378495 edges, 20687 markings/sec, 85 secs
lola: 1998542 markings, 7790729 edges, 19877 markings/sec, 90 secs
lola: 2097495 markings, 8193272 edges, 19791 markings/sec, 95 secs
lola: 2189120 markings, 8592103 edges, 18325 markings/sec, 100 secs
lola: 2285481 markings, 8962618 edges, 19272 markings/sec, 105 secs
lola: 2371939 markings, 9403732 edges, 17292 markings/sec, 110 secs
lola: 2481378 markings, 9830226 edges, 21888 markings/sec, 115 secs
lola: 2587397 markings, 10223889 edges, 21204 markings/sec, 120 secs
lola: 2689105 markings, 10645352 edges, 20342 markings/sec, 125 secs
lola: 2788118 markings, 11030630 edges, 19803 markings/sec, 130 secs
lola: 2885823 markings, 11403735 edges, 19541 markings/sec, 135 secs
lola: 2983326 markings, 11771971 edges, 19501 markings/sec, 140 secs
lola: 3087450 markings, 12154759 edges, 20825 markings/sec, 145 secs
lola: 3197326 markings, 12538144 edges, 21975 markings/sec, 150 secs
lola: 3294570 markings, 12994357 edges, 19449 markings/sec, 155 secs
lola: 3385133 markings, 13475087 edges, 18113 markings/sec, 160 secs
lola: 3508816 markings, 13833717 edges, 24737 markings/sec, 165 secs
lola: 3615311 markings, 14268141 edges, 21299 markings/sec, 170 secs
lola: 3723121 markings, 14672410 edges, 21562 markings/sec, 175 secs
lola: 3829711 markings, 15085712 edges, 21318 markings/sec, 180 secs
lola: 3938398 markings, 15498912 edges, 21737 markings/sec, 185 secs
lola: 4047049 markings, 15897501 edges, 21730 markings/sec, 190 secs
lola: 4155865 markings, 16288847 edges, 21763 markings/sec, 195 secs
lola: 4252239 markings, 16740054 edges, 19275 markings/sec, 200 secs
lola: 4351109 markings, 17133681 edges, 19774 markings/sec, 205 secs
lola: 4453996 markings, 17517490 edges, 20577 markings/sec, 210 secs
lola: 4568829 markings, 17876015 edges, 22967 markings/sec, 215 secs
lola: 4680119 markings, 18258571 edges, 22258 markings/sec, 220 secs
lola: 4793015 markings, 18631778 edges, 22579 markings/sec, 225 secs
lola: 4903182 markings, 19032376 edges, 22033 markings/sec, 230 secs
lola: 5016144 markings, 19413700 edges, 22592 markings/sec, 235 secs
lola: 5101594 markings, 19868726 edges, 17090 markings/sec, 240 secs
lola: 5180567 markings, 20328264 edges, 15795 markings/sec, 245 secs
lola: 5290080 markings, 20668958 edges, 21903 markings/sec, 250 secs
lola: 5405612 markings, 21014422 edges, 23106 markings/sec, 255 secs
lola: 5526153 markings, 21366401 edges, 24108 markings/sec, 260 secs
lola: 5648673 markings, 21719300 edges, 24504 markings/sec, 265 secs
lola: 5769212 markings, 22066915 edges, 24108 markings/sec, 270 secs
lola: 5866479 markings, 22511317 edges, 19453 markings/sec, 275 secs
lola: 5972277 markings, 22952780 edges, 21160 markings/sec, 280 secs
lola: 6078559 markings, 23363162 edges, 21256 markings/sec, 285 secs
lola: 6196181 markings, 23744902 edges, 23524 markings/sec, 290 secs
lola: 6312541 markings, 24128174 edges, 23272 markings/sec, 295 secs
lola: 6425968 markings, 24513946 edges, 22685 markings/sec, 300 secs
lola: 6540097 markings, 24880008 edges, 22826 markings/sec, 305 secs
lola: 6636969 markings, 25365049 edges, 19374 markings/sec, 310 secs
lola: 6738222 markings, 25835843 edges, 20251 markings/sec, 315 secs
lola: 6853524 markings, 26236797 edges, 23060 markings/sec, 320 secs
lola: 6962507 markings, 26651017 edges, 21797 markings/sec, 325 secs
lola: 7066500 markings, 27074214 edges, 20799 markings/sec, 330 secs
lola: 7166266 markings, 27501118 edges, 19953 markings/sec, 335 secs
lola: 7264758 markings, 27924473 edges, 19698 markings/sec, 340 secs
lola: 7361967 markings, 28349167 edges, 19442 markings/sec, 345 secs
lola: 7452887 markings, 28784016 edges, 18184 markings/sec, 350 secs
lola: 7556179 markings, 29218892 edges, 20658 markings/sec, 355 secs
lola: 7647980 markings, 29616038 edges, 18360 markings/sec, 360 secs
lola: 7750420 markings, 29974984 edges, 20488 markings/sec, 365 secs
lola: 7855483 markings, 30361068 edges, 21013 markings/sec, 370 secs
lola: 7962311 markings, 30794767 edges, 21366 markings/sec, 375 secs
lola: 8070039 markings, 31214082 edges, 21546 markings/sec, 380 secs
lola: 8177826 markings, 31649212 edges, 21557 markings/sec, 385 secs
lola: 8283694 markings, 32092307 edges, 21174 markings/sec, 390 secs
lola: 8390289 markings, 32520290 edges, 21319 markings/sec, 395 secs
lola: 8484561 markings, 33007199 edges, 18854 markings/sec, 400 secs
lola: 8584151 markings, 33472528 edges, 19918 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 5 6 5 6 unknown 6 unknown unknown unknown unknown 6 5 unknown
lola: memory consumption: 786720 KB
lola: time consumption: 1097 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 412 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (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: 449 markings, 484 edges
lola: ========================================

FORMULA Peterson-COL-5-UpperBounds-10 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 494 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (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: 1034 markings, 1648 edges
lola: ========================================

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 618 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (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-1 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 824 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (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-0 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (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: 449 markings, 484 edges

FORMULA Peterson-COL-5-UpperBounds-9 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2472 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (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: 449 markings, 484 edges

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(p60 + p61 + p62 + p63 + p64 + p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p60 + p61 + p62 + p63 + p64 + p65)
lola: processed formula length: 38
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: 107048 markings, 288855 edges, 21410 markings/sec, 0 secs
lola: 202295 markings, 683419 edges, 19049 markings/sec, 5 secs
lola: 293811 markings, 1085240 edges, 18303 markings/sec, 10 secs
lola: 380578 markings, 1474110 edges, 17353 markings/sec, 15 secs
lola: 469733 markings, 1884011 edges, 17831 markings/sec, 20 secs
lola: 556025 markings, 2267369 edges, 17258 markings/sec, 25 secs
lola: 638607 markings, 2657408 edges, 16516 markings/sec, 30 secs
lola: 724698 markings, 3047249 edges, 17218 markings/sec, 35 secs
lola: 811401 markings, 3438163 edges, 17341 markings/sec, 40 secs
lola: 889878 markings, 3874078 edges, 15695 markings/sec, 45 secs
lola: 984084 markings, 4274971 edges, 18841 markings/sec, 50 secs
lola: 1065115 markings, 4689105 edges, 16206 markings/sec, 55 secs
lola: 1163467 markings, 5041265 edges, 19670 markings/sec, 60 secs
lola: 1260405 markings, 5438245 edges, 19388 markings/sec, 65 secs
lola: 1355196 markings, 5829371 edges, 18958 markings/sec, 70 secs
lola: 1450176 markings, 6228156 edges, 18996 markings/sec, 75 secs
lola: 1548220 markings, 6642092 edges, 19609 markings/sec, 80 secs
lola: 1644756 markings, 7038770 edges, 19307 markings/sec, 85 secs
lola: 1743542 markings, 7425352 edges, 19757 markings/sec, 90 secs
lola: 1822072 markings, 7875793 edges, 15706 markings/sec, 95 secs
lola: 1913618 markings, 8267633 edges, 18309 markings/sec, 100 secs
lola: 1989729 markings, 8742896 edges, 15222 markings/sec, 105 secs
lola: 2096197 markings, 9046979 edges, 21294 markings/sec, 110 secs
lola: 2190047 markings, 9428142 edges, 18770 markings/sec, 115 secs
lola: 2282874 markings, 9809052 edges, 18565 markings/sec, 120 secs
lola: 2378827 markings, 10181228 edges, 19191 markings/sec, 125 secs
lola: 2465654 markings, 10589933 edges, 17365 markings/sec, 130 secs
lola: 2560515 markings, 10981944 edges, 18972 markings/sec, 135 secs
lola: 2654294 markings, 11371828 edges, 18756 markings/sec, 140 secs
lola: 2737322 markings, 11800039 edges, 16606 markings/sec, 145 secs
lola: 2832030 markings, 12205113 edges, 18942 markings/sec, 150 secs
lola: 2905218 markings, 12696403 edges, 14638 markings/sec, 155 secs
lola: 3012985 markings, 13011287 edges, 21553 markings/sec, 160 secs
lola: 3106928 markings, 13400255 edges, 18789 markings/sec, 165 secs
lola: 3195844 markings, 13788051 edges, 17783 markings/sec, 170 secs
lola: 3289679 markings, 14178172 edges, 18767 markings/sec, 175 secs
lola: 3377887 markings, 14564550 edges, 17642 markings/sec, 180 secs
lola: 3464167 markings, 14962300 edges, 17256 markings/sec, 185 secs
lola: 3548149 markings, 15363271 edges, 16796 markings/sec, 190 secs
lola: 3624193 markings, 15789546 edges, 15209 markings/sec, 195 secs
lola: 3713390 markings, 16194748 edges, 17839 markings/sec, 200 secs
lola: 3790972 markings, 16689013 edges, 15516 markings/sec, 205 secs
lola: 3882588 markings, 17085818 edges, 18323 markings/sec, 210 secs
lola: 3984712 markings, 17408724 edges, 20425 markings/sec, 215 secs
lola: 4075921 markings, 17807378 edges, 18242 markings/sec, 220 secs
lola: 4163964 markings, 18212640 edges, 17609 markings/sec, 225 secs
lola: 4253716 markings, 18606467 edges, 17950 markings/sec, 230 secs
lola: 4342656 markings, 18993929 edges, 17788 markings/sec, 235 secs
lola: 4429236 markings, 19388840 edges, 17316 markings/sec, 240 secs
lola: 4514999 markings, 19786341 edges, 17153 markings/sec, 245 secs
lola: 4602581 markings, 20171295 edges, 17516 markings/sec, 250 secs
lola: 4688289 markings, 20569175 edges, 17142 markings/sec, 255 secs
lola: 4768741 markings, 21014241 edges, 16090 markings/sec, 260 secs
lola: 4855367 markings, 21462111 edges, 17325 markings/sec, 265 secs
lola: 4949019 markings, 21824434 edges, 18730 markings/sec, 270 secs
lola: 5042756 markings, 22207145 edges, 18747 markings/sec, 275 secs
lola: 5131161 markings, 22613758 edges, 17681 markings/sec, 280 secs
lola: 5221360 markings, 23010979 edges, 18040 markings/sec, 285 secs
lola: 5308736 markings, 23413402 edges, 17475 markings/sec, 290 secs
lola: 5398176 markings, 23811380 edges, 17888 markings/sec, 295 secs
lola: 5487142 markings, 24204551 edges, 17793 markings/sec, 300 secs
lola: 5571878 markings, 24599917 edges, 16947 markings/sec, 305 secs
lola: 5662195 markings, 25002210 edges, 18063 markings/sec, 310 secs
lola: 5742629 markings, 25448710 edges, 16087 markings/sec, 315 secs
lola: 5837600 markings, 25857254 edges, 18994 markings/sec, 320 secs
lola: 5916641 markings, 26325245 edges, 15808 markings/sec, 325 secs
lola: 6019268 markings, 26642106 edges, 20525 markings/sec, 330 secs
lola: 6112499 markings, 27014651 edges, 18646 markings/sec, 335 secs
lola: 6204670 markings, 27388258 edges, 18434 markings/sec, 340 secs
lola: 6297399 markings, 27773628 edges, 18546 markings/sec, 345 secs
lola: 6395033 markings, 28154668 edges, 19527 markings/sec, 350 secs
lola: 6489798 markings, 28540022 edges, 18953 markings/sec, 355 secs
lola: 6586499 markings, 28917530 edges, 19340 markings/sec, 360 secs
lola: 6680781 markings, 29302572 edges, 18856 markings/sec, 365 secs
lola: 6763395 markings, 29754317 edges, 16523 markings/sec, 370 secs
lola: 6836961 markings, 30247527 edges, 14713 markings/sec, 375 secs
lola: 6941450 markings, 30561570 edges, 20898 markings/sec, 380 secs
lola: 7037073 markings, 30933678 edges, 19125 markings/sec, 385 secs
lola: 7130670 markings, 31348415 edges, 18719 markings/sec, 390 secs
lola: 7222711 markings, 31755957 edges, 18408 markings/sec, 395 secs
lola: 7313788 markings, 32170583 edges, 18215 markings/sec, 400 secs
lola: 7403354 markings, 32596533 edges, 17913 markings/sec, 405 secs
lola: 7497087 markings, 33008922 edges, 18747 markings/sec, 410 secs
lola: 7589845 markings, 33421767 edges, 18552 markings/sec, 415 secs
lola: 7682505 markings, 33827890 edges, 18532 markings/sec, 420 secs
lola: 7762894 markings, 34276882 edges, 16078 markings/sec, 425 secs
lola: 7828828 markings, 34801383 edges, 13187 markings/sec, 430 secs
lola: 7926940 markings, 35167870 edges, 19622 markings/sec, 435 secs
lola: 8028327 markings, 35510726 edges, 20277 markings/sec, 440 secs
lola: 8116907 markings, 35898158 edges, 17716 markings/sec, 445 secs
lola: 8206083 markings, 36302935 edges, 17835 markings/sec, 450 secs
lola: 8296238 markings, 36708980 edges, 18031 markings/sec, 455 secs
lola: 8385509 markings, 37115780 edges, 17854 markings/sec, 460 secs
lola: 8476758 markings, 37502877 edges, 18250 markings/sec, 465 secs
lola: 8569446 markings, 37890264 edges, 18538 markings/sec, 470 secs
lola: 8665089 markings, 38269864 edges, 19129 markings/sec, 475 secs
lola: 8745143 markings, 38726390 edges, 16011 markings/sec, 480 secs
lola: 8839413 markings, 39138154 edges, 18854 markings/sec, 485 secs
lola: 8922114 markings, 39569278 edges, 16540 markings/sec, 490 secs
lola: 9021049 markings, 39935280 edges, 19787 markings/sec, 495 secs
lola: 9116825 markings, 40324964 edges, 19155 markings/sec, 500 secs
lola: 9210023 markings, 40718274 edges, 18640 markings/sec, 505 secs
lola: 9302241 markings, 41129326 edges, 18444 markings/sec, 510 secs
lola: 9402333 markings, 41515334 edges, 20018 markings/sec, 515 secs
lola: 9498957 markings, 41892092 edges, 19325 markings/sec, 520 secs
lola: 9586489 markings, 42291494 edges, 17506 markings/sec, 525 secs
lola: 9664005 markings, 42686741 edges, 15503 markings/sec, 530 secs
lola: 9747922 markings, 43050715 edges, 16783 markings/sec, 535 secs
lola: 9817094 markings, 43487970 edges, 13834 markings/sec, 540 secs
lola: 9924126 markings, 43802731 edges, 21406 markings/sec, 545 secs
lola: 10013661 markings, 44206796 edges, 17907 markings/sec, 550 secs
lola: 10103422 markings, 44604937 edges, 17952 markings/sec, 555 secs
lola: 10189394 markings, 44997829 edges, 17194 markings/sec, 560 secs
lola: 10276725 markings, 45402978 edges, 17466 markings/sec, 565 secs
lola: 10363746 markings, 45801057 edges, 17404 markings/sec, 570 secs
lola: 10450345 markings, 46205096 edges, 17320 markings/sec, 575 secs
lola: 10536976 markings, 46610400 edges, 17326 markings/sec, 580 secs
lola: 10626132 markings, 47016378 edges, 17831 markings/sec, 585 secs
lola: 10705180 markings, 47460136 edges, 15810 markings/sec, 590 secs
lola: 10797382 markings, 47884906 edges, 18440 markings/sec, 595 secs
lola: 10881916 markings, 48301017 edges, 16907 markings/sec, 600 secs
lola: 10978178 markings, 48660659 edges, 19252 markings/sec, 605 secs
lola: 11064791 markings, 49046602 edges, 17323 markings/sec, 610 secs
lola: 11150048 markings, 49426286 edges, 17051 markings/sec, 615 secs
lola: 11234859 markings, 49805678 edges, 16962 markings/sec, 620 secs
lola: 11317285 markings, 50186628 edges, 16485 markings/sec, 625 secs
lola: 11399791 markings, 50568657 edges, 16501 markings/sec, 630 secs
lola: 11484255 markings, 50959375 edges, 16893 markings/sec, 635 secs
lola: 11570102 markings, 51349867 edges, 17169 markings/sec, 640 secs
lola: 11653480 markings, 51757543 edges, 16676 markings/sec, 645 secs
lola: 11740284 markings, 52191848 edges, 17361 markings/sec, 650 secs
lola: 11811480 markings, 52685779 edges, 14239 markings/sec, 655 secs
lola: 11910128 markings, 53022641 edges, 19730 markings/sec, 660 secs
lola: 12005743 markings, 53376788 edges, 19123 markings/sec, 665 secs
lola: 12092212 markings, 53773477 edges, 17294 markings/sec, 670 secs
lola: 12179752 markings, 54178981 edges, 17508 markings/sec, 675 secs
lola: 12268492 markings, 54576230 edges, 17748 markings/sec, 680 secs
lola: 12355899 markings, 54980685 edges, 17481 markings/sec, 685 secs
lola: 12440680 markings, 55383373 edges, 16956 markings/sec, 690 secs
lola: 12527916 markings, 55769000 edges, 17447 markings/sec, 695 secs
lola: 12607124 markings, 56227193 edges, 15842 markings/sec, 700 secs
lola: 12700894 markings, 56644963 edges, 18754 markings/sec, 705 secs
lola: 12784684 markings, 57084459 edges, 16758 markings/sec, 710 secs
lola: 12888651 markings, 57415424 edges, 20793 markings/sec, 715 secs
lola: 12976754 markings, 57810335 edges, 17621 markings/sec, 720 secs
lola: 13064430 markings, 58213538 edges, 17535 markings/sec, 725 secs
lola: 13154881 markings, 58601240 edges, 18090 markings/sec, 730 secs
lola: 13244937 markings, 58989890 edges, 18011 markings/sec, 735 secs
lola: 13333107 markings, 59380945 edges, 17634 markings/sec, 740 secs
lola: 13419835 markings, 59739540 edges, 17346 markings/sec, 745 secs
lola: 13500583 markings, 60047896 edges, 16150 markings/sec, 750 secs
lola: 13566012 markings, 60447714 edges, 13086 markings/sec, 755 secs
lola: 13646067 markings, 60798657 edges, 16011 markings/sec, 760 secs
lola: 13699344 markings, 61259534 edges, 10655 markings/sec, 765 secs
lola: 13792823 markings, 61514746 edges, 18696 markings/sec, 770 secs
lola: 13875354 markings, 61882150 edges, 16506 markings/sec, 775 secs
lola: 13960716 markings, 62269267 edges, 17072 markings/sec, 780 secs
lola: 14046498 markings, 62644372 edges, 17156 markings/sec, 785 secs
lola: 14126412 markings, 63011758 edges, 15983 markings/sec, 790 secs
lola: 14204816 markings, 63375218 edges, 15681 markings/sec, 795 secs
lola: 14283875 markings, 63735602 edges, 15812 markings/sec, 800 secs
lola: 14364081 markings, 64086988 edges, 16041 markings/sec, 805 secs
lola: 14448605 markings, 64470499 edges, 16905 markings/sec, 810 secs
lola: 14526707 markings, 64875027 edges, 15620 markings/sec, 815 secs
lola: 14606377 markings, 65256720 edges, 15934 markings/sec, 820 secs
lola: 14689944 markings, 65618960 edges, 16713 markings/sec, 825 secs
lola: 14768114 markings, 66000958 edges, 15634 markings/sec, 830 secs
lola: 14862208 markings, 66357302 edges, 18819 markings/sec, 835 secs
lola: 14954986 markings, 66742193 edges, 18556 markings/sec, 840 secs
lola: 15043632 markings, 67140228 edges, 17729 markings/sec, 845 secs
lola: 15132676 markings, 67536894 edges, 17809 markings/sec, 850 secs
lola: 15218890 markings, 67949927 edges, 17243 markings/sec, 855 secs
lola: 15312154 markings, 68343167 edges, 18653 markings/sec, 860 secs
lola: 15404113 markings, 68736502 edges, 18392 markings/sec, 865 secs
lola: 15494217 markings, 69137458 edges, 18021 markings/sec, 870 secs
lola: 15572722 markings, 69576900 edges, 15701 markings/sec, 875 secs
lola: 15659021 markings, 70011452 edges, 17260 markings/sec, 880 secs
lola: 15732717 markings, 70500463 edges, 14739 markings/sec, 885 secs
lola: 15838861 markings, 70811573 edges, 21229 markings/sec, 890 secs
lola: 15934987 markings, 71197709 edges, 19225 markings/sec, 895 secs
lola: 16030883 markings, 71598405 edges, 19179 markings/sec, 900 secs
lola: 16124854 markings, 71991989 edges, 18794 markings/sec, 905 secs
lola: 16216480 markings, 72384256 edges, 18325 markings/sec, 910 secs
lola: 16306830 markings, 72789282 edges, 18070 markings/sec, 915 secs
lola: 16402701 markings, 73184351 edges, 19174 markings/sec, 920 secs
lola: 16497694 markings, 73576539 edges, 18999 markings/sec, 925 secs
lola: 16580453 markings, 74016951 edges, 16552 markings/sec, 930 secs
lola: 16673208 markings, 74427554 edges, 18551 markings/sec, 935 secs
lola: 16742126 markings, 74954479 edges, 13784 markings/sec, 940 secs
lola: 16851880 markings, 75281073 edges, 21951 markings/sec, 945 secs
lola: 16947795 markings, 75694274 edges, 19183 markings/sec, 950 secs
lola: 17044259 markings, 76098051 edges, 19293 markings/sec, 955 secs
lola: 17138779 markings, 76491221 edges, 18904 markings/sec, 960 secs
lola: 17227930 markings, 76890931 edges, 17830 markings/sec, 965 secs
lola: 17317245 markings, 77294756 edges, 17863 markings/sec, 970 secs
lola: 17409836 markings, 77688698 edges, 18518 markings/sec, 975 secs
lola: 17492721 markings, 78119200 edges, 16577 markings/sec, 980 secs
lola: 17585123 markings, 78531356 edges, 18480 markings/sec, 985 secs
lola: 17677143 markings, 78941560 edges, 18404 markings/sec, 990 secs
lola: 17763527 markings, 79354275 edges, 17277 markings/sec, 995 secs
lola: 17857207 markings, 79744232 edges, 18736 markings/sec, 1000 secs
lola: 17947990 markings, 80138309 edges, 18157 markings/sec, 1005 secs
lola: 18037049 markings, 80532610 edges, 17812 markings/sec, 1010 secs
lola: 18123469 markings, 80935828 edges, 17284 markings/sec, 1015 secs
lola: 18210117 markings, 81346989 edges, 17330 markings/sec, 1020 secs
lola: 18295852 markings, 81761810 edges, 17147 markings/sec, 1025 secs
lola: 18373912 markings, 82196339 edges, 15612 markings/sec, 1030 secs
lola: 18462794 markings, 82606313 edges, 17776 markings/sec, 1035 secs
lola: 18557740 markings, 83017795 edges, 18989 markings/sec, 1040 secs
lola: 18628920 markings, 83522143 edges, 14236 markings/sec, 1045 secs
lola: 18729906 markings, 83867177 edges, 20197 markings/sec, 1050 secs
lola: 18819627 markings, 84272879 edges, 17944 markings/sec, 1055 secs
lola: 18908764 markings, 84665425 edges, 17827 markings/sec, 1060 secs
lola: 18993900 markings, 85064542 edges, 17027 markings/sec, 1065 secs
lola: 19080224 markings, 85457392 edges, 17265 markings/sec, 1070 secs
lola: 19162665 markings, 85873586 edges, 16488 markings/sec, 1075 secs
lola: 19252003 markings, 86270489 edges, 17868 markings/sec, 1080 secs
lola: 19339456 markings, 86661920 edges, 17491 markings/sec, 1085 secs
lola: 19425487 markings, 87059469 edges, 17206 markings/sec, 1090 secs
lola: 19503721 markings, 87498168 edges, 15647 markings/sec, 1095 secs
lola: 19596323 markings, 87906877 edges, 18520 markings/sec, 1100 secs
lola: 19674480 markings, 88370521 edges, 15631 markings/sec, 1105 secs
lola: 19772834 markings, 88714263 edges, 19671 markings/sec, 1110 secs
lola: 19860663 markings, 89117082 edges, 17566 markings/sec, 1115 secs
lola: 19947988 markings, 89519425 edges, 17465 markings/sec, 1120 secs
lola: 20029563 markings, 89888479 edges, 16315 markings/sec, 1125 secs
lola: 20113340 markings, 90272626 edges, 16755 markings/sec, 1130 secs
lola: 20189705 markings, 90642279 edges, 15273 markings/sec, 1135 secs
lola: 20268466 markings, 90995438 edges, 15752 markings/sec, 1140 secs
lola: 20345786 markings, 91348547 edges, 15464 markings/sec, 1145 secs
lola: 20424435 markings, 91713641 edges, 15730 markings/sec, 1150 secs
lola: 20491095 markings, 92100537 edges, 13332 markings/sec, 1155 secs
lola: 20571027 markings, 92464324 edges, 15986 markings/sec, 1160 secs
lola: 20655124 markings, 92854415 edges, 16819 markings/sec, 1165 secs
lola: 20728033 markings, 93259229 edges, 14582 markings/sec, 1170 secs
lola: 20819619 markings, 93550865 edges, 18317 markings/sec, 1175 secs
lola: 20904170 markings, 93912571 edges, 16910 markings/sec, 1180 secs
lola: 20996552 markings, 94284908 edges, 18476 markings/sec, 1185 secs
lola: 21091798 markings, 94656740 edges, 19049 markings/sec, 1190 secs
lola: 21181042 markings, 95029306 edges, 17849 markings/sec, 1195 secs
lola: 21269725 markings, 95430313 edges, 17737 markings/sec, 1200 secs
lola: 21364240 markings, 95807265 edges, 18903 markings/sec, 1205 secs
lola: 21458739 markings, 96203085 edges, 18900 markings/sec, 1210 secs
lola: 21540543 markings, 96634862 edges, 16361 markings/sec, 1215 secs
lola: 21629766 markings, 97042529 edges, 17845 markings/sec, 1220 secs
lola: 21704982 markings, 97480925 edges, 15043 markings/sec, 1225 secs
lola: 21804074 markings, 97803666 edges, 19818 markings/sec, 1230 secs
lola: 21895090 markings, 98208204 edges, 18203 markings/sec, 1235 secs
lola: 21983847 markings, 98607173 edges, 17751 markings/sec, 1240 secs
lola: 22070256 markings, 99008599 edges, 17282 markings/sec, 1245 secs
lola: 22160686 markings, 99415907 edges, 18086 markings/sec, 1250 secs
lola: 22249528 markings, 99828753 edges, 17768 markings/sec, 1255 secs
lola: 22334710 markings, 100226286 edges, 17036 markings/sec, 1260 secs
lola: 22421300 markings, 100626386 edges, 17318 markings/sec, 1265 secs
lola: 22509921 markings, 101001994 edges, 17724 markings/sec, 1270 secs
lola: 22579111 markings, 101423257 edges, 13838 markings/sec, 1275 secs
lola: 22634451 markings, 101913074 edges, 11068 markings/sec, 1280 secs
lola: 22714226 markings, 102312020 edges, 15955 markings/sec, 1285 secs
lola: 22812692 markings, 102585071 edges, 19693 markings/sec, 1290 secs
lola: 22892473 markings, 102925214 edges, 15956 markings/sec, 1295 secs
lola: 22968947 markings, 103277657 edges, 15295 markings/sec, 1300 secs
lola: 23044007 markings, 103642213 edges, 15012 markings/sec, 1305 secs
lola: 23125692 markings, 104012944 edges, 16337 markings/sec, 1310 secs
lola: 23204852 markings, 104375120 edges, 15832 markings/sec, 1315 secs
lola: 23283152 markings, 104738015 edges, 15660 markings/sec, 1320 secs
lola: 23361888 markings, 105104026 edges, 15747 markings/sec, 1325 secs
lola: 23441824 markings, 105473753 edges, 15987 markings/sec, 1330 secs
lola: 23529757 markings, 105847644 edges, 17587 markings/sec, 1335 secs
lola: 23605762 markings, 106300572 edges, 15201 markings/sec, 1340 secs
lola: 23693239 markings, 106683367 edges, 17495 markings/sec, 1345 secs
lola: 23769462 markings, 107093191 edges, 15245 markings/sec, 1350 secs
lola: 23862146 markings, 107433892 edges, 18537 markings/sec, 1355 secs
lola: 23952585 markings, 107803301 edges, 18088 markings/sec, 1360 secs
lola: 24041125 markings, 108170627 edges, 17708 markings/sec, 1365 secs
lola: 24129011 markings, 108540164 edges, 17577 markings/sec, 1370 secs
lola: 24217821 markings, 108914562 edges, 17762 markings/sec, 1375 secs
lola: 24310835 markings, 109272640 edges, 18603 markings/sec, 1380 secs
lola: 24402127 markings, 109634473 edges, 18258 markings/sec, 1385 secs
lola: 24478086 markings, 110054988 edges, 15192 markings/sec, 1390 secs
lola: 24565774 markings, 110430257 edges, 17538 markings/sec, 1395 secs
lola: 24631778 markings, 110902473 edges, 13201 markings/sec, 1400 secs
lola: 24731504 markings, 111211673 edges, 19945 markings/sec, 1405 secs
lola: 24828257 markings, 111561203 edges, 19351 markings/sec, 1410 secs
lola: 24913429 markings, 111930862 edges, 17034 markings/sec, 1415 secs
lola: 24996977 markings, 112307272 edges, 16710 markings/sec, 1420 secs
lola: 25083812 markings, 112690936 edges, 17367 markings/sec, 1425 secs
lola: 25166628 markings, 113055782 edges, 16563 markings/sec, 1430 secs
lola: 25247321 markings, 113425492 edges, 16139 markings/sec, 1435 secs
lola: 25325006 markings, 113789410 edges, 15537 markings/sec, 1440 secs
lola: 25399937 markings, 114132532 edges, 14986 markings/sec, 1445 secs
lola: 25479736 markings, 114481783 edges, 15960 markings/sec, 1450 secs
lola: 25551830 markings, 114897334 edges, 14419 markings/sec, 1455 secs
lola: 25625136 markings, 115288945 edges, 14661 markings/sec, 1460 secs
lola: 25691307 markings, 115697166 edges, 13234 markings/sec, 1465 secs
lola: 25789890 markings, 115973091 edges, 19717 markings/sec, 1470 secs
lola: 25872522 markings, 116333598 edges, 16526 markings/sec, 1475 secs
lola: 25951469 markings, 116707659 edges, 15789 markings/sec, 1480 secs
lola: 26028050 markings, 117091440 edges, 15316 markings/sec, 1485 secs
lola: 26107761 markings, 117463368 edges, 15942 markings/sec, 1490 secs
lola: 26184104 markings, 117844018 edges, 15269 markings/sec, 1495 secs
lola: 26258190 markings, 118233262 edges, 14817 markings/sec, 1500 secs
lola: 26333250 markings, 118618120 edges, 15012 markings/sec, 1505 secs
lola: 26409624 markings, 118987633 edges, 15275 markings/sec, 1510 secs
lola: 26478982 markings, 119409321 edges, 13872 markings/sec, 1515 secs
lola: 26560179 markings, 119783143 edges, 16239 markings/sec, 1520 secs
lola: 26625329 markings, 120229880 edges, 13030 markings/sec, 1525 secs
lola: 26722766 markings, 120501440 edges, 19487 markings/sec, 1530 secs
lola: 26806275 markings, 120847211 edges, 16702 markings/sec, 1535 secs
lola: 26884798 markings, 121218562 edges, 15705 markings/sec, 1540 secs
lola: 26962881 markings, 121595809 edges, 15617 markings/sec, 1545 secs
lola: 27041118 markings, 121966485 edges, 15647 markings/sec, 1550 secs
lola: 27117997 markings, 122338753 edges, 15376 markings/sec, 1555 secs
lola: 27193659 markings, 122703064 edges, 15132 markings/sec, 1560 secs
lola: 27270858 markings, 123076505 edges, 15440 markings/sec, 1565 secs
lola: 27347882 markings, 123436633 edges, 15405 markings/sec, 1570 secs
lola: 27426844 markings, 123782054 edges, 15792 markings/sec, 1575 secs
lola: 27498104 markings, 124195948 edges, 14252 markings/sec, 1580 secs
lola: 27575472 markings, 124581672 edges, 15474 markings/sec, 1585 secs
lola: 27639425 markings, 125013569 edges, 12791 markings/sec, 1590 secs
lola: 27729808 markings, 125323407 edges, 18077 markings/sec, 1595 secs
lola: 27812456 markings, 125706934 edges, 16530 markings/sec, 1600 secs
lola: 27895668 markings, 126091523 edges, 16642 markings/sec, 1605 secs
lola: 27977706 markings, 126458407 edges, 16408 markings/sec, 1610 secs
lola: 28059001 markings, 126835093 edges, 16259 markings/sec, 1615 secs
lola: 28137027 markings, 127211429 edges, 15605 markings/sec, 1620 secs
lola: 28218739 markings, 127575340 edges, 16342 markings/sec, 1625 secs
lola: 28300895 markings, 127948717 edges, 16431 markings/sec, 1630 secs
lola: 28380786 markings, 128322521 edges, 15978 markings/sec, 1635 secs
lola: 28452704 markings, 128733859 edges, 14384 markings/sec, 1640 secs
lola: 28537207 markings, 129115562 edges, 16901 markings/sec, 1645 secs
lola: 28613720 markings, 129539091 edges, 15303 markings/sec, 1650 secs
lola: 28702527 markings, 129848433 edges, 17761 markings/sec, 1655 secs
lola: 28787028 markings, 130176648 edges, 16900 markings/sec, 1660 secs
lola: 28870177 markings, 130529354 edges, 16630 markings/sec, 1665 secs
lola: 28952738 markings, 130905362 edges, 16512 markings/sec, 1670 secs
lola: 29038037 markings, 131289159 edges, 17060 markings/sec, 1675 secs
lola: 29121587 markings, 131676878 edges, 16710 markings/sec, 1680 secs
lola: 29203459 markings, 132066503 edges, 16374 markings/sec, 1685 secs
lola: 29286932 markings, 132450106 edges, 16695 markings/sec, 1690 secs
lola: 29373710 markings, 132839926 edges, 17356 markings/sec, 1695 secs
lola: 29450148 markings, 133268077 edges, 15288 markings/sec, 1700 secs
lola: 29538667 markings, 133662385 edges, 17704 markings/sec, 1705 secs
lola: 29603124 markings, 134161574 edges, 12891 markings/sec, 1710 secs
lola: 29686216 markings, 134585379 edges, 16618 markings/sec, 1715 secs
lola: 29784428 markings, 134926920 edges, 19642 markings/sec, 1720 secs
lola: 29885833 markings, 135249267 edges, 20281 markings/sec, 1725 secs
lola: 29980530 markings, 135629047 edges, 18939 markings/sec, 1730 secs
lola: 30072706 markings, 136010515 edges, 18435 markings/sec, 1735 secs
lola: 30161374 markings, 136398834 edges, 17734 markings/sec, 1740 secs
lola: 30249848 markings, 136788271 edges, 17695 markings/sec, 1745 secs
lola: 30338718 markings, 137171438 edges, 17774 markings/sec, 1750 secs
lola: 30417398 markings, 137584130 edges, 15736 markings/sec, 1755 secs
lola: 30508179 markings, 137970879 edges, 18156 markings/sec, 1760 secs
lola: 30586657 markings, 138355745 edges, 15696 markings/sec, 1765 secs
lola: 30667935 markings, 138695505 edges, 16256 markings/sec, 1770 secs
lola: 30756664 markings, 139053212 edges, 17746 markings/sec, 1775 secs
lola: 30839187 markings, 139390983 edges, 16505 markings/sec, 1780 secs
lola: 30921582 markings, 139735221 edges, 16479 markings/sec, 1785 secs
lola: 31005772 markings, 140112941 edges, 16838 markings/sec, 1790 secs
lola: 31092877 markings, 140500151 edges, 17421 markings/sec, 1795 secs
lola: 31179266 markings, 140899567 edges, 17278 markings/sec, 1800 secs
lola: 31262956 markings, 141269163 edges, 16738 markings/sec, 1805 secs
lola: 31343873 markings, 141633592 edges, 16183 markings/sec, 1810 secs
lola: 31411732 markings, 142018080 edges, 13572 markings/sec, 1815 secs
lola: 31500767 markings, 142403266 edges, 17807 markings/sec, 1820 secs
lola: 31575500 markings, 142861981 edges, 14947 markings/sec, 1825 secs
lola: 31670035 markings, 143204691 edges, 18907 markings/sec, 1830 secs
lola: 31765929 markings, 143531091 edges, 19179 markings/sec, 1835 secs
lola: 31850239 markings, 143907919 edges, 16862 markings/sec, 1840 secs
lola: 31937838 markings, 144276116 edges, 17520 markings/sec, 1845 secs
lola: 32021559 markings, 144655956 edges, 16744 markings/sec, 1850 secs
lola: 32108534 markings, 145023832 edges, 17395 markings/sec, 1855 secs
lola: 32190017 markings, 145387255 edges, 16297 markings/sec, 1860 secs
lola: 32274064 markings, 145757031 edges, 16809 markings/sec, 1865 secs
lola: 32361583 markings, 146123071 edges, 17504 markings/sec, 1870 secs
lola: 32436931 markings, 146529280 edges, 15070 markings/sec, 1875 secs
lola: 32525601 markings, 146906999 edges, 17734 markings/sec, 1880 secs
lola: 32592158 markings, 147380940 edges, 13311 markings/sec, 1885 secs
lola: 32696186 markings, 147669860 edges, 20806 markings/sec, 1890 secs
lola: 32790581 markings, 148043894 edges, 18879 markings/sec, 1895 secs
lola: 32884914 markings, 148413033 edges, 18867 markings/sec, 1900 secs
lola: 32975766 markings, 148791041 edges, 18170 markings/sec, 1905 secs
lola: 33061399 markings, 149182847 edges, 17127 markings/sec, 1910 secs
lola: 33157599 markings, 149545689 edges, 19240 markings/sec, 1915 secs
lola: 33250666 markings, 149913364 edges, 18613 markings/sec, 1920 secs
lola: 33333457 markings, 150317954 edges, 16558 markings/sec, 1925 secs
lola: 33418663 markings, 150724844 edges, 17041 markings/sec, 1930 secs
lola: 33501984 markings, 151133413 edges, 16664 markings/sec, 1935 secs
lola: 33573870 markings, 151601597 edges, 14377 markings/sec, 1940 secs
lola: 33670511 markings, 151872402 edges, 19328 markings/sec, 1945 secs
lola: 33753864 markings, 152206691 edges, 16671 markings/sec, 1950 secs
lola: 33837945 markings, 152592821 edges, 16816 markings/sec, 1955 secs
lola: 33917772 markings, 152955245 edges, 15965 markings/sec, 1960 secs
lola: 33997867 markings, 153314038 edges, 16019 markings/sec, 1965 secs
lola: 34075733 markings, 153674554 edges, 15573 markings/sec, 1970 secs
lola: 34159167 markings, 154064416 edges, 16687 markings/sec, 1975 secs
lola: 34243525 markings, 154450253 edges, 16872 markings/sec, 1980 secs
lola: 34323171 markings, 154813853 edges, 15929 markings/sec, 1985 secs
lola: 34389505 markings, 155201772 edges, 13267 markings/sec, 1990 secs
lola: 34470102 markings, 155564813 edges, 16119 markings/sec, 1995 secs
lola: 34552461 markings, 155927699 edges, 16472 markings/sec, 2000 secs
lola: 34609223 markings, 156395784 edges, 11352 markings/sec, 2005 secs
lola: 34710462 markings, 156683536 edges, 20248 markings/sec, 2010 secs
lola: 34808135 markings, 157075421 edges, 19535 markings/sec, 2015 secs
lola: 34903813 markings, 157464673 edges, 19136 markings/sec, 2020 secs
lola: 34993914 markings, 157874435 edges, 18020 markings/sec, 2025 secs
lola: 35089810 markings, 158261940 edges, 19179 markings/sec, 2030 secs
lola: 35181359 markings, 158659408 edges, 18310 markings/sec, 2035 secs
lola: 35263562 markings, 159080936 edges, 16441 markings/sec, 2040 secs
lola: 35356759 markings, 159483854 edges, 18639 markings/sec, 2045 secs
lola: 35451796 markings, 159883434 edges, 19007 markings/sec, 2050 secs
lola: 35539728 markings, 160267907 edges, 17586 markings/sec, 2055 secs
lola: 35627403 markings, 160597110 edges, 17535 markings/sec, 2060 secs
lola: 35711863 markings, 160940161 edges, 16892 markings/sec, 2065 secs
lola: 35793077 markings, 161296077 edges, 16243 markings/sec, 2070 secs
lola: 35883211 markings, 161683573 edges, 18027 markings/sec, 2075 secs
lola: 35974607 markings, 162078628 edges, 18279 markings/sec, 2080 secs
lola: 36063630 markings, 162488775 edges, 17805 markings/sec, 2085 secs
lola: 36155223 markings, 162885662 edges, 18319 markings/sec, 2090 secs
lola: 36244132 markings, 163297002 edges, 17782 markings/sec, 2095 secs
lola: 36321821 markings, 163721365 edges, 15538 markings/sec, 2100 secs
lola: 36412282 markings, 164112122 edges, 18092 markings/sec, 2105 secs
lola: 36480670 markings, 164585133 edges, 13678 markings/sec, 2110 secs
lola: 36568380 markings, 164951119 edges, 17542 markings/sec, 2115 secs
lola: 36663129 markings, 165220814 edges, 18950 markings/sec, 2120 secs
lola: 36746429 markings, 165577756 edges, 16660 markings/sec, 2125 secs
lola: 36827573 markings, 165941955 edges, 16229 markings/sec, 2130 secs
lola: 36910804 markings, 166295576 edges, 16646 markings/sec, 2135 secs
lola: 36992210 markings, 166659910 edges, 16281 markings/sec, 2140 secs
lola: 37070503 markings, 167033573 edges, 15659 markings/sec, 2145 secs
lola: 37149555 markings, 167402375 edges, 15810 markings/sec, 2150 secs
lola: 37235974 markings, 167783370 edges, 17284 markings/sec, 2155 secs
lola: 37315386 markings, 168238698 edges, 15882 markings/sec, 2160 secs
lola: 37406377 markings, 168644073 edges, 18198 markings/sec, 2165 secs
lola: 37487614 markings, 169090355 edges, 16247 markings/sec, 2170 secs
lola: 37585387 markings, 169442648 edges, 19555 markings/sec, 2175 secs
lola: 37676077 markings, 169847735 edges, 18138 markings/sec, 2180 secs
lola: 37766973 markings, 170249673 edges, 18179 markings/sec, 2185 secs
lola: 37856245 markings, 170644775 edges, 17854 markings/sec, 2190 secs
lola: 37945329 markings, 171047080 edges, 17817 markings/sec, 2195 secs
lola: 38033064 markings, 171448556 edges, 17547 markings/sec, 2200 secs
lola: 38122978 markings, 171839364 edges, 17983 markings/sec, 2205 secs
lola: 38211215 markings, 172244910 edges, 17647 markings/sec, 2210 secs
lola: 38290931 markings, 172686642 edges, 15943 markings/sec, 2215 secs
lola: 38383949 markings, 173096269 edges, 18604 markings/sec, 2220 secs
lola: 38456871 markings, 173592551 edges, 14584 markings/sec, 2225 secs
lola: 38551805 markings, 173963059 edges, 18987 markings/sec, 2230 secs
lola: 38649484 markings, 174321437 edges, 19536 markings/sec, 2235 secs
lola: 38739521 markings, 174724747 edges, 18007 markings/sec, 2240 secs
lola: 38827373 markings, 175132144 edges, 17570 markings/sec, 2245 secs
lola: 38915473 markings, 175537591 edges, 17620 markings/sec, 2250 secs
lola: 39000732 markings, 175963792 edges, 17052 markings/sec, 2255 secs
lola: 39091643 markings, 176374242 edges, 18182 markings/sec, 2260 secs
lola: 39182331 markings, 176782764 edges, 18138 markings/sec, 2265 secs
lola: 39272219 markings, 177193064 edges, 17978 markings/sec, 2270 secs
lola: 39351573 markings, 177638879 edges, 15871 markings/sec, 2275 secs
lola: 39444052 markings, 178044878 edges, 18496 markings/sec, 2280 secs
lola: 39516433 markings, 178531769 edges, 14476 markings/sec, 2285 secs
lola: 39620493 markings, 178838392 edges, 20812 markings/sec, 2290 secs
lola: 39714444 markings, 179234424 edges, 18790 markings/sec, 2295 secs
lola: 39806120 markings, 179629128 edges, 18335 markings/sec, 2300 secs
lola: 39897869 markings, 179997477 edges, 18350 markings/sec, 2305 secs
lola: 39988737 markings, 180375218 edges, 18174 markings/sec, 2310 secs
lola: 40078261 markings, 180758705 edges, 17905 markings/sec, 2315 secs
lola: 40171467 markings, 181135414 edges, 18641 markings/sec, 2320 secs
lola: 40262449 markings, 181494403 edges, 18196 markings/sec, 2325 secs
lola: 40339089 markings, 181943425 edges, 15328 markings/sec, 2330 secs
lola: 40423886 markings, 182334899 edges, 16959 markings/sec, 2335 secs
lola: 40479868 markings, 182807308 edges, 11196 markings/sec, 2340 secs
lola: 40567374 markings, 183126710 edges, 17501 markings/sec, 2345 secs
lola: 40661710 markings, 183451222 edges, 18867 markings/sec, 2350 secs
lola: 40753100 markings, 183865099 edges, 18278 markings/sec, 2355 secs
lola: 40842336 markings, 184281152 edges, 17847 markings/sec, 2360 secs
lola: 40930037 markings, 184700883 edges, 17540 markings/sec, 2365 secs
lola: 41020132 markings, 185106304 edges, 18019 markings/sec, 2370 secs
lola: 41106689 markings, 185524724 edges, 17311 markings/sec, 2375 secs
lola: 41194600 markings, 185931499 edges, 17582 markings/sec, 2380 secs
lola: 41284419 markings, 186336934 edges, 17964 markings/sec, 2385 secs
lola: 41362944 markings, 186781281 edges, 15705 markings/sec, 2390 secs
lola: 41454036 markings, 187181796 edges, 18218 markings/sec, 2395 secs
lola: 41524670 markings, 187681084 edges, 14127 markings/sec, 2400 secs
lola: 41620404 markings, 188047286 edges, 19147 markings/sec, 2405 secs
lola: 41718021 markings, 188408547 edges, 19523 markings/sec, 2410 secs
lola: 41810101 markings, 188805235 edges, 18416 markings/sec, 2415 secs
lola: 41898419 markings, 189209505 edges, 17664 markings/sec, 2420 secs
lola: 41995170 markings, 189601044 edges, 19350 markings/sec, 2425 secs
lola: 42091186 markings, 189995055 edges, 19203 markings/sec, 2430 secs
lola: 42186501 markings, 190375333 edges, 19063 markings/sec, 2435 secs
lola: 42266132 markings, 190822367 edges, 15926 markings/sec, 2440 secs
lola: 42359028 markings, 191232933 edges, 18579 markings/sec, 2445 secs
lola: 42442975 markings, 191675334 edges, 16789 markings/sec, 2450 secs
lola: 42546128 markings, 191992271 edges, 20631 markings/sec, 2455 secs
lola: 42637241 markings, 192399875 edges, 18223 markings/sec, 2460 secs
lola: 42727206 markings, 192779891 edges, 17993 markings/sec, 2465 secs
lola: time limit reached - aborting
lola:
preliminary result: 6 6 unknown 5 6 5 6 unknown 6 6 6 6 unknown 6 5 6
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 6 6 unknown 5 6 5 6 unknown 6 6 6 6 unknown 6 5 6
lola:
preliminary result: 6 6 unknown 5 6 5 6 unknown 6 6 6 6 unknown 6 5 6
lola: memory consumption: 3775616 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 6 6 unknown 5 6 5 6 unknown 6 6 6 6 unknown 6 5 6
lola: memory consumption: 3775872 KB
lola: time consumption: 3570 seconds

BK_STOP 1527044790923

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Peterson-COL-5"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/Peterson-COL-5.tgz
mv Peterson-COL-5 execution
cd execution
pwd
ls -lh

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