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 PolyORBNT-COL-S10J20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926100047
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494678222911


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-COL-S10J20 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 12274/65536 symbol table entries, 3869 collisions
lola: preprocessing...
lola: finding significant places
lola: 494 places, 11780 transitions, 422 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1918 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J20-UpperBounds.task
lola: MAX(p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p483 + p473 + p463 + p453 + p443 + p433 + p423 + p413 + p403 + p393 + p383 + p373 + p363 + p353 + p343 + p333 + p323 + p313 + p303) : MAX(p271) : MAX(p69) : MAX(p195) : MAX(p224) : MAX(p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282) : MAX(p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65) : MAX(p228) : MAX(p45) : MAX(p228) : MAX(p71) : MAX(p77) : MAX(p70) : MAX(p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282) : MAX(p73) : MAX(p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55)
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(p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p344 + p345... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4105 markings, 5251 edges, 821 markings/sec, 0 secs
lola: 8209 markings, 12255 edges, 821 markings/sec, 5 secs
lola: 12318 markings, 17508 edges, 822 markings/sec, 10 secs
lola: 16401 markings, 24487 edges, 817 markings/sec, 15 secs
lola: 20506 markings, 29742 edges, 821 markings/sec, 20 secs
lola: 24594 markings, 36728 edges, 818 markings/sec, 25 secs
lola: 28690 markings, 41998 edges, 819 markings/sec, 30 secs
lola: 32792 markings, 49001 edges, 820 markings/sec, 35 secs
lola: 36892 markings, 56000 edges, 820 markings/sec, 40 secs
lola: 40991 markings, 61265 edges, 820 markings/sec, 45 secs
lola: 45094 markings, 68268 edges, 821 markings/sec, 50 secs
lola: 49204 markings, 73520 edges, 822 markings/sec, 55 secs
lola: 53319 markings, 80536 edges, 823 markings/sec, 60 secs
lola: 57458 markings, 85853 edges, 828 markings/sec, 65 secs
lola: 61595 markings, 92911 edges, 827 markings/sec, 70 secs
lola: 65736 markings, 99964 edges, 828 markings/sec, 75 secs
lola: 69883 markings, 105266 edges, 829 markings/sec, 80 secs
lola: 74024 markings, 112311 edges, 828 markings/sec, 85 secs
lola: 78158 markings, 117621 edges, 827 markings/sec, 90 secs
lola: 82294 markings, 124685 edges, 827 markings/sec, 95 secs
lola: 86437 markings, 129986 edges, 829 markings/sec, 100 secs
lola: 90576 markings, 137029 edges, 828 markings/sec, 105 secs
lola: 94717 markings, 142339 edges, 828 markings/sec, 110 secs
lola: 98855 markings, 149389 edges, 828 markings/sec, 115 secs
lola: 102993 markings, 156460 edges, 828 markings/sec, 120 secs
lola: 107139 markings, 161762 edges, 829 markings/sec, 125 secs
lola: 111283 markings, 168808 edges, 829 markings/sec, 130 secs
lola: 115423 markings, 174120 edges, 828 markings/sec, 135 secs
lola: 119560 markings, 181171 edges, 827 markings/sec, 140 secs
lola: 123702 markings, 186489 edges, 828 markings/sec, 145 secs
lola: 127843 markings, 193536 edges, 828 markings/sec, 150 secs
lola: 131986 markings, 200584 edges, 829 markings/sec, 155 secs
lola: 136125 markings, 205895 edges, 828 markings/sec, 160 secs
lola: 140254 markings, 241246 edges, 826 markings/sec, 165 secs
lola: 144407 markings, 252468 edges, 831 markings/sec, 170 secs
lola: 148547 markings, 259521 edges, 828 markings/sec, 175 secs
lola: 152686 markings, 264856 edges, 828 markings/sec, 180 secs
lola: 156831 markings, 271909 edges, 829 markings/sec, 185 secs
lola: 160984 markings, 277214 edges, 831 markings/sec, 190 secs
lola: 165126 markings, 284266 edges, 828 markings/sec, 195 secs
lola: 169262 markings, 289602 edges, 827 markings/sec, 200 secs
lola: 173409 markings, 296652 edges, 829 markings/sec, 205 secs
lola: 177549 markings, 303705 edges, 828 markings/sec, 210 secs
lola: 181703 markings, 309006 edges, 831 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(p271)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 5967 markings, 8470 edges, 1193 markings/sec, 0 secs
lola: 11839 markings, 16833 edges, 1174 markings/sec, 5 secs
lola: 17743 markings, 25238 edges, 1181 markings/sec, 10 secs
lola: 23603 markings, 33595 edges, 1172 markings/sec, 15 secs
lola: 29478 markings, 41969 edges, 1175 markings/sec, 20 secs
lola: 35432 markings, 50423 edges, 1191 markings/sec, 25 secs
lola: 41480 markings, 60365 edges, 1210 markings/sec, 30 secs
lola: 47486 markings, 68887 edges, 1201 markings/sec, 35 secs
lola: 53264 markings, 78498 edges, 1156 markings/sec, 40 secs
lola: 59075 markings, 86798 edges, 1162 markings/sec, 45 secs
lola: 64838 markings, 96391 edges, 1153 markings/sec, 50 secs
lola: 70591 markings, 104618 edges, 1151 markings/sec, 55 secs
lola: 76296 markings, 114151 edges, 1141 markings/sec, 60 secs
lola: 82018 markings, 123686 edges, 1144 markings/sec, 65 secs
lola: 87757 markings, 131908 edges, 1148 markings/sec, 70 secs
lola: 93485 markings, 141457 edges, 1146 markings/sec, 75 secs
lola: 99182 markings, 150979 edges, 1139 markings/sec, 80 secs
lola: 104914 markings, 159183 edges, 1146 markings/sec, 85 secs
lola: 110287 markings, 183927 edges, 1075 markings/sec, 90 secs
lola: 116077 markings, 192193 edges, 1158 markings/sec, 95 secs
lola: 121889 markings, 200488 edges, 1162 markings/sec, 100 secs
lola: 127637 markings, 209821 edges, 1150 markings/sec, 105 secs
lola: 133495 markings, 218405 edges, 1172 markings/sec, 110 secs
lola: 139296 markings, 226689 edges, 1160 markings/sec, 115 secs
lola: 145118 markings, 234997 edges, 1164 markings/sec, 120 secs
lola: 150934 markings, 243788 edges, 1163 markings/sec, 125 secs
lola: 156706 markings, 252895 edges, 1154 markings/sec, 130 secs
lola: 162507 markings, 261181 edges, 1160 markings/sec, 135 secs
lola: 168281 markings, 270793 edges, 1155 markings/sec, 140 secs
lola: 174014 markings, 279020 edges, 1147 markings/sec, 145 secs
lola: 179691 markings, 288494 edges, 1135 markings/sec, 150 secs
lola: 185374 markings, 297985 edges, 1137 markings/sec, 155 secs
lola: 191062 markings, 307204 edges, 1138 markings/sec, 160 secs
lola: 196769 markings, 315666 edges, 1141 markings/sec, 165 secs
lola: 202449 markings, 325159 edges, 1136 markings/sec, 170 secs
lola: 208119 markings, 334649 edges, 1134 markings/sec, 175 secs
lola: 213422 markings, 359312 edges, 1061 markings/sec, 180 secs
lola: 219257 markings, 367632 edges, 1167 markings/sec, 185 secs
lola: 225058 markings, 375915 edges, 1160 markings/sec, 190 secs
lola: 230877 markings, 384216 edges, 1164 markings/sec, 195 secs
lola: 236668 markings, 392489 edges, 1158 markings/sec, 200 secs
lola: 242464 markings, 400767 edges, 1159 markings/sec, 205 secs
lola: 248240 markings, 409990 edges, 1155 markings/sec, 210 secs
lola: 254021 markings, 418618 edges, 1156 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(p69)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 3458 markings, 10306 edges, 692 markings/sec, 0 secs
lola: 7038 markings, 26094 edges, 716 markings/sec, 5 secs
lola: 10538 markings, 38309 edges, 700 markings/sec, 10 secs
lola: 14070 markings, 51728 edges, 706 markings/sec, 15 secs
lola: 17605 markings, 65364 edges, 707 markings/sec, 20 secs
lola: 21128 markings, 78601 edges, 705 markings/sec, 25 secs
lola: 24642 markings, 91464 edges, 703 markings/sec, 30 secs
lola: 28309 markings, 106674 edges, 733 markings/sec, 35 secs
lola: 31842 markings, 120234 edges, 707 markings/sec, 40 secs
lola: 35353 markings, 132972 edges, 702 markings/sec, 45 secs
lola: 38877 markings, 146131 edges, 705 markings/sec, 50 secs
lola: 42410 markings, 159677 edges, 707 markings/sec, 55 secs
lola: 45944 markings, 173409 edges, 707 markings/sec, 60 secs
lola: 59028 markings, 191050 edges, 2617 markings/sec, 65 secs
lola: 71023 markings, 208846 edges, 2399 markings/sec, 70 secs
lola: 81666 markings, 224765 edges, 2129 markings/sec, 75 secs
lola: 96268 markings, 244729 edges, 2920 markings/sec, 80 secs
lola: 105484 markings, 259287 edges, 1843 markings/sec, 85 secs
lola: 120198 markings, 278683 edges, 2943 markings/sec, 90 secs
lola: 129948 markings, 294643 edges, 1950 markings/sec, 95 secs
lola: 142775 markings, 312192 edges, 2565 markings/sec, 100 secs
lola: 154237 markings, 329690 edges, 2292 markings/sec, 105 secs
lola: 166244 markings, 346721 edges, 2401 markings/sec, 110 secs
lola: 178446 markings, 364723 edges, 2440 markings/sec, 115 secs
lola: 189495 markings, 380990 edges, 2210 markings/sec, 120 secs
lola: 202623 markings, 399731 edges, 2626 markings/sec, 125 secs
lola: 212934 markings, 415592 edges, 2062 markings/sec, 130 secs
lola: 226029 markings, 434371 edges, 2619 markings/sec, 135 secs
lola: 237265 markings, 451047 edges, 2247 markings/sec, 140 secs
lola: 249465 markings, 469102 edges, 2440 markings/sec, 145 secs
lola: 261404 markings, 486290 edges, 2388 markings/sec, 150 secs
lola: 272845 markings, 503775 edges, 2288 markings/sec, 155 secs
lola: 285706 markings, 521963 edges, 2572 markings/sec, 160 secs
lola: 295976 markings, 538577 edges, 2054 markings/sec, 165 secs
lola: 309683 markings, 558114 edges, 2741 markings/sec, 170 secs
lola: 319940 markings, 574069 edges, 2051 markings/sec, 175 secs
lola: 332277 markings, 592328 edges, 2467 markings/sec, 180 secs
lola: 345147 markings, 610892 edges, 2574 markings/sec, 185 secs
lola: 355235 markings, 627566 edges, 2018 markings/sec, 190 secs
lola: 367712 markings, 646027 edges, 2495 markings/sec, 195 secs
lola: 380971 markings, 665080 edges, 2652 markings/sec, 200 secs
lola: 391552 markings, 682175 edges, 2116 markings/sec, 205 secs
lola: 403525 markings, 700804 edges, 2395 markings/sec, 210 secs
lola: 416239 markings, 720398 edges, 2543 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(p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 3570 markings, 10739 edges, 714 markings/sec, 0 secs
lola: 7009 markings, 20583 edges, 688 markings/sec, 5 secs
lola: 10539 markings, 30814 edges, 706 markings/sec, 10 secs
lola: 14152 markings, 41362 edges, 723 markings/sec, 15 secs
lola: 17762 markings, 51658 edges, 722 markings/sec, 20 secs
lola: 21371 markings, 61986 edges, 722 markings/sec, 25 secs
lola: 24982 markings, 72463 edges, 722 markings/sec, 30 secs
lola: 28590 markings, 82946 edges, 722 markings/sec, 35 secs
lola: 32206 markings, 93301 edges, 723 markings/sec, 40 secs
lola: 35835 markings, 103968 edges, 726 markings/sec, 45 secs
lola: 39490 markings, 114896 edges, 731 markings/sec, 50 secs
lola: 43157 markings, 125585 edges, 733 markings/sec, 55 secs
lola: 46878 markings, 136697 edges, 744 markings/sec, 60 secs
lola: 50525 markings, 147059 edges, 729 markings/sec, 65 secs
lola: 54182 markings, 157618 edges, 731 markings/sec, 70 secs
lola: 57971 markings, 169726 edges, 758 markings/sec, 75 secs
lola: 61575 markings, 179998 edges, 721 markings/sec, 80 secs
lola: 65183 markings, 190292 edges, 722 markings/sec, 85 secs
lola: 68807 markings, 200662 edges, 725 markings/sec, 90 secs
lola: 72431 markings, 211315 edges, 725 markings/sec, 95 secs
lola: 76041 markings, 221599 edges, 722 markings/sec, 100 secs
lola: 79652 markings, 231913 edges, 722 markings/sec, 105 secs
lola: 83263 markings, 242278 edges, 722 markings/sec, 110 secs
lola: 86883 markings, 252908 edges, 724 markings/sec, 115 secs
lola: 90499 markings, 263235 edges, 723 markings/sec, 120 secs
lola: 94173 markings, 274262 edges, 735 markings/sec, 125 secs
lola: 97831 markings, 284765 edges, 732 markings/sec, 130 secs
lola: 101567 markings, 296135 edges, 747 markings/sec, 135 secs
lola: 105222 markings, 306443 edges, 731 markings/sec, 140 secs
lola: 108968 markings, 317587 edges, 749 markings/sec, 145 secs
lola: 112617 markings, 328345 edges, 730 markings/sec, 150 secs
lola: 116251 markings, 338599 edges, 727 markings/sec, 155 secs
lola: 119893 markings, 349068 edges, 728 markings/sec, 160 secs
lola: 123571 markings, 359906 edges, 736 markings/sec, 165 secs
lola: 127238 markings, 370196 edges, 733 markings/sec, 170 secs
lola: 130905 markings, 380697 edges, 733 markings/sec, 175 secs
lola: 134640 markings, 392113 edges, 747 markings/sec, 180 secs
lola: 138312 markings, 402424 edges, 734 markings/sec, 185 secs
lola: 142079 markings, 413620 edges, 753 markings/sec, 190 secs
lola: 145751 markings, 424407 edges, 734 markings/sec, 195 secs
lola: 149418 markings, 434746 edges, 733 markings/sec, 200 secs
lola: 153090 markings, 445419 edges, 734 markings/sec, 205 secs
lola: 156784 markings, 456087 edges, 739 markings/sec, 210 secs
lola: 160480 markings, 466596 edges, 739 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(p224)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4198 markings, 16261 edges, 840 markings/sec, 0 secs
lola: 8700 markings, 32236 edges, 900 markings/sec, 5 secs
lola: 13333 markings, 53163 edges, 927 markings/sec, 10 secs
lola: 17522 markings, 69700 edges, 838 markings/sec, 15 secs
lola: 21736 markings, 85066 edges, 843 markings/sec, 20 secs
lola: 25929 markings, 100801 edges, 839 markings/sec, 25 secs
lola: 30127 markings, 116631 edges, 840 markings/sec, 30 secs
lola: 34321 markings, 132791 edges, 839 markings/sec, 35 secs
lola: 38513 markings, 148710 edges, 838 markings/sec, 40 secs
lola: 42710 markings, 164908 edges, 839 markings/sec, 45 secs
lola: 46907 markings, 181180 edges, 839 markings/sec, 50 secs
lola: 51100 markings, 197610 edges, 839 markings/sec, 55 secs
lola: 55296 markings, 214143 edges, 839 markings/sec, 60 secs
lola: 59464 markings, 230736 edges, 834 markings/sec, 65 secs
lola: 63658 markings, 247265 edges, 839 markings/sec, 70 secs
lola: 67869 markings, 262649 edges, 842 markings/sec, 75 secs
lola: 72055 markings, 278356 edges, 837 markings/sec, 80 secs
lola: 76246 markings, 294128 edges, 838 markings/sec, 85 secs
lola: 80439 markings, 310353 edges, 839 markings/sec, 90 secs
lola: 84628 markings, 326198 edges, 838 markings/sec, 95 secs
lola: 88820 markings, 342370 edges, 838 markings/sec, 100 secs
lola: 93018 markings, 358663 edges, 840 markings/sec, 105 secs
lola: 97217 markings, 375105 edges, 840 markings/sec, 110 secs
lola: 101415 markings, 391688 edges, 840 markings/sec, 115 secs
lola: 105496 markings, 408614 edges, 816 markings/sec, 120 secs
lola: 110254 markings, 425127 edges, 952 markings/sec, 125 secs
lola: 114833 markings, 441916 edges, 916 markings/sec, 130 secs
lola: 119490 markings, 461471 edges, 931 markings/sec, 135 secs
lola: 123851 markings, 475955 edges, 872 markings/sec, 140 secs
lola: 128201 markings, 491071 edges, 870 markings/sec, 145 secs
lola: 132555 markings, 506874 edges, 871 markings/sec, 150 secs
lola: 136822 markings, 521026 edges, 853 markings/sec, 155 secs
lola: 141135 markings, 536848 edges, 863 markings/sec, 160 secs
lola: 145409 markings, 551135 edges, 855 markings/sec, 165 secs
lola: 149605 markings, 566820 edges, 839 markings/sec, 170 secs
lola: 153880 markings, 580530 edges, 855 markings/sec, 175 secs
lola: 158242 markings, 596360 edges, 872 markings/sec, 180 secs
lola: 162419 markings, 610184 edges, 835 markings/sec, 185 secs
lola: 166780 markings, 625929 edges, 872 markings/sec, 190 secs
lola: 171111 markings, 640674 edges, 866 markings/sec, 195 secs
lola: 175448 markings, 655971 edges, 867 markings/sec, 200 secs
lola: 179799 markings, 671227 edges, 870 markings/sec, 205 secs
lola: 184124 markings, 686219 edges, 865 markings/sec, 210 secs
lola: 188485 markings, 702037 edges, 872 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(p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 5746 markings, 8688 edges, 1149 markings/sec, 0 secs
lola: 11759 markings, 18147 edges, 1203 markings/sec, 5 secs
lola: 17786 markings, 27597 edges, 1205 markings/sec, 10 secs
lola: 23787 markings, 37023 edges, 1200 markings/sec, 15 secs
lola: 29753 markings, 46438 edges, 1193 markings/sec, 20 secs
lola: 35815 markings, 54204 edges, 1212 markings/sec, 25 secs
lola: 41831 markings, 63674 edges, 1203 markings/sec, 30 secs
lola: 47846 markings, 73136 edges, 1203 markings/sec, 35 secs
lola: 53810 markings, 82499 edges, 1193 markings/sec, 40 secs
lola: 59732 markings, 91867 edges, 1184 markings/sec, 45 secs
lola: 65673 markings, 101219 edges, 1188 markings/sec, 50 secs
lola: 71566 markings, 112287 edges, 1179 markings/sec, 55 secs
lola: 77532 markings, 121661 edges, 1193 markings/sec, 60 secs
lola: 83469 markings, 131037 edges, 1187 markings/sec, 65 secs
lola: 89341 markings, 140304 edges, 1174 markings/sec, 70 secs
lola: 95140 markings, 151239 edges, 1160 markings/sec, 75 secs
lola: 100983 markings, 160497 edges, 1169 markings/sec, 80 secs
lola: 106856 markings, 169756 edges, 1175 markings/sec, 85 secs
lola: 112704 markings, 179021 edges, 1170 markings/sec, 90 secs
lola: 118518 markings, 189990 edges, 1163 markings/sec, 95 secs
lola: 124381 markings, 199238 edges, 1173 markings/sec, 100 secs
lola: 130210 markings, 208451 edges, 1166 markings/sec, 105 secs
lola: 136028 markings, 219412 edges, 1164 markings/sec, 110 secs
lola: 141392 markings, 249958 edges, 1073 markings/sec, 115 secs
lola: 147496 markings, 257788 edges, 1221 markings/sec, 120 secs
lola: 153568 markings, 267314 edges, 1214 markings/sec, 125 secs
lola: 159636 markings, 276840 edges, 1214 markings/sec, 130 secs
lola: 165703 markings, 286369 edges, 1213 markings/sec, 135 secs
lola: 171757 markings, 295855 edges, 1211 markings/sec, 140 secs
lola: 177707 markings, 305220 edges, 1190 markings/sec, 145 secs
lola: 183813 markings, 313051 edges, 1221 markings/sec, 150 secs
lola: 189882 markings, 322571 edges, 1214 markings/sec, 155 secs
lola: 195874 markings, 332012 edges, 1198 markings/sec, 160 secs
lola: 201833 markings, 342210 edges, 1192 markings/sec, 165 secs
lola: 207808 markings, 352552 edges, 1195 markings/sec, 170 secs
lola: 213740 markings, 361927 edges, 1186 markings/sec, 175 secs
lola: 219549 markings, 371115 edges, 1162 markings/sec, 180 secs
lola: 225507 markings, 380518 edges, 1192 markings/sec, 185 secs
lola: 231299 markings, 391443 edges, 1158 markings/sec, 190 secs
lola: 237120 markings, 400646 edges, 1164 markings/sec, 195 secs
lola: 242946 markings, 409852 edges, 1165 markings/sec, 200 secs
lola: 248755 markings, 419072 edges, 1162 markings/sec, 205 secs
lola: 254534 markings, 429970 edges, 1156 markings/sec, 210 secs
lola: 260344 markings, 439179 edges, 1162 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(p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 9126 markings, 11969 edges, 1825 markings/sec, 0 secs
lola: 18961 markings, 24746 edges, 1967 markings/sec, 5 secs
lola: 26499 markings, 37179 edges, 1508 markings/sec, 10 secs
lola: 34990 markings, 49766 edges, 1698 markings/sec, 15 secs
lola: 44848 markings, 62289 edges, 1972 markings/sec, 20 secs
lola: 53011 markings, 75036 edges, 1633 markings/sec, 25 secs
lola: 60991 markings, 87123 edges, 1596 markings/sec, 30 secs
lola: 70694 markings, 99922 edges, 1941 markings/sec, 35 secs
lola: 79514 markings, 112968 edges, 1764 markings/sec, 40 secs
lola: 87032 markings, 125048 edges, 1504 markings/sec, 45 secs
lola: 96488 markings, 137655 edges, 1891 markings/sec, 50 secs
lola: 105391 markings, 150756 edges, 1781 markings/sec, 55 secs
lola: 113051 markings, 162844 edges, 1532 markings/sec, 60 secs
lola: 122583 markings, 175556 edges, 1906 markings/sec, 65 secs
lola: 131256 markings, 188561 edges, 1735 markings/sec, 70 secs
lola: 139013 markings, 200605 edges, 1551 markings/sec, 75 secs
lola: 148654 markings, 213431 edges, 1928 markings/sec, 80 secs
lola: 157086 markings, 226317 edges, 1686 markings/sec, 85 secs
lola: 164934 markings, 238728 edges, 1570 markings/sec, 90 secs
lola: 174775 markings, 251616 edges, 1968 markings/sec, 95 secs
lola: 182425 markings, 264435 edges, 1530 markings/sec, 100 secs
lola: 191385 markings, 277065 edges, 1792 markings/sec, 105 secs
lola: 200689 markings, 290320 edges, 1861 markings/sec, 110 secs
lola: 208250 markings, 302425 edges, 1512 markings/sec, 115 secs
lola: 217785 markings, 315231 edges, 1907 markings/sec, 120 secs
lola: 225964 markings, 328097 edges, 1636 markings/sec, 125 secs
lola: 234438 markings, 340947 edges, 1695 markings/sec, 130 secs
lola: 243767 markings, 354260 edges, 1866 markings/sec, 135 secs
lola: 251494 markings, 366592 edges, 1545 markings/sec, 140 secs
lola: 261251 markings, 379796 edges, 1951 markings/sec, 145 secs
lola: 268801 markings, 392737 edges, 1510 markings/sec, 150 secs
lola: 278215 markings, 405422 edges, 1883 markings/sec, 155 secs
lola: 286404 markings, 418385 edges, 1638 markings/sec, 160 secs
lola: 295195 markings, 431395 edges, 1758 markings/sec, 165 secs
lola: 303743 markings, 444576 edges, 1710 markings/sec, 170 secs
lola: 312513 markings, 457607 edges, 1754 markings/sec, 175 secs
lola: 321082 markings, 470745 edges, 1714 markings/sec, 180 secs
lola: 329790 markings, 483753 edges, 1742 markings/sec, 185 secs
lola: 338393 markings, 496861 edges, 1721 markings/sec, 190 secs
lola: 347100 markings, 510042 edges, 1741 markings/sec, 195 secs
lola: 355321 markings, 523732 edges, 1644 markings/sec, 200 secs
lola: 364702 markings, 536645 edges, 1876 markings/sec, 205 secs
lola: 372592 markings, 549794 edges, 1578 markings/sec, 210 secs
lola: 382060 markings, 563597 edges, 1894 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)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 5910 markings, 7540 edges, 1182 markings/sec, 0 secs
lola: 11739 markings, 16785 edges, 1166 markings/sec, 5 secs
lola: 17573 markings, 25997 edges, 1167 markings/sec, 10 secs
lola: 23487 markings, 35322 edges, 1183 markings/sec, 15 secs
lola: 29350 markings, 44588 edges, 1173 markings/sec, 20 secs
lola: 35257 markings, 53904 edges, 1181 markings/sec, 25 secs
lola: 41175 markings, 61480 edges, 1184 markings/sec, 30 secs
lola: 47073 markings, 70811 edges, 1180 markings/sec, 35 secs
lola: 52962 markings, 80085 edges, 1178 markings/sec, 40 secs
lola: 58856 markings, 89412 edges, 1179 markings/sec, 45 secs
lola: 64785 markings, 98740 edges, 1186 markings/sec, 50 secs
lola: 70698 markings, 109848 edges, 1183 markings/sec, 55 secs
lola: 76639 markings, 119181 edges, 1188 markings/sec, 60 secs
lola: 82575 markings, 128569 edges, 1187 markings/sec, 65 secs
lola: 88483 markings, 137870 edges, 1182 markings/sec, 70 secs
lola: 94332 markings, 147952 edges, 1170 markings/sec, 75 secs
lola: 100193 markings, 158152 edges, 1172 markings/sec, 80 secs
lola: 106083 markings, 167434 edges, 1178 markings/sec, 85 secs
lola: 111938 markings, 176712 edges, 1171 markings/sec, 90 secs
lola: 117758 markings, 187674 edges, 1164 markings/sec, 95 secs
lola: 123632 markings, 196931 edges, 1175 markings/sec, 100 secs
lola: 129479 markings, 206211 edges, 1169 markings/sec, 105 secs
lola: 135297 markings, 217165 edges, 1164 markings/sec, 110 secs
lola: 140658 markings, 247686 edges, 1072 markings/sec, 115 secs
lola: 146669 markings, 255392 edges, 1202 markings/sec, 120 secs
lola: 152600 markings, 264729 edges, 1186 markings/sec, 125 secs
lola: 158517 markings, 274065 edges, 1183 markings/sec, 130 secs
lola: 164462 markings, 283448 edges, 1189 markings/sec, 135 secs
lola: 170354 markings, 292723 edges, 1178 markings/sec, 140 secs
lola: 176295 markings, 302102 edges, 1188 markings/sec, 145 secs
lola: 182183 markings, 311374 edges, 1178 markings/sec, 150 secs
lola: 188120 markings, 320756 edges, 1187 markings/sec, 155 secs
lola: 194040 markings, 328346 edges, 1184 markings/sec, 160 secs
lola: 199939 markings, 339406 edges, 1180 markings/sec, 165 secs
lola: 205824 markings, 348677 edges, 1177 markings/sec, 170 secs
lola: 211750 markings, 358043 edges, 1185 markings/sec, 175 secs
lola: 217636 markings, 367320 edges, 1177 markings/sec, 180 secs
lola: 223527 markings, 376645 edges, 1178 markings/sec, 185 secs
lola: 229373 markings, 385866 edges, 1169 markings/sec, 190 secs
lola: 235145 markings, 396770 edges, 1154 markings/sec, 195 secs
lola: 240959 markings, 405980 edges, 1163 markings/sec, 200 secs
lola: 246770 markings, 415195 edges, 1162 markings/sec, 205 secs
lola: 252589 markings, 424395 edges, 1164 markings/sec, 210 secs
lola: 258365 markings, 435301 edges, 1155 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(p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 3447 markings, 10201 edges, 689 markings/sec, 0 secs
lola: 7158 markings, 25672 edges, 742 markings/sec, 5 secs
lola: 10829 markings, 39412 edges, 734 markings/sec, 10 secs
lola: 14525 markings, 54208 edges, 739 markings/sec, 15 secs
lola: 18176 markings, 67177 edges, 730 markings/sec, 20 secs
lola: 21857 markings, 81255 edges, 736 markings/sec, 25 secs
lola: 25522 markings, 94848 edges, 733 markings/sec, 30 secs
lola: 29270 markings, 109583 edges, 750 markings/sec, 35 secs
lola: 33039 markings, 125064 edges, 754 markings/sec, 40 secs
lola: 36690 markings, 138044 edges, 730 markings/sec, 45 secs
lola: 40371 markings, 152122 edges, 736 markings/sec, 50 secs
lola: 44038 markings, 165793 edges, 733 markings/sec, 55 secs
lola: 47712 markings, 179735 edges, 735 markings/sec, 60 secs
lola: 51416 markings, 194628 edges, 741 markings/sec, 65 secs
lola: 65512 markings, 212913 edges, 2819 markings/sec, 70 secs
lola: 77381 markings, 230947 edges, 2374 markings/sec, 75 secs
lola: 89602 markings, 248412 edges, 2444 markings/sec, 80 secs
lola: 103351 markings, 267954 edges, 2750 markings/sec, 85 secs
lola: 113504 markings, 283774 edges, 2031 markings/sec, 90 secs
lola: 129271 markings, 304951 edges, 3153 markings/sec, 95 secs
lola: 138718 markings, 320048 edges, 1889 markings/sec, 100 secs
lola: 154130 markings, 340895 edges, 3082 markings/sec, 105 secs
lola: 163707 markings, 356516 edges, 1915 markings/sec, 110 secs
lola: 178946 markings, 376964 edges, 3048 markings/sec, 115 secs
lola: 188558 markings, 392821 edges, 1922 markings/sec, 120 secs
lola: 203571 markings, 412824 edges, 3003 markings/sec, 125 secs
lola: 213329 markings, 429066 edges, 1952 markings/sec, 130 secs
lola: 228304 markings, 449751 edges, 2995 markings/sec, 135 secs
lola: 238021 markings, 465109 edges, 1943 markings/sec, 140 secs
lola: 252520 markings, 485673 edges, 2900 markings/sec, 145 secs
lola: 263166 markings, 502136 edges, 2129 markings/sec, 150 secs
lola: 276643 markings, 521512 edges, 2695 markings/sec, 155 secs
lola: 288904 markings, 539505 edges, 2452 markings/sec, 160 secs
lola: 300309 markings, 557690 edges, 2281 markings/sec, 165 secs
lola: 314625 markings, 577828 edges, 2863 markings/sec, 170 secs
lola: 325195 markings, 594362 edges, 2114 markings/sec, 175 secs
lola: 337972 markings, 613345 edges, 2555 markings/sec, 180 secs
lola: 351800 markings, 633544 edges, 2766 markings/sec, 185 secs
lola: 362596 markings, 650530 edges, 2159 markings/sec, 190 secs
lola: 374671 markings, 669392 edges, 2415 markings/sec, 195 secs
lola: 387948 markings, 688417 edges, 2655 markings/sec, 200 secs
lola: 399201 markings, 705593 edges, 2251 markings/sec, 205 secs
lola: 409864 markings, 723042 edges, 2133 markings/sec, 210 secs
lola: 421979 markings, 741755 edges, 2423 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(p228)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 5631 markings, 7212 edges, 1126 markings/sec, 0 secs
lola: 11228 markings, 16108 edges, 1119 markings/sec, 5 secs
lola: 16767 markings, 24965 edges, 1108 markings/sec, 10 secs
lola: 22360 markings, 33887 edges, 1119 markings/sec, 15 secs
lola: 28000 markings, 41122 edges, 1128 markings/sec, 20 secs
lola: 33629 markings, 50087 edges, 1126 markings/sec, 25 secs
lola: 39251 markings, 59023 edges, 1124 markings/sec, 30 secs
lola: 44867 markings, 67958 edges, 1123 markings/sec, 35 secs
lola: 50463 markings, 76896 edges, 1119 markings/sec, 40 secs
lola: 56072 markings, 85843 edges, 1122 markings/sec, 45 secs
lola: 61692 markings, 94793 edges, 1124 markings/sec, 50 secs
lola: 67304 markings, 103723 edges, 1122 markings/sec, 55 secs
lola: 72927 markings, 112674 edges, 1125 markings/sec, 60 secs
lola: 78527 markings, 121620 edges, 1120 markings/sec, 65 secs
lola: 84129 markings, 130560 edges, 1120 markings/sec, 70 secs
lola: 89652 markings, 139365 edges, 1105 markings/sec, 75 secs
lola: 95354 markings, 150188 edges, 1140 markings/sec, 80 secs
lola: 101172 markings, 159387 edges, 1164 markings/sec, 85 secs
lola: 106968 markings, 168590 edges, 1159 markings/sec, 90 secs
lola: 112755 markings, 179499 edges, 1157 markings/sec, 95 secs
lola: 118566 markings, 188712 edges, 1162 markings/sec, 100 secs
lola: 124396 markings, 197915 edges, 1166 markings/sec, 105 secs
lola: 130206 markings, 207122 edges, 1162 markings/sec, 110 secs
lola: 135973 markings, 218011 edges, 1153 markings/sec, 115 secs
lola: 141300 markings, 248496 edges, 1065 markings/sec, 120 secs
lola: 147265 markings, 256136 edges, 1193 markings/sec, 125 secs
lola: 153128 markings, 265418 edges, 1173 markings/sec, 130 secs
lola: 159024 markings, 274699 edges, 1179 markings/sec, 135 secs
lola: 164918 markings, 284022 edges, 1179 markings/sec, 140 secs
lola: 170776 markings, 293260 edges, 1172 markings/sec, 145 secs
lola: 176674 markings, 302592 edges, 1180 markings/sec, 150 secs
lola: 182507 markings, 311806 edges, 1167 markings/sec, 155 secs
lola: 188419 markings, 321130 edges, 1182 markings/sec, 160 secs
lola: 194244 markings, 330356 edges, 1165 markings/sec, 165 secs
lola: 200163 markings, 339676 edges, 1184 markings/sec, 170 secs
lola: 205985 markings, 348905 edges, 1164 markings/sec, 175 secs
lola: 211893 markings, 358205 edges, 1182 markings/sec, 180 secs
lola: 217718 markings, 367441 edges, 1165 markings/sec, 185 secs
lola: 223578 markings, 376701 edges, 1172 markings/sec, 190 secs
lola: 229376 markings, 385869 edges, 1160 markings/sec, 195 secs
lola: 235101 markings, 396721 edges, 1145 markings/sec, 200 secs
lola: 240883 markings, 405872 edges, 1156 markings/sec, 205 secs
lola: 246651 markings, 415026 edges, 1154 markings/sec, 210 secs
lola: 252417 markings, 424183 edges, 1153 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(p71)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 14031 markings, 18179 edges, 2806 markings/sec, 0 secs
lola: 25884 markings, 36148 edges, 2371 markings/sec, 5 secs
lola: 37903 markings, 53399 edges, 2404 markings/sec, 10 secs
lola: 51753 markings, 72997 edges, 2770 markings/sec, 15 secs
lola: 61884 markings, 88539 edges, 2026 markings/sec, 20 secs
lola: 77670 markings, 110015 edges, 3157 markings/sec, 25 secs
lola: 87017 markings, 125040 edges, 1869 markings/sec, 30 secs
lola: 102194 markings, 145378 edges, 3035 markings/sec, 35 secs
lola: 111862 markings, 161336 edges, 1934 markings/sec, 40 secs
lola: 126832 markings, 181267 edges, 2994 markings/sec, 45 secs
lola: 136642 markings, 197561 edges, 1962 markings/sec, 50 secs
lola: 151325 markings, 217023 edges, 2937 markings/sec, 55 secs
lola: 161325 markings, 233696 edges, 2000 markings/sec, 60 secs
lola: 176068 markings, 253521 edges, 2949 markings/sec, 65 secs
lola: 185913 markings, 269502 edges, 1969 markings/sec, 70 secs
lola: 200486 markings, 290020 edges, 2915 markings/sec, 75 secs
lola: 210522 markings, 305965 edges, 2007 markings/sec, 80 secs
lola: 224546 markings, 325718 edges, 2805 markings/sec, 85 secs
lola: 236109 markings, 343094 edges, 2313 markings/sec, 90 secs
lola: 247910 markings, 361847 edges, 2360 markings/sec, 95 secs
lola: 262419 markings, 381926 edges, 2902 markings/sec, 100 secs
lola: 272349 markings, 397917 edges, 1986 markings/sec, 105 secs
lola: 285761 markings, 417277 edges, 2682 markings/sec, 110 secs
lola: 298824 markings, 436293 edges, 2613 markings/sec, 115 secs
lola: 309515 markings, 453770 edges, 2138 markings/sec, 120 secs
lola: 322232 markings, 472890 edges, 2543 markings/sec, 125 secs
lola: 335999 markings, 492888 edges, 2753 markings/sec, 130 secs
lola: 347445 markings, 510506 edges, 2289 markings/sec, 135 secs
lola: 358858 markings, 528931 edges, 2283 markings/sec, 140 secs
lola: 371307 markings, 548073 edges, 2490 markings/sec, 145 secs
lola: 384265 markings, 567373 edges, 2592 markings/sec, 150 secs
lola: 396807 markings, 586875 edges, 2508 markings/sec, 155 secs
lola: 409328 markings, 606365 edges, 2504 markings/sec, 160 secs
lola: 421830 markings, 625841 edges, 2500 markings/sec, 165 secs
lola: 433796 markings, 644977 edges, 2393 markings/sec, 170 secs
lola: 445733 markings, 664154 edges, 2387 markings/sec, 175 secs
lola: 457657 markings, 683396 edges, 2385 markings/sec, 180 secs
lola: 469663 markings, 703341 edges, 2401 markings/sec, 185 secs
lola: 482946 markings, 724086 edges, 2657 markings/sec, 190 secs
lola: 494210 markings, 743758 edges, 2253 markings/sec, 195 secs
lola: 507201 markings, 765094 edges, 2598 markings/sec, 200 secs
lola: 519353 markings, 785991 edges, 2430 markings/sec, 205 secs
lola: 531309 markings, 807374 edges, 2391 markings/sec, 210 secs
lola: 543145 markings, 829227 edges, 2367 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(p77)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 5911 markings, 7544 edges, 1182 markings/sec, 0 secs
lola: 11743 markings, 16790 edges, 1166 markings/sec, 5 secs
lola: 17584 markings, 26008 edges, 1168 markings/sec, 10 secs
lola: 23447 markings, 35268 edges, 1173 markings/sec, 15 secs
lola: 29252 markings, 44470 edges, 1161 markings/sec, 20 secs
lola: 35108 markings, 53707 edges, 1171 markings/sec, 25 secs
lola: 40954 markings, 61221 edges, 1169 markings/sec, 30 secs
lola: 46803 markings, 70450 edges, 1170 markings/sec, 35 secs
lola: 52138 markings, 79029 edges, 1067 markings/sec, 40 secs
lola: 57956 markings, 88250 edges, 1164 markings/sec, 45 secs
lola: 63759 markings, 97445 edges, 1161 markings/sec, 50 secs
lola: 69590 markings, 106655 edges, 1166 markings/sec, 55 secs
lola: 75396 markings, 115842 edges, 1161 markings/sec, 60 secs
lola: 81181 markings, 126755 edges, 1157 markings/sec, 65 secs
lola: 86954 markings, 135919 edges, 1155 markings/sec, 70 secs
lola: 92488 markings, 144760 edges, 1107 markings/sec, 75 secs
lola: 98283 markings, 153935 edges, 1159 markings/sec, 80 secs
lola: 104049 markings, 164823 edges, 1153 markings/sec, 85 secs
lola: 109840 markings, 174012 edges, 1158 markings/sec, 90 secs
lola: 115491 markings, 182999 edges, 1130 markings/sec, 95 secs
lola: 121281 markings, 192309 edges, 1158 markings/sec, 100 secs
lola: 127046 markings, 203073 edges, 1153 markings/sec, 105 secs
lola: 132849 markings, 212274 edges, 1161 markings/sec, 110 secs
lola: 138660 markings, 221458 edges, 1162 markings/sec, 115 secs
lola: 144039 markings, 251999 edges, 1076 markings/sec, 120 secs
lola: 149932 markings, 261320 edges, 1179 markings/sec, 125 secs
lola: 155763 markings, 270525 edges, 1166 markings/sec, 130 secs
lola: 161678 markings, 278122 edges, 1183 markings/sec, 135 secs
lola: 167513 markings, 287329 edges, 1167 markings/sec, 140 secs
lola: 173354 markings, 296591 edges, 1168 markings/sec, 145 secs
lola: 179196 markings, 305814 edges, 1168 markings/sec, 150 secs
lola: 185035 markings, 315033 edges, 1168 markings/sec, 155 secs
lola: 190862 markings, 324279 edges, 1165 markings/sec, 160 secs
lola: 196690 markings, 333484 edges, 1166 markings/sec, 165 secs
lola: 202530 markings, 342705 edges, 1168 markings/sec, 170 secs
lola: 208339 markings, 351929 edges, 1162 markings/sec, 175 secs
lola: 214161 markings, 361132 edges, 1164 markings/sec, 180 secs
lola: 220007 markings, 370358 edges, 1169 markings/sec, 185 secs
lola: 225792 markings, 379539 edges, 1157 markings/sec, 190 secs
lola: 231501 markings, 390342 edges, 1142 markings/sec, 195 secs
lola: 237234 markings, 399451 edges, 1147 markings/sec, 200 secs
lola: 242969 markings, 408557 edges, 1147 markings/sec, 205 secs
lola: 248673 markings, 419358 edges, 1141 markings/sec, 210 secs
lola: 254390 markings, 428439 edges, 1143 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(p70)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 7259 markings, 9676 edges, 1452 markings/sec, 0 secs
lola: 17199 markings, 22312 edges, 1988 markings/sec, 5 secs
lola: 24019 markings, 33009 edges, 1364 markings/sec, 10 secs
lola: 29602 markings, 42353 edges, 1117 markings/sec, 15 secs
lola: 37488 markings, 52885 edges, 1577 markings/sec, 20 secs
lola: 47167 markings, 65456 edges, 1936 markings/sec, 25 secs
lola: 53140 markings, 75262 edges, 1195 markings/sec, 30 secs
lola: 59027 markings, 84556 edges, 1177 markings/sec, 35 secs
lola: 67601 markings, 95977 edges, 1715 markings/sec, 40 secs
lola: 77188 markings, 109213 edges, 1917 markings/sec, 45 secs
lola: 82392 markings, 117727 edges, 1041 markings/sec, 50 secs
lola: 88443 markings, 126905 edges, 1210 markings/sec, 55 secs
lola: 97603 markings, 139106 edges, 1832 markings/sec, 60 secs
lola: 105373 markings, 150727 edges, 1554 markings/sec, 65 secs
lola: 110806 markings, 160045 edges, 1087 markings/sec, 70 secs
lola: 118650 markings, 170549 edges, 1569 markings/sec, 75 secs
lola: 128375 markings, 183927 edges, 1945 markings/sec, 80 secs
lola: 133660 markings, 192619 edges, 1057 markings/sec, 85 secs
lola: 139912 markings, 201946 edges, 1250 markings/sec, 90 secs
lola: 149564 markings, 214632 edges, 1930 markings/sec, 95 secs
lola: 156642 markings, 225616 edges, 1416 markings/sec, 100 secs
lola: 162265 markings, 234856 edges, 1125 markings/sec, 105 secs
lola: 170855 markings, 246404 edges, 1718 markings/sec, 110 secs
lola: 178858 markings, 258296 edges, 1601 markings/sec, 115 secs
lola: 184447 markings, 267612 edges, 1118 markings/sec, 120 secs
lola: 192840 markings, 278893 edges, 1679 markings/sec, 125 secs
lola: 201069 markings, 290968 edges, 1646 markings/sec, 130 secs
lola: 208976 markings, 303421 edges, 1581 markings/sec, 135 secs
lola: 223537 markings, 324049 edges, 2912 markings/sec, 140 secs
lola: 234301 markings, 340756 edges, 2153 markings/sec, 145 secs
lola: 246980 markings, 359737 edges, 2536 markings/sec, 150 secs
lola: 260825 markings, 379174 edges, 2769 markings/sec, 155 secs
lola: 271064 markings, 395737 edges, 2048 markings/sec, 160 secs
lola: 284876 markings, 415752 edges, 2762 markings/sec, 165 secs
lola: 297164 markings, 433988 edges, 2458 markings/sec, 170 secs
lola: 308161 markings, 451553 edges, 2199 markings/sec, 175 secs
lola: 321347 markings, 471208 edges, 2637 markings/sec, 180 secs
lola: 334926 markings, 490858 edges, 2716 markings/sec, 185 secs
lola: 345759 markings, 508291 edges, 2167 markings/sec, 190 secs
lola: 357584 markings, 526735 edges, 2365 markings/sec, 195 secs
lola: 370241 markings, 546245 edges, 2531 markings/sec, 200 secs
lola: 383362 markings, 565798 edges, 2624 markings/sec, 205 secs
lola: 395908 markings, 585318 edges, 2509 markings/sec, 210 secs
lola: 408440 markings, 604834 edges, 2506 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(p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 5759 markings, 8701 edges, 1152 markings/sec, 0 secs
lola: 11782 markings, 18172 edges, 1205 markings/sec, 5 secs
lola: 17816 markings, 27636 edges, 1207 markings/sec, 10 secs
lola: 23823 markings, 37069 edges, 1201 markings/sec, 15 secs
lola: 29805 markings, 46499 edges, 1196 markings/sec, 20 secs
lola: 35885 markings, 54280 edges, 1216 markings/sec, 25 secs
lola: 41893 markings, 63742 edges, 1202 markings/sec, 30 secs
lola: 47912 markings, 73210 edges, 1204 markings/sec, 35 secs
lola: 53877 markings, 82596 edges, 1193 markings/sec, 40 secs
lola: 59819 markings, 91963 edges, 1188 markings/sec, 45 secs
lola: 65756 markings, 101343 edges, 1187 markings/sec, 50 secs
lola: 71655 markings, 112393 edges, 1180 markings/sec, 55 secs
lola: 77601 markings, 121759 edges, 1189 markings/sec, 60 secs
lola: 83554 markings, 131132 edges, 1191 markings/sec, 65 secs
lola: 89411 markings, 140407 edges, 1171 markings/sec, 70 secs
lola: 95192 markings, 151312 edges, 1156 markings/sec, 75 secs
lola: 101008 markings, 160534 edges, 1163 markings/sec, 80 secs
lola: 106839 markings, 169738 edges, 1166 markings/sec, 85 secs
lola: 112653 markings, 178950 edges, 1163 markings/sec, 90 secs
lola: 118431 markings, 189851 edges, 1156 markings/sec, 95 secs
lola: 124239 markings, 199070 edges, 1162 markings/sec, 100 secs
lola: 130058 markings, 208271 edges, 1164 markings/sec, 105 secs
lola: 135829 markings, 219170 edges, 1154 markings/sec, 110 secs
lola: 141139 markings, 249627 edges, 1062 markings/sec, 115 secs
lola: 147210 markings, 257403 edges, 1214 markings/sec, 120 secs
lola: 153223 markings, 266867 edges, 1203 markings/sec, 125 secs
lola: 159242 markings, 276334 edges, 1204 markings/sec, 130 secs
lola: 165305 markings, 285859 edges, 1213 markings/sec, 135 secs
lola: 171375 markings, 295371 edges, 1214 markings/sec, 140 secs
lola: 177454 markings, 304211 edges, 1216 markings/sec, 145 secs
lola: 183573 markings, 312762 edges, 1224 markings/sec, 150 secs
lola: 189666 markings, 322317 edges, 1219 markings/sec, 155 secs
lola: 195690 markings, 331800 edges, 1205 markings/sec, 160 secs
lola: 201712 markings, 341244 edges, 1204 markings/sec, 165 secs
lola: 207671 markings, 352401 edges, 1192 markings/sec, 170 secs
lola: 213626 markings, 361770 edges, 1191 markings/sec, 175 secs
lola: 219579 markings, 371149 edges, 1191 markings/sec, 180 secs
lola: 225548 markings, 380567 edges, 1194 markings/sec, 185 secs
lola: 231378 markings, 391539 edges, 1166 markings/sec, 190 secs
lola: 237247 markings, 400794 edges, 1174 markings/sec, 195 secs
lola: 243091 markings, 410063 edges, 1169 markings/sec, 200 secs
lola: 248908 markings, 421017 edges, 1163 markings/sec, 205 secs
lola: 254779 markings, 430275 edges, 1174 markings/sec, 210 secs
lola: 260630 markings, 439534 edges, 1170 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(p73)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 5898 markings, 7527 edges, 1180 markings/sec, 0 secs
lola: 11720 markings, 16765 edges, 1164 markings/sec, 5 secs
lola: 17553 markings, 25972 edges, 1167 markings/sec, 10 secs
lola: 23418 markings, 35227 edges, 1173 markings/sec, 15 secs
lola: 29229 markings, 44444 edges, 1162 markings/sec, 20 secs
lola: 34895 markings, 53255 edges, 1133 markings/sec, 25 secs
lola: 40767 markings, 60956 edges, 1174 markings/sec, 30 secs
lola: 46681 markings, 70309 edges, 1183 markings/sec, 35 secs
lola: 52579 markings, 79596 edges, 1180 markings/sec, 40 secs
lola: 58414 markings, 88853 edges, 1167 markings/sec, 45 secs
lola: 64112 markings, 97906 edges, 1140 markings/sec, 50 secs
lola: 70045 markings, 107230 edges, 1187 markings/sec, 55 secs
lola: 75882 markings, 118212 edges, 1167 markings/sec, 60 secs
lola: 81781 markings, 127549 edges, 1180 markings/sec, 65 secs
lola: 87654 markings, 136804 edges, 1175 markings/sec, 70 secs
lola: 93480 markings, 146046 edges, 1165 markings/sec, 75 secs
lola: 99277 markings, 156980 edges, 1159 markings/sec, 80 secs
lola: 105117 markings, 166210 edges, 1168 markings/sec, 85 secs
lola: 110962 markings, 175440 edges, 1169 markings/sec, 90 secs
lola: 116784 markings, 184811 edges, 1164 markings/sec, 95 secs
lola: 122581 markings, 195616 edges, 1159 markings/sec, 100 secs
lola: 128420 markings, 204838 edges, 1168 markings/sec, 105 secs
lola: 134262 markings, 214062 edges, 1168 markings/sec, 110 secs
lola: 139844 markings, 233355 edges, 1116 markings/sec, 115 secs
lola: 145512 markings, 253903 edges, 1134 markings/sec, 120 secs
lola: 151431 markings, 263233 edges, 1184 markings/sec, 125 secs
lola: 157306 markings, 272513 edges, 1175 markings/sec, 130 secs
lola: 163236 markings, 281862 edges, 1186 markings/sec, 135 secs
lola: 169084 markings, 291106 edges, 1170 markings/sec, 140 secs
lola: 174960 markings, 298655 edges, 1175 markings/sec, 145 secs
lola: 180624 markings, 307644 edges, 1133 markings/sec, 150 secs
lola: 186409 markings, 316816 edges, 1157 markings/sec, 155 secs
lola: 192207 markings, 325990 edges, 1160 markings/sec, 160 secs
lola: 198034 markings, 335193 edges, 1165 markings/sec, 165 secs
lola: 203817 markings, 344368 edges, 1157 markings/sec, 170 secs
lola: 209634 markings, 353586 edges, 1163 markings/sec, 175 secs
lola: 215419 markings, 362737 edges, 1157 markings/sec, 180 secs
lola: 221218 markings, 373668 edges, 1160 markings/sec, 185 secs
lola: 227008 markings, 382831 edges, 1158 markings/sec, 190 secs
lola: 232752 markings, 391955 edges, 1149 markings/sec, 195 secs
lola: 238488 markings, 401063 edges, 1147 markings/sec, 200 secs
lola: 244170 markings, 411835 edges, 1136 markings/sec, 205 secs
lola: 249897 markings, 420930 edges, 1145 markings/sec, 210 secs
lola: 255651 markings, 430068 edges, 1151 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(p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 5890 markings, 7513 edges, 1178 markings/sec, 0 secs
lola: 11527 markings, 16491 edges, 1127 markings/sec, 5 secs
lola: 17128 markings, 25431 edges, 1120 markings/sec, 10 secs
lola: 22749 markings, 34387 edges, 1124 markings/sec, 15 secs
lola: 28351 markings, 42293 edges, 1120 markings/sec, 20 secs
lola: 34001 markings, 50557 edges, 1130 markings/sec, 25 secs
lola: 39628 markings, 59503 edges, 1125 markings/sec, 30 secs
lola: 45229 markings, 68426 edges, 1120 markings/sec, 35 secs
lola: 50857 markings, 77403 edges, 1126 markings/sec, 40 secs
lola: 56520 markings, 86413 edges, 1133 markings/sec, 45 secs
lola: 62428 markings, 95727 edges, 1182 markings/sec, 50 secs
lola: 68313 markings, 105030 edges, 1177 markings/sec, 55 secs
lola: 74168 markings, 114264 edges, 1171 markings/sec, 60 secs
lola: 79842 markings, 123288 edges, 1135 markings/sec, 65 secs
lola: 85647 markings, 134230 edges, 1161 markings/sec, 70 secs
lola: 91439 markings, 143418 edges, 1158 markings/sec, 75 secs
lola: 97232 markings, 152609 edges, 1159 markings/sec, 80 secs
lola: 103028 markings, 161783 edges, 1159 markings/sec, 85 secs
lola: 108774 markings, 172656 edges, 1149 markings/sec, 90 secs
lola: 114598 markings, 181853 edges, 1165 markings/sec, 95 secs
lola: 120409 markings, 191060 edges, 1162 markings/sec, 100 secs
lola: 126186 markings, 201964 edges, 1155 markings/sec, 105 secs
lola: 131989 markings, 211175 edges, 1161 markings/sec, 110 secs
lola: 137790 markings, 220353 edges, 1160 markings/sec, 115 secs
lola: 143142 markings, 250857 edges, 1070 markings/sec, 120 secs
lola: 148966 markings, 260064 edges, 1165 markings/sec, 125 secs
lola: 154799 markings, 267554 edges, 1167 markings/sec, 130 secs
lola: 160677 markings, 276827 edges, 1176 markings/sec, 135 secs
lola: 166524 markings, 286083 edges, 1169 markings/sec, 140 secs
lola: 172379 markings, 295315 edges, 1171 markings/sec, 145 secs
lola: 178248 markings, 304607 edges, 1174 markings/sec, 150 secs
lola: 184083 markings, 313829 edges, 1167 markings/sec, 155 secs
lola: 189967 markings, 323109 edges, 1177 markings/sec, 160 secs
lola: 195780 markings, 332328 edges, 1163 markings/sec, 165 secs
lola: 201657 markings, 341590 edges, 1175 markings/sec, 170 secs
lola: 207463 markings, 350784 edges, 1161 markings/sec, 175 secs
lola: 213076 markings, 359722 edges, 1123 markings/sec, 180 secs
lola: 218638 markings, 368625 edges, 1112 markings/sec, 185 secs
lola: 224216 markings, 377522 edges, 1116 markings/sec, 190 secs
lola: 229730 markings, 386331 edges, 1103 markings/sec, 195 secs
lola: 235190 markings, 396822 edges, 1092 markings/sec, 200 secs
lola: 240683 markings, 405638 edges, 1099 markings/sec, 205 secs
lola: 246185 markings, 414419 edges, 1100 markings/sec, 210 secs
lola: 251666 markings, 423222 edges, 1096 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBNT-COL-S10J20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494681762081

--------------------
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="PolyORBNT-COL-S10J20"
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/PolyORBNT-COL-S10J20.tgz
mv PolyORBNT-COL-S10J20 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 PolyORBNT-COL-S10J20, 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 r058-smll-149440926100047"
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 ;