About the Execution of LoLA for S_DotAndBoxes-COL-5
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
510.690 | 3539870.00 | 3549425.00 | 1770.00 | ? ? 2 ? ? ? ? ? ? 2 50 50 ? 2 50 ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_DotAndBoxes-COL-5, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612100173
=====================================================================
--------------------
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 DotAndBoxes-COL-5-UpperBounds-0
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-1
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-10
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-11
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-12
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-13
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-14
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-15
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-2
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-3
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-4
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-5
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-6
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-7
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-8
FORMULA_NAME DotAndBoxes-COL-5-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496351781335
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DotAndBoxes-COL-5: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_DotAndBoxes-COL-5: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_DotAndBoxes-COL-5 @ 3537 seconds
----- Start make result stdout -----
lola: LoLA will run for 3537 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 10832/65536 symbol table entries, 3572 collisions
lola: preprocessing...
lola: finding significant places
lola: 360 places, 10472 transitions, 281 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 13933 transition conflict sets
lola: TASK
lola: reading formula from DotAndBoxes-COL-5-UpperBounds.task
lola: MAX(p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + 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 + p178 + p153 + p128) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p92 + p91 + p90 + p88 + p87 + p86 + p85 + p83 + p82 + p81 + p80 + p78 + p77 + p76 + p68 + p67 + p66 + p65 + p63 + p62 + p61 + p60 + p58 + p57 + p56 + p55 + p53 + p52 + p51 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p50 + p54 + p59 + p64 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p79 + p84 + p89 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p204 + p205) : MAX(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 + 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 + p233) : MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309) : MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309) : MAX(p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + 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 + p178 + p153 + p128) : MAX(p100 + p102 + p103 + p101) : MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p92 + p91 + p90 + p88 + p87 + p86 + p85 + p83 + p82 + p81 + p80 + p78 + p77 + p76 + p68 + p67 + p66 + p65 + p63 + p62 + p61 + p60 + p58 + p57 + p56 + p55 + p53 + p52 + p51 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p50 + p54 + p59 + p64 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p79 + p84 + p89 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p100 + p102 + p103 + p101) : MAX(p206 + p207) : MAX(p204 + p205) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p92 + p91 + p90 + p88 + p87 + p86 + p85 + p83 + p82 + p81 + p80 + p78 + p77 + p76 + p68 + p67 + p66 + p65 + p63 + p62 + p61 + p60 + p58 + p57 + p56 + p55 + p53 + p52 + p51 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p50 + p54 + p59 + p64 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p79 + p84 + p89 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p359 + p358 + p357 + p356 + p355 + p354 + p353 + p352 + p351 + p350 + p349 + p348 + p347 + p346 + p345 + p344 + p343 + p342 + p341 + p340 + p339 + p338 + p337 + p336 + p335 + p334 + p333 + p332 + p331 + p330 + p329 + p328 + p327 + p326 + p325 + p324 + p323 + p322 + p321 + p320 + p319 + p318 + p317 + p316 + p315 + p314 + p313 + p312 + p311 + p310) : MAX(p204 + p205)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: 3575 markings, 3906 edges, 715 markings/sec, 0 secs
lola: 7299 markings, 8137 edges, 745 markings/sec, 5 secs
lola: 10821 markings, 12306 edges, 704 markings/sec, 10 secs
lola: 14288 markings, 16487 edges, 693 markings/sec, 15 secs
lola: 17775 markings, 20582 edges, 697 markings/sec, 20 secs
lola: 21129 markings, 24537 edges, 671 markings/sec, 25 secs
lola: 24592 markings, 28508 edges, 693 markings/sec, 30 secs
lola: 27877 markings, 32365 edges, 657 markings/sec, 35 secs
lola: 31074 markings, 36184 edges, 639 markings/sec, 40 secs
lola: 34256 markings, 40232 edges, 636 markings/sec, 45 secs
lola: 37431 markings, 44359 edges, 635 markings/sec, 50 secs
lola: 40519 markings, 48309 edges, 618 markings/sec, 55 secs
lola: 43505 markings, 51865 edges, 597 markings/sec, 60 secs
lola: 46253 markings, 55247 edges, 550 markings/sec, 65 secs
lola: 50334 markings, 60292 edges, 816 markings/sec, 70 secs
lola: 53805 markings, 64627 edges, 694 markings/sec, 75 secs
lola: 56675 markings, 68380 edges, 574 markings/sec, 80 secs
lola: 60027 markings, 72586 edges, 670 markings/sec, 85 secs
lola: 63286 markings, 76539 edges, 652 markings/sec, 90 secs
lola: 66429 markings, 80371 edges, 629 markings/sec, 95 secs
lola: 69551 markings, 84569 edges, 624 markings/sec, 100 secs
lola: 72442 markings, 88105 edges, 578 markings/sec, 105 secs
lola: 75426 markings, 91886 edges, 597 markings/sec, 110 secs
lola: 78284 markings, 95596 edges, 572 markings/sec, 115 secs
lola: 81152 markings, 99538 edges, 574 markings/sec, 120 secs
lola: 84032 markings, 103499 edges, 576 markings/sec, 125 secs
lola: 87228 markings, 107351 edges, 639 markings/sec, 130 secs
lola: 90427 markings, 111026 edges, 640 markings/sec, 135 secs
lola: 93010 markings, 114104 edges, 517 markings/sec, 140 secs
lola: 96196 markings, 117910 edges, 637 markings/sec, 145 secs
lola: 99175 markings, 121716 edges, 596 markings/sec, 150 secs
lola: 102011 markings, 125328 edges, 567 markings/sec, 155 secs
lola: 104637 markings, 128581 edges, 525 markings/sec, 160 secs
lola: 107636 markings, 132399 edges, 600 markings/sec, 165 secs
lola: 110504 markings, 136217 edges, 574 markings/sec, 170 secs
lola: 113529 markings, 139961 edges, 605 markings/sec, 175 secs
lola: 116353 markings, 143645 edges, 565 markings/sec, 180 secs
lola: 119157 markings, 147271 edges, 561 markings/sec, 185 secs
lola: 121861 markings, 151067 edges, 541 markings/sec, 190 secs
lola: 125335 markings, 155127 edges, 695 markings/sec, 195 secs
lola: 128404 markings, 158631 edges, 614 markings/sec, 200 secs
lola: 131762 markings, 162499 edges, 672 markings/sec, 205 secs
lola: 135138 markings, 166507 edges, 675 markings/sec, 210 secs
lola: 138272 markings, 170437 edges, 627 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p92 + p91 + p90 + p88 + p87 + p86 + p85 + p83 + p82 + p81 + p80 + p78 + p77 + p76 + p68 + p67 + p66 + p65 + p63 + p62 + p61 + p60 + p58 + p57 + p56 + p55 + p53 + p52 + p51 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: 3988 markings, 4403 edges, 798 markings/sec, 0 secs
lola: 7694 markings, 8621 edges, 741 markings/sec, 5 secs
lola: 11999 markings, 13466 edges, 861 markings/sec, 10 secs
lola: 15401 markings, 17530 edges, 680 markings/sec, 15 secs
lola: 18674 markings, 21548 edges, 655 markings/sec, 20 secs
lola: 22296 markings, 25913 edges, 724 markings/sec, 25 secs
lola: 26281 markings, 30793 edges, 797 markings/sec, 30 secs
lola: 30156 markings, 35346 edges, 775 markings/sec, 35 secs
lola: 33878 markings, 39777 edges, 744 markings/sec, 40 secs
lola: 37263 markings, 43795 edges, 677 markings/sec, 45 secs
lola: 40660 markings, 48113 edges, 679 markings/sec, 50 secs
lola: 43815 markings, 52298 edges, 631 markings/sec, 55 secs
lola: 46885 markings, 56208 edges, 614 markings/sec, 60 secs
lola: 49786 markings, 60103 edges, 580 markings/sec, 65 secs
lola: 54338 markings, 65278 edges, 910 markings/sec, 70 secs
lola: 58198 markings, 69786 edges, 772 markings/sec, 75 secs
lola: 61776 markings, 74027 edges, 716 markings/sec, 80 secs
lola: 65255 markings, 78174 edges, 696 markings/sec, 85 secs
lola: 68628 markings, 82301 edges, 675 markings/sec, 90 secs
lola: 72234 markings, 86731 edges, 721 markings/sec, 95 secs
lola: 75471 markings, 90824 edges, 647 markings/sec, 100 secs
lola: 78617 markings, 94823 edges, 629 markings/sec, 105 secs
lola: 81583 markings, 98453 edges, 593 markings/sec, 110 secs
lola: 84510 markings, 102253 edges, 585 markings/sec, 115 secs
lola: 88083 markings, 106614 edges, 715 markings/sec, 120 secs
lola: 91405 markings, 110676 edges, 664 markings/sec, 125 secs
lola: 94479 markings, 114344 edges, 615 markings/sec, 130 secs
lola: 97399 markings, 117932 edges, 584 markings/sec, 135 secs
lola: 100810 markings, 122174 edges, 682 markings/sec, 140 secs
lola: 104016 markings, 126150 edges, 641 markings/sec, 145 secs
lola: 106615 markings, 129595 edges, 520 markings/sec, 150 secs
lola: 109473 markings, 133342 edges, 572 markings/sec, 155 secs
lola: 112161 markings, 137009 edges, 538 markings/sec, 160 secs
lola: 114889 markings, 140677 edges, 546 markings/sec, 165 secs
lola: 117619 markings, 144424 edges, 546 markings/sec, 170 secs
lola: 121090 markings, 148904 edges, 694 markings/sec, 175 secs
lola: 124698 markings, 153641 edges, 722 markings/sec, 180 secs
lola: 128274 markings, 157909 edges, 715 markings/sec, 185 secs
lola: 131675 markings, 162023 edges, 680 markings/sec, 190 secs
lola: 134829 markings, 165886 edges, 631 markings/sec, 195 secs
lola: 137572 markings, 169467 edges, 549 markings/sec, 200 secs
lola: 140588 markings, 173169 edges, 603 markings/sec, 205 secs
lola: 143770 markings, 177116 edges, 636 markings/sec, 210 secs
lola: 146393 markings, 180538 edges, 525 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p204 + p205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: 3120 markings, 3361 edges, 624 markings/sec, 0 secs
lola: 6083 markings, 6690 edges, 593 markings/sec, 5 secs
lola: 9321 markings, 10333 edges, 648 markings/sec, 10 secs
lola: 11656 markings, 13067 edges, 467 markings/sec, 15 secs
lola: 14553 markings, 16578 edges, 579 markings/sec, 20 secs
lola: 17834 markings, 20291 edges, 656 markings/sec, 25 secs
lola: 20969 markings, 23870 edges, 627 markings/sec, 30 secs
lola: 23686 markings, 27085 edges, 543 markings/sec, 35 secs
lola: 27023 markings, 30894 edges, 667 markings/sec, 40 secs
lola: 29763 markings, 34139 edges, 548 markings/sec, 45 secs
lola: 32456 markings, 37453 edges, 539 markings/sec, 50 secs
lola: 34633 markings, 40235 edges, 435 markings/sec, 55 secs
lola: 37613 markings, 44035 edges, 596 markings/sec, 60 secs
lola: 40709 markings, 47556 edges, 619 markings/sec, 65 secs
lola: 43796 markings, 51192 edges, 617 markings/sec, 70 secs
lola: 46717 markings, 54685 edges, 584 markings/sec, 75 secs
lola: 49277 markings, 57864 edges, 512 markings/sec, 80 secs
lola: 52391 markings, 61787 edges, 623 markings/sec, 85 secs
lola: 55641 markings, 65519 edges, 650 markings/sec, 90 secs
lola: 59036 markings, 69531 edges, 679 markings/sec, 95 secs
lola: 62150 markings, 73253 edges, 623 markings/sec, 100 secs
lola: 65301 markings, 77137 edges, 630 markings/sec, 105 secs
lola: 68247 markings, 80830 edges, 589 markings/sec, 110 secs
lola: 71087 markings, 84062 edges, 568 markings/sec, 115 secs
lola: 73871 markings, 87379 edges, 557 markings/sec, 120 secs
lola: 76633 markings, 90647 edges, 552 markings/sec, 125 secs
lola: 79273 markings, 93820 edges, 528 markings/sec, 130 secs
lola: 81323 markings, 96465 edges, 410 markings/sec, 135 secs
lola: 83960 markings, 99799 edges, 527 markings/sec, 140 secs
lola: 86470 markings, 102979 edges, 502 markings/sec, 145 secs
lola: 88989 markings, 106100 edges, 504 markings/sec, 150 secs
lola: 91517 markings, 109270 edges, 506 markings/sec, 155 secs
lola: 93946 markings, 112433 edges, 486 markings/sec, 160 secs
lola: 96520 markings, 115645 edges, 515 markings/sec, 165 secs
lola: 99261 markings, 118863 edges, 548 markings/sec, 170 secs
lola: 102127 markings, 122215 edges, 573 markings/sec, 175 secs
lola: 104746 markings, 125347 edges, 524 markings/sec, 180 secs
lola: 107317 markings, 128561 edges, 514 markings/sec, 185 secs
lola: 110436 markings, 132240 edges, 624 markings/sec, 190 secs
lola: 113373 markings, 135808 edges, 587 markings/sec, 195 secs
lola: 116360 markings, 139381 edges, 597 markings/sec, 200 secs
lola: 118964 markings, 142706 edges, 521 markings/sec, 205 secs
lola: 121490 markings, 146032 edges, 505 markings/sec, 210 secs
lola: 124286 markings, 149416 edges, 559 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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 + 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 + p233)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: ========================================
lola: subprocess 5 will run for 261 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: ========================================
lola: subprocess 6 will run for 287 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: 3604 markings, 3943 edges, 721 markings/sec, 0 secs
lola: 7342 markings, 8192 edges, 748 markings/sec, 5 secs
lola: 10875 markings, 12370 edges, 707 markings/sec, 10 secs
lola: 14321 markings, 16527 edges, 689 markings/sec, 15 secs
lola: 17802 markings, 20614 edges, 696 markings/sec, 20 secs
lola: 21147 markings, 24563 edges, 669 markings/sec, 25 secs
lola: 24615 markings, 28538 edges, 694 markings/sec, 30 secs
lola: 27913 markings, 32405 edges, 660 markings/sec, 35 secs
lola: 31132 markings, 36262 edges, 644 markings/sec, 40 secs
lola: 34310 markings, 40297 edges, 636 markings/sec, 45 secs
lola: 37477 markings, 44413 edges, 633 markings/sec, 50 secs
lola: 40536 markings, 48326 edges, 612 markings/sec, 55 secs
lola: 43526 markings, 51886 edges, 598 markings/sec, 60 secs
lola: 46269 markings, 55276 edges, 549 markings/sec, 65 secs
lola: 50399 markings, 60371 edges, 826 markings/sec, 70 secs
lola: 53845 markings, 64682 edges, 689 markings/sec, 75 secs
lola: 56724 markings, 68446 edges, 576 markings/sec, 80 secs
lola: 60071 markings, 72647 edges, 669 markings/sec, 85 secs
lola: 63303 markings, 76559 edges, 646 markings/sec, 90 secs
lola: 66469 markings, 80420 edges, 633 markings/sec, 95 secs
lola: 69570 markings, 84589 edges, 620 markings/sec, 100 secs
lola: 72460 markings, 88129 edges, 578 markings/sec, 105 secs
lola: 75436 markings, 91897 edges, 595 markings/sec, 110 secs
lola: 78294 markings, 95610 edges, 572 markings/sec, 115 secs
lola: 81157 markings, 99547 edges, 573 markings/sec, 120 secs
lola: 84040 markings, 103507 edges, 577 markings/sec, 125 secs
lola: 87232 markings, 107355 edges, 638 markings/sec, 130 secs
lola: 90525 markings, 111142 edges, 659 markings/sec, 135 secs
lola: 93569 markings, 114756 edges, 609 markings/sec, 140 secs
lola: 96342 markings, 118085 edges, 555 markings/sec, 145 secs
lola: 99099 markings, 121621 edges, 551 markings/sec, 150 secs
lola: 102032 markings, 125353 edges, 587 markings/sec, 155 secs
lola: 105126 markings, 129236 edges, 619 markings/sec, 160 secs
lola: 108084 markings, 132980 edges, 592 markings/sec, 165 secs
lola: 111004 markings, 136841 edges, 584 markings/sec, 170 secs
lola: 113990 markings, 140570 edges, 597 markings/sec, 175 secs
lola: 116806 markings, 144210 edges, 563 markings/sec, 180 secs
lola: 119188 markings, 147314 edges, 476 markings/sec, 185 secs
lola: 121717 markings, 150861 edges, 506 markings/sec, 190 secs
lola: 125302 markings, 155090 edges, 717 markings/sec, 195 secs
lola: 128836 markings, 159106 edges, 707 markings/sec, 200 secs
lola: 131854 markings, 162601 edges, 604 markings/sec, 205 secs
lola: 135219 markings, 166604 edges, 673 markings/sec, 210 secs
lola: 138350 markings, 170542 edges, 626 markings/sec, 215 secs
lola: 141689 markings, 174518 edges, 668 markings/sec, 220 secs
lola: 144767 markings, 178334 edges, 616 markings/sec, 225 secs
lola: 148084 markings, 182424 edges, 663 markings/sec, 230 secs
lola: 151237 markings, 186334 edges, 631 markings/sec, 235 secs
lola: 154199 markings, 190123 edges, 592 markings/sec, 240 secs
lola: 157678 markings, 194378 edges, 696 markings/sec, 245 secs
lola: 161099 markings, 198309 edges, 684 markings/sec, 250 secs
lola: 164597 markings, 202455 edges, 700 markings/sec, 255 secs
lola: 167744 markings, 206172 edges, 629 markings/sec, 260 secs
lola: 170900 markings, 209824 edges, 631 markings/sec, 265 secs
lola: 174020 markings, 213692 edges, 624 markings/sec, 270 secs
lola: 176949 markings, 217435 edges, 586 markings/sec, 275 secs
lola: 179953 markings, 221288 edges, 601 markings/sec, 280 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 287 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p102 + p103 + p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 8 will run for 323 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: ========================================
lola: subprocess 9 will run for 369 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p92 + p91 + p90 + p88 + p87 + p86 + p85 + p83 + p82 + p81 + p80 + p78 + p77 + p76 + p68 + p67 + p66 + p65 + p63 + p62 + p61 + p60 + p58 + p57 + p56 + p55 + p53 + p52 + p51 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: 3986 markings, 4400 edges, 797 markings/sec, 0 secs
lola: 7689 markings, 8613 edges, 741 markings/sec, 5 secs
lola: 11995 markings, 13462 edges, 861 markings/sec, 10 secs
lola: 15398 markings, 17523 edges, 681 markings/sec, 15 secs
lola: 18671 markings, 21545 edges, 655 markings/sec, 20 secs
lola: 22294 markings, 25911 edges, 725 markings/sec, 25 secs
lola: 26278 markings, 30790 edges, 797 markings/sec, 30 secs
lola: 30152 markings, 35339 edges, 775 markings/sec, 35 secs
lola: 33870 markings, 39769 edges, 744 markings/sec, 40 secs
lola: 37246 markings, 43771 edges, 675 markings/sec, 45 secs
lola: 40647 markings, 48100 edges, 680 markings/sec, 50 secs
lola: 43829 markings, 52315 edges, 636 markings/sec, 55 secs
lola: 46893 markings, 56216 edges, 613 markings/sec, 60 secs
lola: 49739 markings, 60050 edges, 569 markings/sec, 65 secs
lola: 54280 markings, 65206 edges, 908 markings/sec, 70 secs
lola: 58190 markings, 69775 edges, 782 markings/sec, 75 secs
lola: 61770 markings, 74019 edges, 716 markings/sec, 80 secs
lola: 65027 markings, 77916 edges, 651 markings/sec, 85 secs
lola: 67954 markings, 81478 edges, 585 markings/sec, 90 secs
lola: 71623 markings, 85988 edges, 734 markings/sec, 95 secs
lola: 74918 markings, 90126 edges, 659 markings/sec, 100 secs
lola: 77745 markings, 93848 edges, 565 markings/sec, 105 secs
lola: 80516 markings, 97097 edges, 554 markings/sec, 110 secs
lola: 83476 markings, 100845 edges, 592 markings/sec, 115 secs
lola: 86443 markings, 104676 edges, 593 markings/sec, 120 secs
lola: 90222 markings, 109195 edges, 756 markings/sec, 125 secs
lola: 93262 markings, 112865 edges, 608 markings/sec, 130 secs
lola: 96109 markings, 116417 edges, 569 markings/sec, 135 secs
lola: 99260 markings, 120303 edges, 630 markings/sec, 140 secs
lola: 102893 markings, 124763 edges, 727 markings/sec, 145 secs
lola: 105647 markings, 128313 edges, 551 markings/sec, 150 secs
lola: 108484 markings, 132018 edges, 567 markings/sec, 155 secs
lola: 111194 markings, 135670 edges, 542 markings/sec, 160 secs
lola: 113803 markings, 139211 edges, 522 markings/sec, 165 secs
lola: 116462 markings, 142899 edges, 532 markings/sec, 170 secs
lola: 119875 markings, 147268 edges, 683 markings/sec, 175 secs
lola: 123268 markings, 151837 edges, 679 markings/sec, 180 secs
lola: 126969 markings, 156341 edges, 740 markings/sec, 185 secs
lola: 130469 markings, 160507 edges, 700 markings/sec, 190 secs
lola: 133767 markings, 164571 edges, 660 markings/sec, 195 secs
lola: 136582 markings, 168112 edges, 563 markings/sec, 200 secs
lola: 139592 markings, 171948 edges, 602 markings/sec, 205 secs
lola: 142496 markings, 175559 edges, 581 markings/sec, 210 secs
lola: 145454 markings, 179288 edges, 592 markings/sec, 215 secs
lola: 148385 markings, 183057 edges, 586 markings/sec, 220 secs
lola: 151354 markings, 187050 edges, 594 markings/sec, 225 secs
lola: 154707 markings, 191252 edges, 671 markings/sec, 230 secs
lola: 157692 markings, 194900 edges, 597 markings/sec, 235 secs
lola: 160810 markings, 198943 edges, 624 markings/sec, 240 secs
lola: 163613 markings, 202557 edges, 561 markings/sec, 245 secs
lola: 166590 markings, 206383 edges, 595 markings/sec, 250 secs
lola: 169733 markings, 210394 edges, 629 markings/sec, 255 secs
lola: 172792 markings, 214507 edges, 612 markings/sec, 260 secs
lola: 175685 markings, 218407 edges, 579 markings/sec, 265 secs
lola: 179139 markings, 222766 edges, 691 markings/sec, 270 secs
lola: 181898 markings, 226414 edges, 552 markings/sec, 275 secs
lola: 184877 markings, 230328 edges, 596 markings/sec, 280 secs
lola: 187637 markings, 234151 edges, 552 markings/sec, 285 secs
lola: 190557 markings, 238059 edges, 584 markings/sec, 290 secs
lola: 193089 markings, 241549 edges, 506 markings/sec, 295 secs
lola: 195460 markings, 244741 edges, 474 markings/sec, 300 secs
lola: 197815 markings, 248198 edges, 471 markings/sec, 305 secs
lola: 201350 markings, 252274 edges, 707 markings/sec, 310 secs
lola: 204669 markings, 256154 edges, 664 markings/sec, 315 secs
lola: 207417 markings, 259708 edges, 550 markings/sec, 320 secs
lola: 210672 markings, 263587 edges, 651 markings/sec, 325 secs
lola: 213526 markings, 267167 edges, 571 markings/sec, 330 secs
lola: 216368 markings, 270914 edges, 568 markings/sec, 335 secs
lola: 219529 markings, 274776 edges, 632 markings/sec, 340 secs
lola: 222220 markings, 278131 edges, 538 markings/sec, 345 secs
lola: 225249 markings, 281770 edges, 606 markings/sec, 350 secs
lola: 228174 markings, 285527 edges, 585 markings/sec, 355 secs
lola: 231373 markings, 289531 edges, 640 markings/sec, 360 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 369 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p102 + p103 + p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 11 will run for 443 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p206 + p207)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: 4385 markings, 4767 edges, 877 markings/sec, 0 secs
lola: 8847 markings, 9751 edges, 892 markings/sec, 5 secs
lola: 13178 markings, 14730 edges, 866 markings/sec, 10 secs
lola: 17911 markings, 19933 edges, 947 markings/sec, 15 secs
lola: 22051 markings, 24736 edges, 828 markings/sec, 20 secs
lola: 26006 markings, 29445 edges, 791 markings/sec, 25 secs
lola: 29911 markings, 34144 edges, 781 markings/sec, 30 secs
lola: 34200 markings, 39172 edges, 858 markings/sec, 35 secs
lola: 38210 markings, 43973 edges, 802 markings/sec, 40 secs
lola: 42315 markings, 48857 edges, 821 markings/sec, 45 secs
lola: 46345 markings, 53550 edges, 806 markings/sec, 50 secs
lola: 50771 markings, 58509 edges, 885 markings/sec, 55 secs
lola: 54560 markings, 63009 edges, 758 markings/sec, 60 secs
lola: 58360 markings, 67570 edges, 760 markings/sec, 65 secs
lola: 62205 markings, 72132 edges, 769 markings/sec, 70 secs
lola: 65845 markings, 76562 edges, 728 markings/sec, 75 secs
lola: 70132 markings, 81414 edges, 857 markings/sec, 80 secs
lola: 73929 markings, 85844 edges, 759 markings/sec, 85 secs
lola: 77934 markings, 90506 edges, 801 markings/sec, 90 secs
lola: 81934 markings, 95105 edges, 800 markings/sec, 95 secs
lola: 85704 markings, 99540 edges, 754 markings/sec, 100 secs
lola: 89221 markings, 103720 edges, 703 markings/sec, 105 secs
lola: 92563 markings, 107785 edges, 668 markings/sec, 110 secs
lola: 95909 markings, 111853 edges, 669 markings/sec, 115 secs
lola: 99262 markings, 115973 edges, 671 markings/sec, 120 secs
lola: 103250 markings, 120685 edges, 798 markings/sec, 125 secs
lola: 107079 markings, 125247 edges, 766 markings/sec, 130 secs
lola: 110816 markings, 129730 edges, 747 markings/sec, 135 secs
lola: 114513 markings, 134158 edges, 739 markings/sec, 140 secs
lola: 118038 markings, 138480 edges, 705 markings/sec, 145 secs
lola: 121605 markings, 143027 edges, 713 markings/sec, 150 secs
lola: 126174 markings, 148278 edges, 914 markings/sec, 155 secs
lola: 130242 markings, 153014 edges, 814 markings/sec, 160 secs
lola: 133809 markings, 157251 edges, 713 markings/sec, 165 secs
lola: 137352 markings, 161536 edges, 709 markings/sec, 170 secs
lola: 141248 markings, 165976 edges, 779 markings/sec, 175 secs
lola: 144783 markings, 170059 edges, 707 markings/sec, 180 secs
lola: 148776 markings, 174507 edges, 799 markings/sec, 185 secs
lola: 152617 markings, 178895 edges, 768 markings/sec, 190 secs
lola: 155956 markings, 182834 edges, 668 markings/sec, 195 secs
lola: 159719 markings, 187204 edges, 753 markings/sec, 200 secs
lola: 163321 markings, 191505 edges, 720 markings/sec, 205 secs
lola: 166701 markings, 195484 edges, 676 markings/sec, 210 secs
lola: 169957 markings, 199493 edges, 651 markings/sec, 215 secs
lola: 172914 markings, 203076 edges, 591 markings/sec, 220 secs
lola: 176535 markings, 207409 edges, 724 markings/sec, 225 secs
lola: 180208 markings, 211736 edges, 735 markings/sec, 230 secs
lola: 183520 markings, 215822 edges, 662 markings/sec, 235 secs
lola: 186609 markings, 219669 edges, 618 markings/sec, 240 secs
lola: 189869 markings, 223705 edges, 652 markings/sec, 245 secs
lola: 193388 markings, 228058 edges, 704 markings/sec, 250 secs
lola: 197723 markings, 233231 edges, 867 markings/sec, 255 secs
lola: 201678 markings, 238020 edges, 791 markings/sec, 260 secs
lola: 205413 markings, 242515 edges, 747 markings/sec, 265 secs
lola: 208947 markings, 246836 edges, 707 markings/sec, 270 secs
lola: 211983 markings, 250677 edges, 607 markings/sec, 275 secs
lola: 215595 markings, 255269 edges, 722 markings/sec, 280 secs
lola: 219008 markings, 259615 edges, 683 markings/sec, 285 secs
lola: 222934 markings, 264420 edges, 785 markings/sec, 290 secs
lola: 226234 markings, 268542 edges, 660 markings/sec, 295 secs
lola: 229929 markings, 273286 edges, 739 markings/sec, 300 secs
lola: 234020 markings, 277877 edges, 818 markings/sec, 305 secs
lola: 238111 markings, 282578 edges, 818 markings/sec, 310 secs
lola: 242254 markings, 287260 edges, 829 markings/sec, 315 secs
lola: 246032 markings, 291721 edges, 756 markings/sec, 320 secs
lola: 249757 markings, 296091 edges, 745 markings/sec, 325 secs
lola: 253463 markings, 300552 edges, 741 markings/sec, 330 secs
lola: 257746 markings, 305468 edges, 857 markings/sec, 335 secs
lola: 261538 markings, 309873 edges, 758 markings/sec, 340 secs
lola: 265159 markings, 314138 edges, 724 markings/sec, 345 secs
lola: 268589 markings, 318269 edges, 686 markings/sec, 350 secs
lola: 272051 markings, 322319 edges, 692 markings/sec, 355 secs
lola: 275511 markings, 326262 edges, 692 markings/sec, 360 secs
lola: 278746 markings, 330106 edges, 647 markings/sec, 365 secs
lola: 281952 markings, 334033 edges, 641 markings/sec, 370 secs
lola: 284989 markings, 337819 edges, 607 markings/sec, 375 secs
lola: 288016 markings, 341502 edges, 605 markings/sec, 380 secs
lola: 291905 markings, 346004 edges, 778 markings/sec, 385 secs
lola: 296008 markings, 350681 edges, 821 markings/sec, 390 secs
lola: 300481 markings, 355860 edges, 895 markings/sec, 395 secs
lola: 304475 markings, 360630 edges, 799 markings/sec, 400 secs
lola: 308340 markings, 365209 edges, 773 markings/sec, 405 secs
lola: 312046 markings, 369626 edges, 741 markings/sec, 410 secs
lola: 315811 markings, 374018 edges, 753 markings/sec, 415 secs
lola: 318757 markings, 377664 edges, 589 markings/sec, 420 secs
lola: 322277 markings, 381955 edges, 704 markings/sec, 425 secs
lola: 325467 markings, 385922 edges, 638 markings/sec, 430 secs
lola: 328902 markings, 389966 edges, 687 markings/sec, 435 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 443 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p204 + p205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: 2762 markings, 2977 edges, 552 markings/sec, 0 secs
lola: 5537 markings, 6086 edges, 555 markings/sec, 5 secs
lola: 8575 markings, 9454 edges, 608 markings/sec, 10 secs
lola: 11135 markings, 12475 edges, 512 markings/sec, 15 secs
lola: 13720 markings, 15568 edges, 517 markings/sec, 20 secs
lola: 16624 markings, 18941 edges, 581 markings/sec, 25 secs
lola: 19638 markings, 22327 edges, 603 markings/sec, 30 secs
lola: 22183 markings, 25312 edges, 509 markings/sec, 35 secs
lola: 25073 markings, 28677 edges, 578 markings/sec, 40 secs
lola: 27999 markings, 31995 edges, 585 markings/sec, 45 secs
lola: 30429 markings, 34965 edges, 486 markings/sec, 50 secs
lola: 33024 markings, 38135 edges, 519 markings/sec, 55 secs
lola: 35242 markings, 41033 edges, 444 markings/sec, 60 secs
lola: 38089 markings, 44627 edges, 569 markings/sec, 65 secs
lola: 41203 markings, 48117 edges, 623 markings/sec, 70 secs
lola: 43790 markings, 51186 edges, 517 markings/sec, 75 secs
lola: 46326 markings, 54197 edges, 507 markings/sec, 80 secs
lola: 48608 markings, 57041 edges, 456 markings/sec, 85 secs
lola: 51342 markings, 60408 edges, 547 markings/sec, 90 secs
lola: 53950 markings, 63620 edges, 522 markings/sec, 95 secs
lola: 57252 markings, 67439 edges, 660 markings/sec, 100 secs
lola: 59953 markings, 70629 edges, 540 markings/sec, 105 secs
lola: 62745 markings, 73972 edges, 558 markings/sec, 110 secs
lola: 65668 markings, 77583 edges, 585 markings/sec, 115 secs
lola: 68609 markings, 81246 edges, 588 markings/sec, 120 secs
lola: 71160 markings, 84148 edges, 510 markings/sec, 125 secs
lola: 73678 markings, 87141 edges, 504 markings/sec, 130 secs
lola: 76203 markings, 90154 edges, 505 markings/sec, 135 secs
lola: 78587 markings, 92978 edges, 477 markings/sec, 140 secs
lola: 80872 markings, 95893 edges, 457 markings/sec, 145 secs
lola: 83225 markings, 98871 edges, 471 markings/sec, 150 secs
lola: 85570 markings, 101843 edges, 469 markings/sec, 155 secs
lola: 87833 markings, 104675 edges, 453 markings/sec, 160 secs
lola: 90085 markings, 107471 edges, 450 markings/sec, 165 secs
lola: 92340 markings, 110323 edges, 451 markings/sec, 170 secs
lola: 94574 markings, 113275 edges, 447 markings/sec, 175 secs
lola: 97208 markings, 116416 edges, 527 markings/sec, 180 secs
lola: 99693 markings, 119354 edges, 497 markings/sec, 185 secs
lola: 102264 markings, 122378 edges, 514 markings/sec, 190 secs
lola: 104764 markings, 125367 edges, 500 markings/sec, 195 secs
lola: 107245 markings, 128472 edges, 496 markings/sec, 200 secs
lola: 110196 markings, 131977 edges, 590 markings/sec, 205 secs
lola: 113166 markings, 135575 edges, 594 markings/sec, 210 secs
lola: 115998 markings, 138957 edges, 566 markings/sec, 215 secs
lola: 118500 markings, 142101 edges, 500 markings/sec, 220 secs
lola: 120910 markings, 145297 edges, 482 markings/sec, 225 secs
lola: 123384 markings, 148301 edges, 495 markings/sec, 230 secs
lola: 126031 markings, 151592 edges, 529 markings/sec, 235 secs
lola: 128288 markings, 154552 edges, 451 markings/sec, 240 secs
lola: 130748 markings, 157721 edges, 492 markings/sec, 245 secs
lola: 133534 markings, 161325 edges, 557 markings/sec, 250 secs
lola: 136074 markings, 164366 edges, 508 markings/sec, 255 secs
lola: 138622 markings, 167361 edges, 510 markings/sec, 260 secs
lola: 141124 markings, 170487 edges, 500 markings/sec, 265 secs
lola: 143671 markings, 173585 edges, 509 markings/sec, 270 secs
lola: 146112 markings, 176596 edges, 488 markings/sec, 275 secs
lola: 148234 markings, 179347 edges, 424 markings/sec, 280 secs
lola: 150558 markings, 182199 edges, 465 markings/sec, 285 secs
lola: 153130 markings, 185270 edges, 514 markings/sec, 290 secs
lola: 155536 markings, 188380 edges, 481 markings/sec, 295 secs
lola: 158154 markings, 191471 edges, 524 markings/sec, 300 secs
lola: 161184 markings, 195181 edges, 606 markings/sec, 305 secs
lola: 163462 markings, 198151 edges, 456 markings/sec, 310 secs
lola: 165770 markings, 201192 edges, 462 markings/sec, 315 secs
lola: 168408 markings, 204701 edges, 528 markings/sec, 320 secs
lola: 170516 markings, 207615 edges, 422 markings/sec, 325 secs
lola: 172658 markings, 210493 edges, 428 markings/sec, 330 secs
lola: 175062 markings, 213715 edges, 481 markings/sec, 335 secs
lola: 177549 markings, 216983 edges, 497 markings/sec, 340 secs
lola: 180216 markings, 220580 edges, 533 markings/sec, 345 secs
lola: 182820 markings, 223627 edges, 521 markings/sec, 350 secs
lola: 185206 markings, 226462 edges, 477 markings/sec, 355 secs
lola: 187623 markings, 229419 edges, 483 markings/sec, 360 secs
lola: 189992 markings, 232457 edges, 474 markings/sec, 365 secs
lola: 192829 markings, 235699 edges, 567 markings/sec, 370 secs
lola: 195574 markings, 238994 edges, 549 markings/sec, 375 secs
lola: 198301 markings, 242420 edges, 545 markings/sec, 380 secs
lola: 200937 markings, 245647 edges, 527 markings/sec, 385 secs
lola: 203288 markings, 248385 edges, 470 markings/sec, 390 secs
lola: 205564 markings, 251066 edges, 455 markings/sec, 395 secs
lola: 207777 markings, 253732 edges, 443 markings/sec, 400 secs
lola: 210034 markings, 256610 edges, 451 markings/sec, 405 secs
lola: 212209 markings, 259475 edges, 435 markings/sec, 410 secs
lola: 214437 markings, 262309 edges, 446 markings/sec, 415 secs
lola: 216599 markings, 265145 edges, 432 markings/sec, 420 secs
lola: 218628 markings, 267929 edges, 406 markings/sec, 425 secs
lola: 220833 markings, 270634 edges, 441 markings/sec, 430 secs
lola: 222976 markings, 273309 edges, 429 markings/sec, 435 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 443 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p92 + p91 + p90 + p88 + p87 + p86 + p85 + p83 + p82 + p81 + p80 + p78 + p77 + p76 + p68 + p67 + p66 + p65 + p63 + p62 + p61 + p60 + p58 + p57 + p56 + p55 + p53 + p52 + p51 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: 3822 markings, 4215 edges, 764 markings/sec, 0 secs
lola: 7340 markings, 8189 edges, 704 markings/sec, 5 secs
lola: 11479 markings, 12894 edges, 828 markings/sec, 10 secs
lola: 14716 markings, 16727 edges, 647 markings/sec, 15 secs
lola: 17711 markings, 20392 edges, 599 markings/sec, 20 secs
lola: 21211 markings, 24573 edges, 700 markings/sec, 25 secs
lola: 24732 markings, 29021 edges, 704 markings/sec, 30 secs
lola: 28715 markings, 33675 edges, 797 markings/sec, 35 secs
lola: 32244 markings, 37843 edges, 706 markings/sec, 40 secs
lola: 35679 markings, 41944 edges, 687 markings/sec, 45 secs
lola: 38854 markings, 45836 edges, 635 markings/sec, 50 secs
lola: 42161 markings, 50112 edges, 661 markings/sec, 55 secs
lola: 45005 markings, 53884 edges, 569 markings/sec, 60 secs
lola: 47853 markings, 57515 edges, 570 markings/sec, 65 secs
lola: 51362 markings, 61853 edges, 702 markings/sec, 70 secs
lola: 55475 markings, 66599 edges, 823 markings/sec, 75 secs
lola: 59048 markings, 70803 edges, 715 markings/sec, 80 secs
lola: 62355 markings, 74733 edges, 661 markings/sec, 85 secs
lola: 65657 markings, 78649 edges, 660 markings/sec, 90 secs
lola: 68864 markings, 82579 edges, 641 markings/sec, 95 secs
lola: 72323 markings, 86838 edges, 692 markings/sec, 100 secs
lola: 75432 markings, 90770 edges, 622 markings/sec, 105 secs
lola: 78325 markings, 94479 edges, 579 markings/sec, 110 secs
lola: 81002 markings, 97706 edges, 535 markings/sec, 115 secs
lola: 83801 markings, 101288 edges, 560 markings/sec, 120 secs
lola: 86470 markings, 104708 edges, 534 markings/sec, 125 secs
lola: 89902 markings, 108824 edges, 686 markings/sec, 130 secs
lola: 92756 markings, 112261 edges, 571 markings/sec, 135 secs
lola: 95333 markings, 115426 edges, 515 markings/sec, 140 secs
lola: 98202 markings, 118923 edges, 574 markings/sec, 145 secs
lola: 101329 markings, 122828 edges, 625 markings/sec, 150 secs
lola: 104181 markings, 126366 edges, 570 markings/sec, 155 secs
lola: 106552 markings, 129515 edges, 474 markings/sec, 160 secs
lola: 109126 markings, 132858 edges, 515 markings/sec, 165 secs
lola: 111635 markings, 136266 edges, 502 markings/sec, 170 secs
lola: 113995 markings, 139462 edges, 472 markings/sec, 175 secs
lola: 116372 markings, 142762 edges, 475 markings/sec, 180 secs
lola: 119576 markings, 146864 edges, 641 markings/sec, 185 secs
lola: 122550 markings, 150833 edges, 595 markings/sec, 190 secs
lola: 125947 markings, 155114 edges, 679 markings/sec, 195 secs
lola: 129060 markings, 158851 edges, 623 markings/sec, 200 secs
lola: 132036 markings, 162479 edges, 595 markings/sec, 205 secs
lola: 134916 markings, 166000 edges, 576 markings/sec, 210 secs
lola: 137502 markings, 169357 edges, 517 markings/sec, 215 secs
lola: 140226 markings, 172722 edges, 545 markings/sec, 220 secs
lola: 143067 markings, 176265 edges, 568 markings/sec, 225 secs
lola: 145684 markings, 179580 edges, 523 markings/sec, 230 secs
lola: 148500 markings, 183200 edges, 563 markings/sec, 235 secs
lola: 151199 markings, 186825 edges, 540 markings/sec, 240 secs
lola: 154225 markings, 190658 edges, 605 markings/sec, 245 secs
lola: 157138 markings, 194195 edges, 583 markings/sec, 250 secs
lola: 159966 markings, 197864 edges, 566 markings/sec, 255 secs
lola: 162755 markings, 201509 edges, 558 markings/sec, 260 secs
lola: 165263 markings, 204762 edges, 502 markings/sec, 265 secs
lola: 168503 markings, 208809 edges, 648 markings/sec, 270 secs
lola: 171512 markings, 212737 edges, 602 markings/sec, 275 secs
lola: 174071 markings, 216306 edges, 512 markings/sec, 280 secs
lola: 176882 markings, 219914 edges, 562 markings/sec, 285 secs
lola: 179908 markings, 223742 edges, 605 markings/sec, 290 secs
lola: 182466 markings, 227147 edges, 512 markings/sec, 295 secs
lola: 185100 markings, 230638 edges, 527 markings/sec, 300 secs
lola: 187621 markings, 234133 edges, 504 markings/sec, 305 secs
lola: 190337 markings, 237771 edges, 543 markings/sec, 310 secs
lola: 192614 markings, 240856 edges, 455 markings/sec, 315 secs
lola: 194821 markings, 243878 edges, 441 markings/sec, 320 secs
lola: 196970 markings, 246946 edges, 430 markings/sec, 325 secs
lola: 199981 markings, 250637 edges, 602 markings/sec, 330 secs
lola: 203022 markings, 254156 edges, 608 markings/sec, 335 secs
lola: 205893 markings, 257714 edges, 574 markings/sec, 340 secs
lola: 208897 markings, 261451 edges, 601 markings/sec, 345 secs
lola: 211520 markings, 264697 edges, 525 markings/sec, 350 secs
lola: 214272 markings, 268128 edges, 550 markings/sec, 355 secs
lola: 216866 markings, 271616 edges, 519 markings/sec, 360 secs
lola: 219904 markings, 275228 edges, 608 markings/sec, 365 secs
lola: 222515 markings, 278459 edges, 522 markings/sec, 370 secs
lola: 225200 markings, 281699 edges, 537 markings/sec, 375 secs
lola: 227848 markings, 285066 edges, 530 markings/sec, 380 secs
lola: 230821 markings, 288823 edges, 595 markings/sec, 385 secs
lola: 233239 markings, 291809 edges, 484 markings/sec, 390 secs
lola: 235666 markings, 294899 edges, 485 markings/sec, 395 secs
lola: 237954 markings, 297912 edges, 458 markings/sec, 400 secs
lola: 240190 markings, 301000 edges, 447 markings/sec, 405 secs
lola: 242364 markings, 304037 edges, 435 markings/sec, 410 secs
lola: 245661 markings, 307947 edges, 659 markings/sec, 415 secs
lola: 249142 markings, 311881 edges, 696 markings/sec, 420 secs
lola: 251978 markings, 315157 edges, 567 markings/sec, 425 secs
lola: 255427 markings, 319104 edges, 690 markings/sec, 430 secs
lola: 258723 markings, 322866 edges, 659 markings/sec, 435 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 444 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p359 + p358 + p357 + p356 + p355 + p354 + p353 + p352 + p351 + p350 + p349 + p348 + p347 + p346 + p345 + p344 + p343 + p342 + p341 + p340 + p339 + p338 + p337 + p336 + p335 + p334 + p333 + p332 + p331 + p330 + p329 + p328 + p327 + p326 + p325 + p324 + p323 + p322 + p321 + p320 + p319 + p318 + p317 + p316 + p315 + p314 + p313 + p312 + p311 + p310)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: 3858 markings, 4255 edges, 772 markings/sec, 0 secs
lola: 7456 markings, 8330 edges, 720 markings/sec, 5 secs
lola: 11536 markings, 12958 edges, 816 markings/sec, 10 secs
lola: 14630 markings, 16633 edges, 619 markings/sec, 15 secs
lola: 17667 markings, 20334 edges, 607 markings/sec, 20 secs
lola: 21059 markings, 24394 edges, 678 markings/sec, 25 secs
lola: 24422 markings, 28651 edges, 673 markings/sec, 30 secs
lola: 28458 markings, 33368 edges, 807 markings/sec, 35 secs
lola: 31726 markings, 37207 edges, 654 markings/sec, 40 secs
lola: 35039 markings, 41197 edges, 663 markings/sec, 45 secs
lola: 38275 markings, 45053 edges, 647 markings/sec, 50 secs
lola: 41611 markings, 49373 edges, 667 markings/sec, 55 secs
lola: 44393 markings, 53063 edges, 556 markings/sec, 60 secs
lola: 47041 markings, 56414 edges, 530 markings/sec, 65 secs
lola: 49601 markings, 59858 edges, 512 markings/sec, 70 secs
lola: 53820 markings, 64676 edges, 844 markings/sec, 75 secs
lola: 57550 markings, 68995 edges, 746 markings/sec, 80 secs
lola: 60949 markings, 73000 edges, 680 markings/sec, 85 secs
lola: 64322 markings, 77071 edges, 675 markings/sec, 90 secs
lola: 67392 markings, 80749 edges, 614 markings/sec, 95 secs
lola: 70835 markings, 84973 edges, 689 markings/sec, 100 secs
lola: 74042 markings, 89030 edges, 641 markings/sec, 105 secs
lola: 76810 markings, 92540 edges, 554 markings/sec, 110 secs
lola: 79906 markings, 96331 edges, 619 markings/sec, 115 secs
lola: 82685 markings, 99809 edges, 556 markings/sec, 120 secs
lola: 85293 markings, 103281 edges, 522 markings/sec, 125 secs
lola: 89005 markings, 107749 edges, 742 markings/sec, 130 secs
lola: 92038 markings, 111416 edges, 607 markings/sec, 135 secs
lola: 94947 markings, 114929 edges, 582 markings/sec, 140 secs
lola: 97804 markings, 118445 edges, 571 markings/sec, 145 secs
lola: 101207 markings, 122679 edges, 681 markings/sec, 150 secs
lola: 104259 markings, 126466 edges, 610 markings/sec, 155 secs
lola: 106536 markings, 129490 edges, 455 markings/sec, 160 secs
lola: 109180 markings, 132939 edges, 529 markings/sec, 165 secs
lola: 111736 markings, 136407 edges, 511 markings/sec, 170 secs
lola: 114010 markings, 139490 edges, 455 markings/sec, 175 secs
lola: 116392 markings, 142792 edges, 476 markings/sec, 180 secs
lola: 119469 markings, 146715 edges, 615 markings/sec, 185 secs
lola: 122471 markings, 150721 edges, 600 markings/sec, 190 secs
lola: 125924 markings, 155081 edges, 691 markings/sec, 195 secs
lola: 128895 markings, 158659 edges, 594 markings/sec, 200 secs
lola: 131928 markings, 162346 edges, 607 markings/sec, 205 secs
lola: 134717 markings, 165740 edges, 558 markings/sec, 210 secs
lola: 137144 markings, 168849 edges, 485 markings/sec, 215 secs
lola: 139822 markings, 172227 edges, 536 markings/sec, 220 secs
lola: 142386 markings, 175418 edges, 513 markings/sec, 225 secs
lola: 145096 markings, 178777 edges, 542 markings/sec, 230 secs
lola: 147599 markings, 182063 edges, 501 markings/sec, 235 secs
lola: 150353 markings, 185664 edges, 551 markings/sec, 240 secs
lola: 153309 markings, 189524 edges, 591 markings/sec, 245 secs
lola: 156143 markings, 192975 edges, 567 markings/sec, 250 secs
lola: 158521 markings, 195983 edges, 476 markings/sec, 255 secs
lola: 161507 markings, 199825 edges, 597 markings/sec, 260 secs
lola: 163961 markings, 203021 edges, 491 markings/sec, 265 secs
lola: 166763 markings, 206586 edges, 560 markings/sec, 270 secs
lola: 169423 markings, 210024 edges, 532 markings/sec, 275 secs
lola: 172233 markings, 213740 edges, 562 markings/sec, 280 secs
lola: 174643 markings, 217101 edges, 482 markings/sec, 285 secs
lola: 177787 markings, 221090 edges, 629 markings/sec, 290 secs
lola: 180419 markings, 224409 edges, 526 markings/sec, 295 secs
lola: 182950 markings, 227796 edges, 506 markings/sec, 300 secs
lola: 185576 markings, 231289 edges, 525 markings/sec, 305 secs
lola: 188044 markings, 234720 edges, 494 markings/sec, 310 secs
lola: 190708 markings, 238253 edges, 533 markings/sec, 315 secs
lola: 193048 markings, 241477 edges, 468 markings/sec, 320 secs
lola: 195188 markings, 244373 edges, 428 markings/sec, 325 secs
lola: 197352 markings, 247503 edges, 433 markings/sec, 330 secs
lola: 200380 markings, 251085 edges, 606 markings/sec, 335 secs
lola: 203150 markings, 254312 edges, 554 markings/sec, 340 secs
lola: 205839 markings, 257646 edges, 538 markings/sec, 345 secs
lola: 208408 markings, 260869 edges, 514 markings/sec, 350 secs
lola: 210972 markings, 263975 edges, 513 markings/sec, 355 secs
lola: 213566 markings, 267221 edges, 519 markings/sec, 360 secs
lola: 216035 markings, 270472 edges, 494 markings/sec, 365 secs
lola: 218880 markings, 274015 edges, 569 markings/sec, 370 secs
lola: 221238 markings, 276928 edges, 472 markings/sec, 375 secs
lola: 223613 markings, 279737 edges, 475 markings/sec, 380 secs
lola: 226006 markings, 282716 edges, 479 markings/sec, 385 secs
lola: 228521 markings, 286027 edges, 503 markings/sec, 390 secs
lola: 231437 markings, 289617 edges, 583 markings/sec, 395 secs
lola: 233782 markings, 292518 edges, 469 markings/sec, 400 secs
lola: 236204 markings, 295576 edges, 484 markings/sec, 405 secs
lola: 238587 markings, 298748 edges, 477 markings/sec, 410 secs
lola: 240849 markings, 301889 edges, 452 markings/sec, 415 secs
lola: 242942 markings, 304911 edges, 419 markings/sec, 420 secs
lola: 246886 markings, 309349 edges, 789 markings/sec, 425 secs
lola: 250267 markings, 313163 edges, 676 markings/sec, 430 secs
lola: 253391 markings, 316781 edges, 625 markings/sec, 435 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 444 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p204 + p205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1124 bytes per marking, with 0 unused bits
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: 2856 markings, 3074 edges, 571 markings/sec, 0 secs
lola: 5507 markings, 6056 edges, 530 markings/sec, 5 secs
lola: 8145 markings, 8963 edges, 528 markings/sec, 10 secs
lola: 10311 markings, 11526 edges, 433 markings/sec, 15 secs
lola: 12657 markings, 14292 edges, 469 markings/sec, 20 secs
lola: 15268 markings, 17385 edges, 522 markings/sec, 25 secs
lola: 18085 markings, 20567 edges, 563 markings/sec, 30 secs
lola: 20485 markings, 23297 edges, 480 markings/sec, 35 secs
lola: 22741 markings, 25974 edges, 451 markings/sec, 40 secs
lola: 25238 markings, 28866 edges, 499 markings/sec, 45 secs
lola: 27853 markings, 31830 edges, 523 markings/sec, 50 secs
lola: 29941 markings, 34347 edges, 418 markings/sec, 55 secs
lola: 31924 markings, 36814 edges, 397 markings/sec, 60 secs
lola: 34207 markings, 39672 edges, 457 markings/sec, 65 secs
lola: 36741 markings, 42914 edges, 507 markings/sec, 70 secs
lola: 39358 markings, 46025 edges, 523 markings/sec, 75 secs
lola: 42322 markings, 49462 edges, 593 markings/sec, 80 secs
lola: 44958 markings, 52594 edges, 527 markings/sec, 85 secs
lola: 47427 markings, 55546 edges, 494 markings/sec, 90 secs
lola: 49935 markings, 58663 edges, 502 markings/sec, 95 secs
lola: 52539 markings, 61981 edges, 521 markings/sec, 100 secs
lola: 55288 markings, 65103 edges, 550 markings/sec, 105 secs
lola: 58359 markings, 68705 edges, 614 markings/sec, 110 secs
lola: 61019 markings, 71909 edges, 532 markings/sec, 115 secs
lola: 63462 markings, 74908 edges, 489 markings/sec, 120 secs
lola: 66132 markings, 78186 edges, 534 markings/sec, 125 secs
lola: 68710 markings, 81362 edges, 516 markings/sec, 130 secs
lola: 71188 markings, 84177 edges, 496 markings/sec, 135 secs
lola: 73550 markings, 86969 edges, 472 markings/sec, 140 secs
lola: 75607 markings, 89464 edges, 411 markings/sec, 145 secs
lola: 77666 markings, 91890 edges, 412 markings/sec, 150 secs
lola: 79747 markings, 94435 edges, 416 markings/sec, 155 secs
lola: 81879 markings, 97180 edges, 426 markings/sec, 160 secs
lola: 84078 markings, 99950 edges, 440 markings/sec, 165 secs
lola: 86078 markings, 102514 edges, 400 markings/sec, 170 secs
lola: 88238 markings, 105157 edges, 432 markings/sec, 175 secs
lola: 90305 markings, 107741 edges, 413 markings/sec, 180 secs
lola: 92429 markings, 110434 edges, 425 markings/sec, 185 secs
lola: 94392 markings, 113034 edges, 393 markings/sec, 190 secs
lola: 96670 markings, 115820 edges, 456 markings/sec, 195 secs
lola: 99017 markings, 118553 edges, 469 markings/sec, 200 secs
lola: 101519 markings, 121496 edges, 500 markings/sec, 205 secs
lola: 103589 markings, 123981 edges, 414 markings/sec, 210 secs
lola: 105543 markings, 126345 edges, 391 markings/sec, 215 secs
lola: 107470 markings, 128754 edges, 385 markings/sec, 220 secs
lola: 109781 markings, 131512 edges, 462 markings/sec, 225 secs
lola: 112331 markings, 134509 edges, 510 markings/sec, 230 secs
lola: 114593 markings, 137265 edges, 452 markings/sec, 235 secs
lola: 117112 markings, 140307 edges, 504 markings/sec, 240 secs
lola: 119093 markings, 142896 edges, 396 markings/sec, 245 secs
lola: 121204 markings, 145688 edges, 422 markings/sec, 250 secs
lola: 123422 markings, 148344 edges, 444 markings/sec, 255 secs
lola: 125799 markings, 151306 edges, 475 markings/sec, 260 secs
lola: 127936 markings, 154105 edges, 427 markings/sec, 265 secs
lola: 130003 markings, 156750 edges, 413 markings/sec, 270 secs
lola: 132101 markings, 159470 edges, 420 markings/sec, 275 secs
lola: 134468 markings, 162521 edges, 473 markings/sec, 280 secs
lola: 136429 markings, 164777 edges, 392 markings/sec, 285 secs
lola: 138483 markings, 167193 edges, 411 markings/sec, 290 secs
lola: 140723 markings, 170010 edges, 448 markings/sec, 295 secs
lola: 142721 markings, 172458 edges, 400 markings/sec, 300 secs
lola: 145059 markings, 175325 edges, 468 markings/sec, 305 secs
lola: 147265 markings, 178091 edges, 441 markings/sec, 310 secs
lola: 149169 markings, 180543 edges, 381 markings/sec, 315 secs
lola: 151573 markings, 183386 edges, 481 markings/sec, 320 secs
lola: 153741 markings, 186029 edges, 434 markings/sec, 325 secs
lola: 155819 markings, 188723 edges, 416 markings/sec, 330 secs
lola: 158201 markings, 191524 edges, 476 markings/sec, 335 secs
lola: 160836 markings, 194744 edges, 527 markings/sec, 340 secs
lola: 163024 markings, 197564 edges, 438 markings/sec, 345 secs
lola: 164921 markings, 200122 edges, 379 markings/sec, 350 secs
lola: 167380 markings, 203306 edges, 492 markings/sec, 355 secs
lola: 169484 markings, 206194 edges, 421 markings/sec, 360 secs
lola: 171281 markings, 208712 edges, 359 markings/sec, 365 secs
lola: 173101 markings, 211087 edges, 364 markings/sec, 370 secs
lola: 174937 markings, 213546 edges, 367 markings/sec, 375 secs
lola: 176936 markings, 216198 edges, 400 markings/sec, 380 secs
lola: 179166 markings, 219160 edges, 446 markings/sec, 385 secs
lola: 181351 markings, 222004 edges, 437 markings/sec, 390 secs
lola: 183783 markings, 224769 edges, 486 markings/sec, 395 secs
lola: 185753 markings, 227123 edges, 394 markings/sec, 400 secs
lola: 187812 markings, 229659 edges, 412 markings/sec, 405 secs
lola: 190080 markings, 232572 edges, 454 markings/sec, 410 secs
lola: 192716 markings, 235573 edges, 527 markings/sec, 415 secs
lola: 195008 markings, 238314 edges, 458 markings/sec, 420 secs
lola: 197358 markings, 241196 edges, 470 markings/sec, 425 secs
lola: 199661 markings, 244156 edges, 461 markings/sec, 430 secs
lola: 201823 markings, 246658 edges, 432 markings/sec, 435 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown 2 50 50 unknown 2 50 unknown 2 unknown unknown unknown unknown unknown
FORMULA DotAndBoxes-COL-5-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-3 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-4 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-5 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-7 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-8 50 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-10 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DotAndBoxes-COL-5-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496355321205
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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="S_DotAndBoxes-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/S_DotAndBoxes-COL-5.tgz
mv S_DotAndBoxes-COL-5 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_DotAndBoxes-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 r108-blw3-149441612100173"
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 '
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 ;