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

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

=== Now, execution of the tool begins

BK_START 1496294158058


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBNT-COL-S10J30: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBNT-COL-S10J30: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-COL-S10J30 @ 3537 seconds
----- Start make result stdout -----
lola: LoLA will run for 3537 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 12774/65536 symbol table entries, 4033 collisions
lola: preprocessing...
lola: finding significant places
lola: 694 places, 12080 transitions, 602 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2328 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J30-UpperBounds.task
lola: MAX(p66) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p580) : MAX(p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89) : MAX(p656) : MAX(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) : MAX(p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513) : MAX(p503 + p502 + p501 + p500 + p499 + p498 + p497 + p496 + p495 + p494 + p493 + p492 + p491 + p490 + p489 + p488 + p487 + p486 + p485 + p484 + p483 + p482 + p481 + p480 + p479 + p478 + p477 + p476 + p475 + p474 + p473) : MAX(p515) : MAX(p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513) : MAX(p548) : MAX(p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89) : MAX(p68) : MAX(p548) : MAX(p548) : MAX(p64)
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(p66)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 7718 markings, 14321 edges, 1544 markings/sec, 0 secs
lola: 15385 markings, 28876 edges, 1533 markings/sec, 5 secs
lola: 22909 markings, 43578 edges, 1505 markings/sec, 10 secs
lola: 30561 markings, 59026 edges, 1530 markings/sec, 15 secs
lola: 38012 markings, 75669 edges, 1490 markings/sec, 20 secs
lola: 45491 markings, 93531 edges, 1496 markings/sec, 25 secs
lola: 52596 markings, 107752 edges, 1421 markings/sec, 30 secs
lola: 59471 markings, 121755 edges, 1375 markings/sec, 35 secs
lola: 66826 markings, 136439 edges, 1471 markings/sec, 40 secs
lola: 73956 markings, 151086 edges, 1426 markings/sec, 45 secs
lola: 81211 markings, 166042 edges, 1451 markings/sec, 50 secs
lola: 88286 markings, 181140 edges, 1415 markings/sec, 55 secs
lola: 95376 markings, 196873 edges, 1418 markings/sec, 60 secs
lola: 102035 markings, 215315 edges, 1332 markings/sec, 65 secs
lola: 106547 markings, 227496 edges, 902 markings/sec, 70 secs
lola: 111079 markings, 239838 edges, 906 markings/sec, 75 secs
lola: 115668 markings, 252159 edges, 918 markings/sec, 80 secs
lola: 120199 markings, 264740 edges, 906 markings/sec, 85 secs
lola: 124739 markings, 277411 edges, 908 markings/sec, 90 secs
lola: 129287 markings, 290304 edges, 910 markings/sec, 95 secs
lola: 133793 markings, 303718 edges, 901 markings/sec, 100 secs
lola: 138277 markings, 318698 edges, 897 markings/sec, 105 secs
lola: 145414 markings, 335259 edges, 1427 markings/sec, 110 secs
lola: 152922 markings, 349660 edges, 1502 markings/sec, 115 secs
lola: 160628 markings, 364380 edges, 1541 markings/sec, 120 secs
lola: 168218 markings, 379520 edges, 1518 markings/sec, 125 secs
lola: 175678 markings, 395771 edges, 1492 markings/sec, 130 secs
lola: 183060 markings, 414259 edges, 1476 markings/sec, 135 secs
lola: 190379 markings, 428689 edges, 1464 markings/sec, 140 secs
lola: 197563 markings, 443114 edges, 1437 markings/sec, 145 secs
lola: 204733 markings, 457590 edges, 1434 markings/sec, 150 secs
lola: 211873 markings, 472129 edges, 1428 markings/sec, 155 secs
lola: 219035 markings, 486979 edges, 1432 markings/sec, 160 secs
lola: 226105 markings, 501990 edges, 1414 markings/sec, 165 secs
lola: 233169 markings, 517493 edges, 1413 markings/sec, 170 secs
lola: 240176 markings, 535966 edges, 1401 markings/sec, 175 secs
lola: 244874 markings, 548962 edges, 940 markings/sec, 180 secs
lola: 249400 markings, 561240 edges, 905 markings/sec, 185 secs
lola: 253968 markings, 573601 edges, 914 markings/sec, 190 secs
lola: 258441 markings, 586064 edges, 895 markings/sec, 195 secs
lola: 262995 markings, 598657 edges, 911 markings/sec, 200 secs
lola: 267512 markings, 611474 edges, 903 markings/sec, 205 secs
lola: 272057 markings, 624691 edges, 909 markings/sec, 210 secs
lola: 276537 markings, 639146 edges, 896 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(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 12060 markings, 14298 edges, 2412 markings/sec, 0 secs
lola: 27058 markings, 33316 edges, 3000 markings/sec, 5 secs
lola: 42205 markings, 52428 edges, 3029 markings/sec, 10 secs
lola: 53214 markings, 69313 edges, 2202 markings/sec, 15 secs
lola: 61456 markings, 82979 edges, 1648 markings/sec, 20 secs
lola: 71217 markings, 98161 edges, 1952 markings/sec, 25 secs
lola: 84238 markings, 114767 edges, 2604 markings/sec, 30 secs
lola: 99511 markings, 133565 edges, 3055 markings/sec, 35 secs
lola: 114468 markings, 153898 edges, 2991 markings/sec, 40 secs
lola: 122846 markings, 167364 edges, 1676 markings/sec, 45 secs
lola: 131063 markings, 181553 edges, 1643 markings/sec, 50 secs
lola: 142472 markings, 196629 edges, 2282 markings/sec, 55 secs
lola: 156800 markings, 215003 edges, 2866 markings/sec, 60 secs
lola: 172004 markings, 233987 edges, 3041 markings/sec, 65 secs
lola: 184166 markings, 251941 edges, 2432 markings/sec, 70 secs
lola: 192504 markings, 265547 edges, 1668 markings/sec, 75 secs
lola: 201547 markings, 280716 edges, 1809 markings/sec, 80 secs
lola: 213889 markings, 296390 edges, 2468 markings/sec, 85 secs
lola: 229146 markings, 315205 edges, 3051 markings/sec, 90 secs
lola: 243954 markings, 335440 edges, 2962 markings/sec, 95 secs
lola: 252243 markings, 348893 edges, 1658 markings/sec, 100 secs
lola: 260405 markings, 363843 edges, 1632 markings/sec, 105 secs
lola: 272162 markings, 378285 edges, 2351 markings/sec, 110 secs
lola: 287156 markings, 397273 edges, 2999 markings/sec, 115 secs
lola: 302307 markings, 416673 edges, 3030 markings/sec, 120 secs
lola: 311711 markings, 431836 edges, 1881 markings/sec, 125 secs
lola: 319507 markings, 445048 edges, 1559 markings/sec, 130 secs
lola: 329471 markings, 459262 edges, 1993 markings/sec, 135 secs
lola: 342371 markings, 475872 edges, 2580 markings/sec, 140 secs
lola: 356799 markings, 493824 edges, 2886 markings/sec, 145 secs
lola: 369263 markings, 511754 edges, 2493 markings/sec, 150 secs
lola: 377112 markings, 524595 edges, 1570 markings/sec, 155 secs
lola: 385111 markings, 538869 edges, 1600 markings/sec, 160 secs
lola: 396586 markings, 553463 edges, 2295 markings/sec, 165 secs
lola: 411279 markings, 571557 edges, 2939 markings/sec, 170 secs
lola: 425600 markings, 591120 edges, 2864 markings/sec, 175 secs
lola: 433543 markings, 604041 edges, 1589 markings/sec, 180 secs
lola: 441344 markings, 618559 edges, 1560 markings/sec, 185 secs
lola: 452526 markings, 632340 edges, 2236 markings/sec, 190 secs
lola: 467099 markings, 650611 edges, 2915 markings/sec, 195 secs
lola: 481519 markings, 669429 edges, 2884 markings/sec, 200 secs
lola: 490050 markings, 683603 edges, 1706 markings/sec, 205 secs
lola: 497924 markings, 697465 edges, 1575 markings/sec, 210 secs
lola: 508864 markings, 711703 edges, 2188 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(p580)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 10132 markings, 15619 edges, 2026 markings/sec, 0 secs
lola: 20034 markings, 31523 edges, 1980 markings/sec, 5 secs
lola: 29907 markings, 48365 edges, 1975 markings/sec, 10 secs
lola: 40901 markings, 67858 edges, 2199 markings/sec, 15 secs
lola: 52341 markings, 85432 edges, 2288 markings/sec, 20 secs
lola: 63872 markings, 103307 edges, 2306 markings/sec, 25 secs
lola: 75314 markings, 121233 edges, 2288 markings/sec, 30 secs
lola: 86676 markings, 139535 edges, 2272 markings/sec, 35 secs
lola: 97800 markings, 160415 edges, 2225 markings/sec, 40 secs
lola: 104315 markings, 173757 edges, 1303 markings/sec, 45 secs
lola: 110612 markings, 187066 edges, 1259 markings/sec, 50 secs
lola: 116895 markings, 200535 edges, 1257 markings/sec, 55 secs
lola: 123241 markings, 214317 edges, 1269 markings/sec, 60 secs
lola: 129507 markings, 228826 edges, 1253 markings/sec, 65 secs
lola: 137748 markings, 246004 edges, 1648 markings/sec, 70 secs
lola: 147892 markings, 261938 edges, 2029 markings/sec, 75 secs
lola: 158308 markings, 279046 edges, 2083 markings/sec, 80 secs
lola: 169190 markings, 299369 edges, 2176 markings/sec, 85 secs
lola: 181194 markings, 317787 edges, 2401 markings/sec, 90 secs
lola: 193179 markings, 336358 edges, 2397 markings/sec, 95 secs
lola: 205274 markings, 355215 edges, 2419 markings/sec, 100 secs
lola: 217227 markings, 374347 edges, 2391 markings/sec, 105 secs
lola: 229021 markings, 394862 edges, 2359 markings/sec, 110 secs
lola: 236177 markings, 410568 edges, 1431 markings/sec, 115 secs
lola: 242935 markings, 424704 edges, 1352 markings/sec, 120 secs
lola: 249520 markings, 438813 edges, 1317 markings/sec, 125 secs
lola: 256177 markings, 453332 edges, 1331 markings/sec, 130 secs
lola: 262771 markings, 468813 edges, 1319 markings/sec, 135 secs
lola: 272112 markings, 486863 edges, 1868 markings/sec, 140 secs
lola: 282614 markings, 503502 edges, 2100 markings/sec, 145 secs
lola: 292987 markings, 520893 edges, 2075 markings/sec, 150 secs
lola: 304225 markings, 541266 edges, 2248 markings/sec, 155 secs
lola: 316309 markings, 559797 edges, 2417 markings/sec, 160 secs
lola: 328446 markings, 578505 edges, 2427 markings/sec, 165 secs
lola: 340406 markings, 597356 edges, 2392 markings/sec, 170 secs
lola: 352399 markings, 616721 edges, 2399 markings/sec, 175 secs
lola: 363529 markings, 637872 edges, 2226 markings/sec, 180 secs
lola: 370246 markings, 651837 edges, 1343 markings/sec, 185 secs
lola: 376906 markings, 665860 edges, 1332 markings/sec, 190 secs
lola: 383549 markings, 680119 edges, 1329 markings/sec, 195 secs
lola: 390216 markings, 694837 edges, 1333 markings/sec, 200 secs
lola: 396727 markings, 711199 edges, 1302 markings/sec, 205 secs
lola: 406881 markings, 728393 edges, 2031 markings/sec, 210 secs
lola: 417046 markings, 744831 edges, 2033 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(p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 11859 markings, 14005 edges, 2372 markings/sec, 0 secs
lola: 26369 markings, 32492 edges, 2902 markings/sec, 5 secs
lola: 41265 markings, 51218 edges, 2979 markings/sec, 10 secs
lola: 52477 markings, 68160 edges, 2242 markings/sec, 15 secs
lola: 60596 markings, 81517 edges, 1624 markings/sec, 20 secs
lola: 69739 markings, 96464 edges, 1829 markings/sec, 25 secs
lola: 82060 markings, 112092 edges, 2464 markings/sec, 30 secs
lola: 97027 markings, 130470 edges, 2993 markings/sec, 35 secs
lola: 111837 markings, 149529 edges, 2962 markings/sec, 40 secs
lola: 121123 markings, 164586 edges, 1857 markings/sec, 45 secs
lola: 129223 markings, 178177 edges, 1620 markings/sec, 50 secs
lola: 139503 markings, 193056 edges, 2056 markings/sec, 55 secs
lola: 152779 markings, 210067 edges, 2655 markings/sec, 60 secs
lola: 167721 markings, 228515 edges, 2988 markings/sec, 65 secs
lola: 181693 markings, 247916 edges, 2794 markings/sec, 70 secs
lola: 189758 markings, 261029 edges, 1613 markings/sec, 75 secs
lola: 197851 markings, 275121 edges, 1619 markings/sec, 80 secs
lola: 208984 markings, 289616 edges, 2227 markings/sec, 85 secs
lola: 223280 markings, 307907 edges, 2859 markings/sec, 90 secs
lola: 238120 markings, 326701 edges, 2968 markings/sec, 95 secs
lola: 248651 markings, 343050 edges, 2106 markings/sec, 100 secs
lola: 256784 markings, 356596 edges, 1627 markings/sec, 105 secs
lola: 266675 markings, 371329 edges, 1978 markings/sec, 110 secs
lola: 279707 markings, 388052 edges, 2606 markings/sec, 115 secs
lola: 294652 markings, 406637 edges, 2989 markings/sec, 120 secs
lola: 307545 markings, 425106 edges, 2579 markings/sec, 125 secs
lola: 315643 markings, 438381 edges, 1620 markings/sec, 130 secs
lola: 324322 markings, 453280 edges, 1736 markings/sec, 135 secs
lola: 336245 markings, 468360 edges, 2385 markings/sec, 140 secs
lola: 351174 markings, 486746 edges, 2986 markings/sec, 145 secs
lola: 365891 markings, 506014 edges, 2943 markings/sec, 150 secs
lola: 374503 markings, 520280 edges, 1722 markings/sec, 155 secs
lola: 382581 markings, 534228 edges, 1616 markings/sec, 160 secs
lola: 393520 markings, 548911 edges, 2188 markings/sec, 165 secs
lola: 407886 markings, 567315 edges, 2873 markings/sec, 170 secs
lola: 422652 markings, 586315 edges, 2953 markings/sec, 175 secs
lola: 432129 markings, 601638 edges, 1895 markings/sec, 180 secs
lola: 440128 markings, 615577 edges, 1600 markings/sec, 185 secs
lola: 451183 markings, 630288 edges, 2211 markings/sec, 190 secs
lola: 465569 markings, 648730 edges, 2877 markings/sec, 195 secs
lola: 480364 markings, 667772 edges, 2959 markings/sec, 200 secs
lola: 489604 markings, 682868 edges, 1848 markings/sec, 205 secs
lola: 497679 markings, 696936 edges, 1615 markings/sec, 210 secs
lola: 508790 markings, 711592 edges, 2222 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(p656)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3436 markings, 5631 edges, 687 markings/sec, 0 secs
lola: 6862 markings, 11283 edges, 685 markings/sec, 5 secs
lola: 10075 markings, 20263 edges, 643 markings/sec, 10 secs
lola: 13489 markings, 26490 edges, 683 markings/sec, 15 secs
lola: 16914 markings, 32140 edges, 685 markings/sec, 20 secs
lola: 20152 markings, 40951 edges, 648 markings/sec, 25 secs
lola: 23466 markings, 47227 edges, 663 markings/sec, 30 secs
lola: 26806 markings, 52722 edges, 668 markings/sec, 35 secs
lola: 30014 markings, 61334 edges, 642 markings/sec, 40 secs
lola: 33316 markings, 67663 edges, 660 markings/sec, 45 secs
lola: 36650 markings, 73181 edges, 667 markings/sec, 50 secs
lola: 39871 markings, 81711 edges, 644 markings/sec, 55 secs
lola: 43153 markings, 88141 edges, 656 markings/sec, 60 secs
lola: 46495 markings, 93641 edges, 668 markings/sec, 65 secs
lola: 49704 markings, 102270 edges, 642 markings/sec, 70 secs
lola: 53009 markings, 108522 edges, 661 markings/sec, 75 secs
lola: 56345 markings, 114006 edges, 667 markings/sec, 80 secs
lola: 59533 markings, 122803 edges, 638 markings/sec, 85 secs
lola: 62856 markings, 128882 edges, 665 markings/sec, 90 secs
lola: 66188 markings, 134376 edges, 666 markings/sec, 95 secs
lola: 69363 markings, 143710 edges, 635 markings/sec, 100 secs
lola: 72700 markings, 149223 edges, 667 markings/sec, 105 secs
lola: 76028 markings, 154689 edges, 666 markings/sec, 110 secs
lola: 79210 markings, 164007 edges, 636 markings/sec, 115 secs
lola: 82534 markings, 169514 edges, 665 markings/sec, 120 secs
lola: 85808 markings, 177418 edges, 655 markings/sec, 125 secs
lola: 89056 markings, 184240 edges, 650 markings/sec, 130 secs
lola: 92385 markings, 189740 edges, 666 markings/sec, 135 secs
lola: 95589 markings, 198315 edges, 641 markings/sec, 140 secs
lola: 98899 markings, 204499 edges, 662 markings/sec, 145 secs
lola: 102224 markings, 210014 edges, 665 markings/sec, 150 secs
lola: 105418 markings, 219189 edges, 639 markings/sec, 155 secs
lola: 108748 markings, 224715 edges, 666 markings/sec, 160 secs
lola: 111858 markings, 232405 edges, 622 markings/sec, 165 secs
lola: 115045 markings, 239007 edges, 637 markings/sec, 170 secs
lola: 118375 markings, 244533 edges, 666 markings/sec, 175 secs
lola: 121572 markings, 253623 edges, 639 markings/sec, 180 secs
lola: 124909 markings, 259142 edges, 667 markings/sec, 185 secs
lola: 128174 markings, 267088 edges, 653 markings/sec, 190 secs
lola: 131350 markings, 273628 edges, 635 markings/sec, 195 secs
lola: 134673 markings, 279136 edges, 665 markings/sec, 200 secs
lola: 137875 markings, 288183 edges, 640 markings/sec, 205 secs
lola: 141212 markings, 293681 edges, 667 markings/sec, 210 secs
lola: 144432 markings, 302091 edges, 644 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(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 3280 markings, 6081 edges, 656 markings/sec, 0 secs
lola: 6541 markings, 12192 edges, 652 markings/sec, 5 secs
lola: 9784 markings, 18352 edges, 649 markings/sec, 10 secs
lola: 13032 markings, 24487 edges, 650 markings/sec, 15 secs
lola: 16280 markings, 30572 edges, 650 markings/sec, 20 secs
lola: 19516 markings, 40248 edges, 647 markings/sec, 25 secs
lola: 22691 markings, 46213 edges, 635 markings/sec, 30 secs
lola: 25857 markings, 52190 edges, 633 markings/sec, 35 secs
lola: 29016 markings, 58188 edges, 632 markings/sec, 40 secs
lola: 32175 markings, 64201 edges, 632 markings/sec, 45 secs
lola: 35358 markings, 73740 edges, 637 markings/sec, 50 secs
lola: 38532 markings, 79726 edges, 635 markings/sec, 55 secs
lola: 41707 markings, 85669 edges, 635 markings/sec, 60 secs
lola: 44873 markings, 91633 edges, 633 markings/sec, 65 secs
lola: 48014 markings, 97548 edges, 628 markings/sec, 70 secs
lola: 51149 markings, 103436 edges, 627 markings/sec, 75 secs
lola: 54304 markings, 112987 edges, 631 markings/sec, 80 secs
lola: 57460 markings, 118905 edges, 631 markings/sec, 85 secs
lola: 60604 markings, 124846 edges, 629 markings/sec, 90 secs
lola: 63764 markings, 130844 edges, 632 markings/sec, 95 secs
lola: 66852 markings, 136667 edges, 618 markings/sec, 100 secs
lola: 69983 markings, 146108 edges, 626 markings/sec, 105 secs
lola: 73169 markings, 152167 edges, 637 markings/sec, 110 secs
lola: 76354 markings, 158188 edges, 637 markings/sec, 115 secs
lola: 79533 markings, 164134 edges, 636 markings/sec, 120 secs
lola: 82671 markings, 170058 edges, 628 markings/sec, 125 secs
lola: 85804 markings, 175942 edges, 627 markings/sec, 130 secs
lola: 88987 markings, 185535 edges, 637 markings/sec, 135 secs
lola: 92178 markings, 191515 edges, 638 markings/sec, 140 secs
lola: 95354 markings, 197509 edges, 635 markings/sec, 145 secs
lola: 98531 markings, 203540 edges, 635 markings/sec, 150 secs
lola: 101705 markings, 209579 edges, 635 markings/sec, 155 secs
lola: 104900 markings, 219187 edges, 639 markings/sec, 160 secs
lola: 108093 markings, 225139 edges, 639 markings/sec, 165 secs
lola: 111277 markings, 231140 edges, 637 markings/sec, 170 secs
lola: 114462 markings, 237111 edges, 637 markings/sec, 175 secs
lola: 117642 markings, 243095 edges, 636 markings/sec, 180 secs
lola: 120815 markings, 249119 edges, 635 markings/sec, 185 secs
lola: 124014 markings, 258717 edges, 640 markings/sec, 190 secs
lola: 127195 markings, 264781 edges, 636 markings/sec, 195 secs
lola: 130379 markings, 270739 edges, 637 markings/sec, 200 secs
lola: 133561 markings, 276719 edges, 636 markings/sec, 205 secs
lola: 136740 markings, 282693 edges, 636 markings/sec, 210 secs
lola: 139933 markings, 292291 edges, 639 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(p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 11910 markings, 14091 edges, 2382 markings/sec, 0 secs
lola: 26879 markings, 33076 edges, 2994 markings/sec, 5 secs
lola: 42609 markings, 52940 edges, 3146 markings/sec, 10 secs
lola: 53744 markings, 70168 edges, 2227 markings/sec, 15 secs
lola: 62306 markings, 84432 edges, 1712 markings/sec, 20 secs
lola: 72868 markings, 100064 edges, 2112 markings/sec, 25 secs
lola: 86637 markings, 117651 edges, 2754 markings/sec, 30 secs
lola: 102240 markings, 136955 edges, 3121 markings/sec, 35 secs
lola: 116148 markings, 156572 edges, 2782 markings/sec, 40 secs
lola: 124430 markings, 170010 edges, 1656 markings/sec, 45 secs
lola: 132940 markings, 185536 edges, 1702 markings/sec, 50 secs
lola: 144695 markings, 199558 edges, 2351 markings/sec, 55 secs
lola: 160081 markings, 219000 edges, 3077 markings/sec, 60 secs
lola: 175700 markings, 238801 edges, 3124 markings/sec, 65 secs
lola: 186453 markings, 255621 edges, 2151 markings/sec, 70 secs
lola: 195031 markings, 269902 edges, 1716 markings/sec, 75 secs
lola: 205565 markings, 285406 edges, 2107 markings/sec, 80 secs
lola: 219634 markings, 303444 edges, 2814 markings/sec, 85 secs
lola: 235323 markings, 323036 edges, 3138 markings/sec, 90 secs
lola: 247542 markings, 341266 edges, 2444 markings/sec, 95 secs
lola: 256092 markings, 355422 edges, 1710 markings/sec, 100 secs
lola: 266354 markings, 370951 edges, 2052 markings/sec, 105 secs
lola: 280163 markings, 388602 edges, 2762 markings/sec, 110 secs
lola: 295802 markings, 408093 edges, 3128 markings/sec, 115 secs
lola: 308630 markings, 426835 edges, 2566 markings/sec, 120 secs
lola: 317126 markings, 440887 edges, 1699 markings/sec, 125 secs
lola: 327097 markings, 456451 edges, 1994 markings/sec, 130 secs
lola: 340551 markings, 473620 edges, 2691 markings/sec, 135 secs
lola: 356249 markings, 493114 edges, 3140 markings/sec, 140 secs
lola: 369607 markings, 512301 edges, 2672 markings/sec, 145 secs
lola: 378134 markings, 526329 edges, 1705 markings/sec, 150 secs
lola: 387768 markings, 541923 edges, 1927 markings/sec, 155 secs
lola: 401223 markings, 559092 edges, 2691 markings/sec, 160 secs
lola: 416883 markings, 578672 edges, 3132 markings/sec, 165 secs
lola: 429324 markings, 597096 edges, 2488 markings/sec, 170 secs
lola: 437857 markings, 611348 edges, 1707 markings/sec, 175 secs
lola: 448468 markings, 626848 edges, 2122 markings/sec, 180 secs
lola: 462865 markings, 645369 edges, 2879 markings/sec, 185 secs
lola: 478449 markings, 665160 edges, 3117 markings/sec, 190 secs
lola: 489040 markings, 681870 edges, 2118 markings/sec, 195 secs
lola: 497471 markings, 696526 edges, 1686 markings/sec, 200 secs
lola: 509090 markings, 712025 edges, 2324 markings/sec, 205 secs
lola: 524455 markings, 731579 edges, 3073 markings/sec, 210 secs
lola: 539910 markings, 752063 edges, 3091 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(p503 + p502 + p501 + p500 + p499 + p498 + p497 + p496 + p495 + p494 + p493 + p492 + p491 + p490 + p489 + p488 + p487 + p486 + p485 + p484 + p483 + p482 + p481 + p480 + p479 + p478 + p477 + p476 + p475 + p474 + p473)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 12418 markings, 14814 edges, 2484 markings/sec, 0 secs
lola: 27966 markings, 34430 edges, 3110 markings/sec, 5 secs
lola: 43542 markings, 54196 edges, 3115 markings/sec, 10 secs
lola: 54155 markings, 70858 edges, 2123 markings/sec, 15 secs
lola: 62669 markings, 85086 edges, 1703 markings/sec, 20 secs
lola: 73013 markings, 100246 edges, 2069 markings/sec, 25 secs
lola: 86255 markings, 117194 edges, 2648 markings/sec, 30 secs
lola: 101163 markings, 135625 edges, 2982 markings/sec, 35 secs
lola: 115253 markings, 155118 edges, 2818 markings/sec, 40 secs
lola: 123435 markings, 168341 edges, 1636 markings/sec, 45 secs
lola: 131896 markings, 183236 edges, 1692 markings/sec, 50 secs
lola: 144059 markings, 198669 edges, 2433 markings/sec, 55 secs
lola: 159354 markings, 218099 edges, 3059 markings/sec, 60 secs
lola: 174939 markings, 237786 edges, 3117 markings/sec, 65 secs
lola: 186042 markings, 254937 edges, 2221 markings/sec, 70 secs
lola: 194584 markings, 269133 edges, 1708 markings/sec, 75 secs
lola: 204903 markings, 284631 edges, 2064 markings/sec, 80 secs
lola: 218691 markings, 302302 edges, 2758 markings/sec, 85 secs
lola: 233689 markings, 320971 edges, 3000 markings/sec, 90 secs
lola: 246350 markings, 339286 edges, 2532 markings/sec, 95 secs
lola: 254510 markings, 352688 edges, 1632 markings/sec, 100 secs
lola: 263375 markings, 367515 edges, 1773 markings/sec, 105 secs
lola: 275368 markings, 382755 edges, 2399 markings/sec, 110 secs
lola: 290296 markings, 401153 edges, 2986 markings/sec, 115 secs
lola: 305116 markings, 420992 edges, 2964 markings/sec, 120 secs
lola: 313396 markings, 434611 edges, 1656 markings/sec, 125 secs
lola: 321489 markings, 448879 edges, 1619 markings/sec, 130 secs
lola: 332803 markings, 463419 edges, 2263 markings/sec, 135 secs
lola: 347237 markings, 481855 edges, 2887 markings/sec, 140 secs
lola: 362159 markings, 500792 edges, 2984 markings/sec, 145 secs
lola: 372505 markings, 517008 edges, 2069 markings/sec, 150 secs
lola: 380635 markings, 530649 edges, 1626 markings/sec, 155 secs
lola: 390834 markings, 545540 edges, 2040 markings/sec, 160 secs
lola: 404487 markings, 563127 edges, 2731 markings/sec, 165 secs
lola: 419404 markings, 581927 edges, 2983 markings/sec, 170 secs
lola: 430332 markings, 598734 edges, 2186 markings/sec, 175 secs
lola: 438460 markings, 612448 edges, 1626 markings/sec, 180 secs
lola: 448835 markings, 627293 edges, 2075 markings/sec, 185 secs
lola: 462689 markings, 645120 edges, 2771 markings/sec, 190 secs
lola: 477539 markings, 663951 edges, 2970 markings/sec, 195 secs
lola: 488305 markings, 680719 edges, 2153 markings/sec, 200 secs
lola: 496727 markings, 695104 edges, 1684 markings/sec, 205 secs
lola: 507890 markings, 710410 edges, 2233 markings/sec, 210 secs
lola: 522756 markings, 729457 edges, 2973 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(p515)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 11467 markings, 13500 edges, 2293 markings/sec, 0 secs
lola: 26468 markings, 32591 edges, 3000 markings/sec, 5 secs
lola: 41983 markings, 52128 edges, 3103 markings/sec, 10 secs
lola: 53253 markings, 69395 edges, 2254 markings/sec, 15 secs
lola: 61693 markings, 83368 edges, 1688 markings/sec, 20 secs
lola: 71850 markings, 98873 edges, 2031 markings/sec, 25 secs
lola: 85307 markings, 116069 edges, 2691 markings/sec, 30 secs
lola: 100908 markings, 135292 edges, 3120 markings/sec, 35 secs
lola: 115473 markings, 155446 edges, 2913 markings/sec, 40 secs
lola: 123917 markings, 169156 edges, 1689 markings/sec, 45 secs
lola: 132308 markings, 184223 edges, 1678 markings/sec, 50 secs
lola: 144537 markings, 199321 edges, 2446 markings/sec, 55 secs
lola: 159754 markings, 218643 edges, 3043 markings/sec, 60 secs
lola: 175246 markings, 238216 edges, 3098 markings/sec, 65 secs
lola: 186169 markings, 255118 edges, 2185 markings/sec, 70 secs
lola: 194587 markings, 269136 edges, 1684 markings/sec, 75 secs
lola: 204803 markings, 284506 edges, 2043 markings/sec, 80 secs
lola: 218511 markings, 302047 edges, 2742 markings/sec, 85 secs
lola: 233983 markings, 321326 edges, 3094 markings/sec, 90 secs
lola: 246772 markings, 339969 edges, 2558 markings/sec, 95 secs
lola: 255227 markings, 353902 edges, 1691 markings/sec, 100 secs
lola: 264920 markings, 369291 edges, 1939 markings/sec, 105 secs
lola: 278158 markings, 386159 edges, 2648 markings/sec, 110 secs
lola: 293620 markings, 405329 edges, 3092 markings/sec, 115 secs
lola: 307345 markings, 424778 edges, 2745 markings/sec, 120 secs
lola: 315791 markings, 438611 edges, 1689 markings/sec, 125 secs
lola: 325037 markings, 454081 edges, 1849 markings/sec, 130 secs
lola: 337752 markings, 470220 edges, 2543 markings/sec, 135 secs
lola: 353253 markings, 489338 edges, 3100 markings/sec, 140 secs
lola: 367903 markings, 509563 edges, 2930 markings/sec, 145 secs
lola: 376349 markings, 523313 edges, 1689 markings/sec, 150 secs
lola: 385085 markings, 538832 edges, 1747 markings/sec, 155 secs
lola: 397536 markings, 554621 edges, 2490 markings/sec, 160 secs
lola: 413052 markings, 573808 edges, 3103 markings/sec, 165 secs
lola: 427161 markings, 593587 edges, 2822 markings/sec, 170 secs
lola: 435573 markings, 607427 edges, 1682 markings/sec, 175 secs
lola: 445111 markings, 622872 edges, 1908 markings/sec, 180 secs
lola: 458330 markings, 639763 edges, 2644 markings/sec, 185 secs
lola: 473820 markings, 659093 edges, 3098 markings/sec, 190 secs
lola: 486330 markings, 677504 edges, 2502 markings/sec, 195 secs
lola: 494781 markings, 691590 edges, 1690 markings/sec, 200 secs
lola: 505123 markings, 706965 edges, 2068 markings/sec, 205 secs
lola: 519154 markings, 724997 edges, 2806 markings/sec, 210 secs
lola: 534551 markings, 744442 edges, 3079 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(p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 11876 markings, 14044 edges, 2375 markings/sec, 0 secs
lola: 26479 markings, 32602 edges, 2921 markings/sec, 5 secs
lola: 41706 markings, 51777 edges, 3045 markings/sec, 10 secs
lola: 53171 markings, 69251 edges, 2293 markings/sec, 15 secs
lola: 61669 markings, 83334 edges, 1700 markings/sec, 20 secs
lola: 71901 markings, 98945 edges, 2046 markings/sec, 25 secs
lola: 85533 markings, 116304 edges, 2726 markings/sec, 30 secs
lola: 101218 markings, 135680 edges, 3137 markings/sec, 35 secs
lola: 115625 markings, 155756 edges, 2881 markings/sec, 40 secs
lola: 124026 markings, 169336 edges, 1680 markings/sec, 45 secs
lola: 132614 markings, 185161 edges, 1718 markings/sec, 50 secs
lola: 144797 markings, 199690 edges, 2437 markings/sec, 55 secs
lola: 159680 markings, 218544 edges, 2977 markings/sec, 60 secs
lola: 175432 markings, 238435 edges, 3150 markings/sec, 65 secs
lola: 186358 markings, 255483 edges, 2185 markings/sec, 70 secs
lola: 194954 markings, 269777 edges, 1719 markings/sec, 75 secs
lola: 205554 markings, 285395 edges, 2120 markings/sec, 80 secs
lola: 219694 markings, 303529 edges, 2828 markings/sec, 85 secs
lola: 235479 markings, 323255 edges, 3157 markings/sec, 90 secs
lola: 247679 markings, 341467 edges, 2440 markings/sec, 95 secs
lola: 256299 markings, 355768 edges, 1724 markings/sec, 100 secs
lola: 266719 markings, 371373 edges, 2084 markings/sec, 105 secs
lola: 280643 markings, 389218 edges, 2785 markings/sec, 110 secs
lola: 296459 markings, 408932 edges, 3163 markings/sec, 115 secs
lola: 309034 markings, 427493 edges, 2515 markings/sec, 120 secs
lola: 317628 markings, 441712 edges, 1719 markings/sec, 125 secs
lola: 327858 markings, 457336 edges, 2046 markings/sec, 130 secs
lola: 341609 markings, 474916 edges, 2750 markings/sec, 135 secs
lola: 357355 markings, 494536 edges, 3149 markings/sec, 140 secs
lola: 370333 markings, 513450 edges, 2596 markings/sec, 145 secs
lola: 378858 markings, 527551 edges, 1705 markings/sec, 150 secs
lola: 388903 markings, 543242 edges, 2009 markings/sec, 155 secs
lola: 402726 markings, 560987 edges, 2765 markings/sec, 160 secs
lola: 418515 markings, 580767 edges, 3158 markings/sec, 165 secs
lola: 430287 markings, 598635 edges, 2354 markings/sec, 170 secs
lola: 438815 markings, 613087 edges, 1706 markings/sec, 175 secs
lola: 449934 markings, 628674 edges, 2224 markings/sec, 180 secs
lola: 464852 markings, 647827 edges, 2984 markings/sec, 185 secs
lola: 480563 markings, 668041 edges, 3142 markings/sec, 190 secs
lola: 490187 markings, 683805 edges, 1925 markings/sec, 195 secs
lola: 498763 markings, 699588 edges, 1715 markings/sec, 200 secs
lola: 511157 markings, 715228 edges, 2479 markings/sec, 205 secs
lola: 526930 markings, 734695 edges, 3155 markings/sec, 210 secs
lola: 541483 markings, 754928 edges, 2911 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(p548)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 7485 markings, 13846 edges, 1497 markings/sec, 0 secs
lola: 14730 markings, 27665 edges, 1449 markings/sec, 5 secs
lola: 21968 markings, 41733 edges, 1448 markings/sec, 10 secs
lola: 29270 markings, 56356 edges, 1460 markings/sec, 15 secs
lola: 36493 markings, 71984 edges, 1445 markings/sec, 20 secs
lola: 43666 markings, 89944 edges, 1435 markings/sec, 25 secs
lola: 50488 markings, 103623 edges, 1364 markings/sec, 30 secs
lola: 57409 markings, 117514 edges, 1384 markings/sec, 35 secs
lola: 64311 markings, 131444 edges, 1380 markings/sec, 40 secs
lola: 71255 markings, 145442 edges, 1389 markings/sec, 45 secs
lola: 78328 markings, 159964 edges, 1415 markings/sec, 50 secs
lola: 85510 markings, 175160 edges, 1436 markings/sec, 55 secs
lola: 92583 markings, 190619 edges, 1415 markings/sec, 60 secs
lola: 99730 markings, 207657 edges, 1429 markings/sec, 65 secs
lola: 104856 markings, 223031 edges, 1025 markings/sec, 70 secs
lola: 109524 markings, 235476 edges, 934 markings/sec, 75 secs
lola: 113947 markings, 247434 edges, 885 markings/sec, 80 secs
lola: 118192 markings, 259147 edges, 849 markings/sec, 85 secs
lola: 122368 markings, 270646 edges, 835 markings/sec, 90 secs
lola: 126804 markings, 283182 edges, 887 markings/sec, 95 secs
lola: 131089 markings, 295660 edges, 857 markings/sec, 100 secs
lola: 135292 markings, 308329 edges, 841 markings/sec, 105 secs
lola: 139525 markings, 324230 edges, 847 markings/sec, 110 secs
lola: 146935 markings, 338172 edges, 1482 markings/sec, 115 secs
lola: 154225 markings, 352076 edges, 1458 markings/sec, 120 secs
lola: 161118 markings, 365532 edges, 1379 markings/sec, 125 secs
lola: 168275 markings, 379764 edges, 1431 markings/sec, 130 secs
lola: 175782 markings, 396069 edges, 1501 markings/sec, 135 secs
lola: 183149 markings, 414470 edges, 1473 markings/sec, 140 secs
lola: 190553 markings, 429028 edges, 1481 markings/sec, 145 secs
lola: 197786 markings, 443547 edges, 1447 markings/sec, 150 secs
lola: 204957 markings, 458139 edges, 1434 markings/sec, 155 secs
lola: 212027 markings, 472518 edges, 1414 markings/sec, 160 secs
lola: 219203 markings, 487400 edges, 1435 markings/sec, 165 secs
lola: 226306 markings, 502482 edges, 1421 markings/sec, 170 secs
lola: 233385 markings, 517915 edges, 1416 markings/sec, 175 secs
lola: 240334 markings, 537015 edges, 1390 markings/sec, 180 secs
lola: 245034 markings, 549413 edges, 940 markings/sec, 185 secs
lola: 249614 markings, 561751 edges, 916 markings/sec, 190 secs
lola: 254204 markings, 574259 edges, 918 markings/sec, 195 secs
lola: 258758 markings, 586711 edges, 911 markings/sec, 200 secs
lola: 263345 markings, 599541 edges, 917 markings/sec, 205 secs
lola: 267900 markings, 612506 edges, 911 markings/sec, 210 secs
lola: 272403 markings, 625905 edges, 901 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(p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 6884 markings, 7843 edges, 1377 markings/sec, 0 secs
lola: 13790 markings, 17075 edges, 1381 markings/sec, 5 secs
lola: 22483 markings, 27696 edges, 1739 markings/sec, 10 secs
lola: 31217 markings, 38452 edges, 1747 markings/sec, 15 secs
lola: 39837 markings, 49336 edges, 1724 markings/sec, 20 secs
lola: 48237 markings, 61397 edges, 1680 markings/sec, 25 secs
lola: 52979 markings, 68979 edges, 948 markings/sec, 30 secs
lola: 57690 markings, 76671 edges, 942 markings/sec, 35 secs
lola: 62377 markings, 84575 edges, 937 markings/sec, 40 secs
lola: 67374 markings, 93760 edges, 999 markings/sec, 45 secs
lola: 74238 markings, 101697 edges, 1373 markings/sec, 50 secs
lola: 81523 markings, 111400 edges, 1457 markings/sec, 55 secs
lola: 90204 markings, 122001 edges, 1736 markings/sec, 60 secs
lola: 104847 markings, 140272 edges, 2929 markings/sec, 65 secs
lola: 117535 markings, 158785 edges, 2538 markings/sec, 70 secs
lola: 126003 markings, 172640 edges, 1694 markings/sec, 75 secs
lola: 135114 markings, 187992 edges, 1822 markings/sec, 80 secs
lola: 147543 markings, 203646 edges, 2486 markings/sec, 85 secs
lola: 163304 markings, 223035 edges, 3152 markings/sec, 90 secs
lola: 178812 markings, 243073 edges, 3102 markings/sec, 95 secs
lola: 188092 markings, 258262 edges, 1856 markings/sec, 100 secs
lola: 196531 markings, 272601 edges, 1688 markings/sec, 105 secs
lola: 207598 markings, 287871 edges, 2213 markings/sec, 110 secs
lola: 222116 markings, 306477 edges, 2904 markings/sec, 115 secs
lola: 237619 markings, 326036 edges, 3101 markings/sec, 120 secs
lola: 248730 markings, 343167 edges, 2222 markings/sec, 125 secs
lola: 257186 markings, 357342 edges, 1691 markings/sec, 130 secs
lola: 267771 markings, 372651 edges, 2117 markings/sec, 135 secs
lola: 281812 markings, 390633 edges, 2808 markings/sec, 140 secs
lola: 297300 markings, 410056 edges, 3098 markings/sec, 145 secs
lola: 309325 markings, 428006 edges, 2405 markings/sec, 150 secs
lola: 317790 markings, 442023 edges, 1693 markings/sec, 155 secs
lola: 327911 markings, 457410 edges, 2024 markings/sec, 160 secs
lola: 341439 markings, 474710 edges, 2706 markings/sec, 165 secs
lola: 356991 markings, 494070 edges, 3110 markings/sec, 170 secs
lola: 369899 markings, 512819 edges, 2582 markings/sec, 175 secs
lola: 378398 markings, 526747 edges, 1700 markings/sec, 180 secs
lola: 388024 markings, 542201 edges, 1925 markings/sec, 185 secs
lola: 401352 markings, 559247 edges, 2666 markings/sec, 190 secs
lola: 416840 markings, 578610 edges, 3098 markings/sec, 195 secs
lola: 429242 markings, 596922 edges, 2480 markings/sec, 200 secs
lola: 437650 markings, 610997 edges, 1682 markings/sec, 205 secs
lola: 448084 markings, 626372 edges, 2087 markings/sec, 210 secs
lola: 462183 markings, 644514 edges, 2820 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(p68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 5215 markings, 20668 edges, 1043 markings/sec, 0 secs
lola: 11489 markings, 46829 edges, 1255 markings/sec, 5 secs
lola: 15668 markings, 66860 edges, 836 markings/sec, 10 secs
lola: 18721 markings, 84215 edges, 611 markings/sec, 15 secs
lola: 21628 markings, 98308 edges, 581 markings/sec, 20 secs
lola: 24599 markings, 114818 edges, 594 markings/sec, 25 secs
lola: 27634 markings, 131943 edges, 607 markings/sec, 30 secs
lola: 30520 markings, 145686 edges, 577 markings/sec, 35 secs
lola: 33527 markings, 162593 edges, 601 markings/sec, 40 secs
lola: 36525 markings, 178720 edges, 600 markings/sec, 45 secs
lola: 39401 markings, 193088 edges, 575 markings/sec, 50 secs
lola: 42447 markings, 210369 edges, 609 markings/sec, 55 secs
lola: 45411 markings, 225762 edges, 593 markings/sec, 60 secs
lola: 48301 markings, 240831 edges, 578 markings/sec, 65 secs
lola: 51368 markings, 258171 edges, 613 markings/sec, 70 secs
lola: 54294 markings, 272961 edges, 585 markings/sec, 75 secs
lola: 57239 markings, 288705 edges, 589 markings/sec, 80 secs
lola: 60318 markings, 306120 edges, 616 markings/sec, 85 secs
lola: 63120 markings, 319778 edges, 560 markings/sec, 90 secs
lola: 66120 markings, 336462 edges, 600 markings/sec, 95 secs
lola: 69186 markings, 353854 edges, 613 markings/sec, 100 secs
lola: 72101 markings, 367677 edges, 583 markings/sec, 105 secs
lola: 75132 markings, 384645 edges, 606 markings/sec, 110 secs
lola: 78170 markings, 401240 edges, 608 markings/sec, 115 secs
lola: 81078 markings, 415524 edges, 582 markings/sec, 120 secs
lola: 84135 markings, 432800 edges, 611 markings/sec, 125 secs
lola: 87146 markings, 448807 edges, 602 markings/sec, 130 secs
lola: 90048 markings, 463550 edges, 580 markings/sec, 135 secs
lola: 93136 markings, 480983 edges, 618 markings/sec, 140 secs
lola: 96116 markings, 496371 edges, 596 markings/sec, 145 secs
lola: 99035 markings, 511659 edges, 584 markings/sec, 150 secs
lola: 102128 markings, 529145 edges, 619 markings/sec, 155 secs
lola: 105081 markings, 544085 edges, 591 markings/sec, 160 secs
lola: 108029 markings, 559841 edges, 590 markings/sec, 165 secs
lola: 111109 markings, 577253 edges, 616 markings/sec, 170 secs
lola: 114045 markings, 591770 edges, 587 markings/sec, 175 secs
lola: 117022 markings, 607993 edges, 595 markings/sec, 180 secs
lola: 120091 markings, 625373 edges, 614 markings/sec, 185 secs
lola: 123009 markings, 639413 edges, 584 markings/sec, 190 secs
lola: 126013 markings, 656148 edges, 601 markings/sec, 195 secs
lola: 129057 markings, 673143 edges, 609 markings/sec, 200 secs
lola: 131961 markings, 687158 edges, 581 markings/sec, 205 secs
lola: 134997 markings, 704263 edges, 607 markings/sec, 210 secs
lola: 138011 markings, 720454 edges, 603 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(p548)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 7686 markings, 14257 edges, 1537 markings/sec, 0 secs
lola: 15288 markings, 28723 edges, 1520 markings/sec, 5 secs
lola: 22813 markings, 43388 edges, 1505 markings/sec, 10 secs
lola: 30369 markings, 58590 edges, 1511 markings/sec, 15 secs
lola: 37797 markings, 75158 edges, 1486 markings/sec, 20 secs
lola: 45219 markings, 93002 edges, 1484 markings/sec, 25 secs
lola: 52271 markings, 107253 edges, 1410 markings/sec, 30 secs
lola: 59400 markings, 121587 edges, 1426 markings/sec, 35 secs
lola: 66705 markings, 136127 edges, 1461 markings/sec, 40 secs
lola: 73738 markings, 150754 edges, 1407 markings/sec, 45 secs
lola: 80931 markings, 165486 edges, 1439 markings/sec, 50 secs
lola: 87978 markings, 180479 edges, 1409 markings/sec, 55 secs
lola: 95068 markings, 196026 edges, 1418 markings/sec, 60 secs
lola: 101763 markings, 214662 edges, 1339 markings/sec, 65 secs
lola: 106257 markings, 226898 edges, 899 markings/sec, 70 secs
lola: 110852 markings, 239171 edges, 919 markings/sec, 75 secs
lola: 115374 markings, 251549 edges, 904 markings/sec, 80 secs
lola: 119992 markings, 264015 edges, 924 markings/sec, 85 secs
lola: 124495 markings, 276658 edges, 901 markings/sec, 90 secs
lola: 129005 markings, 289509 edges, 902 markings/sec, 95 secs
lola: 133497 markings, 302824 edges, 898 markings/sec, 100 secs
lola: 137961 markings, 317429 edges, 893 markings/sec, 105 secs
lola: 144745 markings, 334052 edges, 1357 markings/sec, 110 secs
lola: 152423 markings, 348461 edges, 1536 markings/sec, 115 secs
lola: 159942 markings, 363105 edges, 1504 markings/sec, 120 secs
lola: 167502 markings, 378183 edges, 1512 markings/sec, 125 secs
lola: 174826 markings, 393795 edges, 1465 markings/sec, 130 secs
lola: 182401 markings, 412776 edges, 1515 markings/sec, 135 secs
lola: 189520 markings, 427123 edges, 1424 markings/sec, 140 secs
lola: 196697 markings, 441567 edges, 1435 markings/sec, 145 secs
lola: 204030 markings, 456203 edges, 1467 markings/sec, 150 secs
lola: 211210 markings, 470928 edges, 1436 markings/sec, 155 secs
lola: 218392 markings, 485752 edges, 1436 markings/sec, 160 secs
lola: 225635 markings, 500956 edges, 1449 markings/sec, 165 secs
lola: 232777 markings, 516576 edges, 1428 markings/sec, 170 secs
lola: 239800 markings, 534279 edges, 1405 markings/sec, 175 secs
lola: 244616 markings, 548337 edges, 963 markings/sec, 180 secs
lola: 249178 markings, 560635 edges, 912 markings/sec, 185 secs
lola: 253785 markings, 573159 edges, 921 markings/sec, 190 secs
lola: 258341 markings, 585689 edges, 911 markings/sec, 195 secs
lola: 262888 markings, 598366 edges, 909 markings/sec, 200 secs
lola: 267470 markings, 611330 edges, 916 markings/sec, 205 secs
lola: 272026 markings, 624629 edges, 911 markings/sec, 210 secs
lola: 276549 markings, 639174 edges, 905 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(p548)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 7717 markings, 14318 edges, 1543 markings/sec, 0 secs
lola: 15477 markings, 29014 edges, 1552 markings/sec, 5 secs
lola: 23080 markings, 43961 edges, 1521 markings/sec, 10 secs
lola: 30714 markings, 59341 edges, 1527 markings/sec, 15 secs
lola: 38296 markings, 76407 edges, 1516 markings/sec, 20 secs
lola: 45781 markings, 94193 edges, 1497 markings/sec, 25 secs
lola: 53097 markings, 108734 edges, 1463 markings/sec, 30 secs
lola: 60377 markings, 123356 edges, 1456 markings/sec, 35 secs
lola: 67542 markings, 137996 edges, 1433 markings/sec, 40 secs
lola: 74847 markings, 152892 edges, 1461 markings/sec, 45 secs
lola: 82089 markings, 167887 edges, 1448 markings/sec, 50 secs
lola: 89215 markings, 183176 edges, 1425 markings/sec, 55 secs
lola: 96433 markings, 199298 edges, 1444 markings/sec, 60 secs
lola: 102689 markings, 217197 edges, 1251 markings/sec, 65 secs
lola: 107323 markings, 229657 edges, 927 markings/sec, 70 secs
lola: 111951 markings, 242142 edges, 926 markings/sec, 75 secs
lola: 116550 markings, 254662 edges, 920 markings/sec, 80 secs
lola: 121144 markings, 267363 edges, 919 markings/sec, 85 secs
lola: 125771 markings, 280276 edges, 925 markings/sec, 90 secs
lola: 130342 markings, 293403 edges, 914 markings/sec, 95 secs
lola: 134899 markings, 307051 edges, 911 markings/sec, 100 secs
lola: 139681 markings, 324468 edges, 956 markings/sec, 105 secs
lola: 147373 markings, 338979 edges, 1538 markings/sec, 110 secs
lola: 154782 markings, 353091 edges, 1482 markings/sec, 115 secs
lola: 162454 markings, 367981 edges, 1534 markings/sec, 120 secs
lola: 170056 markings, 383460 edges, 1520 markings/sec, 125 secs
lola: 177628 markings, 400665 edges, 1514 markings/sec, 130 secs
lola: 185033 markings, 418160 edges, 1481 markings/sec, 135 secs
lola: 192409 markings, 432744 edges, 1475 markings/sec, 140 secs
lola: 199672 markings, 447345 edges, 1453 markings/sec, 145 secs
lola: 206779 markings, 461930 edges, 1421 markings/sec, 150 secs
lola: 214077 markings, 476821 edges, 1460 markings/sec, 155 secs
lola: 221383 markings, 491910 edges, 1461 markings/sec, 160 secs
lola: 228580 markings, 507181 edges, 1439 markings/sec, 165 secs
lola: 235704 markings, 523352 edges, 1425 markings/sec, 170 secs
lola: 241951 markings, 541135 edges, 1249 markings/sec, 175 secs
lola: 246515 markings, 553581 edges, 913 markings/sec, 180 secs
lola: 251141 markings, 566055 edges, 925 markings/sec, 185 secs
lola: 255800 markings, 578580 edges, 932 markings/sec, 190 secs
lola: 260367 markings, 591341 edges, 913 markings/sec, 195 secs
lola: 265015 markings, 604228 edges, 930 markings/sec, 200 secs
lola: 269541 markings, 617397 edges, 905 markings/sec, 205 secs
lola: 274147 markings, 631145 edges, 921 markings/sec, 210 secs
lola: 279088 markings, 648568 edges, 988 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(p64)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2408 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: 4438 markings, 16802 edges, 888 markings/sec, 0 secs
lola: 9405 markings, 37748 edges, 993 markings/sec, 5 secs
lola: 14620 markings, 61988 edges, 1043 markings/sec, 10 secs
lola: 17603 markings, 77200 edges, 597 markings/sec, 15 secs
lola: 20540 markings, 92698 edges, 587 markings/sec, 20 secs
lola: 23639 markings, 110184 edges, 620 markings/sec, 25 secs
lola: 26602 markings, 125134 edges, 593 markings/sec, 30 secs
lola: 29565 markings, 140974 edges, 593 markings/sec, 35 secs
lola: 32657 markings, 158448 edges, 618 markings/sec, 40 secs
lola: 35604 markings, 173028 edges, 589 markings/sec, 45 secs
lola: 38593 markings, 189308 edges, 598 markings/sec, 50 secs
lola: 41673 markings, 206729 edges, 616 markings/sec, 55 secs
lola: 44600 markings, 220853 edges, 585 markings/sec, 60 secs
lola: 47611 markings, 237614 edges, 602 markings/sec, 65 secs
lola: 50672 markings, 254834 edges, 612 markings/sec, 70 secs
lola: 53588 markings, 268827 edges, 583 markings/sec, 75 secs
lola: 56627 markings, 285933 edges, 608 markings/sec, 80 secs
lola: 59665 markings, 302391 edges, 608 markings/sec, 85 secs
lola: 62580 markings, 316810 edges, 583 markings/sec, 90 secs
lola: 65644 markings, 334167 edges, 613 markings/sec, 95 secs
lola: 68654 markings, 350066 edges, 602 markings/sec, 100 secs
lola: 71560 markings, 364897 edges, 581 markings/sec, 105 secs
lola: 74656 markings, 382351 edges, 619 markings/sec, 110 secs
lola: 77636 markings, 397705 edges, 596 markings/sec, 115 secs
lola: 80561 markings, 413045 edges, 585 markings/sec, 120 secs
lola: 83655 markings, 430534 edges, 619 markings/sec, 125 secs
lola: 86611 markings, 445483 edges, 591 markings/sec, 130 secs
lola: 89564 markings, 461264 edges, 591 markings/sec, 135 secs
lola: 92647 markings, 478696 edges, 617 markings/sec, 140 secs
lola: 95583 markings, 493216 edges, 587 markings/sec, 145 secs
lola: 98564 markings, 509459 edges, 596 markings/sec, 150 secs
lola: 101634 markings, 526846 edges, 614 markings/sec, 155 secs
lola: 104552 markings, 540883 edges, 584 markings/sec, 160 secs
lola: 107560 markings, 557636 edges, 602 markings/sec, 165 secs
lola: 110607 markings, 574665 edges, 609 markings/sec, 170 secs
lola: 113515 markings, 588690 edges, 582 markings/sec, 175 secs
lola: 116552 markings, 605802 edges, 607 markings/sec, 180 secs
lola: 119572 markings, 622043 edges, 604 markings/sec, 185 secs
lola: 122474 markings, 636559 edges, 580 markings/sec, 190 secs
lola: 125542 markings, 653958 edges, 614 markings/sec, 195 secs
lola: 128535 markings, 669596 edges, 599 markings/sec, 200 secs
lola: 131438 markings, 684623 edges, 581 markings/sec, 205 secs
lola: 134531 markings, 702112 edges, 619 markings/sec, 210 secs
lola: 137491 markings, 717141 edges, 592 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-S10J30-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J30-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496297698562

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