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

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

=== Now, execution of the tool begins

BK_START 1496275236722


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBNT-COL-S05J40: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBNT-COL-S05J40: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-COL-S05J40 @ 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: 2299/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 669 places, 1630 transitions, 567 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1208 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J40-UpperBounds.task
lola: MAX(p123) : MAX(p124) : MAX(p140) : MAX(p138) : MAX(p483) : MAX(p124) : MAX(p131) : MAX(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) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p40) : MAX(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) : MAX(p482) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p40) : MAX(p666) : MAX(p125 + p126 + p127 + p128 + p129) : MAX(p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611) : MAX(p612)
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(p123)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 57596 markings, 68596 edges, 11519 markings/sec, 0 secs
lola: 114786 markings, 137128 edges, 11438 markings/sec, 5 secs
lola: 173247 markings, 207535 edges, 11692 markings/sec, 10 secs
lola: 238944 markings, 285069 edges, 13139 markings/sec, 15 secs
lola: 302545 markings, 362973 edges, 12720 markings/sec, 20 secs
lola: 362585 markings, 456894 edges, 12008 markings/sec, 25 secs
lola: 418723 markings, 521848 edges, 11228 markings/sec, 30 secs
lola: 482225 markings, 598481 edges, 12700 markings/sec, 35 secs
lola: 546555 markings, 675218 edges, 12866 markings/sec, 40 secs
lola: 608902 markings, 769666 edges, 12469 markings/sec, 45 secs
lola: 665885 markings, 840007 edges, 11397 markings/sec, 50 secs
lola: 725695 markings, 912262 edges, 11962 markings/sec, 55 secs
lola: 790664 markings, 989013 edges, 12994 markings/sec, 60 secs
lola: 853787 markings, 1070129 edges, 12625 markings/sec, 65 secs
lola: 913263 markings, 1160607 edges, 11895 markings/sec, 70 secs
lola: 974083 markings, 1235989 edges, 12164 markings/sec, 75 secs
lola: 1037773 markings, 1311587 edges, 12738 markings/sec, 80 secs
lola: 1098481 markings, 1393290 edges, 12142 markings/sec, 85 secs
lola: 1155061 markings, 1475943 edges, 11316 markings/sec, 90 secs
lola: 1214263 markings, 1549290 edges, 11840 markings/sec, 95 secs
lola: 1276220 markings, 1622831 edges, 12391 markings/sec, 100 secs
lola: 1336259 markings, 1704767 edges, 12008 markings/sec, 105 secs
lola: 1392172 markings, 1785597 edges, 11183 markings/sec, 110 secs
lola: 1450746 markings, 1858201 edges, 11715 markings/sec, 115 secs
lola: 1514567 markings, 1933967 edges, 12764 markings/sec, 120 secs
lola: 1577775 markings, 2022731 edges, 12642 markings/sec, 125 secs
lola: 1636234 markings, 2103925 edges, 11692 markings/sec, 130 secs
lola: 1700047 markings, 2182368 edges, 12763 markings/sec, 135 secs
lola: 1764434 markings, 2259727 edges, 12877 markings/sec, 140 secs
lola: 1825988 markings, 2356320 edges, 12311 markings/sec, 145 secs
lola: 1884898 markings, 2429592 edges, 11782 markings/sec, 150 secs
lola: 1950145 markings, 2506771 edges, 13049 markings/sec, 155 secs
lola: 2013571 markings, 2588736 edges, 12685 markings/sec, 160 secs
lola: 2072608 markings, 2676618 edges, 11807 markings/sec, 165 secs
lola: 2134570 markings, 2753230 edges, 12392 markings/sec, 170 secs
lola: 2198995 markings, 2830126 edges, 12885 markings/sec, 175 secs
lola: 2261267 markings, 2924388 edges, 12454 markings/sec, 180 secs
lola: 2319147 markings, 2999094 edges, 11576 markings/sec, 185 secs
lola: 2381400 markings, 3073855 edges, 12451 markings/sec, 190 secs
lola: 2445145 markings, 3152824 edges, 12749 markings/sec, 195 secs
lola: 2504727 markings, 3243994 edges, 11916 markings/sec, 200 secs
lola: 2566479 markings, 3320448 edges, 12350 markings/sec, 205 secs
lola: 2630795 markings, 3397407 edges, 12863 markings/sec, 210 secs
lola: 2692514 markings, 3493782 edges, 12344 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(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 57899 markings, 68977 edges, 11580 markings/sec, 0 secs
lola: 115414 markings, 137811 edges, 11503 markings/sec, 5 secs
lola: 174478 markings, 209034 edges, 11813 markings/sec, 10 secs
lola: 240442 markings, 286793 edges, 13193 markings/sec, 15 secs
lola: 304264 markings, 365341 edges, 12764 markings/sec, 20 secs
lola: 364567 markings, 459137 edges, 12061 markings/sec, 25 secs
lola: 421179 markings, 524826 edges, 11322 markings/sec, 30 secs
lola: 485436 markings, 602248 edges, 12851 markings/sec, 35 secs
lola: 549991 markings, 679417 edges, 12911 markings/sec, 40 secs
lola: 612020 markings, 775805 edges, 12406 markings/sec, 45 secs
lola: 668884 markings, 843464 edges, 11373 markings/sec, 50 secs
lola: 729101 markings, 916258 edges, 12043 markings/sec, 55 secs
lola: 794156 markings, 993244 edges, 13011 markings/sec, 60 secs
lola: 857189 markings, 1075905 edges, 12607 markings/sec, 65 secs
lola: 916363 markings, 1164324 edges, 11835 markings/sec, 70 secs
lola: 977774 markings, 1240312 edges, 12282 markings/sec, 75 secs
lola: 1042672 markings, 1317426 edges, 12980 markings/sec, 80 secs
lola: 1105525 markings, 1405480 edges, 12571 markings/sec, 85 secs
lola: 1163759 markings, 1486427 edges, 11647 markings/sec, 90 secs
lola: 1226664 markings, 1563880 edges, 12581 markings/sec, 95 secs
lola: 1290915 markings, 1640535 edges, 12850 markings/sec, 100 secs
lola: 1352766 markings, 1734251 edges, 12370 markings/sec, 105 secs
lola: 1410242 markings, 1807872 edges, 11495 markings/sec, 110 secs
lola: 1474407 markings, 1886136 edges, 12833 markings/sec, 115 secs
lola: 1538302 markings, 1962925 edges, 12779 markings/sec, 120 secs
lola: 1598953 markings, 2059353 edges, 12130 markings/sec, 125 secs
lola: 1656450 markings, 2130982 edges, 11499 markings/sec, 130 secs
lola: 1721639 markings, 2207968 edges, 13038 markings/sec, 135 secs
lola: 1784774 markings, 2286623 edges, 12627 markings/sec, 140 secs
lola: 1843942 markings, 2377582 edges, 11834 markings/sec, 145 secs
lola: 1904455 markings, 2452595 edges, 12103 markings/sec, 150 secs
lola: 1968798 markings, 2529110 edges, 12869 markings/sec, 155 secs
lola: 2030655 markings, 2618458 edges, 12371 markings/sec, 160 secs
lola: 2087982 markings, 2695475 edges, 11465 markings/sec, 165 secs
lola: 2151471 markings, 2773225 edges, 12698 markings/sec, 170 secs
lola: 2214969 markings, 2849747 edges, 12700 markings/sec, 175 secs
lola: 2275042 markings, 2944430 edges, 12015 markings/sec, 180 secs
lola: 2333621 markings, 3017317 edges, 11716 markings/sec, 185 secs
lola: 2398219 markings, 3093931 edges, 12920 markings/sec, 190 secs
lola: 2460477 markings, 3179471 edges, 12452 markings/sec, 195 secs
lola: 2517967 markings, 3260145 edges, 11498 markings/sec, 200 secs
lola: 2580711 markings, 3337286 edges, 12549 markings/sec, 205 secs
lola: 2643731 markings, 3413480 edges, 12604 markings/sec, 210 secs
lola: 2703354 markings, 3506580 edges, 11925 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(p140)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 68452 markings, 82951 edges, 13690 markings/sec, 0 secs
lola: 128673 markings, 153100 edges, 12044 markings/sec, 5 secs
lola: 202082 markings, 241462 edges, 14682 markings/sec, 10 secs
lola: 281357 markings, 336096 edges, 15855 markings/sec, 15 secs
lola: 349063 markings, 441612 edges, 13541 markings/sec, 20 secs
lola: 415138 markings, 517541 edges, 13215 markings/sec, 25 secs
lola: 491234 markings, 609103 edges, 15219 markings/sec, 30 secs
lola: 569013 markings, 703154 edges, 15556 markings/sec, 35 secs
lola: 634345 markings, 803990 edges, 13066 markings/sec, 40 secs
lola: 699939 markings, 881122 edges, 13119 markings/sec, 45 secs
lola: 778482 markings, 974535 edges, 15709 markings/sec, 50 secs
lola: 854592 markings, 1071484 edges, 15222 markings/sec, 55 secs
lola: 920688 markings, 1169528 edges, 13219 markings/sec, 60 secs
lola: 996695 markings, 1262651 edges, 15201 markings/sec, 65 secs
lola: 1074592 markings, 1356579 edges, 15579 markings/sec, 70 secs
lola: 1141551 markings, 1459784 edges, 13392 markings/sec, 75 secs
lola: 1215102 markings, 1550278 edges, 14710 markings/sec, 80 secs
lola: 1293220 markings, 1643403 edges, 15624 markings/sec, 85 secs
lola: 1361109 markings, 1748777 edges, 13578 markings/sec, 90 secs
lola: 1432563 markings, 1836766 edges, 14291 markings/sec, 95 secs
lola: 1511068 markings, 1929724 edges, 15701 markings/sec, 100 secs
lola: 1582302 markings, 2030698 edges, 14247 markings/sec, 105 secs
lola: 1650200 markings, 2122180 edges, 13580 markings/sec, 110 secs
lola: 1728638 markings, 2216320 edges, 15688 markings/sec, 115 secs
lola: 1801692 markings, 2316106 edges, 14611 markings/sec, 120 secs
lola: 1869106 markings, 2408609 edges, 13483 markings/sec, 125 secs
lola: 1946545 markings, 2502431 edges, 15488 markings/sec, 130 secs
lola: 2020332 markings, 2600353 edges, 14757 markings/sec, 135 secs
lola: 2086962 markings, 2694215 edges, 13326 markings/sec, 140 secs
lola: 2163759 markings, 2787862 edges, 15359 markings/sec, 145 secs
lola: 2238743 markings, 2884288 edges, 14997 markings/sec, 150 secs
lola: 2304659 markings, 2980026 edges, 13183 markings/sec, 155 secs
lola: 2380902 markings, 3073276 edges, 15249 markings/sec, 160 secs
lola: 2455475 markings, 3170833 edges, 14915 markings/sec, 165 secs
lola: 2521809 markings, 3265027 edges, 13267 markings/sec, 170 secs
lola: 2598245 markings, 3358166 edges, 15287 markings/sec, 175 secs
lola: 2671401 markings, 3456083 edges, 14631 markings/sec, 180 secs
lola: 2737988 markings, 3548873 edges, 13317 markings/sec, 185 secs
lola: 2814549 markings, 3641851 edges, 15312 markings/sec, 190 secs
lola: 2886509 markings, 3740046 edges, 14392 markings/sec, 195 secs
lola: 2953050 markings, 3832526 edges, 13308 markings/sec, 200 secs
lola: 3030246 markings, 3925078 edges, 15439 markings/sec, 205 secs
lola: 3099430 markings, 4027214 edges, 13837 markings/sec, 210 secs
lola: 3169477 markings, 4116414 edges, 14009 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(p138)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 37810 markings, 49205 edges, 7562 markings/sec, 0 secs
lola: 75135 markings, 105304 edges, 7465 markings/sec, 5 secs
lola: 112759 markings, 163465 edges, 7525 markings/sec, 10 secs
lola: 149524 markings, 222025 edges, 7353 markings/sec, 15 secs
lola: 186100 markings, 280312 edges, 7315 markings/sec, 20 secs
lola: 222354 markings, 339044 edges, 7251 markings/sec, 25 secs
lola: 258344 markings, 397405 edges, 7198 markings/sec, 30 secs
lola: 294132 markings, 457312 edges, 7158 markings/sec, 35 secs
lola: 330167 markings, 517610 edges, 7207 markings/sec, 40 secs
lola: 365234 markings, 579270 edges, 7013 markings/sec, 45 secs
lola: 399143 markings, 654394 edges, 6782 markings/sec, 50 secs
lola: 436449 markings, 712199 edges, 7461 markings/sec, 55 secs
lola: 472974 markings, 770406 edges, 7305 markings/sec, 60 secs
lola: 509267 markings, 828297 edges, 7259 markings/sec, 65 secs
lola: 545300 markings, 886695 edges, 7207 markings/sec, 70 secs
lola: 581083 markings, 944752 edges, 7157 markings/sec, 75 secs
lola: 616670 markings, 1003449 edges, 7117 markings/sec, 80 secs
lola: 652523 markings, 1064388 edges, 7171 markings/sec, 85 secs
lola: 687457 markings, 1124927 edges, 6987 markings/sec, 90 secs
lola: 721473 markings, 1193437 edges, 6803 markings/sec, 95 secs
lola: 758088 markings, 1258063 edges, 7323 markings/sec, 100 secs
lola: 794565 markings, 1316188 edges, 7295 markings/sec, 105 secs
lola: 830858 markings, 1374068 edges, 7259 markings/sec, 110 secs
lola: 866895 markings, 1431568 edges, 7207 markings/sec, 115 secs
lola: 902647 markings, 1490489 edges, 7150 markings/sec, 120 secs
lola: 938207 markings, 1549153 edges, 7112 markings/sec, 125 secs
lola: 974118 markings, 1609256 edges, 7182 markings/sec, 130 secs
lola: 1009079 markings, 1669843 edges, 6992 markings/sec, 135 secs
lola: 1043228 markings, 1736686 edges, 6830 markings/sec, 140 secs
lola: 1078279 markings, 1803379 edges, 7010 markings/sec, 145 secs
lola: 1113767 markings, 1861262 edges, 7098 markings/sec, 150 secs
lola: 1149207 markings, 1920010 edges, 7088 markings/sec, 155 secs
lola: 1184536 markings, 1978588 edges, 7066 markings/sec, 160 secs
lola: 1219572 markings, 2037655 edges, 7007 markings/sec, 165 secs
lola: 1254940 markings, 2098173 edges, 7074 markings/sec, 170 secs
lola: 1289473 markings, 2159271 edges, 6907 markings/sec, 175 secs
lola: 1323393 markings, 2225051 edges, 6784 markings/sec, 180 secs
lola: 1358145 markings, 2295180 edges, 6950 markings/sec, 185 secs
lola: 1393891 markings, 2353451 edges, 7149 markings/sec, 190 secs
lola: 1429364 markings, 2412237 edges, 7095 markings/sec, 195 secs
lola: 1464617 markings, 2470708 edges, 7051 markings/sec, 200 secs
lola: 1499607 markings, 2528799 edges, 6998 markings/sec, 205 secs
lola: 1534757 markings, 2588980 edges, 7030 markings/sec, 210 secs
lola: 1569367 markings, 2650204 edges, 6922 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(p483)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 32972 markings, 43626 edges, 6594 markings/sec, 0 secs
lola: 65412 markings, 88781 edges, 6488 markings/sec, 5 secs
lola: 98407 markings, 142189 edges, 6599 markings/sec, 10 secs
lola: 131402 markings, 194739 edges, 6599 markings/sec, 15 secs
lola: 164089 markings, 246768 edges, 6537 markings/sec, 20 secs
lola: 197301 markings, 299890 edges, 6642 markings/sec, 25 secs
lola: 230889 markings, 351874 edges, 6718 markings/sec, 30 secs
lola: 264059 markings, 403670 edges, 6634 markings/sec, 35 secs
lola: 296728 markings, 455277 edges, 6534 markings/sec, 40 secs
lola: 329059 markings, 507332 edges, 6466 markings/sec, 45 secs
lola: 360856 markings, 561390 edges, 6359 markings/sec, 50 secs
lola: 392041 markings, 637829 edges, 6237 markings/sec, 55 secs
lola: 423533 markings, 712628 edges, 6298 markings/sec, 60 secs
lola: 456533 markings, 764945 edges, 6600 markings/sec, 65 secs
lola: 489221 markings, 817714 edges, 6538 markings/sec, 70 secs
lola: 522438 markings, 865276 edges, 6643 markings/sec, 75 secs
lola: 556349 markings, 922784 edges, 6782 markings/sec, 80 secs
lola: 589873 markings, 975053 edges, 6705 markings/sec, 85 secs
lola: 622994 markings, 1027043 edges, 6624 markings/sec, 90 secs
lola: 655674 markings, 1079317 edges, 6536 markings/sec, 95 secs
lola: 687930 markings, 1133024 edges, 6451 markings/sec, 100 secs
lola: 719473 markings, 1202469 edges, 6309 markings/sec, 105 secs
lola: 750437 markings, 1285789 edges, 6193 markings/sec, 110 secs
lola: 783906 markings, 1338494 edges, 6694 markings/sec, 115 secs
lola: 817029 markings, 1391567 edges, 6625 markings/sec, 120 secs
lola: 850168 markings, 1441316 edges, 6628 markings/sec, 125 secs
lola: 883893 markings, 1497216 edges, 6745 markings/sec, 130 secs
lola: 917456 markings, 1549451 edges, 6713 markings/sec, 135 secs
lola: 950699 markings, 1601597 edges, 6649 markings/sec, 140 secs
lola: 983502 markings, 1653600 edges, 6561 markings/sec, 145 secs
lola: 1015914 markings, 1706648 edges, 6482 markings/sec, 150 secs
lola: 1047517 markings, 1769423 edges, 6321 markings/sec, 155 secs
lola: 1078587 markings, 1851541 edges, 6214 markings/sec, 160 secs
lola: 1110834 markings, 1915146 edges, 6449 markings/sec, 165 secs
lola: 1143298 markings, 1971869 edges, 6493 markings/sec, 170 secs
lola: 1175786 markings, 2028313 edges, 6498 markings/sec, 175 secs
lola: 1208587 markings, 2079086 edges, 6560 markings/sec, 180 secs
lola: 1241120 markings, 2129983 edges, 6507 markings/sec, 185 secs
lola: 1273367 markings, 2181231 edges, 6449 markings/sec, 190 secs
lola: 1305388 markings, 2233057 edges, 6404 markings/sec, 195 secs
lola: 1336997 markings, 2287910 edges, 6322 markings/sec, 200 secs
lola: 1368192 markings, 2367914 edges, 6239 markings/sec, 205 secs
lola: 1399945 markings, 2439004 edges, 6351 markings/sec, 210 secs
lola: 1432479 markings, 2495065 edges, 6507 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(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 57695 markings, 68732 edges, 11539 markings/sec, 0 secs
lola: 114996 markings, 137374 edges, 11460 markings/sec, 5 secs
lola: 173626 markings, 207967 edges, 11726 markings/sec, 10 secs
lola: 239578 markings, 285814 edges, 13190 markings/sec, 15 secs
lola: 303331 markings, 364039 edges, 12751 markings/sec, 20 secs
lola: 363480 markings, 457957 edges, 12030 markings/sec, 25 secs
lola: 420025 markings, 523391 edges, 11309 markings/sec, 30 secs
lola: 483922 markings, 600390 edges, 12779 markings/sec, 35 secs
lola: 548436 markings, 677535 edges, 12903 markings/sec, 40 secs
lola: 610357 markings, 772461 edges, 12384 markings/sec, 45 secs
lola: 667306 markings, 841648 edges, 11390 markings/sec, 50 secs
lola: 727254 markings, 914026 edges, 11990 markings/sec, 55 secs
lola: 791367 markings, 989928 edges, 12823 markings/sec, 60 secs
lola: 850158 markings, 1063537 edges, 11758 markings/sec, 65 secs
lola: 909927 markings, 1156674 edges, 11954 markings/sec, 70 secs
lola: 967452 markings, 1228195 edges, 11505 markings/sec, 75 secs
lola: 1030044 markings, 1302258 edges, 12518 markings/sec, 80 secs
lola: 1090629 markings, 1379972 edges, 12117 markings/sec, 85 secs
lola: 1147664 markings, 1467038 edges, 11407 markings/sec, 90 secs
lola: 1207961 markings, 1541933 edges, 12059 markings/sec, 95 secs
lola: 1269252 markings, 1614500 edges, 12258 markings/sec, 100 secs
lola: 1330273 markings, 1694491 edges, 12204 markings/sec, 105 secs
lola: 1387407 markings, 1779851 edges, 11427 markings/sec, 110 secs
lola: 1445068 markings, 1851490 edges, 11532 markings/sec, 115 secs
lola: 1508709 markings, 1926907 edges, 12728 markings/sec, 120 secs
lola: 1567782 markings, 2005515 edges, 11815 markings/sec, 125 secs
lola: 1626096 markings, 2091527 edges, 11663 markings/sec, 130 secs
lola: 1684457 markings, 2163847 edges, 11672 markings/sec, 135 secs
lola: 1747314 markings, 2238807 edges, 12571 markings/sec, 140 secs
lola: 1808462 markings, 2328174 edges, 12230 markings/sec, 145 secs
lola: 1864783 markings, 2403050 edges, 11264 markings/sec, 150 secs
lola: 1929725 markings, 2482490 edges, 12988 markings/sec, 155 secs
lola: 1991257 markings, 2556652 edges, 12306 markings/sec, 160 secs
lola: 2051302 markings, 2651291 edges, 12009 markings/sec, 165 secs
lola: 2109229 markings, 2723389 edges, 11585 markings/sec, 170 secs
lola: 2175604 markings, 2801878 edges, 13275 markings/sec, 175 secs
lola: 2236340 markings, 2880217 edges, 12147 markings/sec, 180 secs
lola: 2294639 markings, 2967783 edges, 11660 markings/sec, 185 secs
lola: 2354712 markings, 3042179 edges, 12015 markings/sec, 190 secs
lola: 2417608 markings, 3117493 edges, 12579 markings/sec, 195 secs
lola: 2479319 markings, 3213889 edges, 12342 markings/sec, 200 secs
lola: 2533503 markings, 3281667 edges, 10837 markings/sec, 205 secs
lola: 2599737 markings, 3359974 edges, 13247 markings/sec, 210 secs
lola: 2661497 markings, 3439113 edges, 12352 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(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 36743 markings, 47919 edges, 7349 markings/sec, 0 secs
lola: 74665 markings, 104626 edges, 7584 markings/sec, 5 secs
lola: 112844 markings, 163608 edges, 7636 markings/sec, 10 secs
lola: 150143 markings, 222936 edges, 7460 markings/sec, 15 secs
lola: 187176 markings, 282798 edges, 7407 markings/sec, 20 secs
lola: 223962 markings, 341414 edges, 7357 markings/sec, 25 secs
lola: 260469 markings, 401461 edges, 7301 markings/sec, 30 secs
lola: 296905 markings, 461404 edges, 7287 markings/sec, 35 secs
lola: 333389 markings, 523273 edges, 7297 markings/sec, 40 secs
lola: 369017 markings, 586669 edges, 7126 markings/sec, 45 secs
lola: 404154 markings, 661622 edges, 7027 markings/sec, 50 secs
lola: 441805 markings, 720976 edges, 7530 markings/sec, 55 secs
lola: 478844 markings, 779943 edges, 7408 markings/sec, 60 secs
lola: 515656 markings, 838602 edges, 7362 markings/sec, 65 secs
lola: 552200 markings, 897740 edges, 7309 markings/sec, 70 secs
lola: 588456 markings, 956861 edges, 7251 markings/sec, 75 secs
lola: 624770 markings, 1017179 edges, 7263 markings/sec, 80 secs
lola: 660954 markings, 1078630 edges, 7237 markings/sec, 85 secs
lola: 696347 markings, 1141683 edges, 7079 markings/sec, 90 secs
lola: 731471 markings, 1215615 edges, 7025 markings/sec, 95 secs
lola: 768904 markings, 1274859 edges, 7487 markings/sec, 100 secs
lola: 805903 markings, 1333760 edges, 7400 markings/sec, 105 secs
lola: 842648 markings, 1393210 edges, 7349 markings/sec, 110 secs
lola: 878975 markings, 1451161 edges, 7265 markings/sec, 115 secs
lola: 915064 markings, 1510571 edges, 7218 markings/sec, 120 secs
lola: 951260 markings, 1570170 edges, 7239 markings/sec, 125 secs
lola: 987221 markings, 1631292 edges, 7192 markings/sec, 130 secs
lola: 1022473 markings, 1694135 edges, 7050 markings/sec, 135 secs
lola: 1056974 markings, 1768611 edges, 6900 markings/sec, 140 secs
lola: 1093056 markings, 1827387 edges, 7216 markings/sec, 145 secs
lola: 1128927 markings, 1885877 edges, 7174 markings/sec, 150 secs
lola: 1162715 markings, 1942140 edges, 6758 markings/sec, 155 secs
lola: 1198037 markings, 2000711 edges, 7064 markings/sec, 160 secs
lola: 1233131 markings, 2060799 edges, 7019 markings/sec, 165 secs
lola: 1268479 markings, 2122201 edges, 7070 markings/sec, 170 secs
lola: 1303007 markings, 2184235 edges, 6906 markings/sec, 175 secs
lola: 1336700 markings, 2260202 edges, 6739 markings/sec, 180 secs
lola: 1372705 markings, 2318876 edges, 7201 markings/sec, 185 secs
lola: 1408489 markings, 2377221 edges, 7157 markings/sec, 190 secs
lola: 1444009 markings, 2436084 edges, 7104 markings/sec, 195 secs
lola: 1479259 markings, 2494555 edges, 7050 markings/sec, 200 secs
lola: 1514253 markings, 2554468 edges, 6999 markings/sec, 205 secs
lola: 1549580 markings, 2614921 edges, 7065 markings/sec, 210 secs
lola: 1584038 markings, 2676844 edges, 6892 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(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)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 31942 markings, 42334 edges, 6388 markings/sec, 0 secs
lola: 64740 markings, 87782 edges, 6560 markings/sec, 5 secs
lola: 97905 markings, 141475 edges, 6633 markings/sec, 10 secs
lola: 131150 markings, 194376 edges, 6649 markings/sec, 15 secs
lola: 164144 markings, 246833 edges, 6599 markings/sec, 20 secs
lola: 197624 markings, 300348 edges, 6696 markings/sec, 25 secs
lola: 231532 markings, 352905 edges, 6782 markings/sec, 30 secs
lola: 265036 markings, 405210 edges, 6701 markings/sec, 35 secs
lola: 298134 markings, 457486 edges, 6620 markings/sec, 40 secs
lola: 330820 markings, 510163 edges, 6537 markings/sec, 45 secs
lola: 362922 markings, 565243 edges, 6420 markings/sec, 50 secs
lola: 394408 markings, 644065 edges, 6297 markings/sec, 55 secs
lola: 426253 markings, 716668 edges, 6369 markings/sec, 60 secs
lola: 459481 markings, 769484 edges, 6646 markings/sec, 65 secs
lola: 492358 markings, 822652 edges, 6575 markings/sec, 70 secs
lola: 525470 markings, 869447 edges, 6622 markings/sec, 75 secs
lola: 559442 markings, 927653 edges, 6794 markings/sec, 80 secs
lola: 592958 markings, 979797 edges, 6703 markings/sec, 85 secs
lola: 626082 markings, 1031929 edges, 6625 markings/sec, 90 secs
lola: 658771 markings, 1084360 edges, 6538 markings/sec, 95 secs
lola: 690990 markings, 1138346 edges, 6444 markings/sec, 100 secs
lola: 722498 markings, 1210313 edges, 6302 markings/sec, 105 secs
lola: 753642 markings, 1290897 edges, 6229 markings/sec, 110 secs
lola: 786968 markings, 1343280 edges, 6665 markings/sec, 115 secs
lola: 819929 markings, 1396413 edges, 6592 markings/sec, 120 secs
lola: 852956 markings, 1445191 edges, 6605 markings/sec, 125 secs
lola: 886695 markings, 1501607 edges, 6748 markings/sec, 130 secs
lola: 920273 markings, 1553681 edges, 6716 markings/sec, 135 secs
lola: 953480 markings, 1605917 edges, 6641 markings/sec, 140 secs
lola: 986251 markings, 1658029 edges, 6554 markings/sec, 145 secs
lola: 1018626 markings, 1711412 edges, 6475 markings/sec, 150 secs
lola: 1050209 markings, 1776346 edges, 6317 markings/sec, 155 secs
lola: 1081095 markings, 1859046 edges, 6177 markings/sec, 160 secs
lola: 1113597 markings, 1920154 edges, 6500 markings/sec, 165 secs
lola: 1146078 markings, 1976746 edges, 6496 markings/sec, 170 secs
lola: 1178660 markings, 2032832 edges, 6516 markings/sec, 175 secs
lola: 1211472 markings, 2083737 edges, 6562 markings/sec, 180 secs
lola: 1244023 markings, 2134642 edges, 6510 markings/sec, 185 secs
lola: 1276295 markings, 2185902 edges, 6454 markings/sec, 190 secs
lola: 1308330 markings, 2237985 edges, 6407 markings/sec, 195 secs
lola: 1339924 markings, 2293611 edges, 6319 markings/sec, 200 secs
lola: 1371066 markings, 2375740 edges, 6228 markings/sec, 205 secs
lola: 1403026 markings, 2443938 edges, 6392 markings/sec, 210 secs
lola: 1435548 markings, 2500392 edges, 6504 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 35386 markings, 42794 edges, 7077 markings/sec, 0 secs
lola: 70358 markings, 85101 edges, 6994 markings/sec, 5 secs
lola: 105603 markings, 138666 edges, 7049 markings/sec, 10 secs
lola: 140777 markings, 184399 edges, 7035 markings/sec, 15 secs
lola: 175703 markings, 229625 edges, 6985 markings/sec, 20 secs
lola: 210519 markings, 274731 edges, 6963 markings/sec, 25 secs
lola: 245179 markings, 319651 edges, 6932 markings/sec, 30 secs
lola: 279630 markings, 364328 edges, 6890 markings/sec, 35 secs
lola: 313867 markings, 408750 edges, 6847 markings/sec, 40 secs
lola: 347450 markings, 477207 edges, 6717 markings/sec, 45 secs
lola: 382263 markings, 535147 edges, 6963 markings/sec, 50 secs
lola: 417253 markings, 580958 edges, 6998 markings/sec, 55 secs
lola: 451962 markings, 627320 edges, 6942 markings/sec, 60 secs
lola: 486625 markings, 672744 edges, 6933 markings/sec, 65 secs
lola: 521097 markings, 718821 edges, 6894 markings/sec, 70 secs
lola: 555362 markings, 763779 edges, 6853 markings/sec, 75 secs
lola: 589366 markings, 809301 edges, 6801 markings/sec, 80 secs
lola: 623163 markings, 890020 edges, 6759 markings/sec, 85 secs
lola: 658156 markings, 936730 edges, 6999 markings/sec, 90 secs
lola: 692927 markings, 982293 edges, 6954 markings/sec, 95 secs
lola: 727515 markings, 1028528 edges, 6918 markings/sec, 100 secs
lola: 761996 markings, 1073747 edges, 6896 markings/sec, 105 secs
lola: 796252 markings, 1119589 edges, 6851 markings/sec, 110 secs
lola: 830313 markings, 1164310 edges, 6812 markings/sec, 115 secs
lola: 863424 markings, 1245175 edges, 6622 markings/sec, 120 secs
lola: 898441 markings, 1290961 edges, 7003 markings/sec, 125 secs
lola: 933255 markings, 1337463 edges, 6963 markings/sec, 130 secs
lola: 967831 markings, 1382798 edges, 6915 markings/sec, 135 secs
lola: 1002347 markings, 1428944 edges, 6903 markings/sec, 140 secs
lola: 1036624 markings, 1473923 edges, 6855 markings/sec, 145 secs
lola: 1070720 markings, 1519580 edges, 6819 markings/sec, 150 secs
lola: 1103122 markings, 1562339 edges, 6480 markings/sec, 155 secs
lola: 1136537 markings, 1642604 edges, 6683 markings/sec, 160 secs
lola: 1171226 markings, 1688953 edges, 6938 markings/sec, 165 secs
lola: 1205665 markings, 1734361 edges, 6888 markings/sec, 170 secs
lola: 1239949 markings, 1780002 edges, 6857 markings/sec, 175 secs
lola: 1274093 markings, 1824832 edges, 6829 markings/sec, 180 secs
lola: 1308119 markings, 1870398 edges, 6805 markings/sec, 185 secs
lola: 1342281 markings, 1915239 edges, 6832 markings/sec, 190 secs
lola: 1372366 markings, 1986199 edges, 6017 markings/sec, 195 secs
lola: 1407408 markings, 2038335 edges, 7008 markings/sec, 200 secs
lola: 1442602 markings, 2084576 edges, 7039 markings/sec, 205 secs
lola: 1477568 markings, 2131082 edges, 6993 markings/sec, 210 secs
lola: 1512410 markings, 2177620 edges, 6968 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(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 32068 markings, 38763 edges, 6414 markings/sec, 0 secs
lola: 67637 markings, 81897 edges, 7114 markings/sec, 5 secs
lola: 103407 markings, 135430 edges, 7154 markings/sec, 10 secs
lola: 139143 markings, 181605 edges, 7147 markings/sec, 15 secs
lola: 174613 markings, 228356 edges, 7094 markings/sec, 20 secs
lola: 209999 markings, 274124 edges, 7077 markings/sec, 25 secs
lola: 245213 markings, 319688 edges, 7043 markings/sec, 30 secs
lola: 280222 markings, 365017 edges, 7002 markings/sec, 35 secs
lola: 315028 markings, 410110 edges, 6961 markings/sec, 40 secs
lola: 348825 markings, 490890 edges, 6759 markings/sec, 45 secs
lola: 384585 markings, 537888 edges, 7152 markings/sec, 50 secs
lola: 420081 markings, 585183 edges, 7099 markings/sec, 55 secs
lola: 455380 markings, 631359 edges, 7060 markings/sec, 60 secs
lola: 490585 markings, 678309 edges, 7041 markings/sec, 65 secs
lola: 525585 markings, 724138 edges, 7000 markings/sec, 70 secs
lola: 560362 markings, 770579 edges, 6955 markings/sec, 75 secs
lola: 594924 markings, 815883 edges, 6912 markings/sec, 80 secs
lola: 629398 markings, 898273 edges, 6895 markings/sec, 85 secs
lola: 664893 markings, 945585 edges, 7099 markings/sec, 90 secs
lola: 700161 markings, 991736 edges, 7054 markings/sec, 95 secs
lola: 735296 markings, 1038617 edges, 7027 markings/sec, 100 secs
lola: 770255 markings, 1085291 edges, 6992 markings/sec, 105 secs
lola: 805038 markings, 1130865 edges, 6957 markings/sec, 110 secs
lola: 839560 markings, 1177022 edges, 6904 markings/sec, 115 secs
lola: 873582 markings, 1258003 edges, 6804 markings/sec, 120 secs
lola: 909094 markings, 1305336 edges, 7102 markings/sec, 125 secs
lola: 944355 markings, 1352366 edges, 7052 markings/sec, 130 secs
lola: 979457 markings, 1398322 edges, 7020 markings/sec, 135 secs
lola: 1014411 markings, 1444990 edges, 6991 markings/sec, 140 secs
lola: 1049186 markings, 1490556 edges, 6955 markings/sec, 145 secs
lola: 1083728 markings, 1536738 edges, 6908 markings/sec, 150 secs
lola: 1117250 markings, 1617610 edges, 6704 markings/sec, 155 secs
lola: 1152781 markings, 1664480 edges, 7106 markings/sec, 160 secs
lola: 1188094 markings, 1711571 edges, 7063 markings/sec, 165 secs
lola: 1223190 markings, 1757516 edges, 7019 markings/sec, 170 secs
lola: 1258175 markings, 1804218 edges, 6997 markings/sec, 175 secs
lola: 1292967 markings, 1849816 edges, 6958 markings/sec, 180 secs
lola: 1327544 markings, 1896030 edges, 6915 markings/sec, 185 secs
lola: 1361920 markings, 1941131 edges, 6875 markings/sec, 190 secs
lola: 1396120 markings, 2023212 edges, 6840 markings/sec, 195 secs
lola: 1431446 markings, 2070318 edges, 7065 markings/sec, 200 secs
lola: 1466563 markings, 2116288 edges, 7023 markings/sec, 205 secs
lola: 1501518 markings, 2162957 edges, 6991 markings/sec, 210 secs
lola: 1536323 markings, 2208568 edges, 6961 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(p482)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 38152 markings, 49788 edges, 7630 markings/sec, 0 secs
lola: 75988 markings, 106492 edges, 7567 markings/sec, 5 secs
lola: 114001 markings, 165293 edges, 7603 markings/sec, 10 secs
lola: 151200 markings, 224487 edges, 7440 markings/sec, 15 secs
lola: 188156 markings, 284239 edges, 7391 markings/sec, 20 secs
lola: 224842 markings, 343602 edges, 7337 markings/sec, 25 secs
lola: 261276 markings, 402637 edges, 7287 markings/sec, 30 secs
lola: 297400 markings, 462118 edges, 7225 markings/sec, 35 secs
lola: 333318 markings, 523150 edges, 7184 markings/sec, 40 secs
lola: 368305 markings, 584706 edges, 6997 markings/sec, 45 secs
lola: 402318 markings, 658983 edges, 6803 markings/sec, 50 secs
lola: 439565 markings, 716800 edges, 7449 markings/sec, 55 secs
lola: 476463 markings, 775544 edges, 7380 markings/sec, 60 secs
lola: 513190 markings, 834972 edges, 7345 markings/sec, 65 secs
lola: 549644 markings, 893990 edges, 7291 markings/sec, 70 secs
lola: 585869 markings, 952697 edges, 7245 markings/sec, 75 secs
lola: 621998 markings, 1012211 edges, 7226 markings/sec, 80 secs
lola: 658218 markings, 1073669 edges, 7244 markings/sec, 85 secs
lola: 693566 markings, 1136695 edges, 7070 markings/sec, 90 secs
lola: 728410 markings, 1211210 edges, 6969 markings/sec, 95 secs
lola: 765774 markings, 1270256 edges, 7473 markings/sec, 100 secs
lola: 802652 markings, 1329002 edges, 7376 markings/sec, 105 secs
lola: 839321 markings, 1387413 edges, 7334 markings/sec, 110 secs
lola: 875705 markings, 1446347 edges, 7277 markings/sec, 115 secs
lola: 911822 markings, 1504902 edges, 7223 markings/sec, 120 secs
lola: 947920 markings, 1565259 edges, 7220 markings/sec, 125 secs
lola: 984035 markings, 1625673 edges, 7223 markings/sec, 130 secs
lola: 1019326 markings, 1688586 edges, 7058 markings/sec, 135 secs
lola: 1053926 markings, 1763122 edges, 6920 markings/sec, 140 secs
lola: 1089990 markings, 1821882 edges, 7213 markings/sec, 145 secs
lola: 1125813 markings, 1881180 edges, 7165 markings/sec, 150 secs
lola: 1161370 markings, 1940116 edges, 7111 markings/sec, 155 secs
lola: 1196696 markings, 1998694 edges, 7065 markings/sec, 160 secs
lola: 1231755 markings, 2058709 edges, 7012 markings/sec, 165 secs
lola: 1267131 markings, 2119254 edges, 7075 markings/sec, 170 secs
lola: 1301606 markings, 2182130 edges, 6895 markings/sec, 175 secs
lola: 1335193 markings, 2257932 edges, 6717 markings/sec, 180 secs
lola: 1371202 markings, 2316602 edges, 7202 markings/sec, 185 secs
lola: 1406998 markings, 2374977 edges, 7159 markings/sec, 190 secs
lola: 1442519 markings, 2433827 edges, 7104 markings/sec, 195 secs
lola: 1477778 markings, 2492320 edges, 7052 markings/sec, 200 secs
lola: 1512768 markings, 2551343 edges, 6998 markings/sec, 205 secs
lola: 1548069 markings, 2612644 edges, 7060 markings/sec, 210 secs
lola: 1582530 markings, 2674006 edges, 6892 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10 + p40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 35644 markings, 43082 edges, 7129 markings/sec, 0 secs
lola: 70591 markings, 91624 edges, 6989 markings/sec, 5 secs
lola: 106280 markings, 139671 edges, 7138 markings/sec, 10 secs
lola: 141749 markings, 185538 edges, 7094 markings/sec, 15 secs
lola: 176972 markings, 231116 edges, 7045 markings/sec, 20 secs
lola: 212095 markings, 276570 edges, 7025 markings/sec, 25 secs
lola: 247038 markings, 321826 edges, 6989 markings/sec, 30 secs
lola: 281772 markings, 366828 edges, 6947 markings/sec, 35 secs
lola: 316299 markings, 411597 edges, 6905 markings/sec, 40 secs
lola: 349857 markings, 492568 edges, 6712 markings/sec, 45 secs
lola: 385377 markings, 538826 edges, 7104 markings/sec, 50 secs
lola: 420609 markings, 585807 edges, 7046 markings/sec, 55 secs
lola: 455650 markings, 631681 edges, 7008 markings/sec, 60 secs
lola: 490609 markings, 678337 edges, 6992 markings/sec, 65 secs
lola: 525352 markings, 723858 edges, 6949 markings/sec, 70 secs
lola: 559753 markings, 769856 edges, 6880 markings/sec, 75 secs
lola: 594074 markings, 814875 edges, 6864 markings/sec, 80 secs
lola: 628268 markings, 896938 edges, 6839 markings/sec, 85 secs
lola: 663518 markings, 943956 edges, 7050 markings/sec, 90 secs
lola: 698567 markings, 989851 edges, 7010 markings/sec, 95 secs
lola: 733452 markings, 1036430 edges, 6977 markings/sec, 100 secs
lola: 768087 markings, 1081842 edges, 6927 markings/sec, 105 secs
lola: 802592 markings, 1127977 edges, 6901 markings/sec, 110 secs
lola: 836904 markings, 1172995 edges, 6862 markings/sec, 115 secs
lola: 870544 markings, 1254411 edges, 6728 markings/sec, 120 secs
lola: 905822 markings, 1300580 edges, 7056 markings/sec, 125 secs
lola: 940880 markings, 1347365 edges, 7012 markings/sec, 130 secs
lola: 975700 markings, 1393872 edges, 6964 markings/sec, 135 secs
lola: 1010457 markings, 1439431 edges, 6951 markings/sec, 140 secs
lola: 1044966 markings, 1485570 edges, 6902 markings/sec, 145 secs
lola: 1079312 markings, 1530625 edges, 6869 markings/sec, 150 secs
lola: 1113345 markings, 1577842 edges, 6807 markings/sec, 155 secs
lola: 1147712 markings, 1657591 edges, 6873 markings/sec, 160 secs
lola: 1182817 markings, 1704439 edges, 7021 markings/sec, 165 secs
lola: 1217692 markings, 1750127 edges, 6975 markings/sec, 170 secs
lola: 1252430 markings, 1796542 edges, 6948 markings/sec, 175 secs
lola: 1286974 markings, 1841841 edges, 6909 markings/sec, 180 secs
lola: 1321329 markings, 1887797 edges, 6871 markings/sec, 185 secs
lola: 1355479 markings, 1932626 edges, 6830 markings/sec, 190 secs
lola: 1389228 markings, 2014173 edges, 6750 markings/sec, 195 secs
lola: 1424348 markings, 2061032 edges, 7024 markings/sec, 200 secs
lola: 1459287 markings, 2106798 edges, 6988 markings/sec, 205 secs
lola: 1494016 markings, 2153192 edges, 6946 markings/sec, 210 secs
lola: 1528630 markings, 2198579 edges, 6923 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(p666)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 34545 markings, 44932 edges, 6909 markings/sec, 0 secs
lola: 68902 markings, 93118 edges, 6871 markings/sec, 5 secs
lola: 103068 markings, 148314 edges, 6833 markings/sec, 10 secs
lola: 137029 markings, 201866 edges, 6792 markings/sec, 15 secs
lola: 170884 markings, 256140 edges, 6771 markings/sec, 20 secs
lola: 204483 markings, 310055 edges, 6720 markings/sec, 25 secs
lola: 237727 markings, 364383 edges, 6649 markings/sec, 30 secs
lola: 270767 markings, 418392 edges, 6608 markings/sec, 35 secs
lola: 303962 markings, 473602 edges, 6639 markings/sec, 40 secs
lola: 336854 markings, 529266 edges, 6578 markings/sec, 45 secs
lola: 369087 markings, 586793 edges, 6447 markings/sec, 50 secs
lola: 400336 markings, 656128 edges, 6250 markings/sec, 55 secs
lola: 434148 markings, 708823 edges, 6762 markings/sec, 60 secs
lola: 467681 markings, 761736 edges, 6707 markings/sec, 65 secs
lola: 500965 markings, 815183 edges, 6657 markings/sec, 70 secs
lola: 534124 markings, 868454 edges, 6632 markings/sec, 75 secs
lola: 567032 markings, 922272 edges, 6582 markings/sec, 80 secs
lola: 599762 markings, 975851 edges, 6546 markings/sec, 85 secs
lola: 632811 markings, 1030840 edges, 6610 markings/sec, 90 secs
lola: 665242 markings, 1085832 edges, 6486 markings/sec, 95 secs
lola: 697123 markings, 1142839 edges, 6376 markings/sec, 100 secs
lola: 728282 markings, 1211043 edges, 6232 markings/sec, 105 secs
lola: 761955 markings, 1263759 edges, 6735 markings/sec, 110 secs
lola: 795383 markings, 1317388 edges, 6686 markings/sec, 115 secs
lola: 828660 markings, 1369937 edges, 6655 markings/sec, 120 secs
lola: 861745 markings, 1423993 edges, 6617 markings/sec, 125 secs
lola: 894713 markings, 1477017 edges, 6594 markings/sec, 130 secs
lola: 927418 markings, 1530560 edges, 6541 markings/sec, 135 secs
lola: 960486 markings, 1585814 edges, 6614 markings/sec, 140 secs
lola: 992797 markings, 1641303 edges, 6462 markings/sec, 145 secs
lola: 1024711 markings, 1698352 edges, 6383 markings/sec, 150 secs
lola: 1056156 markings, 1767388 edges, 6289 markings/sec, 155 secs
lola: 1089808 markings, 1821615 edges, 6730 markings/sec, 160 secs
lola: 1123246 markings, 1876423 edges, 6688 markings/sec, 165 secs
lola: 1156497 markings, 1931867 edges, 6650 markings/sec, 170 secs
lola: 1189500 markings, 1986976 edges, 6601 markings/sec, 175 secs
lola: 1222270 markings, 2041723 edges, 6554 markings/sec, 180 secs
lola: 1255353 markings, 2098792 edges, 6617 markings/sec, 185 secs
lola: 1287646 markings, 2156532 edges, 6459 markings/sec, 190 secs
lola: 1319427 markings, 2216321 edges, 6356 markings/sec, 195 secs
lola: 1351376 markings, 2284075 edges, 6390 markings/sec, 200 secs
lola: 1384858 markings, 2338956 edges, 6696 markings/sec, 205 secs
lola: 1418183 markings, 2393609 edges, 6665 markings/sec, 210 secs
lola: 1451276 markings, 2447924 edges, 6619 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p125 + p126 + p127 + p128 + p129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 33899 markings, 76495 edges, 6780 markings/sec, 0 secs
lola: 67461 markings, 152326 edges, 6712 markings/sec, 5 secs
lola: 100860 markings, 232771 edges, 6680 markings/sec, 10 secs
lola: 134288 markings, 308312 edges, 6686 markings/sec, 15 secs
lola: 167392 markings, 385551 edges, 6621 markings/sec, 20 secs
lola: 199742 markings, 461432 edges, 6470 markings/sec, 25 secs
lola: 230439 markings, 531257 edges, 6139 markings/sec, 30 secs
lola: 263025 markings, 605610 edges, 6517 markings/sec, 35 secs
lola: 296542 markings, 685716 edges, 6703 markings/sec, 40 secs
lola: 329986 markings, 761300 edges, 6689 markings/sec, 45 secs
lola: 363283 markings, 841534 edges, 6659 markings/sec, 50 secs
lola: 396465 markings, 916572 edges, 6636 markings/sec, 55 secs
lola: 430108 markings, 992597 edges, 6729 markings/sec, 60 secs
lola: 463247 markings, 1072494 edges, 6628 markings/sec, 65 secs
lola: 496094 markings, 1146820 edges, 6569 markings/sec, 70 secs
lola: 528846 markings, 1225891 edges, 6550 markings/sec, 75 secs
lola: 561892 markings, 1300573 edges, 6609 markings/sec, 80 secs
lola: 594465 markings, 1374362 edges, 6515 markings/sec, 85 secs
lola: 627137 markings, 1453278 edges, 6534 markings/sec, 90 secs
lola: 659989 markings, 1527594 edges, 6570 markings/sec, 95 secs
lola: 692463 markings, 1601206 edges, 6495 markings/sec, 100 secs
lola: 724953 markings, 1679647 edges, 6498 markings/sec, 105 secs
lola: 757411 markings, 1753223 edges, 6492 markings/sec, 110 secs
lola: 789500 markings, 1830910 edges, 6418 markings/sec, 115 secs
lola: 821952 markings, 1904366 edges, 6490 markings/sec, 120 secs
lola: 854153 markings, 1977408 edges, 6440 markings/sec, 125 secs
lola: 886063 markings, 2054592 edges, 6382 markings/sec, 130 secs
lola: 918252 markings, 2127568 edges, 6438 markings/sec, 135 secs
lola: 945640 markings, 2385654 edges, 5478 markings/sec, 140 secs
lola: 979597 markings, 2462333 edges, 6791 markings/sec, 145 secs
lola: 1013365 markings, 2543449 edges, 6754 markings/sec, 150 secs
lola: 1047132 markings, 2619809 edges, 6753 markings/sec, 155 secs
lola: 1080705 markings, 2695650 edges, 6715 markings/sec, 160 secs
lola: 1114234 markings, 2776389 edges, 6706 markings/sec, 165 secs
lola: 1147714 markings, 2852082 edges, 6696 markings/sec, 170 secs
lola: 1180936 markings, 2932111 edges, 6644 markings/sec, 175 secs
lola: 1214304 markings, 3007574 edges, 6674 markings/sec, 180 secs
lola: 1247443 markings, 3082462 edges, 6628 markings/sec, 185 secs
lola: 1280489 markings, 3162244 edges, 6609 markings/sec, 190 secs
lola: 1313657 markings, 3237193 edges, 6634 markings/sec, 195 secs
lola: 1347228 markings, 3318069 edges, 6714 markings/sec, 200 secs
lola: 1380932 markings, 3394099 edges, 6741 markings/sec, 205 secs
lola: 1413836 markings, 3468685 edges, 6581 markings/sec, 210 secs
lola: 1446678 markings, 3547924 edges, 6568 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 34433 markings, 47191 edges, 6887 markings/sec, 0 secs
lola: 68197 markings, 96339 edges, 6753 markings/sec, 5 secs
lola: 102518 markings, 153192 edges, 6864 markings/sec, 10 secs
lola: 136914 markings, 208724 edges, 6879 markings/sec, 15 secs
lola: 170829 markings, 265366 edges, 6783 markings/sec, 20 secs
lola: 204427 markings, 331876 edges, 6720 markings/sec, 25 secs
lola: 239169 markings, 385221 edges, 6948 markings/sec, 30 secs
lola: 273546 markings, 438760 edges, 6875 markings/sec, 35 secs
lola: 307507 markings, 492366 edges, 6792 markings/sec, 40 secs
lola: 340984 markings, 546210 edges, 6695 markings/sec, 45 secs
lola: 373830 markings, 601986 edges, 6569 markings/sec, 50 secs
lola: 405706 markings, 681671 edges, 6375 markings/sec, 55 secs
lola: 437843 markings, 757383 edges, 6427 markings/sec, 60 secs
lola: 472205 markings, 812473 edges, 6872 markings/sec, 65 secs
lola: 506079 markings, 868396 edges, 6775 markings/sec, 70 secs
lola: 539897 markings, 927930 edges, 6764 markings/sec, 75 secs
lola: 574008 markings, 989166 edges, 6822 markings/sec, 80 secs
lola: 608354 markings, 1042493 edges, 6869 markings/sec, 85 secs
lola: 642340 markings, 1095953 edges, 6797 markings/sec, 90 secs
lola: 675937 markings, 1149609 edges, 6719 markings/sec, 95 secs
lola: 709014 markings, 1204177 edges, 6615 markings/sec, 100 secs
lola: 741143 markings, 1274461 edges, 6426 markings/sec, 105 secs
lola: 772087 markings, 1360157 edges, 6189 markings/sec, 110 secs
lola: 805357 markings, 1413262 edges, 6654 markings/sec, 115 secs
lola: 839298 markings, 1468528 edges, 6788 markings/sec, 120 secs
lola: 873070 markings, 1525982 edges, 6754 markings/sec, 125 secs
lola: 906760 markings, 1590370 edges, 6738 markings/sec, 130 secs
lola: 941172 markings, 1643683 edges, 6882 markings/sec, 135 secs
lola: 974234 markings, 1695347 edges, 6612 markings/sec, 140 secs
lola: 1008240 markings, 1749170 edges, 6801 markings/sec, 145 secs
lola: 1041623 markings, 1803263 edges, 6677 markings/sec, 150 secs
lola: 1073920 markings, 1860193 edges, 6459 markings/sec, 155 secs
lola: 1104832 markings, 1942492 edges, 6182 markings/sec, 160 secs
lola: 1137615 markings, 2015591 edges, 6557 markings/sec, 165 secs
lola: 1171705 markings, 2075595 edges, 6818 markings/sec, 170 secs
lola: 1205601 markings, 2139469 edges, 6779 markings/sec, 175 secs
lola: 1239881 markings, 2203686 edges, 6856 markings/sec, 180 secs
lola: 1274430 markings, 2257507 edges, 6910 markings/sec, 185 secs
lola: 1308614 markings, 2311367 edges, 6837 markings/sec, 190 secs
lola: 1342396 markings, 2365634 edges, 6756 markings/sec, 195 secs
lola: 1375556 markings, 2421922 edges, 6632 markings/sec, 200 secs
lola: 1407659 markings, 2501679 edges, 6421 markings/sec, 205 secs
lola: 1440103 markings, 2578506 edges, 6489 markings/sec, 210 secs
lola: 1474277 markings, 2638320 edges, 6835 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p612)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2268 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: 56682 markings, 67413 edges, 11336 markings/sec, 0 secs
lola: 113294 markings, 135438 edges, 11322 markings/sec, 5 secs
lola: 170878 markings, 204809 edges, 11517 markings/sec, 10 secs
lola: 234172 markings, 279387 edges, 12659 markings/sec, 15 secs
lola: 295789 markings, 354113 edges, 12323 markings/sec, 20 secs
lola: 354057 markings, 447279 edges, 11654 markings/sec, 25 secs
lola: 410265 markings, 511729 edges, 11242 markings/sec, 30 secs
lola: 470882 markings, 585045 edges, 12123 markings/sec, 35 secs
lola: 533302 markings, 659213 edges, 12484 markings/sec, 40 secs
lola: 593853 markings, 742874 edges, 12110 markings/sec, 45 secs
lola: 650563 markings, 822421 edges, 11342 markings/sec, 50 secs
lola: 706945 markings, 890350 edges, 11276 markings/sec, 55 secs
lola: 770068 markings, 964522 edges, 12625 markings/sec, 60 secs
lola: 831515 markings, 1038590 edges, 12289 markings/sec, 65 secs
lola: 889939 markings, 1133150 edges, 11685 markings/sec, 70 secs
lola: 946576 markings, 1202588 edges, 11327 markings/sec, 75 secs
lola: 1009377 markings, 1277685 edges, 12560 markings/sec, 80 secs
lola: 1071049 markings, 1352113 edges, 12334 markings/sec, 85 secs
lola: 1129396 markings, 1445480 edges, 11669 markings/sec, 90 secs
lola: 1185981 markings, 1516031 edges, 11317 markings/sec, 95 secs
lola: 1248791 markings, 1590025 edges, 12562 markings/sec, 100 secs
lola: 1310078 markings, 1664280 edges, 12257 markings/sec, 105 secs
lola: 1368010 markings, 1756908 edges, 11586 markings/sec, 110 secs
lola: 1424787 markings, 1827678 edges, 11355 markings/sec, 115 secs
lola: 1487471 markings, 1901534 edges, 12537 markings/sec, 120 secs
lola: 1549320 markings, 1976757 edges, 12370 markings/sec, 125 secs
lola: 1607014 markings, 2068774 edges, 11539 markings/sec, 130 secs
lola: 1664855 markings, 2140792 edges, 11568 markings/sec, 135 secs
lola: 1727767 markings, 2215216 edges, 12582 markings/sec, 140 secs
lola: 1789176 markings, 2294540 edges, 12282 markings/sec, 145 secs
lola: 1846178 markings, 2380241 edges, 11400 markings/sec, 150 secs
lola: 1905603 markings, 2453916 edges, 11885 markings/sec, 155 secs
lola: 1967799 markings, 2527961 edges, 12439 markings/sec, 160 secs
lola: 2027583 markings, 2612982 edges, 11957 markings/sec, 165 secs
lola: 2081469 markings, 2687393 edges, 10777 markings/sec, 170 secs
lola: 2139462 markings, 2759047 edges, 11599 markings/sec, 175 secs
lola: 2198675 markings, 2829754 edges, 11843 markings/sec, 180 secs
lola: 2255722 markings, 2913934 edges, 11409 markings/sec, 185 secs
lola: 2309560 markings, 2986132 edges, 10768 markings/sec, 190 secs
lola: 2368179 markings, 3058151 edges, 11724 markings/sec, 195 secs
lola: 2427192 markings, 3129290 edges, 11803 markings/sec, 200 secs
lola: 2482925 markings, 3218107 edges, 11147 markings/sec, 205 secs
lola: 2537050 markings, 3285825 edges, 10825 markings/sec, 210 secs
lola: 2596821 markings, 3356452 edges, 11954 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBNT-COL-S05J40-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J40-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496278776971

--------------------
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-S05J40"
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-S05J40.tgz
mv S_PolyORBNT-COL-S05J40 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-S05J40, 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-149479231500020"
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 ;