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 DotAndBoxes-COL-5, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264000173
=====================================================================

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DotAndBoxes-COL-5 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 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(p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p333 + p332 + p308 + p307 + p282) : MAX(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 + p209 + p210 + p211 + p212 + p214 + p215 + p216 + p217 + p219 + p220 + p221 + p222 + p229 + p230 + p231 + p232 + p234 + p235 + p236 + p237 + p239 + p240 + p241 + p242 + p244 + p245 + p246 + p247 + p253 + p252 + p251 + p250 + p249 + p248 + p243 + p238 + p233 + p228 + p227 + p226 + p225 + p224 + p223 + p218 + p213 + p208) : MAX(p358 + p359) : MAX(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p52 + p51 + p50 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p26 + p25 + p24 + p23 + p22 + p21 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p27 + p53) : MAX(p100 + p101 + p102 + p103 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p100 + p101 + p102 + p103 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p333 + p332 + p308 + p307 + p282) : MAX(p254 + p256 + p257 + p255) : MAX(p100 + p101 + p102 + p103 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(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 + p209 + p210 + p211 + p212 + p214 + p215 + p216 + p217 + p219 + p220 + p221 + p222 + p229 + p230 + p231 + p232 + p234 + p235 + p236 + p237 + p239 + p240 + p241 + p242 + p244 + p245 + p246 + p247 + p253 + p252 + p251 + p250 + p249 + p248 + p243 + p238 + p233 + p228 + p227 + p226 + p225 + p224 + p223 + p218 + p213 + p208) : MAX(p254 + p256 + p257 + p255) : MAX(p0 + p1) : MAX(p358 + p359) : MAX(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 + p209 + p210 + p211 + p212 + p214 + p215 + p216 + p217 + p219 + p220 + p221 + p222 + p229 + p230 + p231 + p232 + p234 + p235 + p236 + p237 + p239 + p240 + p241 + p242 + p244 + p245 + p246 + p247 + p253 + p252 + p251 + p250 + p249 + p248 + p243 + p238 + p233 + p228 + p227 + p226 + p225 + p224 + p223 + p218 + p213 + p208) : 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 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p153 + p152 + p151 + p150) : MAX(p358 + p359)
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(p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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: 5142 markings, 5575 edges, 1028 markings/sec, 0 secs
lola: 10532 markings, 11490 edges, 1078 markings/sec, 5 secs
lola: 15350 markings, 17060 edges, 964 markings/sec, 10 secs
lola: 20635 markings, 22896 edges, 1057 markings/sec, 15 secs
lola: 25477 markings, 28519 edges, 968 markings/sec, 20 secs
lola: 30501 markings, 34441 edges, 1005 markings/sec, 25 secs
lola: 35378 markings, 40208 edges, 975 markings/sec, 30 secs
lola: 40372 markings, 46152 edges, 999 markings/sec, 35 secs
lola: 44588 markings, 51496 edges, 843 markings/sec, 40 secs
lola: 49268 markings, 56807 edges, 936 markings/sec, 45 secs
lola: 54268 markings, 62445 edges, 1000 markings/sec, 50 secs
lola: 58686 markings, 67510 edges, 884 markings/sec, 55 secs
lola: 63664 markings, 73146 edges, 996 markings/sec, 60 secs
lola: 68375 markings, 78439 edges, 942 markings/sec, 65 secs
lola: 73060 markings, 83986 edges, 937 markings/sec, 70 secs
lola: 77793 markings, 89503 edges, 947 markings/sec, 75 secs
lola: 82709 markings, 95299 edges, 983 markings/sec, 80 secs
lola: 87442 markings, 101041 edges, 947 markings/sec, 85 secs
lola: 91774 markings, 106361 edges, 866 markings/sec, 90 secs
lola: 95470 markings, 111090 edges, 739 markings/sec, 95 secs
lola: 100804 markings, 116961 edges, 1067 markings/sec, 100 secs
lola: 105895 markings, 122750 edges, 1018 markings/sec, 105 secs
lola: 111118 markings, 128668 edges, 1045 markings/sec, 110 secs
lola: 115888 markings, 134266 edges, 954 markings/sec, 115 secs
lola: 120880 markings, 140245 edges, 998 markings/sec, 120 secs
lola: 125718 markings, 145996 edges, 968 markings/sec, 125 secs
lola: 130794 markings, 152357 edges, 1015 markings/sec, 130 secs
lola: 135914 markings, 158113 edges, 1024 markings/sec, 135 secs
lola: 140561 markings, 163401 edges, 929 markings/sec, 140 secs
lola: 145736 markings, 169329 edges, 1035 markings/sec, 145 secs
lola: 150060 markings, 174488 edges, 865 markings/sec, 150 secs
lola: 154722 markings, 180017 edges, 932 markings/sec, 155 secs
lola: 159289 markings, 185323 edges, 913 markings/sec, 160 secs
lola: 163719 markings, 190726 edges, 886 markings/sec, 165 secs
lola: 168340 markings, 196472 edges, 924 markings/sec, 170 secs
lola: 173608 markings, 203135 edges, 1054 markings/sec, 175 secs
lola: 178417 markings, 208602 edges, 962 markings/sec, 180 secs
lola: 183015 markings, 213851 edges, 920 markings/sec, 185 secs
lola: 187502 markings, 219013 edges, 897 markings/sec, 190 secs
lola: 191749 markings, 223940 edges, 849 markings/sec, 195 secs
lola: 196400 markings, 229490 edges, 930 markings/sec, 200 secs
lola: 200951 markings, 234883 edges, 910 markings/sec, 205 secs
lola: 205317 markings, 240171 edges, 873 markings/sec, 210 secs
lola: 209985 markings, 245717 edges, 934 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(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 + p209 + p210 + p211... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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: 8492 markings, 9595 edges, 1698 markings/sec, 0 secs
lola: 16632 markings, 19001 edges, 1628 markings/sec, 5 secs
lola: 25153 markings, 28845 edges, 1704 markings/sec, 10 secs
lola: 32790 markings, 38022 edges, 1527 markings/sec, 15 secs
lola: 40269 markings, 47419 edges, 1496 markings/sec, 20 secs
lola: 47926 markings, 56801 edges, 1531 markings/sec, 25 secs
lola: 55297 markings, 66281 edges, 1474 markings/sec, 30 secs
lola: 62986 markings, 75543 edges, 1538 markings/sec, 35 secs
lola: 70614 markings, 84766 edges, 1526 markings/sec, 40 secs
lola: 78076 markings, 93997 edges, 1492 markings/sec, 45 secs
lola: 85260 markings, 102769 edges, 1437 markings/sec, 50 secs
lola: 92371 markings, 112272 edges, 1422 markings/sec, 55 secs
lola: 99211 markings, 121607 edges, 1368 markings/sec, 60 secs
lola: 105975 markings, 130498 edges, 1353 markings/sec, 65 secs
lola: 112908 markings, 139620 edges, 1387 markings/sec, 70 secs
lola: 121082 markings, 149124 edges, 1635 markings/sec, 75 secs
lola: 128821 markings, 158238 edges, 1548 markings/sec, 80 secs
lola: 136578 markings, 167500 edges, 1551 markings/sec, 85 secs
lola: 143962 markings, 176497 edges, 1477 markings/sec, 90 secs
lola: 151025 markings, 185066 edges, 1413 markings/sec, 95 secs
lola: 158402 markings, 194336 edges, 1475 markings/sec, 100 secs
lola: 165741 markings, 203855 edges, 1468 markings/sec, 105 secs
lola: 172527 markings, 212690 edges, 1357 markings/sec, 110 secs
lola: 179722 markings, 221608 edges, 1439 markings/sec, 115 secs
lola: 186366 markings, 230183 edges, 1329 markings/sec, 120 secs
lola: 192964 markings, 238853 edges, 1320 markings/sec, 125 secs
lola: 200245 markings, 247812 edges, 1456 markings/sec, 130 secs
lola: 207231 markings, 256445 edges, 1397 markings/sec, 135 secs
lola: 213923 markings, 264927 edges, 1338 markings/sec, 140 secs
lola: 220894 markings, 273706 edges, 1394 markings/sec, 145 secs
lola: 227937 markings, 282632 edges, 1409 markings/sec, 150 secs
lola: 234393 markings, 290846 edges, 1291 markings/sec, 155 secs
lola: 240957 markings, 299763 edges, 1313 markings/sec, 160 secs
lola: 247498 markings, 308797 edges, 1308 markings/sec, 165 secs
lola: 253864 markings, 317721 edges, 1273 markings/sec, 170 secs
lola: 260059 markings, 326575 edges, 1239 markings/sec, 175 secs
lola: 267096 markings, 335629 edges, 1407 markings/sec, 180 secs
lola: 273671 markings, 344644 edges, 1315 markings/sec, 185 secs
lola: 280846 markings, 353756 edges, 1435 markings/sec, 190 secs
lola: 288033 markings, 362483 edges, 1437 markings/sec, 195 secs
lola: 294876 markings, 371074 edges, 1369 markings/sec, 200 secs
lola: 301609 markings, 379347 edges, 1347 markings/sec, 205 secs
lola: 307796 markings, 387542 edges, 1237 markings/sec, 210 secs
lola: 314302 markings, 395755 edges, 1301 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(p358 + p359)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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: 3676 markings, 3807 edges, 735 markings/sec, 0 secs
lola: 7144 markings, 7622 edges, 694 markings/sec, 5 secs
lola: 10789 markings, 11519 edges, 729 markings/sec, 10 secs
lola: 14365 markings, 15366 edges, 715 markings/sec, 15 secs
lola: 17818 markings, 19238 edges, 691 markings/sec, 20 secs
lola: 20962 markings, 22797 edges, 629 markings/sec, 25 secs
lola: 24138 markings, 26316 edges, 635 markings/sec, 30 secs
lola: 27523 markings, 29995 edges, 677 markings/sec, 35 secs
lola: 30664 markings, 33693 edges, 628 markings/sec, 40 secs
lola: 33958 markings, 37349 edges, 659 markings/sec, 45 secs
lola: 37169 markings, 40850 edges, 642 markings/sec, 50 secs
lola: 40258 markings, 44474 edges, 618 markings/sec, 55 secs
lola: 43255 markings, 48040 edges, 599 markings/sec, 60 secs
lola: 46078 markings, 51418 edges, 565 markings/sec, 65 secs
lola: 49029 markings, 54946 edges, 590 markings/sec, 70 secs
lola: 52499 markings, 58832 edges, 694 markings/sec, 75 secs
lola: 55962 markings, 62756 edges, 693 markings/sec, 80 secs
lola: 58994 markings, 66307 edges, 606 markings/sec, 85 secs
lola: 62349 markings, 70104 edges, 671 markings/sec, 90 secs
lola: 66036 markings, 74221 edges, 737 markings/sec, 95 secs
lola: 69463 markings, 78078 edges, 685 markings/sec, 100 secs
lola: 72709 markings, 81782 edges, 649 markings/sec, 105 secs
lola: 76058 markings, 85714 edges, 670 markings/sec, 110 secs
lola: 79280 markings, 89519 edges, 644 markings/sec, 115 secs
lola: 82471 markings, 93214 edges, 638 markings/sec, 120 secs
lola: 85392 markings, 96707 edges, 584 markings/sec, 125 secs
lola: 88554 markings, 100448 edges, 632 markings/sec, 130 secs
lola: 91668 markings, 104121 edges, 623 markings/sec, 135 secs
lola: 94835 markings, 107684 edges, 633 markings/sec, 140 secs
lola: 97886 markings, 111370 edges, 610 markings/sec, 145 secs
lola: 100878 markings, 115050 edges, 598 markings/sec, 150 secs
lola: 104026 markings, 118787 edges, 630 markings/sec, 155 secs
lola: 107309 markings, 122493 edges, 657 markings/sec, 160 secs
lola: 110438 markings, 126062 edges, 626 markings/sec, 165 secs
lola: 113656 markings, 129760 edges, 644 markings/sec, 170 secs
lola: 116648 markings, 133372 edges, 598 markings/sec, 175 secs
lola: 119681 markings, 137172 edges, 607 markings/sec, 180 secs
lola: 122775 markings, 141040 edges, 619 markings/sec, 185 secs
lola: 125721 markings, 144630 edges, 589 markings/sec, 190 secs
lola: 128704 markings, 148268 edges, 597 markings/sec, 195 secs
lola: 131345 markings, 151603 edges, 528 markings/sec, 200 secs
lola: 133868 markings, 154807 edges, 505 markings/sec, 205 secs
lola: 136631 markings, 158201 edges, 553 markings/sec, 210 secs
lola: 139275 markings, 161453 edges, 529 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(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p52 + p51 + p50 + p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p26 + p25 + p24 + p23 + p22 + p21 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p27 + p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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(p100 + p101 + p102 + p103 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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(p100 + p101 + p102 + p103 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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(p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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: 5165 markings, 5599 edges, 1033 markings/sec, 0 secs
lola: 10683 markings, 11653 edges, 1104 markings/sec, 5 secs
lola: 15468 markings, 17194 edges, 957 markings/sec, 10 secs
lola: 20724 markings, 23003 edges, 1051 markings/sec, 15 secs
lola: 25610 markings, 28685 edges, 977 markings/sec, 20 secs
lola: 30644 markings, 34607 edges, 1007 markings/sec, 25 secs
lola: 35587 markings, 40436 edges, 989 markings/sec, 30 secs
lola: 40543 markings, 46353 edges, 991 markings/sec, 35 secs
lola: 44758 markings, 51721 edges, 843 markings/sec, 40 secs
lola: 49531 markings, 57101 edges, 955 markings/sec, 45 secs
lola: 54508 markings, 62717 edges, 995 markings/sec, 50 secs
lola: 58958 markings, 67814 edges, 890 markings/sec, 55 secs
lola: 63913 markings, 73423 edges, 991 markings/sec, 60 secs
lola: 68615 markings, 78719 edges, 940 markings/sec, 65 secs
lola: 73298 markings, 84280 edges, 937 markings/sec, 70 secs
lola: 78016 markings, 89774 edges, 944 markings/sec, 75 secs
lola: 82937 markings, 95572 edges, 984 markings/sec, 80 secs
lola: 87691 markings, 101336 edges, 951 markings/sec, 85 secs
lola: 91973 markings, 106612 edges, 856 markings/sec, 90 secs
lola: 95679 markings, 111350 edges, 741 markings/sec, 95 secs
lola: 101051 markings, 117245 edges, 1074 markings/sec, 100 secs
lola: 106157 markings, 123063 edges, 1021 markings/sec, 105 secs
lola: 111390 markings, 128960 edges, 1047 markings/sec, 110 secs
lola: 116147 markings, 134567 edges, 951 markings/sec, 115 secs
lola: 121058 markings, 140466 edges, 982 markings/sec, 120 secs
lola: 125967 markings, 146296 edges, 982 markings/sec, 125 secs
lola: 131053 markings, 152647 edges, 1017 markings/sec, 130 secs
lola: 136096 markings, 158338 edges, 1009 markings/sec, 135 secs
lola: 140848 markings, 163731 edges, 950 markings/sec, 140 secs
lola: 145935 markings, 169561 edges, 1017 markings/sec, 145 secs
lola: 150255 markings, 174733 edges, 864 markings/sec, 150 secs
lola: 154935 markings, 180278 edges, 936 markings/sec, 155 secs
lola: 159523 markings, 185603 edges, 918 markings/sec, 160 secs
lola: 164009 markings, 191067 edges, 897 markings/sec, 165 secs
lola: 168648 markings, 196836 edges, 928 markings/sec, 170 secs
lola: 173850 markings, 203403 edges, 1040 markings/sec, 175 secs
lola: 178702 markings, 208918 edges, 970 markings/sec, 180 secs
lola: 183269 markings, 214131 edges, 913 markings/sec, 185 secs
lola: 187716 markings, 219259 edges, 889 markings/sec, 190 secs
lola: 192005 markings, 224246 edges, 858 markings/sec, 195 secs
lola: 196644 markings, 229779 edges, 928 markings/sec, 200 secs
lola: 201156 markings, 235133 edges, 902 markings/sec, 205 secs
lola: 205559 markings, 240439 edges, 881 markings/sec, 210 secs
lola: 210276 markings, 246077 edges, 943 markings/sec, 215 secs
lola: 214562 markings, 251318 edges, 857 markings/sec, 220 secs
lola: 218310 markings, 256112 edges, 750 markings/sec, 225 secs
lola: 221880 markings, 260683 edges, 714 markings/sec, 230 secs
lola: 225651 markings, 265353 edges, 754 markings/sec, 235 secs
lola: 230793 markings, 271131 edges, 1028 markings/sec, 240 secs
lola: 235734 markings, 276771 edges, 988 markings/sec, 245 secs
lola: 240584 markings, 282523 edges, 970 markings/sec, 250 secs
lola: 245813 markings, 288552 edges, 1046 markings/sec, 255 secs
lola: 250407 markings, 293898 edges, 919 markings/sec, 260 secs
lola: 254256 markings, 298490 edges, 770 markings/sec, 265 secs
lola: 258944 markings, 304096 edges, 938 markings/sec, 270 secs
lola: 264080 markings, 310304 edges, 1027 markings/sec, 275 secs
lola: 268383 markings, 315570 edges, 861 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(p254 + p256 + p257 + p255)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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(p100 + p101 + p102 + p103 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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 370 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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 + p209 + p210 + p211... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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: 8499 markings, 9602 edges, 1700 markings/sec, 0 secs
lola: 16641 markings, 19010 edges, 1628 markings/sec, 5 secs
lola: 25168 markings, 28860 edges, 1705 markings/sec, 10 secs
lola: 32795 markings, 38031 edges, 1525 markings/sec, 15 secs
lola: 40272 markings, 47426 edges, 1495 markings/sec, 20 secs
lola: 47933 markings, 56808 edges, 1532 markings/sec, 25 secs
lola: 55275 markings, 66255 edges, 1468 markings/sec, 30 secs
lola: 62960 markings, 75511 edges, 1537 markings/sec, 35 secs
lola: 70573 markings, 84720 edges, 1523 markings/sec, 40 secs
lola: 78053 markings, 93957 edges, 1496 markings/sec, 45 secs
lola: 85233 markings, 102728 edges, 1436 markings/sec, 50 secs
lola: 91797 markings, 111524 edges, 1313 markings/sec, 55 secs
lola: 98690 markings, 120915 edges, 1379 markings/sec, 60 secs
lola: 105515 markings, 129832 edges, 1365 markings/sec, 65 secs
lola: 112183 markings, 138805 edges, 1334 markings/sec, 70 secs
lola: 120427 markings, 148365 edges, 1649 markings/sec, 75 secs
lola: 128156 markings, 157459 edges, 1546 markings/sec, 80 secs
lola: 135877 markings, 166651 edges, 1544 markings/sec, 85 secs
lola: 143325 markings, 175719 edges, 1490 markings/sec, 90 secs
lola: 150394 markings, 184281 edges, 1414 markings/sec, 95 secs
lola: 157770 markings, 193528 edges, 1475 markings/sec, 100 secs
lola: 165094 markings, 203032 edges, 1465 markings/sec, 105 secs
lola: 171920 markings, 211847 edges, 1365 markings/sec, 110 secs
lola: 179110 markings, 220822 edges, 1438 markings/sec, 115 secs
lola: 185833 markings, 229445 edges, 1345 markings/sec, 120 secs
lola: 192304 markings, 238065 edges, 1294 markings/sec, 125 secs
lola: 199540 markings, 246987 edges, 1447 markings/sec, 130 secs
lola: 206670 markings, 255762 edges, 1426 markings/sec, 135 secs
lola: 213314 markings, 264157 edges, 1329 markings/sec, 140 secs
lola: 220367 markings, 272989 edges, 1411 markings/sec, 145 secs
lola: 227366 markings, 281928 edges, 1400 markings/sec, 150 secs
lola: 233893 markings, 290183 edges, 1305 markings/sec, 155 secs
lola: 240384 markings, 298980 edges, 1298 markings/sec, 160 secs
lola: 246977 markings, 308078 edges, 1319 markings/sec, 165 secs
lola: 253369 markings, 317006 edges, 1278 markings/sec, 170 secs
lola: 259538 markings, 325841 edges, 1234 markings/sec, 175 secs
lola: 266573 markings, 334916 edges, 1407 markings/sec, 180 secs
lola: 273167 markings, 343949 edges, 1319 markings/sec, 185 secs
lola: 280260 markings, 353071 edges, 1419 markings/sec, 190 secs
lola: 287429 markings, 361773 edges, 1434 markings/sec, 195 secs
lola: 294360 markings, 370380 edges, 1386 markings/sec, 200 secs
lola: 301091 markings, 378704 edges, 1346 markings/sec, 205 secs
lola: 307325 markings, 386940 edges, 1247 markings/sec, 210 secs
lola: 313852 markings, 395161 edges, 1305 markings/sec, 215 secs
lola: 320477 markings, 403534 edges, 1325 markings/sec, 220 secs
lola: 326467 markings, 411646 edges, 1198 markings/sec, 225 secs
lola: 333068 markings, 420218 edges, 1320 markings/sec, 230 secs
lola: 339460 markings, 428925 edges, 1278 markings/sec, 235 secs
lola: 346461 markings, 437545 edges, 1400 markings/sec, 240 secs
lola: 352953 markings, 445830 edges, 1298 markings/sec, 245 secs
lola: 359499 markings, 454256 edges, 1309 markings/sec, 250 secs
lola: 365836 markings, 462609 edges, 1267 markings/sec, 255 secs
lola: 372660 markings, 471353 edges, 1365 markings/sec, 260 secs
lola: 379154 markings, 479892 edges, 1299 markings/sec, 265 secs
lola: 385266 markings, 488405 edges, 1222 markings/sec, 270 secs
lola: 391546 markings, 496681 edges, 1256 markings/sec, 275 secs
lola: 398191 markings, 505263 edges, 1329 markings/sec, 280 secs
lola: 404394 markings, 513618 edges, 1241 markings/sec, 285 secs
lola: 410430 markings, 521728 edges, 1207 markings/sec, 290 secs
lola: 416585 markings, 530403 edges, 1231 markings/sec, 295 secs
lola: 422731 markings, 538677 edges, 1229 markings/sec, 300 secs
lola: 428641 markings, 546927 edges, 1182 markings/sec, 305 secs
lola: 434437 markings, 555235 edges, 1159 markings/sec, 310 secs
lola: 440899 markings, 563734 edges, 1292 markings/sec, 315 secs
lola: 448363 markings, 572481 edges, 1493 markings/sec, 320 secs
lola: 455469 markings, 581426 edges, 1421 markings/sec, 325 secs
lola: 462331 markings, 590167 edges, 1372 markings/sec, 330 secs
lola: 468969 markings, 598647 edges, 1328 markings/sec, 335 secs
lola: 475725 markings, 607404 edges, 1351 markings/sec, 340 secs
lola: 482381 markings, 616175 edges, 1331 markings/sec, 345 secs
lola: 488982 markings, 624366 edges, 1320 markings/sec, 350 secs
lola: 495990 markings, 632868 edges, 1402 markings/sec, 355 secs
lola: 502729 markings, 641469 edges, 1348 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 370 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p254 + p256 + p257 + p255)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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(p0 + p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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: 8135 markings, 9334 edges, 1627 markings/sec, 0 secs
lola: 16307 markings, 18802 edges, 1634 markings/sec, 5 secs
lola: 23803 markings, 27884 edges, 1499 markings/sec, 10 secs
lola: 31231 markings, 36794 edges, 1486 markings/sec, 15 secs
lola: 39537 markings, 46273 edges, 1661 markings/sec, 20 secs
lola: 47189 markings, 55474 edges, 1530 markings/sec, 25 secs
lola: 55047 markings, 64712 edges, 1572 markings/sec, 30 secs
lola: 62889 markings, 73860 edges, 1568 markings/sec, 35 secs
lola: 70308 markings, 82765 edges, 1484 markings/sec, 40 secs
lola: 77547 markings, 91595 edges, 1448 markings/sec, 45 secs
lola: 84481 markings, 100133 edges, 1387 markings/sec, 50 secs
lola: 91775 markings, 108737 edges, 1459 markings/sec, 55 secs
lola: 98957 markings, 117332 edges, 1436 markings/sec, 60 secs
lola: 105877 markings, 125582 edges, 1384 markings/sec, 65 secs
lola: 112579 markings, 133869 edges, 1340 markings/sec, 70 secs
lola: 119907 markings, 142417 edges, 1466 markings/sec, 75 secs
lola: 127805 markings, 151399 edges, 1580 markings/sec, 80 secs
lola: 135054 markings, 159939 edges, 1450 markings/sec, 85 secs
lola: 142325 markings, 168847 edges, 1454 markings/sec, 90 secs
lola: 149416 markings, 177508 edges, 1418 markings/sec, 95 secs
lola: 156163 markings, 185772 edges, 1349 markings/sec, 100 secs
lola: 164140 markings, 194871 edges, 1595 markings/sec, 105 secs
lola: 171493 markings, 203498 edges, 1471 markings/sec, 110 secs
lola: 178270 markings, 211815 edges, 1355 markings/sec, 115 secs
lola: 184979 markings, 219930 edges, 1342 markings/sec, 120 secs
lola: 192207 markings, 228742 edges, 1446 markings/sec, 125 secs
lola: 198687 markings, 236926 edges, 1296 markings/sec, 130 secs
lola: 205347 markings, 245184 edges, 1332 markings/sec, 135 secs
lola: 211787 markings, 253117 edges, 1288 markings/sec, 140 secs
lola: 219052 markings, 261807 edges, 1453 markings/sec, 145 secs
lola: 227116 markings, 271127 edges, 1613 markings/sec, 150 secs
lola: 234861 markings, 280238 edges, 1549 markings/sec, 155 secs
lola: 242187 markings, 289099 edges, 1465 markings/sec, 160 secs
lola: 249543 markings, 297988 edges, 1471 markings/sec, 165 secs
lola: 256838 markings, 306719 edges, 1459 markings/sec, 170 secs
lola: 264852 markings, 315911 edges, 1603 markings/sec, 175 secs
lola: 272432 markings, 324700 edges, 1516 markings/sec, 180 secs
lola: 279798 markings, 333512 edges, 1473 markings/sec, 185 secs
lola: 286709 markings, 341949 edges, 1382 markings/sec, 190 secs
lola: 293710 markings, 350309 edges, 1400 markings/sec, 195 secs
lola: 300434 markings, 358388 edges, 1345 markings/sec, 200 secs
lola: 307763 markings, 366797 edges, 1466 markings/sec, 205 secs
lola: 314495 markings, 374846 edges, 1346 markings/sec, 210 secs
lola: 320893 markings, 382698 edges, 1280 markings/sec, 215 secs
lola: 327290 markings, 390522 edges, 1279 markings/sec, 220 secs
lola: 334222 markings, 398938 edges, 1386 markings/sec, 225 secs
lola: 341027 markings, 407101 edges, 1361 markings/sec, 230 secs
lola: 347459 markings, 414867 edges, 1286 markings/sec, 235 secs
lola: 354777 markings, 423537 edges, 1464 markings/sec, 240 secs
lola: 361761 markings, 431853 edges, 1397 markings/sec, 245 secs
lola: 369119 markings, 440353 edges, 1472 markings/sec, 250 secs
lola: 375871 markings, 448484 edges, 1350 markings/sec, 255 secs
lola: 382707 markings, 456814 edges, 1367 markings/sec, 260 secs
lola: 389298 markings, 464942 edges, 1318 markings/sec, 265 secs
lola: 395557 markings, 472683 edges, 1252 markings/sec, 270 secs
lola: 401643 markings, 480377 edges, 1217 markings/sec, 275 secs
lola: 408892 markings, 489218 edges, 1450 markings/sec, 280 secs
lola: 415428 markings, 497506 edges, 1307 markings/sec, 285 secs
lola: 422389 markings, 506566 edges, 1392 markings/sec, 290 secs
lola: 429337 markings, 515524 edges, 1390 markings/sec, 295 secs
lola: 435820 markings, 524118 edges, 1297 markings/sec, 300 secs
lola: 442510 markings, 532882 edges, 1338 markings/sec, 305 secs
lola: 449118 markings, 541603 edges, 1322 markings/sec, 310 secs
lola: 456330 markings, 550572 edges, 1442 markings/sec, 315 secs
lola: 463626 markings, 559600 edges, 1459 markings/sec, 320 secs
lola: 470464 markings, 568372 edges, 1368 markings/sec, 325 secs
lola: 476866 markings, 576707 edges, 1280 markings/sec, 330 secs
lola: 483306 markings, 585115 edges, 1288 markings/sec, 335 secs
lola: 489825 markings, 593378 edges, 1304 markings/sec, 340 secs
lola: 496300 markings, 601502 edges, 1295 markings/sec, 345 secs
lola: 502660 markings, 609704 edges, 1272 markings/sec, 350 secs
lola: 509213 markings, 618299 edges, 1311 markings/sec, 355 secs
lola: 515212 markings, 626133 edges, 1200 markings/sec, 360 secs
lola: 521267 markings, 634249 edges, 1211 markings/sec, 365 secs
lola: 527398 markings, 642359 edges, 1226 markings/sec, 370 secs
lola: 533915 markings, 650919 edges, 1303 markings/sec, 375 secs
lola: 540093 markings, 659116 edges, 1236 markings/sec, 380 secs
lola: 546261 markings, 667294 edges, 1234 markings/sec, 385 secs
lola: 552954 markings, 675854 edges, 1339 markings/sec, 390 secs
lola: 559403 markings, 684173 edges, 1290 markings/sec, 395 secs
lola: 566047 markings, 692506 edges, 1329 markings/sec, 400 secs
lola: 572554 markings, 700732 edges, 1301 markings/sec, 405 secs
lola: 578728 markings, 708933 edges, 1235 markings/sec, 410 secs
lola: 585239 markings, 717358 edges, 1302 markings/sec, 415 secs
lola: 591286 markings, 725416 edges, 1209 markings/sec, 420 secs
lola: 597031 markings, 732935 edges, 1149 markings/sec, 425 secs
lola: 602957 markings, 740756 edges, 1185 markings/sec, 430 secs
lola: 609429 markings, 748962 edges, 1294 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 444 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p358 + p359)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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: 3398 markings, 3513 edges, 680 markings/sec, 0 secs
lola: 6655 markings, 7081 edges, 651 markings/sec, 5 secs
lola: 10032 markings, 10724 edges, 675 markings/sec, 10 secs
lola: 13494 markings, 14411 edges, 692 markings/sec, 15 secs
lola: 16797 markings, 18088 edges, 661 markings/sec, 20 secs
lola: 20046 markings, 21737 edges, 650 markings/sec, 25 secs
lola: 22995 markings, 25105 edges, 590 markings/sec, 30 secs
lola: 26433 markings, 28747 edges, 688 markings/sec, 35 secs
lola: 29562 markings, 32400 edges, 626 markings/sec, 40 secs
lola: 32580 markings, 35872 edges, 604 markings/sec, 45 secs
lola: 35884 markings, 39437 edges, 661 markings/sec, 50 secs
lola: 38993 markings, 42955 edges, 622 markings/sec, 55 secs
lola: 41828 markings, 46352 edges, 567 markings/sec, 60 secs
lola: 44774 markings, 49841 edges, 589 markings/sec, 65 secs
lola: 47730 markings, 53387 edges, 591 markings/sec, 70 secs
lola: 50915 markings, 57060 edges, 637 markings/sec, 75 secs
lola: 54379 markings, 60921 edges, 693 markings/sec, 80 secs
lola: 57599 markings, 64683 edges, 644 markings/sec, 85 secs
lola: 60574 markings, 68125 edges, 595 markings/sec, 90 secs
lola: 64298 markings, 72271 edges, 745 markings/sec, 95 secs
lola: 67939 markings, 76330 edges, 728 markings/sec, 100 secs
lola: 71201 markings, 80038 edges, 652 markings/sec, 105 secs
lola: 74631 markings, 84007 edges, 686 markings/sec, 110 secs
lola: 77779 markings, 87714 edges, 630 markings/sec, 115 secs
lola: 80864 markings, 91322 edges, 617 markings/sec, 120 secs
lola: 83795 markings, 94815 edges, 586 markings/sec, 125 secs
lola: 86866 markings, 98439 edges, 614 markings/sec, 130 secs
lola: 89743 markings, 101870 edges, 575 markings/sec, 135 secs
lola: 92768 markings, 105352 edges, 605 markings/sec, 140 secs
lola: 95856 markings, 108867 edges, 618 markings/sec, 145 secs
lola: 98808 markings, 112539 edges, 590 markings/sec, 150 secs
lola: 101851 markings, 116247 edges, 609 markings/sec, 155 secs
lola: 105021 markings, 119924 edges, 634 markings/sec, 160 secs
lola: 108245 markings, 123582 edges, 645 markings/sec, 165 secs
lola: 111434 markings, 127232 edges, 638 markings/sec, 170 secs
lola: 114612 markings, 130879 edges, 636 markings/sec, 175 secs
lola: 117619 markings, 134587 edges, 601 markings/sec, 180 secs
lola: 120613 markings, 138318 edges, 599 markings/sec, 185 secs
lola: 123690 markings, 142175 edges, 615 markings/sec, 190 secs
lola: 126673 markings, 145754 edges, 597 markings/sec, 195 secs
lola: 129495 markings, 149287 edges, 564 markings/sec, 200 secs
lola: 132100 markings, 152581 edges, 521 markings/sec, 205 secs
lola: 134773 markings, 155895 edges, 535 markings/sec, 210 secs
lola: 137446 markings, 159187 edges, 535 markings/sec, 215 secs
lola: 140060 markings, 162455 edges, 523 markings/sec, 220 secs
lola: 143367 markings, 166116 edges, 661 markings/sec, 225 secs
lola: 146759 markings, 169828 edges, 678 markings/sec, 230 secs
lola: 149878 markings, 173372 edges, 624 markings/sec, 235 secs
lola: 152878 markings, 176734 edges, 600 markings/sec, 240 secs
lola: 156133 markings, 180285 edges, 651 markings/sec, 245 secs
lola: 159131 markings, 183666 edges, 600 markings/sec, 250 secs
lola: 162688 markings, 187491 edges, 711 markings/sec, 255 secs
lola: 165940 markings, 191070 edges, 650 markings/sec, 260 secs
lola: 169247 markings, 194791 edges, 661 markings/sec, 265 secs
lola: 172440 markings, 198416 edges, 639 markings/sec, 270 secs
lola: 175439 markings, 201910 edges, 600 markings/sec, 275 secs
lola: 178582 markings, 205429 edges, 629 markings/sec, 280 secs
lola: 181597 markings, 208938 edges, 603 markings/sec, 285 secs
lola: 184630 markings, 212400 edges, 607 markings/sec, 290 secs
lola: 187617 markings, 216009 edges, 597 markings/sec, 295 secs
lola: 190593 markings, 219438 edges, 595 markings/sec, 300 secs
lola: 193601 markings, 222838 edges, 602 markings/sec, 305 secs
lola: 196386 markings, 226147 edges, 557 markings/sec, 310 secs
lola: 199332 markings, 229495 edges, 589 markings/sec, 315 secs
lola: 202353 markings, 232819 edges, 604 markings/sec, 320 secs
lola: 205230 markings, 236128 edges, 575 markings/sec, 325 secs
lola: 208081 markings, 239519 edges, 570 markings/sec, 330 secs
lola: 211012 markings, 242966 edges, 586 markings/sec, 335 secs
lola: 213692 markings, 246246 edges, 536 markings/sec, 340 secs
lola: 216156 markings, 249221 edges, 493 markings/sec, 345 secs
lola: 218617 markings, 252241 edges, 492 markings/sec, 350 secs
lola: 221544 markings, 255593 edges, 585 markings/sec, 355 secs
lola: 224402 markings, 258934 edges, 572 markings/sec, 360 secs
lola: 227593 markings, 262620 edges, 638 markings/sec, 365 secs
lola: 230744 markings, 266310 edges, 630 markings/sec, 370 secs
lola: 233693 markings, 269896 edges, 590 markings/sec, 375 secs
lola: 236825 markings, 273627 edges, 626 markings/sec, 380 secs
lola: 239795 markings, 277231 edges, 594 markings/sec, 385 secs
lola: 242918 markings, 280845 edges, 625 markings/sec, 390 secs
lola: 246031 markings, 284389 edges, 623 markings/sec, 395 secs
lola: 248978 markings, 287827 edges, 589 markings/sec, 400 secs
lola: 251796 markings, 291114 edges, 564 markings/sec, 405 secs
lola: 255092 markings, 294837 edges, 659 markings/sec, 410 secs
lola: 258223 markings, 298468 edges, 626 markings/sec, 415 secs
lola: 261517 markings, 302279 edges, 659 markings/sec, 420 secs
lola: 264661 markings, 305991 edges, 629 markings/sec, 425 secs
lola: 267879 markings, 309800 edges, 644 markings/sec, 430 secs
lola: 270983 markings, 313502 edges, 621 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 444 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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 + p209 + p210 + p211... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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: 8337 markings, 9421 edges, 1667 markings/sec, 0 secs
lola: 16057 markings, 18284 edges, 1544 markings/sec, 5 secs
lola: 24393 markings, 27981 edges, 1667 markings/sec, 10 secs
lola: 31917 markings, 36958 edges, 1505 markings/sec, 15 secs
lola: 39023 markings, 45868 edges, 1421 markings/sec, 20 secs
lola: 46272 markings, 54768 edges, 1450 markings/sec, 25 secs
lola: 53435 markings, 63944 edges, 1433 markings/sec, 30 secs
lola: 61058 markings, 73193 edges, 1525 markings/sec, 35 secs
lola: 68536 markings, 82249 edges, 1496 markings/sec, 40 secs
lola: 76104 markings, 91518 edges, 1514 markings/sec, 45 secs
lola: 83105 markings, 100049 edges, 1400 markings/sec, 50 secs
lola: 89973 markings, 109030 edges, 1374 markings/sec, 55 secs
lola: 96808 markings, 118384 edges, 1367 markings/sec, 60 secs
lola: 103440 markings, 127061 edges, 1326 markings/sec, 65 secs
lola: 109663 markings, 135485 edges, 1245 markings/sec, 70 secs
lola: 117206 markings, 144599 edges, 1509 markings/sec, 75 secs
lola: 124773 markings, 153482 edges, 1513 markings/sec, 80 secs
lola: 131808 markings, 161929 edges, 1407 markings/sec, 85 secs
lola: 139252 markings, 170891 edges, 1489 markings/sec, 90 secs
lola: 146259 markings, 179285 edges, 1401 markings/sec, 95 secs
lola: 153143 markings, 187819 edges, 1377 markings/sec, 100 secs
lola: 160331 markings, 196865 edges, 1438 markings/sec, 105 secs
lola: 167507 markings, 206118 edges, 1435 markings/sec, 110 secs
lola: 173862 markings, 214584 edges, 1271 markings/sec, 115 secs
lola: 180932 markings, 223156 edges, 1414 markings/sec, 120 secs
lola: 187264 markings, 231349 edges, 1266 markings/sec, 125 secs
lola: 193528 markings, 239535 edges, 1253 markings/sec, 130 secs
lola: 200267 markings, 247837 edges, 1348 markings/sec, 135 secs
lola: 206795 markings, 255923 edges, 1306 markings/sec, 140 secs
lola: 213103 markings, 263887 edges, 1262 markings/sec, 145 secs
lola: 219774 markings, 272207 edges, 1334 markings/sec, 150 secs
lola: 226379 markings, 280633 edges, 1321 markings/sec, 155 secs
lola: 232505 markings, 288383 edges, 1225 markings/sec, 160 secs
lola: 238240 markings, 296113 edges, 1147 markings/sec, 165 secs
lola: 244504 markings, 304673 edges, 1253 markings/sec, 170 secs
lola: 250749 markings, 313392 edges, 1249 markings/sec, 175 secs
lola: 256758 markings, 321711 edges, 1202 markings/sec, 180 secs
lola: 262835 markings, 329919 edges, 1215 markings/sec, 185 secs
lola: 269056 markings, 338328 edges, 1244 markings/sec, 190 secs
lola: 274523 markings, 345903 edges, 1093 markings/sec, 195 secs
lola: 280726 markings, 353620 edges, 1241 markings/sec, 200 secs
lola: 286766 markings, 361014 edges, 1208 markings/sec, 205 secs
lola: 292833 markings, 368394 edges, 1213 markings/sec, 210 secs
lola: 298936 markings, 375963 edges, 1221 markings/sec, 215 secs
lola: 304521 markings, 383187 edges, 1117 markings/sec, 220 secs
lola: 310141 markings, 390478 edges, 1124 markings/sec, 225 secs
lola: 315945 markings, 397848 edges, 1161 markings/sec, 230 secs
lola: 321714 markings, 405092 edges, 1154 markings/sec, 235 secs
lola: 327706 markings, 413154 edges, 1198 markings/sec, 240 secs
lola: 333868 markings, 421290 edges, 1232 markings/sec, 245 secs
lola: 339886 markings, 429448 edges, 1204 markings/sec, 250 secs
lola: 346727 markings, 437866 edges, 1368 markings/sec, 255 secs
lola: 352888 markings, 445731 edges, 1232 markings/sec, 260 secs
lola: 359398 markings, 454107 edges, 1302 markings/sec, 265 secs
lola: 365428 markings, 462060 edges, 1206 markings/sec, 270 secs
lola: 371909 markings, 470375 edges, 1296 markings/sec, 275 secs
lola: 377908 markings, 478212 edges, 1200 markings/sec, 280 secs
lola: 383828 markings, 486339 edges, 1184 markings/sec, 285 secs
lola: 389439 markings, 493994 edges, 1122 markings/sec, 290 secs
lola: 395691 markings, 502055 edges, 1250 markings/sec, 295 secs
lola: 401592 markings, 509786 edges, 1180 markings/sec, 300 secs
lola: 407106 markings, 517243 edges, 1103 markings/sec, 305 secs
lola: 412247 markings, 524347 edges, 1028 markings/sec, 310 secs
lola: 418226 markings, 532864 edges, 1196 markings/sec, 315 secs
lola: 424209 markings, 540744 edges, 1197 markings/sec, 320 secs
lola: 429872 markings, 548598 edges, 1133 markings/sec, 325 secs
lola: 435318 markings, 556496 edges, 1089 markings/sec, 330 secs
lola: 441820 markings, 564844 edges, 1300 markings/sec, 335 secs
lola: 448993 markings, 573221 edges, 1435 markings/sec, 340 secs
lola: 455741 markings, 581756 edges, 1350 markings/sec, 345 secs
lola: 462432 markings, 590291 edges, 1338 markings/sec, 350 secs
lola: 468880 markings, 598525 edges, 1290 markings/sec, 355 secs
lola: 475235 markings, 606761 edges, 1271 markings/sec, 360 secs
lola: 481769 markings, 615485 edges, 1307 markings/sec, 365 secs
lola: 488334 markings, 623506 edges, 1313 markings/sec, 370 secs
lola: 495076 markings, 631750 edges, 1348 markings/sec, 375 secs
lola: 501689 markings, 640110 edges, 1323 markings/sec, 380 secs
lola: 507996 markings, 648529 edges, 1261 markings/sec, 385 secs
lola: 514430 markings, 656600 edges, 1287 markings/sec, 390 secs
lola: 520430 markings, 664320 edges, 1200 markings/sec, 395 secs
lola: 526279 markings, 672053 edges, 1170 markings/sec, 400 secs
lola: 531956 markings, 680019 edges, 1135 markings/sec, 405 secs
lola: 537347 markings, 687882 edges, 1078 markings/sec, 410 secs
lola: 545127 markings, 696819 edges, 1556 markings/sec, 415 secs
lola: 552720 markings, 705460 edges, 1519 markings/sec, 420 secs
lola: 559925 markings, 713952 edges, 1441 markings/sec, 425 secs
lola: 567619 markings, 722831 edges, 1539 markings/sec, 430 secs
lola: 574702 markings, 731168 edges, 1417 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(p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p153 + p152 + p151 + p150)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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: 7994 markings, 9038 edges, 1599 markings/sec, 0 secs
lola: 15636 markings, 17771 edges, 1528 markings/sec, 5 secs
lola: 24151 markings, 27716 edges, 1703 markings/sec, 10 secs
lola: 31474 markings, 36434 edges, 1465 markings/sec, 15 secs
lola: 38824 markings, 45614 edges, 1470 markings/sec, 20 secs
lola: 46330 markings, 54837 edges, 1501 markings/sec, 25 secs
lola: 53804 markings, 64441 edges, 1495 markings/sec, 30 secs
lola: 61380 markings, 73614 edges, 1515 markings/sec, 35 secs
lola: 68842 markings, 82611 edges, 1492 markings/sec, 40 secs
lola: 76171 markings, 91611 edges, 1466 markings/sec, 45 secs
lola: 83240 markings, 100216 edges, 1414 markings/sec, 50 secs
lola: 89869 markings, 108895 edges, 1326 markings/sec, 55 secs
lola: 96494 markings, 117980 edges, 1325 markings/sec, 60 secs
lola: 102945 markings, 126441 edges, 1290 markings/sec, 65 secs
lola: 109479 markings, 135241 edges, 1307 markings/sec, 70 secs
lola: 116874 markings, 144231 edges, 1479 markings/sec, 75 secs
lola: 124394 markings, 153060 edges, 1504 markings/sec, 80 secs
lola: 131440 markings, 161457 edges, 1409 markings/sec, 85 secs
lola: 138946 markings, 170492 edges, 1501 markings/sec, 90 secs
lola: 145753 markings, 178694 edges, 1361 markings/sec, 95 secs
lola: 152444 markings, 186943 edges, 1338 markings/sec, 100 secs
lola: 159456 markings, 195718 edges, 1402 markings/sec, 105 secs
lola: 166413 markings, 204729 edges, 1391 markings/sec, 110 secs
lola: 172897 markings, 213223 edges, 1297 markings/sec, 115 secs
lola: 179882 markings, 221819 edges, 1397 markings/sec, 120 secs
lola: 186157 markings, 229917 edges, 1255 markings/sec, 125 secs
lola: 192079 markings, 237813 edges, 1184 markings/sec, 130 secs
lola: 198925 markings, 246185 edges, 1369 markings/sec, 135 secs
lola: 205525 markings, 254375 edges, 1320 markings/sec, 140 secs
lola: 211798 markings, 262169 edges, 1255 markings/sec, 145 secs
lola: 218318 markings, 270326 edges, 1304 markings/sec, 150 secs
lola: 224891 markings, 278728 edges, 1315 markings/sec, 155 secs
lola: 231169 markings, 286646 edges, 1256 markings/sec, 160 secs
lola: 236967 markings, 294421 edges, 1160 markings/sec, 165 secs
lola: 243310 markings, 302993 edges, 1269 markings/sec, 170 secs
lola: 249374 markings, 311507 edges, 1213 markings/sec, 175 secs
lola: 255441 markings, 319875 edges, 1213 markings/sec, 180 secs
lola: 261405 markings, 328180 edges, 1193 markings/sec, 185 secs
lola: 267825 markings, 336702 edges, 1284 markings/sec, 190 secs
lola: 274009 markings, 345123 edges, 1237 markings/sec, 195 secs
lola: 280767 markings, 353667 edges, 1352 markings/sec, 200 secs
lola: 287457 markings, 361804 edges, 1338 markings/sec, 205 secs
lola: 293864 markings, 369708 edges, 1281 markings/sec, 210 secs
lola: 300127 markings, 377507 edges, 1253 markings/sec, 215 secs
lola: 305889 markings, 385099 edges, 1152 markings/sec, 220 secs
lola: 311933 markings, 392719 edges, 1209 markings/sec, 225 secs
lola: 318100 markings, 400578 edges, 1233 markings/sec, 230 secs
lola: 323832 markings, 407951 edges, 1146 markings/sec, 235 secs
lola: 329960 markings, 416036 edges, 1226 markings/sec, 240 secs
lola: 335797 markings, 423990 edges, 1167 markings/sec, 245 secs
lola: 342073 markings, 432124 edges, 1255 markings/sec, 250 secs
lola: 348533 markings, 440101 edges, 1292 markings/sec, 255 secs
lola: 354787 markings, 448174 edges, 1251 markings/sec, 260 secs
lola: 360593 markings, 455697 edges, 1161 markings/sec, 265 secs
lola: 366537 markings, 463585 edges, 1189 markings/sec, 270 secs
lola: 372848 markings, 471603 edges, 1262 markings/sec, 275 secs
lola: 378733 markings, 479314 edges, 1177 markings/sec, 280 secs
lola: 384367 markings, 487125 edges, 1127 markings/sec, 285 secs
lola: 389923 markings, 494647 edges, 1111 markings/sec, 290 secs
lola: 396027 markings, 502473 edges, 1221 markings/sec, 295 secs
lola: 402064 markings, 510425 edges, 1207 markings/sec, 300 secs
lola: 407683 markings, 518020 edges, 1124 markings/sec, 305 secs
lola: 413174 markings, 525606 edges, 1098 markings/sec, 310 secs
lola: 419162 markings, 534019 edges, 1198 markings/sec, 315 secs
lola: 424606 markings, 541325 edges, 1089 markings/sec, 320 secs
lola: 430024 markings, 548806 edges, 1084 markings/sec, 325 secs
lola: 435155 markings, 556279 edges, 1026 markings/sec, 330 secs
lola: 441189 markings, 564078 edges, 1207 markings/sec, 335 secs
lola: 447884 markings, 571918 edges, 1339 markings/sec, 340 secs
lola: 454323 markings, 579912 edges, 1288 markings/sec, 345 secs
lola: 460376 markings, 587802 edges, 1211 markings/sec, 350 secs
lola: 466689 markings, 595573 edges, 1263 markings/sec, 355 secs
lola: 472725 markings, 603349 edges, 1207 markings/sec, 360 secs
lola: 478665 markings, 611388 edges, 1188 markings/sec, 365 secs
lola: 484762 markings, 619117 edges, 1219 markings/sec, 370 secs
lola: 490676 markings, 626545 edges, 1183 markings/sec, 375 secs
lola: 497225 markings, 634439 edges, 1310 markings/sec, 380 secs
lola: 503350 markings, 642311 edges, 1225 markings/sec, 385 secs
lola: 509294 markings, 650136 edges, 1189 markings/sec, 390 secs
lola: 515136 markings, 657482 edges, 1168 markings/sec, 395 secs
lola: 520651 markings, 664592 edges, 1103 markings/sec, 400 secs
lola: 526124 markings, 671844 edges, 1095 markings/sec, 405 secs
lola: 531376 markings, 679221 edges, 1050 markings/sec, 410 secs
lola: 536504 markings, 686583 edges, 1026 markings/sec, 415 secs
lola: 543600 markings, 694975 edges, 1419 markings/sec, 420 secs
lola: 550491 markings, 702899 edges, 1378 markings/sec, 425 secs
lola: 557651 markings, 711295 edges, 1432 markings/sec, 430 secs
lola: 565282 markings, 720171 edges, 1526 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(p358 + p359)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 7 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: 3147 markings, 3249 edges, 629 markings/sec, 0 secs
lola: 6158 markings, 6535 edges, 602 markings/sec, 5 secs
lola: 9125 markings, 9767 edges, 593 markings/sec, 10 secs
lola: 12250 markings, 13068 edges, 625 markings/sec, 15 secs
lola: 15267 markings, 16371 edges, 603 markings/sec, 20 secs
lola: 18251 markings, 19723 edges, 597 markings/sec, 25 secs
lola: 20976 markings, 22812 edges, 545 markings/sec, 30 secs
lola: 23749 markings, 25905 edges, 555 markings/sec, 35 secs
lola: 26762 markings, 29104 edges, 603 markings/sec, 40 secs
lola: 29552 markings, 32383 edges, 558 markings/sec, 45 secs
lola: 32151 markings, 35415 edges, 520 markings/sec, 50 secs
lola: 35173 markings, 38667 edges, 604 markings/sec, 55 secs
lola: 37890 markings, 41645 edges, 543 markings/sec, 60 secs
lola: 40550 markings, 44825 edges, 532 markings/sec, 65 secs
lola: 43195 markings, 47962 edges, 529 markings/sec, 70 secs
lola: 45712 markings, 50980 edges, 503 markings/sec, 75 secs
lola: 48309 markings, 54070 edges, 519 markings/sec, 80 secs
lola: 51201 markings, 57376 edges, 578 markings/sec, 85 secs
lola: 54277 markings, 60790 edges, 615 markings/sec, 90 secs
lola: 57154 markings, 64163 edges, 575 markings/sec, 95 secs
lola: 59946 markings, 67387 edges, 558 markings/sec, 100 secs
lola: 62913 markings, 70735 edges, 593 markings/sec, 105 secs
lola: 66160 markings, 74352 edges, 649 markings/sec, 110 secs
lola: 69104 markings, 77671 edges, 589 markings/sec, 115 secs
lola: 72100 markings, 81046 edges, 599 markings/sec, 120 secs
lola: 75130 markings, 84604 edges, 606 markings/sec, 125 secs
lola: 78007 markings, 87976 edges, 575 markings/sec, 130 secs
lola: 80871 markings, 91333 edges, 573 markings/sec, 135 secs
lola: 83623 markings, 94604 edges, 550 markings/sec, 140 secs
lola: 86500 markings, 97986 edges, 575 markings/sec, 145 secs
lola: 89102 markings, 101089 edges, 520 markings/sec, 150 secs
lola: 91757 markings, 104220 edges, 531 markings/sec, 155 secs
lola: 94479 markings, 107289 edges, 544 markings/sec, 160 secs
lola: 97059 markings, 110368 edges, 516 markings/sec, 165 secs
lola: 99558 markings, 113464 edges, 500 markings/sec, 170 secs
lola: 102052 markings, 116491 edges, 499 markings/sec, 175 secs
lola: 104771 markings, 119622 edges, 544 markings/sec, 180 secs
lola: 107441 markings, 122654 edges, 534 markings/sec, 185 secs
lola: 110085 markings, 125646 edges, 529 markings/sec, 190 secs
lola: 112668 markings, 128628 edges, 517 markings/sec, 195 secs
lola: 115089 markings, 131470 edges, 484 markings/sec, 200 secs
lola: 117599 markings, 134554 edges, 502 markings/sec, 205 secs
lola: 120070 markings, 137622 edges, 494 markings/sec, 210 secs
lola: 122546 markings, 140761 edges, 495 markings/sec, 215 secs
lola: 125155 markings, 143968 edges, 522 markings/sec, 220 secs
lola: 127748 markings, 147065 edges, 519 markings/sec, 225 secs
lola: 130086 markings, 150026 edges, 468 markings/sec, 230 secs
lola: 132239 markings, 152757 edges, 431 markings/sec, 235 secs
lola: 134496 markings, 155566 edges, 451 markings/sec, 240 secs
lola: 136811 markings, 158416 edges, 463 markings/sec, 245 secs
lola: 139000 markings, 161088 edges, 438 markings/sec, 250 secs
lola: 141490 markings, 164051 edges, 498 markings/sec, 255 secs
lola: 144304 markings, 167164 edges, 563 markings/sec, 260 secs
lola: 147413 markings, 170573 edges, 622 markings/sec, 265 secs
lola: 150294 markings, 173848 edges, 576 markings/sec, 270 secs
lola: 153090 markings, 176961 edges, 559 markings/sec, 275 secs
lola: 156340 markings, 180508 edges, 650 markings/sec, 280 secs
lola: 159052 markings, 183578 edges, 542 markings/sec, 285 secs
lola: 162078 markings, 186831 edges, 605 markings/sec, 290 secs
lola: 164955 markings, 189985 edges, 575 markings/sec, 295 secs
lola: 167776 markings, 193122 edges, 564 markings/sec, 300 secs
lola: 170524 markings, 196224 edges, 550 markings/sec, 305 secs
lola: 173243 markings, 199361 edges, 544 markings/sec, 310 secs
lola: 175974 markings, 202524 edges, 546 markings/sec, 315 secs
lola: 178581 markings, 205428 edges, 521 markings/sec, 320 secs
lola: 181172 markings, 208469 edges, 518 markings/sec, 325 secs
lola: 183798 markings, 211378 edges, 525 markings/sec, 330 secs
lola: 186273 markings, 214394 edges, 495 markings/sec, 335 secs
lola: 188789 markings, 217415 edges, 503 markings/sec, 340 secs
lola: 191554 markings, 220481 edges, 553 markings/sec, 345 secs
lola: 194177 markings, 223493 edges, 525 markings/sec, 350 secs
lola: 196705 markings, 226548 edges, 506 markings/sec, 355 secs
lola: 199429 markings, 229594 edges, 545 markings/sec, 360 secs
lola: 202164 markings, 232597 edges, 547 markings/sec, 365 secs
lola: 204679 markings, 235488 edges, 503 markings/sec, 370 secs
lola: 207156 markings, 238428 edges, 495 markings/sec, 375 secs
lola: 209718 markings, 241452 edges, 512 markings/sec, 380 secs
lola: 212218 markings, 244424 edges, 500 markings/sec, 385 secs
lola: 214474 markings, 247204 edges, 451 markings/sec, 390 secs
lola: 216734 markings, 249959 edges, 452 markings/sec, 395 secs
lola: 219093 markings, 252825 edges, 472 markings/sec, 400 secs
lola: 221990 markings, 256115 edges, 579 markings/sec, 405 secs
lola: 224641 markings, 259221 edges, 530 markings/sec, 410 secs
lola: 227511 markings, 262530 edges, 574 markings/sec, 415 secs
lola: 230352 markings, 265821 edges, 568 markings/sec, 420 secs
lola: 232919 markings, 268965 edges, 513 markings/sec, 425 secs
lola: 235663 markings, 272236 edges, 549 markings/sec, 430 secs
lola: 238291 markings, 275414 edges, 526 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 1494678212093

--------------------
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="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/DotAndBoxes-COL-5.tgz
mv 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 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 r028-blw3-149440264000173"
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 ;