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_PolyORBNT-COL-S10J40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231500065
=====================================================================

--------------------
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 PolyORBNT-COL-S10J40-UpperBounds-0
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-1
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-15
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-2
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-3
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-4
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-5
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-6
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-7
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-8
FORMULA_NAME PolyORBNT-COL-S10J40-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496298274694


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBNT-COL-S10J40: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBNT-COL-S10J40: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-COL-S10J40 @ 3536 seconds
----- Start make result stdout -----
lola: LoLA will run for 3536 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 13274/65536 symbol table entries, 4118 collisions
lola: preprocessing...
lola: finding significant places
lola: 894 places, 12380 transitions, 782 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2738 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J40-UpperBounds.task
lola: MAX(p544) : MAX(p538) : MAX(p819) : MAX(p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537) : MAX(p688) : MAX(p538) : MAX(p545) : MAX(p549) : MAX(p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632) : MAX(p634) : MAX(p819) : MAX(p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644) : MAX(p688) : MAX(p771) : MAX(p647 + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687) : MAX(p820)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p544)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 6839 markings, 8684 edges, 1368 markings/sec, 0 secs
lola: 13498 markings, 17323 edges, 1332 markings/sec, 5 secs
lola: 20805 markings, 27210 edges, 1461 markings/sec, 10 secs
lola: 29180 markings, 40225 edges, 1675 markings/sec, 15 secs
lola: 38997 markings, 52680 edges, 1963 markings/sec, 20 secs
lola: 48570 markings, 64993 edges, 1915 markings/sec, 25 secs
lola: 58312 markings, 77575 edges, 1948 markings/sec, 30 secs
lola: 68530 markings, 90807 edges, 2044 markings/sec, 35 secs
lola: 78734 markings, 104562 edges, 2041 markings/sec, 40 secs
lola: 88046 markings, 119962 edges, 1862 markings/sec, 45 secs
lola: 92919 markings, 128195 edges, 975 markings/sec, 50 secs
lola: 97752 markings, 136416 edges, 967 markings/sec, 55 secs
lola: 102662 markings, 144836 edges, 982 markings/sec, 60 secs
lola: 107463 markings, 153256 edges, 960 markings/sec, 65 secs
lola: 112322 markings, 161929 edges, 972 markings/sec, 70 secs
lola: 117183 markings, 171054 edges, 972 markings/sec, 75 secs
lola: 122619 markings, 181575 edges, 1087 markings/sec, 80 secs
lola: 129111 markings, 189903 edges, 1298 markings/sec, 85 secs
lola: 136047 markings, 198895 edges, 1387 markings/sec, 90 secs
lola: 143289 markings, 209453 edges, 1448 markings/sec, 95 secs
lola: 152417 markings, 222663 edges, 1826 markings/sec, 100 secs
lola: 162206 markings, 235113 edges, 1958 markings/sec, 105 secs
lola: 171781 markings, 247448 edges, 1915 markings/sec, 110 secs
lola: 181883 markings, 260464 edges, 2020 markings/sec, 115 secs
lola: 192178 markings, 273929 edges, 2059 markings/sec, 120 secs
lola: 202500 markings, 288201 edges, 2064 markings/sec, 125 secs
lola: 210053 markings, 301563 edges, 1511 markings/sec, 130 secs
lola: 214955 markings, 309859 edges, 980 markings/sec, 135 secs
lola: 219922 markings, 318337 edges, 993 markings/sec, 140 secs
lola: 224901 markings, 326944 edges, 996 markings/sec, 145 secs
lola: 229831 markings, 335617 edges, 986 markings/sec, 150 secs
lola: 234808 markings, 344664 edges, 995 markings/sec, 155 secs
lola: 239744 markings, 354589 edges, 987 markings/sec, 160 secs
lola: 245976 markings, 364180 edges, 1246 markings/sec, 165 secs
lola: 252643 markings, 372813 edges, 1333 markings/sec, 170 secs
lola: 259910 markings, 382424 edges, 1453 markings/sec, 175 secs
lola: 267934 markings, 395280 edges, 1605 markings/sec, 180 secs
lola: 277693 markings, 407630 edges, 1952 markings/sec, 185 secs
lola: 287412 markings, 420076 edges, 1944 markings/sec, 190 secs
lola: 297298 markings, 432823 edges, 1977 markings/sec, 195 secs
lola: 307634 markings, 446175 edges, 2067 markings/sec, 200 secs
lola: 317910 markings, 459952 edges, 2055 markings/sec, 205 secs
lola: 327928 markings, 476186 edges, 2004 markings/sec, 210 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(p538)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 6350 markings, 8051 edges, 1270 markings/sec, 0 secs
lola: 12998 markings, 16651 edges, 1330 markings/sec, 5 secs
lola: 20176 markings, 26278 edges, 1436 markings/sec, 10 secs
lola: 28471 markings, 39253 edges, 1659 markings/sec, 15 secs
lola: 37779 markings, 51158 edges, 1862 markings/sec, 20 secs
lola: 47370 markings, 63447 edges, 1918 markings/sec, 25 secs
lola: 57258 markings, 76225 edges, 1978 markings/sec, 30 secs
lola: 67745 markings, 89758 edges, 2097 markings/sec, 35 secs
lola: 78278 markings, 103925 edges, 2107 markings/sec, 40 secs
lola: 88054 markings, 119940 edges, 1955 markings/sec, 45 secs
lola: 93132 markings, 128565 edges, 1016 markings/sec, 50 secs
lola: 98273 markings, 137313 edges, 1028 markings/sec, 55 secs
lola: 103437 markings, 146210 edges, 1033 markings/sec, 60 secs
lola: 108554 markings, 155153 edges, 1023 markings/sec, 65 secs
lola: 113731 markings, 164463 edges, 1035 markings/sec, 70 secs
lola: 118830 markings, 174438 edges, 1020 markings/sec, 75 secs
lola: 125065 markings, 184718 edges, 1247 markings/sec, 80 secs
lola: 131979 markings, 193649 edges, 1383 markings/sec, 85 secs
lola: 139571 markings, 203658 edges, 1518 markings/sec, 90 secs
lola: 147808 markings, 216797 edges, 1647 markings/sec, 95 secs
lola: 157915 markings, 229597 edges, 2021 markings/sec, 100 secs
lola: 167752 markings, 242256 edges, 1967 markings/sec, 105 secs
lola: 177931 markings, 255344 edges, 2036 markings/sec, 110 secs
lola: 188522 markings, 269074 edges, 2118 markings/sec, 115 secs
lola: 199048 markings, 283253 edges, 2105 markings/sec, 120 secs
lola: 208512 markings, 298960 edges, 1893 markings/sec, 125 secs
lola: 213648 markings, 307590 edges, 1027 markings/sec, 130 secs
lola: 218777 markings, 316324 edges, 1026 markings/sec, 135 secs
lola: 223893 markings, 325156 edges, 1023 markings/sec, 140 secs
lola: 229065 markings, 334177 edges, 1034 markings/sec, 145 secs
lola: 234150 markings, 343402 edges, 1017 markings/sec, 150 secs
lola: 239280 markings, 353463 edges, 1026 markings/sec, 155 secs
lola: 245680 markings, 363752 edges, 1280 markings/sec, 160 secs
lola: 252440 markings, 372568 edges, 1352 markings/sec, 165 secs
lola: 260107 markings, 382659 edges, 1533 markings/sec, 170 secs
lola: 268489 markings, 395911 edges, 1676 markings/sec, 175 secs
lola: 278425 markings, 408602 edges, 1987 markings/sec, 180 secs
lola: 288319 markings, 421272 edges, 1979 markings/sec, 185 secs
lola: 298620 markings, 434518 edges, 2060 markings/sec, 190 secs
lola: 309096 markings, 448107 edges, 2095 markings/sec, 195 secs
lola: 319682 markings, 462393 edges, 2117 markings/sec, 200 secs
lola: 328907 markings, 477801 edges, 1845 markings/sec, 205 secs
lola: 334094 markings, 486496 edges, 1037 markings/sec, 210 secs
lola: 339202 markings, 495199 edges, 1022 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(p819)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 3335 markings, 7053 edges, 667 markings/sec, 0 secs
lola: 6621 markings, 14085 edges, 657 markings/sec, 5 secs
lola: 9756 markings, 21213 edges, 627 markings/sec, 10 secs
lola: 12918 markings, 28358 edges, 632 markings/sec, 15 secs
lola: 16119 markings, 35510 edges, 640 markings/sec, 20 secs
lola: 19327 markings, 42482 edges, 642 markings/sec, 25 secs
lola: 22551 markings, 49902 edges, 645 markings/sec, 30 secs
lola: 25817 markings, 57128 edges, 653 markings/sec, 35 secs
lola: 29094 markings, 64352 edges, 655 markings/sec, 40 secs
lola: 32254 markings, 71688 edges, 632 markings/sec, 45 secs
lola: 35415 markings, 79004 edges, 632 markings/sec, 50 secs
lola: 39008 markings, 86301 edges, 719 markings/sec, 55 secs
lola: 42600 markings, 94200 edges, 718 markings/sec, 60 secs
lola: 46126 markings, 102006 edges, 705 markings/sec, 65 secs
lola: 49513 markings, 108950 edges, 677 markings/sec, 70 secs
lola: 52880 markings, 116476 edges, 673 markings/sec, 75 secs
lola: 56243 markings, 123729 edges, 673 markings/sec, 80 secs
lola: 59622 markings, 130925 edges, 676 markings/sec, 85 secs
lola: 62986 markings, 138449 edges, 673 markings/sec, 90 secs
lola: 66403 markings, 145459 edges, 683 markings/sec, 95 secs
lola: 69716 markings, 152895 edges, 663 markings/sec, 100 secs
lola: 72861 markings, 177776 edges, 629 markings/sec, 105 secs
lola: 76137 markings, 184803 edges, 655 markings/sec, 110 secs
lola: 79401 markings, 191941 edges, 653 markings/sec, 115 secs
lola: 82674 markings, 199028 edges, 655 markings/sec, 120 secs
lola: 85812 markings, 206037 edges, 628 markings/sec, 125 secs
lola: 88813 markings, 212841 edges, 600 markings/sec, 130 secs
lola: 91978 markings, 219941 edges, 633 markings/sec, 135 secs
lola: 95255 markings, 226887 edges, 655 markings/sec, 140 secs
lola: 98563 markings, 234164 edges, 662 markings/sec, 145 secs
lola: 101605 markings, 241229 edges, 608 markings/sec, 150 secs
lola: 104849 markings, 248391 edges, 649 markings/sec, 155 secs
lola: 108170 markings, 255611 edges, 664 markings/sec, 160 secs
lola: 111220 markings, 262708 edges, 610 markings/sec, 165 secs
lola: 114536 markings, 269868 edges, 663 markings/sec, 170 secs
lola: 117749 markings, 277193 edges, 643 markings/sec, 175 secs
lola: 120929 markings, 284356 edges, 636 markings/sec, 180 secs
lola: 124164 markings, 291644 edges, 647 markings/sec, 185 secs
lola: 127353 markings, 298807 edges, 638 markings/sec, 190 secs
lola: 130736 markings, 306313 edges, 677 markings/sec, 195 secs
lola: 134206 markings, 313863 edges, 694 markings/sec, 200 secs
lola: 137660 markings, 321401 edges, 691 markings/sec, 205 secs
lola: 141084 markings, 329046 edges, 685 markings/sec, 210 secs
lola: 144511 markings, 336706 edges, 685 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(p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2368 markings, 4390 edges, 474 markings/sec, 0 secs
lola: 4732 markings, 8802 edges, 473 markings/sec, 5 secs
lola: 7096 markings, 13225 edges, 473 markings/sec, 10 secs
lola: 9461 markings, 17610 edges, 473 markings/sec, 15 secs
lola: 11826 markings, 22002 edges, 473 markings/sec, 20 secs
lola: 14193 markings, 26393 edges, 473 markings/sec, 25 secs
lola: 16554 markings, 30786 edges, 472 markings/sec, 30 secs
lola: 18911 markings, 35176 edges, 471 markings/sec, 35 secs
lola: 21266 markings, 39597 edges, 471 markings/sec, 40 secs
lola: 23619 markings, 48843 edges, 471 markings/sec, 45 secs
lola: 25939 markings, 53198 edges, 464 markings/sec, 50 secs
lola: 28259 markings, 57558 edges, 464 markings/sec, 55 secs
lola: 30580 markings, 61881 edges, 464 markings/sec, 60 secs
lola: 32899 markings, 66201 edges, 464 markings/sec, 65 secs
lola: 35219 markings, 70555 edges, 464 markings/sec, 70 secs
lola: 37537 markings, 74871 edges, 464 markings/sec, 75 secs
lola: 39854 markings, 79195 edges, 463 markings/sec, 80 secs
lola: 42170 markings, 83511 edges, 463 markings/sec, 85 secs
lola: 44499 markings, 92691 edges, 466 markings/sec, 90 secs
lola: 46822 markings, 97054 edges, 465 markings/sec, 95 secs
lola: 49129 markings, 101381 edges, 461 markings/sec, 100 secs
lola: 51439 markings, 105707 edges, 462 markings/sec, 105 secs
lola: 53751 markings, 110009 edges, 462 markings/sec, 110 secs
lola: 56064 markings, 114319 edges, 463 markings/sec, 115 secs
lola: 58377 markings, 118639 edges, 463 markings/sec, 120 secs
lola: 60689 markings, 122959 edges, 462 markings/sec, 125 secs
lola: 63002 markings, 127271 edges, 463 markings/sec, 130 secs
lola: 65321 markings, 131591 edges, 464 markings/sec, 135 secs
lola: 67654 markings, 140803 edges, 467 markings/sec, 140 secs
lola: 69974 markings, 145159 edges, 464 markings/sec, 145 secs
lola: 72285 markings, 149491 edges, 462 markings/sec, 150 secs
lola: 74593 markings, 153795 edges, 462 markings/sec, 155 secs
lola: 76913 markings, 158126 edges, 464 markings/sec, 160 secs
lola: 79233 markings, 162445 edges, 464 markings/sec, 165 secs
lola: 81538 markings, 166738 edges, 461 markings/sec, 170 secs
lola: 83841 markings, 171029 edges, 461 markings/sec, 175 secs
lola: 86146 markings, 175322 edges, 461 markings/sec, 180 secs
lola: 88458 markings, 184510 edges, 462 markings/sec, 185 secs
lola: 90768 markings, 188846 edges, 462 markings/sec, 190 secs
lola: 93073 markings, 193172 edges, 461 markings/sec, 195 secs
lola: 95460 markings, 197632 edges, 477 markings/sec, 200 secs
lola: 97871 markings, 202173 edges, 482 markings/sec, 205 secs
lola: 100281 markings, 206676 edges, 482 markings/sec, 210 secs
lola: 102697 markings, 211154 edges, 483 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p688)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 4363 markings, 7577 edges, 873 markings/sec, 0 secs
lola: 8670 markings, 15217 edges, 861 markings/sec, 5 secs
lola: 12923 markings, 22840 edges, 851 markings/sec, 10 secs
lola: 17156 markings, 30498 edges, 847 markings/sec, 15 secs
lola: 21715 markings, 38643 edges, 912 markings/sec, 20 secs
lola: 26025 markings, 46588 edges, 862 markings/sec, 25 secs
lola: 30602 markings, 54979 edges, 915 markings/sec, 30 secs
lola: 35569 markings, 63622 edges, 993 markings/sec, 35 secs
lola: 40470 markings, 72600 edges, 980 markings/sec, 40 secs
lola: 45399 markings, 81673 edges, 986 markings/sec, 45 secs
lola: 50314 markings, 91216 edges, 983 markings/sec, 50 secs
lola: 55210 markings, 101476 edges, 979 markings/sec, 55 secs
lola: 60036 markings, 114838 edges, 965 markings/sec, 60 secs
lola: 65773 markings, 126227 edges, 1147 markings/sec, 65 secs
lola: 71651 markings, 135906 edges, 1176 markings/sec, 70 secs
lola: 77532 markings, 145654 edges, 1176 markings/sec, 75 secs
lola: 83377 markings, 155340 edges, 1169 markings/sec, 80 secs
lola: 89385 markings, 165206 edges, 1202 markings/sec, 85 secs
lola: 95564 markings, 175309 edges, 1236 markings/sec, 90 secs
lola: 101224 markings, 184907 edges, 1132 markings/sec, 95 secs
lola: 106850 markings, 194194 edges, 1125 markings/sec, 100 secs
lola: 112843 markings, 204256 edges, 1199 markings/sec, 105 secs
lola: 118926 markings, 214315 edges, 1217 markings/sec, 110 secs
lola: 125272 markings, 224758 edges, 1269 markings/sec, 115 secs
lola: 131553 markings, 235166 edges, 1256 markings/sec, 120 secs
lola: 137933 markings, 245800 edges, 1276 markings/sec, 125 secs
lola: 144228 markings, 256431 edges, 1259 markings/sec, 130 secs
lola: 150567 markings, 267301 edges, 1268 markings/sec, 135 secs
lola: 156875 markings, 278260 edges, 1262 markings/sec, 140 secs
lola: 163136 markings, 289549 edges, 1252 markings/sec, 145 secs
lola: 169387 markings, 301364 edges, 1250 markings/sec, 150 secs
lola: 175632 markings, 314715 edges, 1249 markings/sec, 155 secs
lola: 179921 markings, 327082 edges, 858 markings/sec, 160 secs
lola: 183510 markings, 335134 edges, 718 markings/sec, 165 secs
lola: 186969 markings, 343156 edges, 692 markings/sec, 170 secs
lola: 190475 markings, 351077 edges, 701 markings/sec, 175 secs
lola: 194036 markings, 359223 edges, 712 markings/sec, 180 secs
lola: 197531 markings, 367183 edges, 699 markings/sec, 185 secs
lola: 201030 markings, 375273 edges, 700 markings/sec, 190 secs
lola: 204590 markings, 383530 edges, 712 markings/sec, 195 secs
lola: 208141 markings, 391703 edges, 710 markings/sec, 200 secs
lola: 211660 markings, 399937 edges, 704 markings/sec, 205 secs
lola: 215180 markings, 408181 edges, 704 markings/sec, 210 secs
lola: 218752 markings, 416604 edges, 714 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p538)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 6681 markings, 8452 edges, 1336 markings/sec, 0 secs
lola: 13619 markings, 17453 edges, 1388 markings/sec, 5 secs
lola: 21155 markings, 27743 edges, 1507 markings/sec, 10 secs
lola: 30147 markings, 41398 edges, 1798 markings/sec, 15 secs
lola: 39869 markings, 53811 edges, 1944 markings/sec, 20 secs
lola: 49851 markings, 66628 edges, 1996 markings/sec, 25 secs
lola: 60087 markings, 79794 edges, 2047 markings/sec, 30 secs
lola: 70588 markings, 93483 edges, 2100 markings/sec, 35 secs
lola: 80991 markings, 107744 edges, 2081 markings/sec, 40 secs
lola: 89262 markings, 122017 edges, 1654 markings/sec, 45 secs
lola: 94450 markings, 130752 edges, 1038 markings/sec, 50 secs
lola: 99533 markings, 139460 edges, 1017 markings/sec, 55 secs
lola: 104635 markings, 148291 edges, 1020 markings/sec, 60 secs
lola: 109758 markings, 157255 edges, 1025 markings/sec, 65 secs
lola: 114854 markings, 166561 edges, 1019 markings/sec, 70 secs
lola: 119920 markings, 177030 edges, 1013 markings/sec, 75 secs
lola: 126567 markings, 186608 edges, 1329 markings/sec, 80 secs
lola: 133470 markings, 195565 edges, 1381 markings/sec, 85 secs
lola: 141059 markings, 205803 edges, 1518 markings/sec, 90 secs
lola: 149793 markings, 219263 edges, 1747 markings/sec, 95 secs
lola: 159644 markings, 231871 edges, 1970 markings/sec, 100 secs
lola: 169107 markings, 244020 edges, 1893 markings/sec, 105 secs
lola: 179420 markings, 257242 edges, 2063 markings/sec, 110 secs
lola: 189872 markings, 270841 edges, 2090 markings/sec, 115 secs
lola: 200316 markings, 285051 edges, 2089 markings/sec, 120 secs
lola: 209113 markings, 299878 edges, 1759 markings/sec, 125 secs
lola: 214144 markings, 308468 edges, 1006 markings/sec, 130 secs
lola: 219238 markings, 317145 edges, 1019 markings/sec, 135 secs
lola: 224356 markings, 325971 edges, 1024 markings/sec, 140 secs
lola: 229463 markings, 334913 edges, 1021 markings/sec, 145 secs
lola: 234541 markings, 344124 edges, 1016 markings/sec, 150 secs
lola: 239636 markings, 354290 edges, 1019 markings/sec, 155 secs
lola: 246059 markings, 364268 edges, 1285 markings/sec, 160 secs
lola: 252773 markings, 372983 edges, 1343 markings/sec, 165 secs
lola: 260386 markings, 383078 edges, 1523 markings/sec, 170 secs
lola: 268874 markings, 396378 edges, 1698 markings/sec, 175 secs
lola: 278566 markings, 408797 edges, 1938 markings/sec, 180 secs
lola: 288322 markings, 421276 edges, 1951 markings/sec, 185 secs
lola: 298576 markings, 434458 edges, 2051 markings/sec, 190 secs
lola: 308966 markings, 447964 edges, 2078 markings/sec, 195 secs
lola: 319447 markings, 462088 edges, 2096 markings/sec, 200 secs
lola: 328813 markings, 477651 edges, 1873 markings/sec, 205 secs
lola: 333773 markings, 486015 edges, 992 markings/sec, 210 secs
lola: 338872 markings, 494692 edges, 1020 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p545)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 6821 markings, 8657 edges, 1364 markings/sec, 0 secs
lola: 13856 markings, 17763 edges, 1407 markings/sec, 5 secs
lola: 21466 markings, 28216 edges, 1522 markings/sec, 10 secs
lola: 30503 markings, 41938 edges, 1807 markings/sec, 15 secs
lola: 40632 markings, 54823 edges, 2026 markings/sec, 20 secs
lola: 50776 markings, 67810 edges, 2029 markings/sec, 25 secs
lola: 61217 markings, 81262 edges, 2088 markings/sec, 30 secs
lola: 71757 markings, 95097 edges, 2108 markings/sec, 35 secs
lola: 82394 markings, 109801 edges, 2127 markings/sec, 40 secs
lola: 89952 markings, 123213 edges, 1512 markings/sec, 45 secs
lola: 95121 markings, 131892 edges, 1034 markings/sec, 50 secs
lola: 100164 markings, 140564 edges, 1009 markings/sec, 55 secs
lola: 105209 markings, 149312 edges, 1009 markings/sec, 60 secs
lola: 110307 markings, 158267 edges, 1020 markings/sec, 65 secs
lola: 115322 markings, 167487 edges, 1003 markings/sec, 70 secs
lola: 120276 markings, 178372 edges, 991 markings/sec, 75 secs
lola: 127102 markings, 187316 edges, 1365 markings/sec, 80 secs
lola: 134158 markings, 196462 edges, 1411 markings/sec, 85 secs
lola: 141795 markings, 206962 edges, 1527 markings/sec, 90 secs
lola: 150923 markings, 220758 edges, 1826 markings/sec, 95 secs
lola: 161048 markings, 233684 edges, 2025 markings/sec, 100 secs
lola: 171317 markings, 246824 edges, 2054 markings/sec, 105 secs
lola: 181801 markings, 260362 edges, 2097 markings/sec, 110 secs
lola: 192463 markings, 274274 edges, 2132 markings/sec, 115 secs
lola: 202232 markings, 287810 edges, 1954 markings/sec, 120 secs
lola: 210158 markings, 301752 edges, 1585 markings/sec, 125 secs
lola: 215428 markings, 310609 edges, 1054 markings/sec, 130 secs
lola: 220572 markings, 319455 edges, 1029 markings/sec, 135 secs
lola: 225846 markings, 328527 edges, 1055 markings/sec, 140 secs
lola: 231051 markings, 337756 edges, 1041 markings/sec, 145 secs
lola: 236210 markings, 347316 edges, 1032 markings/sec, 150 secs
lola: 241716 markings, 358736 edges, 1101 markings/sec, 155 secs
lola: 248495 markings, 367432 edges, 1356 markings/sec, 160 secs
lola: 255854 markings, 376916 edges, 1472 markings/sec, 165 secs
lola: 263457 markings, 387918 edges, 1521 markings/sec, 170 secs
lola: 272911 markings, 401557 edges, 1891 markings/sec, 175 secs
lola: 282652 markings, 414019 edges, 1948 markings/sec, 180 secs
lola: 292927 markings, 427220 edges, 2055 markings/sec, 185 secs
lola: 303637 markings, 440984 edges, 2142 markings/sec, 190 secs
lola: 314467 markings, 455262 edges, 2166 markings/sec, 195 secs
lola: 325236 markings, 470622 edges, 2154 markings/sec, 200 secs
lola: 331814 markings, 482646 edges, 1316 markings/sec, 205 secs
lola: 336967 markings, 491419 edges, 1031 markings/sec, 210 secs
lola: 342141 markings, 500333 edges, 1035 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p549)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 3441 markings, 7197 edges, 688 markings/sec, 0 secs
lola: 6858 markings, 14578 edges, 683 markings/sec, 5 secs
lola: 10248 markings, 21953 edges, 678 markings/sec, 10 secs
lola: 13610 markings, 29318 edges, 672 markings/sec, 15 secs
lola: 16945 markings, 36678 edges, 667 markings/sec, 20 secs
lola: 20252 markings, 44031 edges, 661 markings/sec, 25 secs
lola: 23531 markings, 51378 edges, 656 markings/sec, 30 secs
lola: 26784 markings, 58723 edges, 651 markings/sec, 35 secs
lola: 30225 markings, 66438 edges, 688 markings/sec, 40 secs
lola: 33508 markings, 73871 edges, 657 markings/sec, 45 secs
lola: 36834 markings, 81465 edges, 665 markings/sec, 50 secs
lola: 38891 markings, 85816 edges, 411 markings/sec, 55 secs
lola: 40319 markings, 88896 edges, 286 markings/sec, 60 secs
lola: 41799 markings, 92326 edges, 296 markings/sec, 65 secs
lola: 43245 markings, 95390 edges, 289 markings/sec, 70 secs
lola: 45164 markings, 99575 edges, 384 markings/sec, 75 secs
lola: 48840 markings, 107945 edges, 735 markings/sec, 80 secs
lola: 52440 markings, 116143 edges, 720 markings/sec, 85 secs
lola: 56073 markings, 124738 edges, 727 markings/sec, 90 secs
lola: 59656 markings, 133531 edges, 717 markings/sec, 95 secs
lola: 63263 markings, 142592 edges, 721 markings/sec, 100 secs
lola: 66867 markings, 152614 edges, 721 markings/sec, 105 secs
lola: 70444 markings, 164171 edges, 715 markings/sec, 110 secs
lola: 74172 markings, 179617 edges, 746 markings/sec, 115 secs
lola: 77849 markings, 187477 edges, 735 markings/sec, 120 secs
lola: 81603 markings, 195331 edges, 751 markings/sec, 125 secs
lola: 85327 markings, 203066 edges, 745 markings/sec, 130 secs
lola: 88895 markings, 210802 edges, 714 markings/sec, 135 secs
lola: 92678 markings, 218560 edges, 757 markings/sec, 140 secs
lola: 96345 markings, 226477 edges, 733 markings/sec, 145 secs
lola: 100030 markings, 234295 edges, 737 markings/sec, 150 secs
lola: 103729 markings, 242167 edges, 740 markings/sec, 155 secs
lola: 107399 markings, 249998 edges, 734 markings/sec, 160 secs
lola: 111038 markings, 257901 edges, 728 markings/sec, 165 secs
lola: 114745 markings, 265826 edges, 741 markings/sec, 170 secs
lola: 118341 markings, 273775 edges, 719 markings/sec, 175 secs
lola: 122001 markings, 281519 edges, 732 markings/sec, 180 secs
lola: 125641 markings, 289436 edges, 728 markings/sec, 185 secs
lola: 129273 markings, 297355 edges, 726 markings/sec, 190 secs
lola: 132929 markings, 305483 edges, 731 markings/sec, 195 secs
lola: 136586 markings, 313598 edges, 731 markings/sec, 200 secs
lola: 140248 markings, 321700 edges, 732 markings/sec, 205 secs
lola: 143909 markings, 329788 edges, 732 markings/sec, 210 secs
lola: 147578 markings, 337866 edges, 734 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2470 markings, 4573 edges, 494 markings/sec, 0 secs
lola: 4939 markings, 9150 edges, 494 markings/sec, 5 secs
lola: 7401 markings, 13743 edges, 492 markings/sec, 10 secs
lola: 9855 markings, 18391 edges, 491 markings/sec, 15 secs
lola: 12322 markings, 22941 edges, 493 markings/sec, 20 secs
lola: 14790 markings, 27499 edges, 494 markings/sec, 25 secs
lola: 17243 markings, 32098 edges, 491 markings/sec, 30 secs
lola: 19703 markings, 36708 edges, 492 markings/sec, 35 secs
lola: 22162 markings, 46180 edges, 492 markings/sec, 40 secs
lola: 24599 markings, 50732 edges, 487 markings/sec, 45 secs
lola: 27014 markings, 55219 edges, 483 markings/sec, 50 secs
lola: 29430 markings, 59737 edges, 483 markings/sec, 55 secs
lola: 31845 markings, 64312 edges, 483 markings/sec, 60 secs
lola: 34265 markings, 68811 edges, 484 markings/sec, 65 secs
lola: 36688 markings, 73302 edges, 485 markings/sec, 70 secs
lola: 39115 markings, 77778 edges, 485 markings/sec, 75 secs
lola: 41529 markings, 82281 edges, 483 markings/sec, 80 secs
lola: 43942 markings, 86854 edges, 483 markings/sec, 85 secs
lola: 46370 markings, 96283 edges, 486 markings/sec, 90 secs
lola: 48793 markings, 100821 edges, 485 markings/sec, 95 secs
lola: 51215 markings, 105328 edges, 484 markings/sec, 100 secs
lola: 53641 markings, 109802 edges, 485 markings/sec, 105 secs
lola: 56055 markings, 114301 edges, 483 markings/sec, 110 secs
lola: 58470 markings, 118876 edges, 483 markings/sec, 115 secs
lola: 60887 markings, 123368 edges, 483 markings/sec, 120 secs
lola: 63205 markings, 127690 edges, 464 markings/sec, 125 secs
lola: 65478 markings, 131913 edges, 455 markings/sec, 130 secs
lola: 67758 markings, 141037 edges, 456 markings/sec, 135 secs
lola: 70041 markings, 145319 edges, 457 markings/sec, 140 secs
lola: 72326 markings, 149578 edges, 457 markings/sec, 145 secs
lola: 74615 markings, 153842 edges, 458 markings/sec, 150 secs
lola: 76901 markings, 158097 edges, 457 markings/sec, 155 secs
lola: 79129 markings, 162248 edges, 446 markings/sec, 160 secs
lola: 81402 markings, 166488 edges, 455 markings/sec, 165 secs
lola: 83709 markings, 170784 edges, 461 markings/sec, 170 secs
lola: 86014 markings, 175077 edges, 461 markings/sec, 175 secs
lola: 88314 markings, 184279 edges, 460 markings/sec, 180 secs
lola: 90609 markings, 188582 edges, 459 markings/sec, 185 secs
lola: 92886 markings, 192868 edges, 455 markings/sec, 190 secs
lola: 95188 markings, 197173 edges, 460 markings/sec, 195 secs
lola: 97497 markings, 201475 edges, 462 markings/sec, 200 secs
lola: 99860 markings, 205876 edges, 473 markings/sec, 205 secs
lola: 102290 markings, 210358 edges, 486 markings/sec, 210 secs
lola: 104707 markings, 214864 edges, 483 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p634)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 2185 markings, 5131 edges, 437 markings/sec, 0 secs
lola: 4394 markings, 12582 edges, 442 markings/sec, 5 secs
lola: 6618 markings, 20422 edges, 445 markings/sec, 10 secs
lola: 8822 markings, 27032 edges, 441 markings/sec, 15 secs
lola: 11028 markings, 33830 edges, 441 markings/sec, 20 secs
lola: 13236 markings, 40833 edges, 442 markings/sec, 25 secs
lola: 15458 markings, 48478 edges, 444 markings/sec, 30 secs
lola: 17595 markings, 55013 edges, 427 markings/sec, 35 secs
lola: 19715 markings, 61441 edges, 424 markings/sec, 40 secs
lola: 21825 markings, 68198 edges, 422 markings/sec, 45 secs
lola: 23935 markings, 75137 edges, 422 markings/sec, 50 secs
lola: 26054 markings, 82112 edges, 424 markings/sec, 55 secs
lola: 28166 markings, 88648 edges, 422 markings/sec, 60 secs
lola: 30280 markings, 95234 edges, 423 markings/sec, 65 secs
lola: 32395 markings, 101820 edges, 423 markings/sec, 70 secs
lola: 34525 markings, 109069 edges, 426 markings/sec, 75 secs
lola: 36659 markings, 115776 edges, 427 markings/sec, 80 secs
lola: 38780 markings, 122317 edges, 424 markings/sec, 85 secs
lola: 40888 markings, 128904 edges, 422 markings/sec, 90 secs
lola: 43001 markings, 135581 edges, 423 markings/sec, 95 secs
lola: 45139 markings, 143247 edges, 428 markings/sec, 100 secs
lola: 47259 markings, 149445 edges, 424 markings/sec, 105 secs
lola: 49378 markings, 155978 edges, 424 markings/sec, 110 secs
lola: 51498 markings, 162621 edges, 424 markings/sec, 115 secs
lola: 53619 markings, 169538 edges, 424 markings/sec, 120 secs
lola: 55753 markings, 176895 edges, 427 markings/sec, 125 secs
lola: 57871 markings, 183220 edges, 424 markings/sec, 130 secs
lola: 59989 markings, 189723 edges, 424 markings/sec, 135 secs
lola: 62108 markings, 196483 edges, 424 markings/sec, 140 secs
lola: 64230 markings, 203518 edges, 424 markings/sec, 145 secs
lola: 66361 markings, 210553 edges, 426 markings/sec, 150 secs
lola: 68478 markings, 217096 edges, 423 markings/sec, 155 secs
lola: 70594 markings, 223684 edges, 423 markings/sec, 160 secs
lola: 72763 markings, 230860 edges, 434 markings/sec, 165 secs
lola: 74970 markings, 239221 edges, 441 markings/sec, 170 secs
lola: 77153 markings, 246481 edges, 437 markings/sec, 175 secs
lola: 79352 markings, 254226 edges, 440 markings/sec, 180 secs
lola: 81535 markings, 261743 edges, 437 markings/sec, 185 secs
lola: 83732 markings, 269336 edges, 439 markings/sec, 190 secs
lola: 85918 markings, 277213 edges, 437 markings/sec, 195 secs
lola: 88110 markings, 284499 edges, 438 markings/sec, 200 secs
lola: 90308 markings, 292237 edges, 440 markings/sec, 205 secs
lola: 92488 markings, 299616 edges, 436 markings/sec, 210 secs
lola: 94685 markings, 307295 edges, 439 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p819)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 3234 markings, 6804 edges, 647 markings/sec, 0 secs
lola: 6293 markings, 13532 edges, 612 markings/sec, 5 secs
lola: 9276 markings, 20173 edges, 597 markings/sec, 10 secs
lola: 12332 markings, 26997 edges, 611 markings/sec, 15 secs
lola: 15475 markings, 33932 edges, 629 markings/sec, 20 secs
lola: 18597 markings, 40862 edges, 624 markings/sec, 25 secs
lola: 21700 markings, 47796 edges, 621 markings/sec, 30 secs
lola: 24785 markings, 54737 edges, 617 markings/sec, 35 secs
lola: 27849 markings, 61673 edges, 613 markings/sec, 40 secs
lola: 30887 markings, 68594 edges, 608 markings/sec, 45 secs
lola: 33918 markings, 75663 edges, 606 markings/sec, 50 secs
lola: 37205 markings, 82636 edges, 657 markings/sec, 55 secs
lola: 40639 markings, 90292 edges, 687 markings/sec, 60 secs
lola: 44082 markings, 97332 edges, 689 markings/sec, 65 secs
lola: 47521 markings, 104972 edges, 688 markings/sec, 70 secs
lola: 50962 markings, 112010 edges, 688 markings/sec, 75 secs
lola: 54389 markings, 119643 edges, 685 markings/sec, 80 secs
lola: 57817 markings, 127270 edges, 686 markings/sec, 85 secs
lola: 61249 markings, 134299 edges, 686 markings/sec, 90 secs
lola: 64677 markings, 141918 edges, 686 markings/sec, 95 secs
lola: 68099 markings, 149545 edges, 684 markings/sec, 100 secs
lola: 71527 markings, 156556 edges, 686 markings/sec, 105 secs
lola: 74790 markings, 181765 edges, 653 markings/sec, 110 secs
lola: 77889 markings, 188731 edges, 620 markings/sec, 115 secs
lola: 80977 markings, 195703 edges, 618 markings/sec, 120 secs
lola: 84250 markings, 202773 edges, 655 markings/sec, 125 secs
lola: 87502 markings, 209835 edges, 650 markings/sec, 130 secs
lola: 90768 markings, 216905 edges, 653 markings/sec, 135 secs
lola: 93876 markings, 223963 edges, 622 markings/sec, 140 secs
lola: 96972 markings, 230907 edges, 619 markings/sec, 145 secs
lola: 100260 markings, 238010 edges, 658 markings/sec, 150 secs
lola: 103554 markings, 245262 edges, 659 markings/sec, 155 secs
lola: 106546 markings, 252279 edges, 598 markings/sec, 160 secs
lola: 109848 markings, 259420 edges, 660 markings/sec, 165 secs
lola: 113129 markings, 266753 edges, 656 markings/sec, 170 secs
lola: 116198 markings, 273904 edges, 614 markings/sec, 175 secs
lola: 119506 markings, 281032 edges, 662 markings/sec, 180 secs
lola: 122548 markings, 288119 edges, 608 markings/sec, 185 secs
lola: 125886 markings, 295427 edges, 668 markings/sec, 190 secs
lola: 129127 markings, 302779 edges, 648 markings/sec, 195 secs
lola: 132495 markings, 310166 edges, 674 markings/sec, 200 secs
lola: 135974 markings, 317750 edges, 696 markings/sec, 205 secs
lola: 139391 markings, 325266 edges, 683 markings/sec, 210 secs
lola: 142802 markings, 332895 edges, 682 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 3109 markings, 6738 edges, 622 markings/sec, 0 secs
lola: 6407 markings, 12854 edges, 660 markings/sec, 5 secs
lola: 9716 markings, 18982 edges, 662 markings/sec, 10 secs
lola: 13024 markings, 25101 edges, 662 markings/sec, 15 secs
lola: 16331 markings, 31227 edges, 661 markings/sec, 20 secs
lola: 19637 markings, 37355 edges, 661 markings/sec, 25 secs
lola: 22866 markings, 47943 edges, 646 markings/sec, 30 secs
lola: 26140 markings, 54051 edges, 655 markings/sec, 35 secs
lola: 29426 markings, 60127 edges, 657 markings/sec, 40 secs
lola: 32709 markings, 66203 edges, 657 markings/sec, 45 secs
lola: 35985 markings, 72282 edges, 655 markings/sec, 50 secs
lola: 39260 markings, 78376 edges, 655 markings/sec, 55 secs
lola: 42513 markings, 85577 edges, 651 markings/sec, 60 secs
lola: 45809 markings, 95049 edges, 659 markings/sec, 65 secs
lola: 49096 markings, 101119 edges, 657 markings/sec, 70 secs
lola: 52388 markings, 107223 edges, 658 markings/sec, 75 secs
lola: 55670 markings, 113300 edges, 656 markings/sec, 80 secs
lola: 58951 markings, 119378 edges, 656 markings/sec, 85 secs
lola: 62232 markings, 125464 edges, 656 markings/sec, 90 secs
lola: 65423 markings, 136034 edges, 638 markings/sec, 95 secs
lola: 68707 markings, 142132 edges, 657 markings/sec, 100 secs
lola: 71996 markings, 148223 edges, 658 markings/sec, 105 secs
lola: 75270 markings, 154317 edges, 655 markings/sec, 110 secs
lola: 78552 markings, 160393 edges, 656 markings/sec, 115 secs
lola: 81845 markings, 166476 edges, 659 markings/sec, 120 secs
lola: 85123 markings, 177032 edges, 656 markings/sec, 125 secs
lola: 88405 markings, 183152 edges, 656 markings/sec, 130 secs
lola: 91688 markings, 189221 edges, 657 markings/sec, 135 secs
lola: 94965 markings, 195304 edges, 655 markings/sec, 140 secs
lola: 98241 markings, 201391 edges, 655 markings/sec, 145 secs
lola: 101519 markings, 207470 edges, 656 markings/sec, 150 secs
lola: 104794 markings, 213562 edges, 655 markings/sec, 155 secs
lola: 108010 markings, 224147 edges, 643 markings/sec, 160 secs
lola: 111296 markings, 230223 edges, 657 markings/sec, 165 secs
lola: 114591 markings, 236309 edges, 659 markings/sec, 170 secs
lola: 117884 markings, 242407 edges, 659 markings/sec, 175 secs
lola: 121177 markings, 248492 edges, 659 markings/sec, 180 secs
lola: 124472 markings, 254585 edges, 659 markings/sec, 185 secs
lola: 127696 markings, 265135 edges, 645 markings/sec, 190 secs
lola: 130968 markings, 271257 edges, 654 markings/sec, 195 secs
lola: 134257 markings, 277328 edges, 658 markings/sec, 200 secs
lola: 137544 markings, 283422 edges, 657 markings/sec, 205 secs
lola: 140828 markings, 289502 edges, 657 markings/sec, 210 secs
lola: 144102 markings, 295586 edges, 655 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p688)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 4463 markings, 7787 edges, 893 markings/sec, 0 secs
lola: 8711 markings, 15302 edges, 850 markings/sec, 5 secs
lola: 12923 markings, 22840 edges, 842 markings/sec, 10 secs
lola: 17112 markings, 30409 edges, 838 markings/sec, 15 secs
lola: 21167 markings, 37766 edges, 811 markings/sec, 20 secs
lola: 25780 markings, 46114 edges, 923 markings/sec, 25 secs
lola: 30475 markings, 54709 edges, 939 markings/sec, 30 secs
lola: 35566 markings, 63618 edges, 1018 markings/sec, 35 secs
lola: 40523 markings, 72671 edges, 991 markings/sec, 40 secs
lola: 45548 markings, 81992 edges, 1005 markings/sec, 45 secs
lola: 50723 markings, 92000 edges, 1035 markings/sec, 50 secs
lola: 55589 markings, 102280 edges, 973 markings/sec, 55 secs
lola: 60430 markings, 117625 edges, 968 markings/sec, 60 secs
lola: 66224 markings, 127110 edges, 1159 markings/sec, 65 secs
lola: 72103 markings, 136824 edges, 1176 markings/sec, 70 secs
lola: 77954 markings, 146479 edges, 1170 markings/sec, 75 secs
lola: 83532 markings, 155667 edges, 1116 markings/sec, 80 secs
lola: 89496 markings, 165358 edges, 1193 markings/sec, 85 secs
lola: 95375 markings, 175033 edges, 1176 markings/sec, 90 secs
lola: 101084 markings, 184634 edges, 1142 markings/sec, 95 secs
lola: 106753 markings, 194057 edges, 1134 markings/sec, 100 secs
lola: 112647 markings, 203875 edges, 1179 markings/sec, 105 secs
lola: 118551 markings, 213770 edges, 1181 markings/sec, 110 secs
lola: 124596 markings, 223709 edges, 1209 markings/sec, 115 secs
lola: 130743 markings, 233802 edges, 1229 markings/sec, 120 secs
lola: 136806 markings, 243881 edges, 1213 markings/sec, 125 secs
lola: 143084 markings, 254459 edges, 1256 markings/sec, 130 secs
lola: 149109 markings, 264784 edges, 1205 markings/sec, 135 secs
lola: 155450 markings, 275705 edges, 1268 markings/sec, 140 secs
lola: 161493 markings, 286471 edges, 1209 markings/sec, 145 secs
lola: 167725 markings, 298143 edges, 1246 markings/sec, 150 secs
lola: 173969 markings, 310883 edges, 1249 markings/sec, 155 secs
lola: 178771 markings, 324406 edges, 960 markings/sec, 160 secs
lola: 182224 markings, 332363 edges, 691 markings/sec, 165 secs
lola: 185545 markings, 339906 edges, 664 markings/sec, 170 secs
lola: 188874 markings, 347476 edges, 666 markings/sec, 175 secs
lola: 192347 markings, 355199 edges, 695 markings/sec, 180 secs
lola: 195621 markings, 362877 edges, 655 markings/sec, 185 secs
lola: 199171 markings, 370843 edges, 710 markings/sec, 190 secs
lola: 202434 markings, 378475 edges, 653 markings/sec, 195 secs
lola: 205895 markings, 386529 edges, 692 markings/sec, 200 secs
lola: 209269 markings, 394324 edges, 675 markings/sec, 205 secs
lola: 212620 markings, 402142 edges, 670 markings/sec, 210 secs
lola: 215997 markings, 410084 edges, 675 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p771)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 3478 markings, 6052 edges, 696 markings/sec, 0 secs
lola: 6990 markings, 12167 edges, 702 markings/sec, 5 secs
lola: 10525 markings, 18286 edges, 707 markings/sec, 10 secs
lola: 14024 markings, 24373 edges, 700 markings/sec, 15 secs
lola: 17499 markings, 34020 edges, 695 markings/sec, 20 secs
lola: 21024 markings, 40182 edges, 705 markings/sec, 25 secs
lola: 24563 markings, 46324 edges, 708 markings/sec, 30 secs
lola: 28081 markings, 52461 edges, 704 markings/sec, 35 secs
lola: 31634 markings, 58608 edges, 711 markings/sec, 40 secs
lola: 35057 markings, 68179 edges, 685 markings/sec, 45 secs
lola: 38566 markings, 74275 edges, 702 markings/sec, 50 secs
lola: 42057 markings, 80352 edges, 698 markings/sec, 55 secs
lola: 45544 markings, 86443 edges, 697 markings/sec, 60 secs
lola: 48984 markings, 96040 edges, 688 markings/sec, 65 secs
lola: 52449 markings, 102046 edges, 693 markings/sec, 70 secs
lola: 55929 markings, 108076 edges, 696 markings/sec, 75 secs
lola: 59368 markings, 114063 edges, 688 markings/sec, 80 secs
lola: 62827 markings, 120072 edges, 692 markings/sec, 85 secs
lola: 66230 markings, 129622 edges, 681 markings/sec, 90 secs
lola: 69719 markings, 135700 edges, 698 markings/sec, 95 secs
lola: 73239 markings, 141791 edges, 704 markings/sec, 100 secs
lola: 76748 markings, 147878 edges, 702 markings/sec, 105 secs
lola: 80199 markings, 157475 edges, 690 markings/sec, 110 secs
lola: 83623 markings, 163483 edges, 685 markings/sec, 115 secs
lola: 87085 markings, 169479 edges, 692 markings/sec, 120 secs
lola: 90528 markings, 175509 edges, 689 markings/sec, 125 secs
lola: 93997 markings, 181486 edges, 694 markings/sec, 130 secs
lola: 97406 markings, 191075 edges, 682 markings/sec, 135 secs
lola: 100948 markings, 197171 edges, 708 markings/sec, 140 secs
lola: 104420 markings, 203242 edges, 694 markings/sec, 145 secs
lola: 107916 markings, 209332 edges, 699 markings/sec, 150 secs
lola: 111345 markings, 218879 edges, 686 markings/sec, 155 secs
lola: 114787 markings, 224906 edges, 688 markings/sec, 160 secs
lola: 118267 markings, 230897 edges, 696 markings/sec, 165 secs
lola: 121742 markings, 236916 edges, 695 markings/sec, 170 secs
lola: 125137 markings, 246448 edges, 679 markings/sec, 175 secs
lola: 128625 markings, 252520 edges, 698 markings/sec, 180 secs
lola: 132114 markings, 258589 edges, 698 markings/sec, 185 secs
lola: 135617 markings, 264683 edges, 701 markings/sec, 190 secs
lola: 139055 markings, 274277 edges, 688 markings/sec, 195 secs
lola: 142521 markings, 280279 edges, 693 markings/sec, 200 secs
lola: 145993 markings, 286298 edges, 694 markings/sec, 205 secs
lola: 149422 markings, 292286 edges, 686 markings/sec, 210 secs
lola: 152852 markings, 300183 edges, 686 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p647 + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 3275 markings, 6907 edges, 655 markings/sec, 0 secs
lola: 6505 markings, 13892 edges, 646 markings/sec, 5 secs
lola: 9407 markings, 20588 edges, 580 markings/sec, 10 secs
lola: 12515 markings, 27558 edges, 622 markings/sec, 15 secs
lola: 15643 markings, 34346 edges, 626 markings/sec, 20 secs
lola: 18812 markings, 41396 edges, 634 markings/sec, 25 secs
lola: 21924 markings, 48348 edges, 622 markings/sec, 30 secs
lola: 25091 markings, 55493 edges, 633 markings/sec, 35 secs
lola: 28058 markings, 62188 edges, 593 markings/sec, 40 secs
lola: 31097 markings, 69110 edges, 608 markings/sec, 45 secs
lola: 34340 markings, 76484 edges, 649 markings/sec, 50 secs
lola: 37724 markings, 83923 edges, 677 markings/sec, 55 secs
lola: 41355 markings, 91779 edges, 726 markings/sec, 60 secs
lola: 44920 markings, 99483 edges, 713 markings/sec, 65 secs
lola: 48284 markings, 106690 edges, 673 markings/sec, 70 secs
lola: 51915 markings, 114548 edges, 726 markings/sec, 75 secs
lola: 55485 markings, 122226 edges, 714 markings/sec, 80 secs
lola: 59024 markings, 129841 edges, 708 markings/sec, 85 secs
lola: 62554 markings, 137473 edges, 706 markings/sec, 90 secs
lola: 66139 markings, 145134 edges, 717 markings/sec, 95 secs
lola: 69693 markings, 152968 edges, 711 markings/sec, 100 secs
lola: 72796 markings, 177457 edges, 621 markings/sec, 105 secs
lola: 76214 markings, 184941 edges, 684 markings/sec, 110 secs
lola: 79608 markings, 192358 edges, 679 markings/sec, 115 secs
lola: 83005 markings, 199771 edges, 679 markings/sec, 120 secs
lola: 86148 markings, 206969 edges, 629 markings/sec, 125 secs
lola: 89469 markings, 214373 edges, 664 markings/sec, 130 secs
lola: 92900 markings, 221740 edges, 686 markings/sec, 135 secs
lola: 96266 markings, 229183 edges, 673 markings/sec, 140 secs
lola: 99407 markings, 236424 edges, 628 markings/sec, 145 secs
lola: 102893 markings, 243955 edges, 697 markings/sec, 150 secs
lola: 106230 markings, 251405 edges, 667 markings/sec, 155 secs
lola: 109511 markings, 258843 edges, 656 markings/sec, 160 secs
lola: 112991 markings, 266347 edges, 696 markings/sec, 165 secs
lola: 116177 markings, 273871 edges, 637 markings/sec, 170 secs
lola: 119638 markings, 281302 edges, 692 markings/sec, 175 secs
lola: 122862 markings, 288825 edges, 645 markings/sec, 180 secs
lola: 126244 markings, 296343 edges, 676 markings/sec, 185 secs
lola: 129720 markings, 304020 edges, 695 markings/sec, 190 secs
lola: 133314 markings, 311816 edges, 719 markings/sec, 195 secs
lola: 136904 markings, 319815 edges, 718 markings/sec, 200 secs
lola: 140494 markings, 327804 edges, 718 markings/sec, 205 secs
lola: 144095 markings, 335781 edges, 720 markings/sec, 210 secs
lola: 147696 markings, 343919 edges, 720 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p820)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3128 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: 6297 markings, 7986 edges, 1259 markings/sec, 0 secs
lola: 13286 markings, 17016 edges, 1398 markings/sec, 5 secs
lola: 20816 markings, 27226 edges, 1506 markings/sec, 10 secs
lola: 29859 markings, 41031 edges, 1809 markings/sec, 15 secs
lola: 39741 markings, 53663 edges, 1976 markings/sec, 20 secs
lola: 49914 markings, 66739 edges, 2035 markings/sec, 25 secs
lola: 59622 markings, 79230 edges, 1942 markings/sec, 30 secs
lola: 70474 markings, 93351 edges, 2170 markings/sec, 35 secs
lola: 81178 markings, 108039 edges, 2141 markings/sec, 40 secs
lola: 89489 markings, 122371 edges, 1662 markings/sec, 45 secs
lola: 94589 markings, 131064 edges, 1020 markings/sec, 50 secs
lola: 99708 markings, 139789 edges, 1024 markings/sec, 55 secs
lola: 104885 markings, 148706 edges, 1035 markings/sec, 60 secs
lola: 109986 markings, 157729 edges, 1020 markings/sec, 65 secs
lola: 115139 markings, 167119 edges, 1031 markings/sec, 70 secs
lola: 120202 markings, 178027 edges, 1013 markings/sec, 75 secs
lola: 127071 markings, 187266 edges, 1374 markings/sec, 80 secs
lola: 134148 markings, 196438 edges, 1415 markings/sec, 85 secs
lola: 141848 markings, 207046 edges, 1540 markings/sec, 90 secs
lola: 151048 markings, 220896 edges, 1840 markings/sec, 95 secs
lola: 161200 markings, 233863 edges, 2030 markings/sec, 100 secs
lola: 171485 markings, 247076 edges, 2057 markings/sec, 105 secs
lola: 181943 markings, 260530 edges, 2092 markings/sec, 110 secs
lola: 192691 markings, 274600 edges, 2150 markings/sec, 115 secs
lola: 203319 markings, 289440 edges, 2126 markings/sec, 120 secs
lola: 210682 markings, 302551 edges, 1473 markings/sec, 125 secs
lola: 215727 markings, 311174 edges, 1009 markings/sec, 130 secs
lola: 220954 markings, 320040 edges, 1045 markings/sec, 135 secs
lola: 226052 markings, 328954 edges, 1020 markings/sec, 140 secs
lola: 231182 markings, 338031 edges, 1026 markings/sec, 145 secs
lola: 236334 markings, 347505 edges, 1030 markings/sec, 150 secs
lola: 241728 markings, 358757 edges, 1079 markings/sec, 155 secs
lola: 248452 markings, 367365 edges, 1345 markings/sec, 160 secs
lola: 255611 markings, 376620 edges, 1432 markings/sec, 165 secs
lola: 263160 markings, 387392 edges, 1510 markings/sec, 170 secs
lola: 272584 markings, 401189 edges, 1885 markings/sec, 175 secs
lola: 282663 markings, 414033 edges, 2016 markings/sec, 180 secs
lola: 292836 markings, 427082 edges, 2035 markings/sec, 185 secs
lola: 303284 markings, 440551 edges, 2090 markings/sec, 190 secs
lola: 313969 markings, 454605 edges, 2137 markings/sec, 195 secs
lola: 324612 markings, 469624 edges, 2129 markings/sec, 200 secs
lola: 331324 markings, 481898 edges, 1342 markings/sec, 205 secs
lola: 336510 markings, 490666 edges, 1037 markings/sec, 210 secs
lola: 341580 markings, 499364 edges, 1014 markings/sec, 215 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 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBNT-COL-S10J40-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J40-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496301814384

--------------------
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_PolyORBNT-COL-S10J40"
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_PolyORBNT-COL-S10J40.tgz
mv S_PolyORBNT-COL-S10J40 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_PolyORBNT-COL-S10J40, 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 r138-smll-149479231500065"
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 ;