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 PolyORBLF-COL-S04J06T10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869900362
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494646523884


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S04J06T10 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 6320/65536 symbol table entries, 1380 collisions
lola: preprocessing...
lola: finding significant places
lola: 966 places, 5354 transitions, 904 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3657 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J06T10-UpperBounds.task
lola: MAX(p277) : MAX(p793 + p794 + p795 + p796 + p797 + p798 + p799 + p800 + p801 + p802) : MAX(p964) : MAX(p965) : MAX(p100 + p101 + p102 + p103 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404) : MAX(p965) : MAX(p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256) : MAX(p245) : MAX(p841 + p842 + p843 + p844 + p845 + p846 + p847 + p848 + p849 + p850) : MAX(p111 + p112 + p113 + p114 + p115 + p116 + p117) : MAX(p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676) : MAX(p902) : MAX(p89 + p88 + p87 + p86 + p85 + p84 + p90 + p91 + p92 + p93) : MAX(p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150) : MAX(p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666)
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(p277)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 15889 markings, 16476 edges, 3178 markings/sec, 0 secs
lola: 31789 markings, 32901 edges, 3180 markings/sec, 5 secs
lola: 47640 markings, 49309 edges, 3170 markings/sec, 10 secs
lola: 63644 markings, 66234 edges, 3201 markings/sec, 15 secs
lola: 79658 markings, 83140 edges, 3203 markings/sec, 20 secs
lola: 95616 markings, 99747 edges, 3192 markings/sec, 25 secs
lola: 111628 markings, 116652 edges, 3202 markings/sec, 30 secs
lola: 127540 markings, 133166 edges, 3182 markings/sec, 35 secs
lola: 143550 markings, 149966 edges, 3202 markings/sec, 40 secs
lola: 159523 markings, 166619 edges, 3195 markings/sec, 45 secs
lola: 175392 markings, 183031 edges, 3174 markings/sec, 50 secs
lola: 191288 markings, 199695 edges, 3179 markings/sec, 55 secs
lola: 207386 markings, 216867 edges, 3220 markings/sec, 60 secs
lola: 223341 markings, 233708 edges, 3191 markings/sec, 65 secs
lola: 239106 markings, 249934 edges, 3153 markings/sec, 70 secs
lola: 255026 markings, 266740 edges, 3184 markings/sec, 75 secs
lola: 271018 markings, 283681 edges, 3198 markings/sec, 80 secs
lola: 286852 markings, 300327 edges, 3167 markings/sec, 85 secs
lola: 302755 markings, 316993 edges, 3181 markings/sec, 90 secs
lola: 318603 markings, 333488 edges, 3170 markings/sec, 95 secs
lola: 334493 markings, 350124 edges, 3178 markings/sec, 100 secs
lola: 350460 markings, 367018 edges, 3193 markings/sec, 105 secs
lola: 366455 markings, 384210 edges, 3199 markings/sec, 110 secs
lola: 382422 markings, 401015 edges, 3193 markings/sec, 115 secs
lola: 398305 markings, 417629 edges, 3177 markings/sec, 120 secs
lola: 414176 markings, 434219 edges, 3174 markings/sec, 125 secs
lola: 430095 markings, 450918 edges, 3184 markings/sec, 130 secs
lola: 446199 markings, 468247 edges, 3221 markings/sec, 135 secs
lola: 461987 markings, 484741 edges, 3158 markings/sec, 140 secs
lola: 477827 markings, 501261 edges, 3168 markings/sec, 145 secs
lola: 493790 markings, 518339 edges, 3193 markings/sec, 150 secs
lola: 509738 markings, 535198 edges, 3190 markings/sec, 155 secs
lola: 525662 markings, 552196 edges, 3185 markings/sec, 160 secs
lola: 541433 markings, 568576 edges, 3154 markings/sec, 165 secs
lola: 557285 markings, 585154 edges, 3170 markings/sec, 170 secs
lola: 573097 markings, 601611 edges, 3162 markings/sec, 175 secs
lola: 589054 markings, 618477 edges, 3191 markings/sec, 180 secs
lola: 604916 markings, 635023 edges, 3172 markings/sec, 185 secs
lola: 620723 markings, 651521 edges, 3161 markings/sec, 190 secs
lola: 636602 markings, 668425 edges, 3176 markings/sec, 195 secs
lola: 652503 markings, 685120 edges, 3180 markings/sec, 200 secs
lola: 668420 markings, 701923 edges, 3183 markings/sec, 205 secs
lola: 684278 markings, 718548 edges, 3172 markings/sec, 210 secs
lola: 700075 markings, 735092 edges, 3159 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(p793 + p794 + p795 + p796 + p797 + p798 + p799 + p800 + p801 + p802)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 12851 markings, 13304 edges, 2570 markings/sec, 0 secs
lola: 25658 markings, 26916 edges, 2561 markings/sec, 5 secs
lola: 38473 markings, 40781 edges, 2563 markings/sec, 10 secs
lola: 51208 markings, 54638 edges, 2547 markings/sec, 15 secs
lola: 64046 markings, 68615 edges, 2568 markings/sec, 20 secs
lola: 76731 markings, 82582 edges, 2537 markings/sec, 25 secs
lola: 89569 markings, 96778 edges, 2568 markings/sec, 30 secs
lola: 102224 markings, 110946 edges, 2531 markings/sec, 35 secs
lola: 115067 markings, 125402 edges, 2569 markings/sec, 40 secs
lola: 127728 markings, 139712 edges, 2532 markings/sec, 45 secs
lola: 140511 markings, 153903 edges, 2557 markings/sec, 50 secs
lola: 153341 markings, 168228 edges, 2566 markings/sec, 55 secs
lola: 166209 markings, 182678 edges, 2574 markings/sec, 60 secs
lola: 178921 markings, 197475 edges, 2542 markings/sec, 65 secs
lola: 191701 markings, 212243 edges, 2556 markings/sec, 70 secs
lola: 204586 markings, 227081 edges, 2577 markings/sec, 75 secs
lola: 217229 markings, 241801 edges, 2529 markings/sec, 80 secs
lola: 229887 markings, 256469 edges, 2532 markings/sec, 85 secs
lola: 242618 markings, 271170 edges, 2546 markings/sec, 90 secs
lola: 255351 markings, 285724 edges, 2547 markings/sec, 95 secs
lola: 267917 markings, 300813 edges, 2513 markings/sec, 100 secs
lola: 280399 markings, 315465 edges, 2496 markings/sec, 105 secs
lola: 292905 markings, 330240 edges, 2501 markings/sec, 110 secs
lola: 305707 markings, 345202 edges, 2560 markings/sec, 115 secs
lola: 318487 markings, 359862 edges, 2556 markings/sec, 120 secs
lola: 331009 markings, 374860 edges, 2504 markings/sec, 125 secs
lola: 343898 markings, 389859 edges, 2578 markings/sec, 130 secs
lola: 356674 markings, 404764 edges, 2555 markings/sec, 135 secs
lola: 369516 markings, 419844 edges, 2568 markings/sec, 140 secs
lola: 382115 markings, 434811 edges, 2520 markings/sec, 145 secs
lola: 394782 markings, 449488 edges, 2533 markings/sec, 150 secs
lola: 407547 markings, 464252 edges, 2553 markings/sec, 155 secs
lola: 420291 markings, 479294 edges, 2549 markings/sec, 160 secs
lola: 433066 markings, 494270 edges, 2555 markings/sec, 165 secs
lola: 445877 markings, 509379 edges, 2562 markings/sec, 170 secs
lola: 458468 markings, 524326 edges, 2518 markings/sec, 175 secs
lola: 471354 markings, 539289 edges, 2577 markings/sec, 180 secs
lola: 484167 markings, 554483 edges, 2563 markings/sec, 185 secs
lola: 496895 markings, 569841 edges, 2546 markings/sec, 190 secs
lola: 509736 markings, 584624 edges, 2568 markings/sec, 195 secs
lola: 522213 markings, 599819 edges, 2495 markings/sec, 200 secs
lola: 535107 markings, 615120 edges, 2579 markings/sec, 205 secs
lola: 547779 markings, 629937 edges, 2534 markings/sec, 210 secs
lola: 560557 markings, 645141 edges, 2556 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(p964)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14173 markings, 14945 edges, 2835 markings/sec, 0 secs
lola: 28275 markings, 30270 edges, 2820 markings/sec, 5 secs
lola: 42415 markings, 45747 edges, 2828 markings/sec, 10 secs
lola: 56396 markings, 61419 edges, 2796 markings/sec, 15 secs
lola: 70350 markings, 77208 edges, 2791 markings/sec, 20 secs
lola: 84245 markings, 93015 edges, 2779 markings/sec, 25 secs
lola: 98112 markings, 108975 edges, 2773 markings/sec, 30 secs
lola: 112064 markings, 124956 edges, 2790 markings/sec, 35 secs
lola: 126006 markings, 141111 edges, 2788 markings/sec, 40 secs
lola: 140012 markings, 157083 edges, 2801 markings/sec, 45 secs
lola: 154126 markings, 173396 edges, 2823 markings/sec, 50 secs
lola: 168208 markings, 189776 edges, 2816 markings/sec, 55 secs
lola: 182331 markings, 206085 edges, 2825 markings/sec, 60 secs
lola: 196313 markings, 222671 edges, 2796 markings/sec, 65 secs
lola: 209995 markings, 238988 edges, 2736 markings/sec, 70 secs
lola: 224012 markings, 255695 edges, 2803 markings/sec, 75 secs
lola: 238039 markings, 272199 edges, 2805 markings/sec, 80 secs
lola: 252032 markings, 288836 edges, 2799 markings/sec, 85 secs
lola: 265975 markings, 305469 edges, 2789 markings/sec, 90 secs
lola: 280092 markings, 322271 edges, 2823 markings/sec, 95 secs
lola: 293976 markings, 338583 edges, 2777 markings/sec, 100 secs
lola: 307603 markings, 354871 edges, 2725 markings/sec, 105 secs
lola: 321671 markings, 371871 edges, 2814 markings/sec, 110 secs
lola: 335136 markings, 388165 edges, 2693 markings/sec, 115 secs
lola: 349205 markings, 404818 edges, 2814 markings/sec, 120 secs
lola: 363309 markings, 421929 edges, 2821 markings/sec, 125 secs
lola: 376914 markings, 438248 edges, 2721 markings/sec, 130 secs
lola: 390681 markings, 454770 edges, 2753 markings/sec, 135 secs
lola: 403737 markings, 470239 edges, 2611 markings/sec, 140 secs
lola: 417708 markings, 486973 edges, 2794 markings/sec, 145 secs
lola: 431538 markings, 503656 edges, 2766 markings/sec, 150 secs
lola: 445316 markings, 520226 edges, 2756 markings/sec, 155 secs
lola: 459193 markings, 537570 edges, 2775 markings/sec, 160 secs
lola: 473322 markings, 554308 edges, 2826 markings/sec, 165 secs
lola: 486240 markings, 570096 edges, 2584 markings/sec, 170 secs
lola: 500015 markings, 586479 edges, 2755 markings/sec, 175 secs
lola: 513515 markings, 602432 edges, 2700 markings/sec, 180 secs
lola: 527431 markings, 618740 edges, 2783 markings/sec, 185 secs
lola: 541104 markings, 635603 edges, 2735 markings/sec, 190 secs
lola: 555272 markings, 652949 edges, 2834 markings/sec, 195 secs
lola: 568846 markings, 669288 edges, 2715 markings/sec, 200 secs
lola: 582478 markings, 685931 edges, 2726 markings/sec, 205 secs
lola: 596508 markings, 702624 edges, 2806 markings/sec, 210 secs
lola: 609425 markings, 718733 edges, 2583 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(p965)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14521 markings, 16808 edges, 2904 markings/sec, 0 secs
lola: 29126 markings, 35158 edges, 2921 markings/sec, 5 secs
lola: 43743 markings, 53721 edges, 2923 markings/sec, 10 secs
lola: 58331 markings, 72585 edges, 2918 markings/sec, 15 secs
lola: 72857 markings, 92592 edges, 2905 markings/sec, 20 secs
lola: 87632 markings, 112235 edges, 2955 markings/sec, 25 secs
lola: 102236 markings, 131401 edges, 2921 markings/sec, 30 secs
lola: 116900 markings, 150469 edges, 2933 markings/sec, 35 secs
lola: 131505 markings, 170555 edges, 2921 markings/sec, 40 secs
lola: 145971 markings, 189769 edges, 2893 markings/sec, 45 secs
lola: 160641 markings, 209347 edges, 2934 markings/sec, 50 secs
lola: 175239 markings, 228661 edges, 2920 markings/sec, 55 secs
lola: 189720 markings, 248941 edges, 2896 markings/sec, 60 secs
lola: 204326 markings, 268443 edges, 2921 markings/sec, 65 secs
lola: 218889 markings, 288526 edges, 2913 markings/sec, 70 secs
lola: 233396 markings, 307920 edges, 2901 markings/sec, 75 secs
lola: 248014 markings, 327505 edges, 2924 markings/sec, 80 secs
lola: 262620 markings, 347722 edges, 2921 markings/sec, 85 secs
lola: 276684 markings, 366816 edges, 2813 markings/sec, 90 secs
lola: 290491 markings, 385320 edges, 2761 markings/sec, 95 secs
lola: 304313 markings, 403853 edges, 2764 markings/sec, 100 secs
lola: 318036 markings, 422127 edges, 2745 markings/sec, 105 secs
lola: 332092 markings, 441636 edges, 2811 markings/sec, 110 secs
lola: 346156 markings, 461268 edges, 2813 markings/sec, 115 secs
lola: 360193 markings, 481085 edges, 2807 markings/sec, 120 secs
lola: 374205 markings, 500446 edges, 2802 markings/sec, 125 secs
lola: 388175 markings, 520462 edges, 2794 markings/sec, 130 secs
lola: 402149 markings, 538794 edges, 2795 markings/sec, 135 secs
lola: 415970 markings, 557506 edges, 2764 markings/sec, 140 secs
lola: 429945 markings, 576542 edges, 2795 markings/sec, 145 secs
lola: 444174 markings, 596562 edges, 2846 markings/sec, 150 secs
lola: 458109 markings, 616022 edges, 2787 markings/sec, 155 secs
lola: 472146 markings, 635834 edges, 2807 markings/sec, 160 secs
lola: 486088 markings, 655140 edges, 2788 markings/sec, 165 secs
lola: 499944 markings, 674616 edges, 2771 markings/sec, 170 secs
lola: 513821 markings, 694389 edges, 2775 markings/sec, 175 secs
lola: 528533 markings, 715196 edges, 2942 markings/sec, 180 secs
lola: 543053 markings, 735291 edges, 2904 markings/sec, 185 secs
lola: 557842 markings, 755886 edges, 2958 markings/sec, 190 secs
lola: 572648 markings, 777852 edges, 2961 markings/sec, 195 secs
lola: 587242 markings, 798466 edges, 2919 markings/sec, 200 secs
lola: 601955 markings, 818913 edges, 2943 markings/sec, 205 secs
lola: 616614 markings, 839070 edges, 2932 markings/sec, 210 secs
lola: 631098 markings, 858923 edges, 2897 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(p100 + p101 + p102 + p103 + 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 3616 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: 13542 markings, 14160 edges, 2708 markings/sec, 0 secs
lola: 27036 markings, 28728 edges, 2699 markings/sec, 5 secs
lola: 40624 markings, 43679 edges, 2718 markings/sec, 10 secs
lola: 54432 markings, 59030 edges, 2762 markings/sec, 15 secs
lola: 68072 markings, 74383 edges, 2728 markings/sec, 20 secs
lola: 81714 markings, 89889 edges, 2728 markings/sec, 25 secs
lola: 95571 markings, 105394 edges, 2771 markings/sec, 30 secs
lola: 109299 markings, 120829 edges, 2746 markings/sec, 35 secs
lola: 122492 markings, 135817 edges, 2639 markings/sec, 40 secs
lola: 135425 markings, 150756 edges, 2587 markings/sec, 45 secs
lola: 148586 markings, 165804 edges, 2632 markings/sec, 50 secs
lola: 161599 markings, 181012 edges, 2603 markings/sec, 55 secs
lola: 174840 markings, 196295 edges, 2648 markings/sec, 60 secs
lola: 187917 markings, 211583 edges, 2615 markings/sec, 65 secs
lola: 201057 markings, 226816 edges, 2628 markings/sec, 70 secs
lola: 214142 markings, 242774 edges, 2617 markings/sec, 75 secs
lola: 227485 markings, 258224 edges, 2669 markings/sec, 80 secs
lola: 240511 markings, 273550 edges, 2605 markings/sec, 85 secs
lola: 253749 markings, 289012 edges, 2648 markings/sec, 90 secs
lola: 266865 markings, 304299 edges, 2623 markings/sec, 95 secs
lola: 279987 markings, 319780 edges, 2624 markings/sec, 100 secs
lola: 293119 markings, 335221 edges, 2626 markings/sec, 105 secs
lola: 306363 markings, 350779 edges, 2649 markings/sec, 110 secs
lola: 319213 markings, 366333 edges, 2570 markings/sec, 115 secs
lola: 332110 markings, 381839 edges, 2579 markings/sec, 120 secs
lola: 345234 markings, 397425 edges, 2625 markings/sec, 125 secs
lola: 358572 markings, 413043 edges, 2668 markings/sec, 130 secs
lola: 371786 markings, 428507 edges, 2643 markings/sec, 135 secs
lola: 384940 markings, 444063 edges, 2631 markings/sec, 140 secs
lola: 398120 markings, 459615 edges, 2636 markings/sec, 145 secs
lola: 411090 markings, 475124 edges, 2594 markings/sec, 150 secs
lola: 424045 markings, 490876 edges, 2591 markings/sec, 155 secs
lola: 437408 markings, 506392 edges, 2673 markings/sec, 160 secs
lola: 450421 markings, 522056 edges, 2603 markings/sec, 165 secs
lola: 463522 markings, 537717 edges, 2620 markings/sec, 170 secs
lola: 476848 markings, 553561 edges, 2665 markings/sec, 175 secs
lola: 489982 markings, 569336 edges, 2627 markings/sec, 180 secs
lola: 503094 markings, 584996 edges, 2622 markings/sec, 185 secs
lola: 516113 markings, 600748 edges, 2604 markings/sec, 190 secs
lola: 529409 markings, 616505 edges, 2659 markings/sec, 195 secs
lola: 542373 markings, 631874 edges, 2593 markings/sec, 200 secs
lola: 555632 markings, 647844 edges, 2652 markings/sec, 205 secs
lola: 568863 markings, 663675 edges, 2646 markings/sec, 210 secs
lola: 581937 markings, 679420 edges, 2615 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(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 13482 markings, 14194 edges, 2696 markings/sec, 0 secs
lola: 26860 markings, 28726 edges, 2676 markings/sec, 5 secs
lola: 40369 markings, 43464 edges, 2702 markings/sec, 10 secs
lola: 53720 markings, 58429 edges, 2670 markings/sec, 15 secs
lola: 67076 markings, 73533 edges, 2671 markings/sec, 20 secs
lola: 80379 markings, 88651 edges, 2661 markings/sec, 25 secs
lola: 93638 markings, 103846 edges, 2652 markings/sec, 30 secs
lola: 106935 markings, 119078 edges, 2659 markings/sec, 35 secs
lola: 120240 markings, 134494 edges, 2661 markings/sec, 40 secs
lola: 133839 markings, 150101 edges, 2720 markings/sec, 45 secs
lola: 147917 markings, 166134 edges, 2816 markings/sec, 50 secs
lola: 161763 markings, 182304 edges, 2769 markings/sec, 55 secs
lola: 175649 markings, 198373 edges, 2777 markings/sec, 60 secs
lola: 189532 markings, 214651 edges, 2777 markings/sec, 65 secs
lola: 203116 markings, 230810 edges, 2717 markings/sec, 70 secs
lola: 216832 markings, 247129 edges, 2743 markings/sec, 75 secs
lola: 230790 markings, 263678 edges, 2792 markings/sec, 80 secs
lola: 244784 markings, 280047 edges, 2799 markings/sec, 85 secs
lola: 258818 markings, 296839 edges, 2807 markings/sec, 90 secs
lola: 272761 markings, 313472 edges, 2789 markings/sec, 95 secs
lola: 286755 markings, 330032 edges, 2799 markings/sec, 100 secs
lola: 300625 markings, 346449 edges, 2774 markings/sec, 105 secs
lola: 314538 markings, 363218 edges, 2783 markings/sec, 110 secs
lola: 328383 markings, 379879 edges, 2769 markings/sec, 115 secs
lola: 342317 markings, 396662 edges, 2787 markings/sec, 120 secs
lola: 356351 markings, 413466 edges, 2807 markings/sec, 125 secs
lola: 370383 markings, 430406 edges, 2806 markings/sec, 130 secs
lola: 384371 markings, 447214 edges, 2798 markings/sec, 135 secs
lola: 398351 markings, 463962 edges, 2796 markings/sec, 140 secs
lola: 412366 markings, 480574 edges, 2803 markings/sec, 145 secs
lola: 426092 markings, 497267 edges, 2745 markings/sec, 150 secs
lola: 440226 markings, 514158 edges, 2827 markings/sec, 155 secs
lola: 454057 markings, 531110 edges, 2766 markings/sec, 160 secs
lola: 468191 markings, 548132 edges, 2827 markings/sec, 165 secs
lola: 481932 markings, 564809 edges, 2748 markings/sec, 170 secs
lola: 495707 markings, 581484 edges, 2755 markings/sec, 175 secs
lola: 509756 markings, 598020 edges, 2810 markings/sec, 180 secs
lola: 523758 markings, 614363 edges, 2800 markings/sec, 185 secs
lola: 537654 markings, 631288 edges, 2779 markings/sec, 190 secs
lola: 551747 markings, 648592 edges, 2819 markings/sec, 195 secs
lola: 565845 markings, 665638 edges, 2820 markings/sec, 200 secs
lola: 579770 markings, 682614 edges, 2785 markings/sec, 205 secs
lola: 593946 markings, 699506 edges, 2835 markings/sec, 210 secs
lola: 607561 markings, 716519 edges, 2723 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(p965)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14582 markings, 16869 edges, 2916 markings/sec, 0 secs
lola: 29253 markings, 35291 edges, 2934 markings/sec, 5 secs
lola: 43956 markings, 53994 edges, 2941 markings/sec, 10 secs
lola: 58598 markings, 72968 edges, 2928 markings/sec, 15 secs
lola: 73199 markings, 93022 edges, 2920 markings/sec, 20 secs
lola: 88041 markings, 112771 edges, 2968 markings/sec, 25 secs
lola: 102699 markings, 131943 edges, 2932 markings/sec, 30 secs
lola: 117453 markings, 151258 edges, 2951 markings/sec, 35 secs
lola: 132120 markings, 171301 edges, 2933 markings/sec, 40 secs
lola: 146662 markings, 190751 edges, 2908 markings/sec, 45 secs
lola: 161410 markings, 210265 edges, 2950 markings/sec, 50 secs
lola: 175981 markings, 229787 edges, 2914 markings/sec, 55 secs
lola: 190516 markings, 250040 edges, 2907 markings/sec, 60 secs
lola: 205152 markings, 269485 edges, 2927 markings/sec, 65 secs
lola: 219647 markings, 289392 edges, 2899 markings/sec, 70 secs
lola: 234137 markings, 308987 edges, 2898 markings/sec, 75 secs
lola: 248728 markings, 328417 edges, 2918 markings/sec, 80 secs
lola: 263274 markings, 348675 edges, 2909 markings/sec, 85 secs
lola: 277602 markings, 368080 edges, 2866 markings/sec, 90 secs
lola: 292033 markings, 387162 edges, 2886 markings/sec, 95 secs
lola: 306437 markings, 406720 edges, 2881 markings/sec, 100 secs
lola: 320767 markings, 426116 edges, 2866 markings/sec, 105 secs
lola: 335414 markings, 446085 edges, 2929 markings/sec, 110 secs
lola: 349988 markings, 466937 edges, 2915 markings/sec, 115 secs
lola: 364724 markings, 487474 edges, 2947 markings/sec, 120 secs
lola: 379263 markings, 507578 edges, 2908 markings/sec, 125 secs
lola: 393944 markings, 528400 edges, 2936 markings/sec, 130 secs
lola: 408162 markings, 546619 edges, 2844 markings/sec, 135 secs
lola: 422782 markings, 567018 edges, 2924 markings/sec, 140 secs
lola: 437396 markings, 587181 edges, 2923 markings/sec, 145 secs
lola: 452119 markings, 607603 edges, 2945 markings/sec, 150 secs
lola: 466671 markings, 627879 edges, 2910 markings/sec, 155 secs
lola: 481275 markings, 648226 edges, 2921 markings/sec, 160 secs
lola: 495755 markings, 669000 edges, 2896 markings/sec, 165 secs
lola: 510284 markings, 689275 edges, 2906 markings/sec, 170 secs
lola: 524946 markings, 710167 edges, 2932 markings/sec, 175 secs
lola: 539354 markings, 730245 edges, 2882 markings/sec, 180 secs
lola: 554097 markings, 750697 edges, 2949 markings/sec, 185 secs
lola: 568747 markings, 772278 edges, 2930 markings/sec, 190 secs
lola: 583308 markings, 792929 edges, 2912 markings/sec, 195 secs
lola: 597925 markings, 813308 edges, 2923 markings/sec, 200 secs
lola: 612552 markings, 833320 edges, 2925 markings/sec, 205 secs
lola: 626967 markings, 854113 edges, 2883 markings/sec, 210 secs
lola: 641459 markings, 872628 edges, 2898 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(p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 13898 markings, 16136 edges, 2780 markings/sec, 0 secs
lola: 27868 markings, 33644 edges, 2794 markings/sec, 5 secs
lola: 41884 markings, 51345 edges, 2803 markings/sec, 10 secs
lola: 55834 markings, 69856 edges, 2790 markings/sec, 15 secs
lola: 69945 markings, 88812 edges, 2822 markings/sec, 20 secs
lola: 83753 markings, 106801 edges, 2762 markings/sec, 25 secs
lola: 97448 markings, 124812 edges, 2739 markings/sec, 30 secs
lola: 111195 markings, 142797 edges, 2749 markings/sec, 35 secs
lola: 124865 markings, 161774 edges, 2734 markings/sec, 40 secs
lola: 138990 markings, 180320 edges, 2825 markings/sec, 45 secs
lola: 153210 markings, 199792 edges, 2844 markings/sec, 50 secs
lola: 167366 markings, 218300 edges, 2831 markings/sec, 55 secs
lola: 182283 markings, 238679 edges, 2983 markings/sec, 60 secs
lola: 197169 markings, 258789 edges, 2977 markings/sec, 65 secs
lola: 212070 markings, 278937 edges, 2980 markings/sec, 70 secs
lola: 226974 markings, 299190 edges, 2981 markings/sec, 75 secs
lola: 241995 markings, 319093 edges, 3004 markings/sec, 80 secs
lola: 257060 markings, 338841 edges, 3013 markings/sec, 85 secs
lola: 272093 markings, 360465 edges, 3007 markings/sec, 90 secs
lola: 287154 markings, 381446 edges, 3012 markings/sec, 95 secs
lola: 302118 markings, 402471 edges, 2993 markings/sec, 100 secs
lola: 316836 markings, 422648 edges, 2944 markings/sec, 105 secs
lola: 331563 markings, 441864 edges, 2945 markings/sec, 110 secs
lola: 346386 markings, 462039 edges, 2965 markings/sec, 115 secs
lola: 361380 markings, 482657 edges, 2999 markings/sec, 120 secs
lola: 376393 markings, 502595 edges, 3003 markings/sec, 125 secs
lola: 391310 markings, 523024 edges, 2983 markings/sec, 130 secs
lola: 406207 markings, 543999 edges, 2979 markings/sec, 135 secs
lola: 421086 markings, 565375 edges, 2976 markings/sec, 140 secs
lola: 436094 markings, 587211 edges, 3002 markings/sec, 145 secs
lola: 451005 markings, 607209 edges, 2982 markings/sec, 150 secs
lola: 465950 markings, 627545 edges, 2989 markings/sec, 155 secs
lola: 480875 markings, 648810 edges, 2985 markings/sec, 160 secs
lola: 495746 markings, 668973 edges, 2974 markings/sec, 165 secs
lola: 510784 markings, 690418 edges, 3008 markings/sec, 170 secs
lola: 525524 markings, 711732 edges, 2948 markings/sec, 175 secs
lola: 540618 markings, 733215 edges, 3019 markings/sec, 180 secs
lola: 555294 markings, 752613 edges, 2935 markings/sec, 185 secs
lola: 570224 markings, 773841 edges, 2986 markings/sec, 190 secs
lola: 585353 markings, 795093 edges, 3026 markings/sec, 195 secs
lola: 600258 markings, 816051 edges, 2981 markings/sec, 200 secs
lola: 615268 markings, 837362 edges, 3002 markings/sec, 205 secs
lola: 630171 markings, 858891 edges, 2981 markings/sec, 210 secs
lola: 644963 markings, 879615 edges, 2958 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(p245)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 13749 markings, 14307 edges, 2750 markings/sec, 0 secs
lola: 27378 markings, 28925 edges, 2726 markings/sec, 5 secs
lola: 40953 markings, 43821 edges, 2715 markings/sec, 10 secs
lola: 54466 markings, 58682 edges, 2703 markings/sec, 15 secs
lola: 68000 markings, 73849 edges, 2707 markings/sec, 20 secs
lola: 79226 markings, 86523 edges, 2245 markings/sec, 25 secs
lola: 91469 markings, 100468 edges, 2449 markings/sec, 30 secs
lola: 105179 markings, 115816 edges, 2742 markings/sec, 35 secs
lola: 118689 markings, 131469 edges, 2702 markings/sec, 40 secs
lola: 132225 markings, 147072 edges, 2707 markings/sec, 45 secs
lola: 145769 markings, 162664 edges, 2709 markings/sec, 50 secs
lola: 159373 markings, 178009 edges, 2721 markings/sec, 55 secs
lola: 172603 markings, 193603 edges, 2646 markings/sec, 60 secs
lola: 186075 markings, 209389 edges, 2694 markings/sec, 65 secs
lola: 199646 markings, 225287 edges, 2714 markings/sec, 70 secs
lola: 213139 markings, 240950 edges, 2699 markings/sec, 75 secs
lola: 226747 markings, 256504 edges, 2722 markings/sec, 80 secs
lola: 240086 markings, 272450 edges, 2668 markings/sec, 85 secs
lola: 253593 markings, 288371 edges, 2701 markings/sec, 90 secs
lola: 267083 markings, 304262 edges, 2698 markings/sec, 95 secs
lola: 280572 markings, 320220 edges, 2698 markings/sec, 100 secs
lola: 294056 markings, 336031 edges, 2697 markings/sec, 105 secs
lola: 307483 markings, 352005 edges, 2685 markings/sec, 110 secs
lola: 320862 markings, 367972 edges, 2676 markings/sec, 115 secs
lola: 334252 markings, 383936 edges, 2678 markings/sec, 120 secs
lola: 347611 markings, 399655 edges, 2672 markings/sec, 125 secs
lola: 361068 markings, 415766 edges, 2691 markings/sec, 130 secs
lola: 374426 markings, 431743 edges, 2672 markings/sec, 135 secs
lola: 387829 markings, 447771 edges, 2681 markings/sec, 140 secs
lola: 401296 markings, 463698 edges, 2693 markings/sec, 145 secs
lola: 414845 markings, 479668 edges, 2710 markings/sec, 150 secs
lola: 428586 markings, 496041 edges, 2748 markings/sec, 155 secs
lola: 442164 markings, 512076 edges, 2716 markings/sec, 160 secs
lola: 455803 markings, 528320 edges, 2728 markings/sec, 165 secs
lola: 469341 markings, 544465 edges, 2708 markings/sec, 170 secs
lola: 482843 markings, 560887 edges, 2700 markings/sec, 175 secs
lola: 496162 markings, 577211 edges, 2664 markings/sec, 180 secs
lola: 509729 markings, 593320 edges, 2713 markings/sec, 185 secs
lola: 523183 markings, 609729 edges, 2691 markings/sec, 190 secs
lola: 536708 markings, 626406 edges, 2705 markings/sec, 195 secs
lola: 550034 markings, 643026 edges, 2665 markings/sec, 200 secs
lola: 563547 markings, 659226 edges, 2703 markings/sec, 205 secs
lola: 577190 markings, 675477 edges, 2729 markings/sec, 210 secs
lola: 590752 markings, 691764 edges, 2712 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(p841 + p842 + p843 + p844 + p845 + p846 + p847 + p848 + p849 + p850)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14586 markings, 15441 edges, 2917 markings/sec, 0 secs
lola: 29049 markings, 31167 edges, 2893 markings/sec, 5 secs
lola: 43553 markings, 47101 edges, 2901 markings/sec, 10 secs
lola: 57818 markings, 63240 edges, 2853 markings/sec, 15 secs
lola: 72050 markings, 79407 edges, 2846 markings/sec, 20 secs
lola: 86253 markings, 95766 edges, 2841 markings/sec, 25 secs
lola: 100620 markings, 112084 edges, 2873 markings/sec, 30 secs
lola: 115095 markings, 128873 edges, 2895 markings/sec, 35 secs
lola: 129438 markings, 145395 edges, 2869 markings/sec, 40 secs
lola: 143501 markings, 162020 edges, 2813 markings/sec, 45 secs
lola: 157704 markings, 178712 edges, 2841 markings/sec, 50 secs
lola: 171804 markings, 195129 edges, 2820 markings/sec, 55 secs
lola: 186027 markings, 211722 edges, 2845 markings/sec, 60 secs
lola: 200351 markings, 228936 edges, 2865 markings/sec, 65 secs
lola: 214494 markings, 245750 edges, 2829 markings/sec, 70 secs
lola: 229044 markings, 262760 edges, 2910 markings/sec, 75 secs
lola: 243373 markings, 279877 edges, 2866 markings/sec, 80 secs
lola: 257508 markings, 296912 edges, 2827 markings/sec, 85 secs
lola: 271166 markings, 313534 edges, 2732 markings/sec, 90 secs
lola: 284694 markings, 330377 edges, 2706 markings/sec, 95 secs
lola: 298033 markings, 346839 edges, 2668 markings/sec, 100 secs
lola: 311878 markings, 363325 edges, 2769 markings/sec, 105 secs
lola: 325492 markings, 379601 edges, 2723 markings/sec, 110 secs
lola: 338901 markings, 395927 edges, 2682 markings/sec, 115 secs
lola: 352685 markings, 412254 edges, 2757 markings/sec, 120 secs
lola: 366419 markings, 428837 edges, 2747 markings/sec, 125 secs
lola: 379925 markings, 445229 edges, 2701 markings/sec, 130 secs
lola: 393770 markings, 461992 edges, 2769 markings/sec, 135 secs
lola: 407530 markings, 478934 edges, 2752 markings/sec, 140 secs
lola: 421218 markings, 495614 edges, 2738 markings/sec, 145 secs
lola: 435091 markings, 512022 edges, 2775 markings/sec, 150 secs
lola: 449128 markings, 529247 edges, 2807 markings/sec, 155 secs
lola: 463105 markings, 546450 edges, 2795 markings/sec, 160 secs
lola: 477176 markings, 563494 edges, 2814 markings/sec, 165 secs
lola: 491545 markings, 581272 edges, 2874 markings/sec, 170 secs
lola: 506175 markings, 599441 edges, 2926 markings/sec, 175 secs
lola: 520685 markings, 617300 edges, 2902 markings/sec, 180 secs
lola: 535060 markings, 634874 edges, 2875 markings/sec, 185 secs
lola: 549464 markings, 652443 edges, 2881 markings/sec, 190 secs
lola: 563270 markings, 669979 edges, 2761 markings/sec, 195 secs
lola: 577389 markings, 687166 edges, 2824 markings/sec, 200 secs
lola: 591646 markings, 704640 edges, 2851 markings/sec, 205 secs
lola: 605639 markings, 722059 edges, 2799 markings/sec, 210 secs
lola: 619899 markings, 739589 edges, 2852 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(p111 + p112 + p113 + p114 + p115 + p116 + p117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14191 markings, 14963 edges, 2838 markings/sec, 0 secs
lola: 28316 markings, 30324 edges, 2825 markings/sec, 5 secs
lola: 42497 markings, 45842 edges, 2836 markings/sec, 10 secs
lola: 56521 markings, 61568 edges, 2805 markings/sec, 15 secs
lola: 70473 markings, 77392 edges, 2790 markings/sec, 20 secs
lola: 84427 markings, 93214 edges, 2791 markings/sec, 25 secs
lola: 98302 markings, 109206 edges, 2775 markings/sec, 30 secs
lola: 112321 markings, 125233 edges, 2804 markings/sec, 35 secs
lola: 126277 markings, 141454 edges, 2791 markings/sec, 40 secs
lola: 140347 markings, 157435 edges, 2814 markings/sec, 45 secs
lola: 154498 markings, 173844 edges, 2830 markings/sec, 50 secs
lola: 168552 markings, 190165 edges, 2811 markings/sec, 55 secs
lola: 182706 markings, 206570 edges, 2831 markings/sec, 60 secs
lola: 196725 markings, 223154 edges, 2804 markings/sec, 65 secs
lola: 210641 markings, 239774 edges, 2783 markings/sec, 70 secs
lola: 224704 markings, 256570 edges, 2813 markings/sec, 75 secs
lola: 238739 markings, 273006 edges, 2807 markings/sec, 80 secs
lola: 252780 markings, 289748 edges, 2808 markings/sec, 85 secs
lola: 266761 markings, 306420 edges, 2796 markings/sec, 90 secs
lola: 280855 markings, 323158 edges, 2819 markings/sec, 95 secs
lola: 294764 markings, 339460 edges, 2782 markings/sec, 100 secs
lola: 308657 markings, 356105 edges, 2779 markings/sec, 105 secs
lola: 322663 markings, 373065 edges, 2801 markings/sec, 110 secs
lola: 336543 markings, 389898 edges, 2776 markings/sec, 115 secs
lola: 350706 markings, 406557 edges, 2833 markings/sec, 120 secs
lola: 364834 markings, 423839 edges, 2826 markings/sec, 125 secs
lola: 378822 markings, 440628 edges, 2798 markings/sec, 130 secs
lola: 392976 markings, 457517 edges, 2831 markings/sec, 135 secs
lola: 407022 markings, 474150 edges, 2809 markings/sec, 140 secs
lola: 420931 markings, 490956 edges, 2782 markings/sec, 145 secs
lola: 434989 markings, 507926 edges, 2812 markings/sec, 150 secs
lola: 449132 markings, 524952 edges, 2829 markings/sec, 155 secs
lola: 463033 markings, 542114 edges, 2780 markings/sec, 160 secs
lola: 477178 markings, 559100 edges, 2829 markings/sec, 165 secs
lola: 490920 markings, 575752 edges, 2748 markings/sec, 170 secs
lola: 505091 markings, 592421 edges, 2834 markings/sec, 175 secs
lola: 519084 markings, 608852 edges, 2799 markings/sec, 180 secs
lola: 533142 markings, 625801 edges, 2812 markings/sec, 185 secs
lola: 547284 markings, 643059 edges, 2828 markings/sec, 190 secs
lola: 561442 markings, 660404 edges, 2832 markings/sec, 195 secs
lola: 575505 markings, 677360 edges, 2813 markings/sec, 200 secs
lola: 589621 markings, 694486 edges, 2823 markings/sec, 205 secs
lola: 603415 markings, 711291 edges, 2759 markings/sec, 210 secs
lola: 617406 markings, 728802 edges, 2798 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(p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 13587 markings, 14091 edges, 2717 markings/sec, 0 secs
lola: 27099 markings, 28499 edges, 2702 markings/sec, 5 secs
lola: 40570 markings, 43206 edges, 2694 markings/sec, 10 secs
lola: 53987 markings, 57884 edges, 2683 markings/sec, 15 secs
lola: 67411 markings, 72763 edges, 2685 markings/sec, 20 secs
lola: 80866 markings, 87677 edges, 2691 markings/sec, 25 secs
lola: 94306 markings, 102678 edges, 2688 markings/sec, 30 secs
lola: 107600 markings, 117886 edges, 2659 markings/sec, 35 secs
lola: 121005 markings, 133076 edges, 2681 markings/sec, 40 secs
lola: 134376 markings, 148233 edges, 2674 markings/sec, 45 secs
lola: 147938 markings, 163317 edges, 2712 markings/sec, 50 secs
lola: 161397 markings, 178544 edges, 2692 markings/sec, 55 secs
lola: 174754 markings, 193929 edges, 2671 markings/sec, 60 secs
lola: 188109 markings, 209798 edges, 2671 markings/sec, 65 secs
lola: 201699 markings, 225392 edges, 2718 markings/sec, 70 secs
lola: 214884 markings, 241093 edges, 2637 markings/sec, 75 secs
lola: 228250 markings, 256492 edges, 2673 markings/sec, 80 secs
lola: 241582 markings, 272130 edges, 2666 markings/sec, 85 secs
lola: 254859 markings, 287632 edges, 2655 markings/sec, 90 secs
lola: 268106 markings, 303526 edges, 2649 markings/sec, 95 secs
lola: 281082 markings, 319286 edges, 2595 markings/sec, 100 secs
lola: 294321 markings, 335067 edges, 2648 markings/sec, 105 secs
lola: 307538 markings, 350843 edges, 2643 markings/sec, 110 secs
lola: 320938 markings, 366443 edges, 2680 markings/sec, 115 secs
lola: 334085 markings, 382437 edges, 2629 markings/sec, 120 secs
lola: 347607 markings, 398205 edges, 2704 markings/sec, 125 secs
lola: 361005 markings, 414094 edges, 2680 markings/sec, 130 secs
lola: 374320 markings, 429714 edges, 2663 markings/sec, 135 secs
lola: 386962 markings, 444914 edges, 2528 markings/sec, 140 secs
lola: 400194 markings, 460526 edges, 2646 markings/sec, 145 secs
lola: 413639 markings, 476181 edges, 2689 markings/sec, 150 secs
lola: 427004 markings, 492131 edges, 2673 markings/sec, 155 secs
lola: 440346 markings, 508233 edges, 2668 markings/sec, 160 secs
lola: 453794 markings, 524000 edges, 2690 markings/sec, 165 secs
lola: 466827 markings, 539821 edges, 2607 markings/sec, 170 secs
lola: 480607 markings, 555828 edges, 2756 markings/sec, 175 secs
lola: 494207 markings, 572310 edges, 2720 markings/sec, 180 secs
lola: 507837 markings, 588833 edges, 2726 markings/sec, 185 secs
lola: 521486 markings, 604984 edges, 2730 markings/sec, 190 secs
lola: 534965 markings, 621290 edges, 2696 markings/sec, 195 secs
lola: 548754 markings, 637615 edges, 2758 markings/sec, 200 secs
lola: 562271 markings, 653797 edges, 2703 markings/sec, 205 secs
lola: 575936 markings, 670361 edges, 2733 markings/sec, 210 secs
lola: 589787 markings, 686848 edges, 2770 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(p902)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14191 markings, 14687 edges, 2838 markings/sec, 0 secs
lola: 28924 markings, 29979 edges, 2947 markings/sec, 5 secs
lola: 43635 markings, 45479 edges, 2942 markings/sec, 10 secs
lola: 58301 markings, 60783 edges, 2933 markings/sec, 15 secs
lola: 73037 markings, 76358 edges, 2947 markings/sec, 20 secs
lola: 87758 markings, 91957 edges, 2944 markings/sec, 25 secs
lola: 102560 markings, 107756 edges, 2960 markings/sec, 30 secs
lola: 117314 markings, 123402 edges, 2951 markings/sec, 35 secs
lola: 132143 markings, 139169 edges, 2966 markings/sec, 40 secs
lola: 147053 markings, 155344 edges, 2982 markings/sec, 45 secs
lola: 162026 markings, 171780 edges, 2995 markings/sec, 50 secs
lola: 176901 markings, 187950 edges, 2975 markings/sec, 55 secs
lola: 191856 markings, 204411 edges, 2991 markings/sec, 60 secs
lola: 206698 markings, 220716 edges, 2968 markings/sec, 65 secs
lola: 221500 markings, 236688 edges, 2960 markings/sec, 70 secs
lola: 236420 markings, 253001 edges, 2984 markings/sec, 75 secs
lola: 251518 markings, 269919 edges, 3020 markings/sec, 80 secs
lola: 266579 markings, 286598 edges, 3012 markings/sec, 85 secs
lola: 281626 markings, 303578 edges, 3009 markings/sec, 90 secs
lola: 296556 markings, 319783 edges, 2986 markings/sec, 95 secs
lola: 311532 markings, 336141 edges, 2995 markings/sec, 100 secs
lola: 326565 markings, 352758 edges, 3007 markings/sec, 105 secs
lola: 341571 markings, 369438 edges, 3001 markings/sec, 110 secs
lola: 356575 markings, 386305 edges, 3001 markings/sec, 115 secs
lola: 371557 markings, 402896 edges, 2996 markings/sec, 120 secs
lola: 386541 markings, 419522 edges, 2997 markings/sec, 125 secs
lola: 401482 markings, 436118 edges, 2988 markings/sec, 130 secs
lola: 416413 markings, 452578 edges, 2986 markings/sec, 135 secs
lola: 431431 markings, 469068 edges, 3004 markings/sec, 140 secs
lola: 446515 markings, 486125 edges, 3017 markings/sec, 145 secs
lola: 461359 markings, 502622 edges, 2969 markings/sec, 150 secs
lola: 476302 markings, 519471 edges, 2989 markings/sec, 155 secs
lola: 491258 markings, 536053 edges, 2991 markings/sec, 160 secs
lola: 506218 markings, 552900 edges, 2992 markings/sec, 165 secs
lola: 521217 markings, 569800 edges, 3000 markings/sec, 170 secs
lola: 536180 markings, 586308 edges, 2993 markings/sec, 175 secs
lola: 551160 markings, 603112 edges, 2996 markings/sec, 180 secs
lola: 566237 markings, 620052 edges, 3015 markings/sec, 185 secs
lola: 581304 markings, 636812 edges, 3013 markings/sec, 190 secs
lola: 596330 markings, 653943 edges, 3005 markings/sec, 195 secs
lola: 611263 markings, 670663 edges, 2987 markings/sec, 200 secs
lola: 626279 markings, 687348 edges, 3003 markings/sec, 205 secs
lola: 641337 markings, 704118 edges, 3012 markings/sec, 210 secs
lola: 656329 markings, 721225 edges, 2998 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(p89 + p88 + p87 + p86 + p85 + p84 + p90 + p91 + p92 + p93)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 13484 markings, 13993 edges, 2697 markings/sec, 0 secs
lola: 26938 markings, 28362 edges, 2691 markings/sec, 5 secs
lola: 40318 markings, 43007 edges, 2676 markings/sec, 10 secs
lola: 53634 markings, 57649 edges, 2663 markings/sec, 15 secs
lola: 67039 markings, 72459 edges, 2681 markings/sec, 20 secs
lola: 80355 markings, 87320 edges, 2663 markings/sec, 25 secs
lola: 93691 markings, 102277 edges, 2667 markings/sec, 30 secs
lola: 106829 markings, 117461 edges, 2628 markings/sec, 35 secs
lola: 120116 markings, 132542 edges, 2657 markings/sec, 40 secs
lola: 133377 markings, 147705 edges, 2652 markings/sec, 45 secs
lola: 146733 markings, 162662 edges, 2671 markings/sec, 50 secs
lola: 160211 markings, 177836 edges, 2696 markings/sec, 55 secs
lola: 173400 markings, 193041 edges, 2638 markings/sec, 60 secs
lola: 186584 markings, 208764 edges, 2637 markings/sec, 65 secs
lola: 199906 markings, 224206 edges, 2664 markings/sec, 70 secs
lola: 212960 markings, 239399 edges, 2611 markings/sec, 75 secs
lola: 225770 markings, 254710 edges, 2562 markings/sec, 80 secs
lola: 238697 markings, 269834 edges, 2585 markings/sec, 85 secs
lola: 251848 markings, 285131 edges, 2630 markings/sec, 90 secs
lola: 264895 markings, 300936 edges, 2609 markings/sec, 95 secs
lola: 277824 markings, 316762 edges, 2586 markings/sec, 100 secs
lola: 291056 markings, 332402 edges, 2646 markings/sec, 105 secs
lola: 303646 markings, 347945 edges, 2518 markings/sec, 110 secs
lola: 316900 markings, 363342 edges, 2651 markings/sec, 115 secs
lola: 330091 markings, 378819 edges, 2638 markings/sec, 120 secs
lola: 343035 markings, 394705 edges, 2589 markings/sec, 125 secs
lola: 356319 markings, 410373 edges, 2657 markings/sec, 130 secs
lola: 369610 markings, 426129 edges, 2658 markings/sec, 135 secs
lola: 382689 markings, 441789 edges, 2616 markings/sec, 140 secs
lola: 395522 markings, 456972 edges, 2567 markings/sec, 145 secs
lola: 408895 markings, 472793 edges, 2675 markings/sec, 150 secs
lola: 422174 markings, 488278 edges, 2656 markings/sec, 155 secs
lola: 435263 markings, 504253 edges, 2618 markings/sec, 160 secs
lola: 448785 markings, 520368 edges, 2704 markings/sec, 165 secs
lola: 462103 markings, 535997 edges, 2664 markings/sec, 170 secs
lola: 475344 markings, 552031 edges, 2648 markings/sec, 175 secs
lola: 488693 markings, 567918 edges, 2670 markings/sec, 180 secs
lola: 501877 markings, 584131 edges, 2637 markings/sec, 185 secs
lola: 515270 markings, 600219 edges, 2679 markings/sec, 190 secs
lola: 528517 markings, 616178 edges, 2649 markings/sec, 195 secs
lola: 541802 markings, 632152 edges, 2657 markings/sec, 200 secs
lola: 555183 markings, 647977 edges, 2676 markings/sec, 205 secs
lola: 568321 markings, 663931 edges, 2628 markings/sec, 210 secs
lola: 581793 markings, 680200 edges, 2694 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(p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 15191 markings, 15965 edges, 3038 markings/sec, 0 secs
lola: 30264 markings, 31575 edges, 3015 markings/sec, 5 secs
lola: 45502 markings, 47560 edges, 3048 markings/sec, 10 secs
lola: 60658 markings, 63212 edges, 3031 markings/sec, 15 secs
lola: 76037 markings, 79231 edges, 3076 markings/sec, 20 secs
lola: 91291 markings, 95143 edges, 3051 markings/sec, 25 secs
lola: 106677 markings, 111531 edges, 3077 markings/sec, 30 secs
lola: 121896 markings, 127953 edges, 3044 markings/sec, 35 secs
lola: 137040 markings, 143747 edges, 3029 markings/sec, 40 secs
lola: 152077 markings, 159282 edges, 3007 markings/sec, 45 secs
lola: 167161 markings, 175316 edges, 3017 markings/sec, 50 secs
lola: 182184 markings, 191015 edges, 3005 markings/sec, 55 secs
lola: 197328 markings, 207440 edges, 3029 markings/sec, 60 secs
lola: 212735 markings, 223748 edges, 3081 markings/sec, 65 secs
lola: 227806 markings, 240129 edges, 3014 markings/sec, 70 secs
lola: 243172 markings, 256255 edges, 3073 markings/sec, 75 secs
lola: 258477 markings, 273027 edges, 3061 markings/sec, 80 secs
lola: 273662 markings, 288886 edges, 3037 markings/sec, 85 secs
lola: 288884 markings, 305044 edges, 3044 markings/sec, 90 secs
lola: 304148 markings, 322129 edges, 3053 markings/sec, 95 secs
lola: 319060 markings, 337881 edges, 2982 markings/sec, 100 secs
lola: 334074 markings, 354449 edges, 3003 markings/sec, 105 secs
lola: 349378 markings, 371249 edges, 3061 markings/sec, 110 secs
lola: 364745 markings, 387532 edges, 3073 markings/sec, 115 secs
lola: 379881 markings, 404104 edges, 3027 markings/sec, 120 secs
lola: 395113 markings, 420140 edges, 3046 markings/sec, 125 secs
lola: 410031 markings, 436540 edges, 2984 markings/sec, 130 secs
lola: 424710 markings, 452213 edges, 2936 markings/sec, 135 secs
lola: 439529 markings, 468474 edges, 2964 markings/sec, 140 secs
lola: 454639 markings, 486255 edges, 3022 markings/sec, 145 secs
lola: 469258 markings, 502019 edges, 2924 markings/sec, 150 secs
lola: 484078 markings, 519916 edges, 2964 markings/sec, 155 secs
lola: 499380 markings, 537669 edges, 3060 markings/sec, 160 secs
lola: 514403 markings, 555604 edges, 3005 markings/sec, 165 secs
lola: 529658 markings, 572281 edges, 3051 markings/sec, 170 secs
lola: 544829 markings, 588348 edges, 3034 markings/sec, 175 secs
lola: 559907 markings, 605111 edges, 3016 markings/sec, 180 secs
lola: 575100 markings, 621157 edges, 3039 markings/sec, 185 secs
lola: 590354 markings, 637642 edges, 3051 markings/sec, 190 secs
lola: 605360 markings, 653642 edges, 3001 markings/sec, 195 secs
lola: 620687 markings, 670957 edges, 3065 markings/sec, 200 secs
lola: 635704 markings, 687239 edges, 3003 markings/sec, 205 secs
lola: 651059 markings, 705252 edges, 3071 markings/sec, 210 secs
lola: 666152 markings, 723072 edges, 3019 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(p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 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: 14570 markings, 15160 edges, 2914 markings/sec, 0 secs
lola: 28997 markings, 30561 edges, 2885 markings/sec, 5 secs
lola: 43509 markings, 45932 edges, 2902 markings/sec, 10 secs
lola: 57982 markings, 61274 edges, 2895 markings/sec, 15 secs
lola: 72418 markings, 76634 edges, 2887 markings/sec, 20 secs
lola: 86880 markings, 92299 edges, 2892 markings/sec, 25 secs
lola: 101315 markings, 108107 edges, 2887 markings/sec, 30 secs
lola: 115752 markings, 123948 edges, 2887 markings/sec, 35 secs
lola: 130271 markings, 139673 edges, 2904 markings/sec, 40 secs
lola: 144659 markings, 155729 edges, 2878 markings/sec, 45 secs
lola: 158962 markings, 171337 edges, 2861 markings/sec, 50 secs
lola: 173364 markings, 186895 edges, 2880 markings/sec, 55 secs
lola: 187774 markings, 202368 edges, 2882 markings/sec, 60 secs
lola: 202244 markings, 217885 edges, 2894 markings/sec, 65 secs
lola: 216650 markings, 233693 edges, 2881 markings/sec, 70 secs
lola: 231033 markings, 249481 edges, 2877 markings/sec, 75 secs
lola: 244947 markings, 264820 edges, 2783 markings/sec, 80 secs
lola: 259446 markings, 280856 edges, 2900 markings/sec, 85 secs
lola: 273965 markings, 297004 edges, 2904 markings/sec, 90 secs
lola: 288418 markings, 312910 edges, 2891 markings/sec, 95 secs
lola: 303056 markings, 328993 edges, 2928 markings/sec, 100 secs
lola: 317574 markings, 345099 edges, 2904 markings/sec, 105 secs
lola: 332023 markings, 361376 edges, 2890 markings/sec, 110 secs
lola: 346636 markings, 377527 edges, 2923 markings/sec, 115 secs
lola: 361166 markings, 393689 edges, 2906 markings/sec, 120 secs
lola: 375713 markings, 410009 edges, 2909 markings/sec, 125 secs
lola: 390248 markings, 426231 edges, 2907 markings/sec, 130 secs
lola: 404813 markings, 442769 edges, 2913 markings/sec, 135 secs
lola: 419311 markings, 459169 edges, 2900 markings/sec, 140 secs
lola: 433820 markings, 475460 edges, 2902 markings/sec, 145 secs
lola: 448262 markings, 491951 edges, 2888 markings/sec, 150 secs
lola: 462909 markings, 508575 edges, 2929 markings/sec, 155 secs
lola: 477485 markings, 525030 edges, 2915 markings/sec, 160 secs
lola: 492015 markings, 541336 edges, 2906 markings/sec, 165 secs
lola: 506470 markings, 558305 edges, 2891 markings/sec, 170 secs
lola: 521079 markings, 574913 edges, 2922 markings/sec, 175 secs
lola: 535605 markings, 591291 edges, 2905 markings/sec, 180 secs
lola: 550137 markings, 608185 edges, 2906 markings/sec, 185 secs
lola: 564625 markings, 624619 edges, 2898 markings/sec, 190 secs
lola: 579090 markings, 640944 edges, 2893 markings/sec, 195 secs
lola: 593697 markings, 657530 edges, 2921 markings/sec, 200 secs
lola: 608104 markings, 674277 edges, 2881 markings/sec, 205 secs
lola: 622536 markings, 690966 edges, 2886 markings/sec, 210 secs
lola: 637113 markings, 707682 edges, 2915 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 PolyORBLF-COL-S04J06T10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494650063957

--------------------
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="PolyORBLF-COL-S04J06T10"
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/PolyORBLF-COL-S04J06T10.tgz
mv PolyORBLF-COL-S04J06T10 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 PolyORBLF-COL-S04J06T10, 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 r048-smll-149440869900362"
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 ;