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

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

=== Now, execution of the tool begins

BK_START 1494631636562


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S04J04T10 @ 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: 5904/65536 symbol table entries, 1359 collisions
lola: preprocessing...
lola: finding significant places
lola: 870 places, 5034 transitions, 812 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3097 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J04T10-UpperBounds.task
lola: MAX(p768) : MAX(p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380) : MAX(p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473) : MAX(p474) : MAX(p647) : MAX(p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p50) : MAX(p789 + p790 + p791 + p792 + p793 + p794 + p795 + p796 + p797 + p798) : MAX(p393 + p394 + p395 + p396 + p397) : MAX(p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717) : MAX(p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645) : MAX(p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52) : MAX(p600 + p599 + p598 + p597 + p596) : MAX(p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645) : MAX(p809 + p810 + p811 + p812 + p813 + p814 + p815 + p816 + p817 + p818) : MAX(p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172) : MAX(p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266)
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(p768)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16728 markings, 17435 edges, 3346 markings/sec, 0 secs
lola: 33403 markings, 35427 edges, 3335 markings/sec, 5 secs
lola: 50099 markings, 53874 edges, 3339 markings/sec, 10 secs
lola: 66768 markings, 71839 edges, 3334 markings/sec, 15 secs
lola: 83431 markings, 89697 edges, 3333 markings/sec, 20 secs
lola: 100104 markings, 108233 edges, 3335 markings/sec, 25 secs
lola: 116801 markings, 126345 edges, 3339 markings/sec, 30 secs
lola: 133435 markings, 144716 edges, 3327 markings/sec, 35 secs
lola: 150134 markings, 163255 edges, 3340 markings/sec, 40 secs
lola: 166831 markings, 181626 edges, 3339 markings/sec, 45 secs
lola: 183412 markings, 200173 edges, 3316 markings/sec, 50 secs
lola: 199996 markings, 218777 edges, 3317 markings/sec, 55 secs
lola: 216654 markings, 237375 edges, 3332 markings/sec, 60 secs
lola: 233204 markings, 255518 edges, 3310 markings/sec, 65 secs
lola: 249856 markings, 273753 edges, 3330 markings/sec, 70 secs
lola: 266486 markings, 292238 edges, 3326 markings/sec, 75 secs
lola: 283019 markings, 311502 edges, 3307 markings/sec, 80 secs
lola: 299597 markings, 329989 edges, 3316 markings/sec, 85 secs
lola: 316267 markings, 348836 edges, 3334 markings/sec, 90 secs
lola: 332853 markings, 367901 edges, 3317 markings/sec, 95 secs
lola: 349572 markings, 386260 edges, 3344 markings/sec, 100 secs
lola: 366208 markings, 405208 edges, 3327 markings/sec, 105 secs
lola: 382811 markings, 423789 edges, 3321 markings/sec, 110 secs
lola: 399427 markings, 442611 edges, 3323 markings/sec, 115 secs
lola: 415953 markings, 461895 edges, 3305 markings/sec, 120 secs
lola: 432496 markings, 480511 edges, 3309 markings/sec, 125 secs
lola: 449099 markings, 499758 edges, 3321 markings/sec, 130 secs
lola: 465651 markings, 518720 edges, 3310 markings/sec, 135 secs
lola: 482222 markings, 537813 edges, 3314 markings/sec, 140 secs
lola: 498849 markings, 556859 edges, 3325 markings/sec, 145 secs
lola: 515506 markings, 575686 edges, 3331 markings/sec, 150 secs
lola: 532121 markings, 594259 edges, 3323 markings/sec, 155 secs
lola: 548624 markings, 613355 edges, 3301 markings/sec, 160 secs
lola: 565152 markings, 632349 edges, 3306 markings/sec, 165 secs
lola: 581688 markings, 651603 edges, 3307 markings/sec, 170 secs
lola: 598218 markings, 670931 edges, 3306 markings/sec, 175 secs
lola: 614851 markings, 690570 edges, 3327 markings/sec, 180 secs
lola: 631485 markings, 710158 edges, 3327 markings/sec, 185 secs
lola: 648023 markings, 729450 edges, 3308 markings/sec, 190 secs
lola: 664666 markings, 748619 edges, 3329 markings/sec, 195 secs
lola: 681416 markings, 768734 edges, 3350 markings/sec, 200 secs
lola: 698096 markings, 787736 edges, 3336 markings/sec, 205 secs
lola: 714662 markings, 807358 edges, 3313 markings/sec, 210 secs
lola: 730788 markings, 826172 edges, 3225 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(p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16555 markings, 17241 edges, 3311 markings/sec, 0 secs
lola: 32759 markings, 35009 edges, 3241 markings/sec, 5 secs
lola: 48492 markings, 52048 edges, 3147 markings/sec, 10 secs
lola: 64232 markings, 69192 edges, 3148 markings/sec, 15 secs
lola: 79971 markings, 86492 edges, 3148 markings/sec, 20 secs
lola: 95714 markings, 103417 edges, 3149 markings/sec, 25 secs
lola: 111443 markings, 122325 edges, 3146 markings/sec, 30 secs
lola: 127196 markings, 139261 edges, 3151 markings/sec, 35 secs
lola: 142939 markings, 155895 edges, 3149 markings/sec, 40 secs
lola: 158972 markings, 174081 edges, 3207 markings/sec, 45 secs
lola: 175483 markings, 191831 edges, 3302 markings/sec, 50 secs
lola: 191994 markings, 209887 edges, 3302 markings/sec, 55 secs
lola: 208496 markings, 227948 edges, 3300 markings/sec, 60 secs
lola: 224992 markings, 245957 edges, 3299 markings/sec, 65 secs
lola: 241485 markings, 263742 edges, 3299 markings/sec, 70 secs
lola: 257963 markings, 282900 edges, 3296 markings/sec, 75 secs
lola: 274217 markings, 301017 edges, 3251 markings/sec, 80 secs
lola: 289938 markings, 317686 edges, 3144 markings/sec, 85 secs
lola: 305655 markings, 335364 edges, 3143 markings/sec, 90 secs
lola: 321426 markings, 352907 edges, 3154 markings/sec, 95 secs
lola: 337894 markings, 370330 edges, 3294 markings/sec, 100 secs
lola: 354351 markings, 388347 edges, 3291 markings/sec, 105 secs
lola: 370810 markings, 406141 edges, 3292 markings/sec, 110 secs
lola: 387259 markings, 424141 edges, 3290 markings/sec, 115 secs
lola: 403724 markings, 442137 edges, 3293 markings/sec, 120 secs
lola: 420175 markings, 459939 edges, 3290 markings/sec, 125 secs
lola: 436617 markings, 479810 edges, 3288 markings/sec, 130 secs
lola: 453080 markings, 497103 edges, 3293 markings/sec, 135 secs
lola: 469548 markings, 514631 edges, 3294 markings/sec, 140 secs
lola: 486006 markings, 533236 edges, 3292 markings/sec, 145 secs
lola: 502466 markings, 551050 edges, 3292 markings/sec, 150 secs
lola: 518914 markings, 569177 edges, 3290 markings/sec, 155 secs
lola: 535363 markings, 587056 edges, 3290 markings/sec, 160 secs
lola: 551823 markings, 605075 edges, 3292 markings/sec, 165 secs
lola: 568283 markings, 622825 edges, 3292 markings/sec, 170 secs
lola: 584713 markings, 642436 edges, 3286 markings/sec, 175 secs
lola: 601176 markings, 660194 edges, 3293 markings/sec, 180 secs
lola: 617628 markings, 677470 edges, 3290 markings/sec, 185 secs
lola: 634075 markings, 696254 edges, 3289 markings/sec, 190 secs
lola: 650515 markings, 714270 edges, 3288 markings/sec, 195 secs
lola: 666962 markings, 731854 edges, 3289 markings/sec, 200 secs
lola: 683388 markings, 749555 edges, 3285 markings/sec, 205 secs
lola: 699832 markings, 767416 edges, 3289 markings/sec, 210 secs
lola: 716270 markings, 784736 edges, 3288 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(p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 15771 markings, 16426 edges, 3154 markings/sec, 0 secs
lola: 31449 markings, 33247 edges, 3136 markings/sec, 5 secs
lola: 47179 markings, 50264 edges, 3146 markings/sec, 10 secs
lola: 62926 markings, 67159 edges, 3149 markings/sec, 15 secs
lola: 78657 markings, 84184 edges, 3146 markings/sec, 20 secs
lola: 94413 markings, 101365 edges, 3151 markings/sec, 25 secs
lola: 110139 markings, 120090 edges, 3145 markings/sec, 30 secs
lola: 125871 markings, 136872 edges, 3146 markings/sec, 35 secs
lola: 141650 markings, 153969 edges, 3156 markings/sec, 40 secs
lola: 157400 markings, 170654 edges, 3150 markings/sec, 45 secs
lola: 173159 markings, 187769 edges, 3152 markings/sec, 50 secs
lola: 188908 markings, 204829 edges, 3150 markings/sec, 55 secs
lola: 204665 markings, 221862 edges, 3151 markings/sec, 60 secs
lola: 220394 markings, 240748 edges, 3146 markings/sec, 65 secs
lola: 236144 markings, 257572 edges, 3150 markings/sec, 70 secs
lola: 251871 markings, 274270 edges, 3145 markings/sec, 75 secs
lola: 267918 markings, 292744 edges, 3209 markings/sec, 80 secs
lola: 284353 markings, 310595 edges, 3287 markings/sec, 85 secs
lola: 300800 markings, 328287 edges, 3289 markings/sec, 90 secs
lola: 317255 markings, 346767 edges, 3291 markings/sec, 95 secs
lola: 333696 markings, 364227 edges, 3288 markings/sec, 100 secs
lola: 350140 markings, 381859 edges, 3289 markings/sec, 105 secs
lola: 366581 markings, 399458 edges, 3288 markings/sec, 110 secs
lola: 383020 markings, 417383 edges, 3288 markings/sec, 115 secs
lola: 399443 markings, 435448 edges, 3285 markings/sec, 120 secs
lola: 415862 markings, 453280 edges, 3284 markings/sec, 125 secs
lola: 432280 markings, 471424 edges, 3284 markings/sec, 130 secs
lola: 448788 markings, 488917 edges, 3302 markings/sec, 135 secs
lola: 465435 markings, 506429 edges, 3329 markings/sec, 140 secs
lola: 482063 markings, 524496 edges, 3326 markings/sec, 145 secs
lola: 498693 markings, 542391 edges, 3326 markings/sec, 150 secs
lola: 515307 markings, 560492 edges, 3323 markings/sec, 155 secs
lola: 531925 markings, 578459 edges, 3324 markings/sec, 160 secs
lola: 548549 markings, 596414 edges, 3325 markings/sec, 165 secs
lola: 565134 markings, 616295 edges, 3317 markings/sec, 170 secs
lola: 581746 markings, 634072 edges, 3322 markings/sec, 175 secs
lola: 598342 markings, 652738 edges, 3319 markings/sec, 180 secs
lola: 614957 markings, 670509 edges, 3323 markings/sec, 185 secs
lola: 631556 markings, 688261 edges, 3320 markings/sec, 190 secs
lola: 648161 markings, 706285 edges, 3321 markings/sec, 195 secs
lola: 664732 markings, 724773 edges, 3314 markings/sec, 200 secs
lola: 681360 markings, 742572 edges, 3326 markings/sec, 205 secs
lola: 697941 markings, 760576 edges, 3316 markings/sec, 210 secs
lola: 714571 markings, 778317 edges, 3326 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(p474)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 17908 markings, 18292 edges, 3582 markings/sec, 0 secs
lola: 36706 markings, 37599 edges, 3760 markings/sec, 5 secs
lola: 55497 markings, 56911 edges, 3758 markings/sec, 10 secs
lola: 74270 markings, 76152 edges, 3755 markings/sec, 15 secs
lola: 93112 markings, 95567 edges, 3768 markings/sec, 20 secs
lola: 111857 markings, 114923 edges, 3749 markings/sec, 25 secs
lola: 130635 markings, 134359 edges, 3756 markings/sec, 30 secs
lola: 149361 markings, 154029 edges, 3745 markings/sec, 35 secs
lola: 168152 markings, 173354 edges, 3758 markings/sec, 40 secs
lola: 187032 markings, 193039 edges, 3776 markings/sec, 45 secs
lola: 205975 markings, 212839 edges, 3789 markings/sec, 50 secs
lola: 224862 markings, 232286 edges, 3777 markings/sec, 55 secs
lola: 243699 markings, 251697 edges, 3767 markings/sec, 60 secs
lola: 262536 markings, 271120 edges, 3767 markings/sec, 65 secs
lola: 281334 markings, 290366 edges, 3760 markings/sec, 70 secs
lola: 300227 markings, 310121 edges, 3779 markings/sec, 75 secs
lola: 319137 markings, 329662 edges, 3782 markings/sec, 80 secs
lola: 337963 markings, 348939 edges, 3765 markings/sec, 85 secs
lola: 356896 markings, 368823 edges, 3787 markings/sec, 90 secs
lola: 375896 markings, 388863 edges, 3800 markings/sec, 95 secs
lola: 394872 markings, 408827 edges, 3795 markings/sec, 100 secs
lola: 413265 markings, 428341 edges, 3679 markings/sec, 105 secs
lola: 431312 markings, 447318 edges, 3609 markings/sec, 110 secs
lola: 449514 markings, 466500 edges, 3640 markings/sec, 115 secs
lola: 467576 markings, 485138 edges, 3612 markings/sec, 120 secs
lola: 485576 markings, 503748 edges, 3600 markings/sec, 125 secs
lola: 503720 markings, 522706 edges, 3629 markings/sec, 130 secs
lola: 522003 markings, 542407 edges, 3657 markings/sec, 135 secs
lola: 540213 markings, 561963 edges, 3642 markings/sec, 140 secs
lola: 558485 markings, 581522 edges, 3654 markings/sec, 145 secs
lola: 576679 markings, 601385 edges, 3639 markings/sec, 150 secs
lola: 594709 markings, 619894 edges, 3606 markings/sec, 155 secs
lola: 612834 markings, 638692 edges, 3625 markings/sec, 160 secs
lola: 631247 markings, 658600 edges, 3683 markings/sec, 165 secs
lola: 649320 markings, 677551 edges, 3615 markings/sec, 170 secs
lola: 667463 markings, 696350 edges, 3629 markings/sec, 175 secs
lola: 685445 markings, 714843 edges, 3596 markings/sec, 180 secs
lola: 703702 markings, 734242 edges, 3651 markings/sec, 185 secs
lola: 722064 markings, 754328 edges, 3672 markings/sec, 190 secs
lola: 740387 markings, 773955 edges, 3665 markings/sec, 195 secs
lola: 758571 markings, 793183 edges, 3637 markings/sec, 200 secs
lola: 776754 markings, 812606 edges, 3637 markings/sec, 205 secs
lola: 794865 markings, 831864 edges, 3622 markings/sec, 210 secs
lola: 813170 markings, 851751 edges, 3661 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(p647)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 18842 markings, 19312 edges, 3768 markings/sec, 0 secs
lola: 37629 markings, 39222 edges, 3757 markings/sec, 5 secs
lola: 56422 markings, 58723 edges, 3759 markings/sec, 10 secs
lola: 75197 markings, 78302 edges, 3755 markings/sec, 15 secs
lola: 94017 markings, 97757 edges, 3764 markings/sec, 20 secs
lola: 112777 markings, 117704 edges, 3752 markings/sec, 25 secs
lola: 131585 markings, 137527 edges, 3762 markings/sec, 30 secs
lola: 150405 markings, 156838 edges, 3764 markings/sec, 35 secs
lola: 169157 markings, 176940 edges, 3750 markings/sec, 40 secs
lola: 187947 markings, 197372 edges, 3758 markings/sec, 45 secs
lola: 206726 markings, 217282 edges, 3756 markings/sec, 50 secs
lola: 225552 markings, 236782 edges, 3765 markings/sec, 55 secs
lola: 244322 markings, 256593 edges, 3754 markings/sec, 60 secs
lola: 263157 markings, 276137 edges, 3767 markings/sec, 65 secs
lola: 281940 markings, 295898 edges, 3757 markings/sec, 70 secs
lola: 300713 markings, 315391 edges, 3755 markings/sec, 75 secs
lola: 319509 markings, 335026 edges, 3759 markings/sec, 80 secs
lola: 338276 markings, 354818 edges, 3753 markings/sec, 85 secs
lola: 356970 markings, 375507 edges, 3739 markings/sec, 90 secs
lola: 375684 markings, 395492 edges, 3743 markings/sec, 95 secs
lola: 394411 markings, 415621 edges, 3745 markings/sec, 100 secs
lola: 412802 markings, 435043 edges, 3678 markings/sec, 105 secs
lola: 430643 markings, 453607 edges, 3568 markings/sec, 110 secs
lola: 448628 markings, 473017 edges, 3597 markings/sec, 115 secs
lola: 466831 markings, 492658 edges, 3641 markings/sec, 120 secs
lola: 484915 markings, 512060 edges, 3617 markings/sec, 125 secs
lola: 503088 markings, 531053 edges, 3635 markings/sec, 130 secs
lola: 521541 markings, 550928 edges, 3691 markings/sec, 135 secs
lola: 540183 markings, 570676 edges, 3728 markings/sec, 140 secs
lola: 558907 markings, 590869 edges, 3745 markings/sec, 145 secs
lola: 577589 markings, 611577 edges, 3736 markings/sec, 150 secs
lola: 596238 markings, 632094 edges, 3730 markings/sec, 155 secs
lola: 614880 markings, 652630 edges, 3728 markings/sec, 160 secs
lola: 633576 markings, 672722 edges, 3739 markings/sec, 165 secs
lola: 652227 markings, 693158 edges, 3730 markings/sec, 170 secs
lola: 670844 markings, 713472 edges, 3723 markings/sec, 175 secs
lola: 689551 markings, 734451 edges, 3741 markings/sec, 180 secs
lola: 708164 markings, 754699 edges, 3723 markings/sec, 185 secs
lola: 726816 markings, 775507 edges, 3730 markings/sec, 190 secs
lola: 745499 markings, 795613 edges, 3737 markings/sec, 195 secs
lola: 764197 markings, 816426 edges, 3740 markings/sec, 200 secs
lola: 782845 markings, 836957 edges, 3730 markings/sec, 205 secs
lola: 801517 markings, 857895 edges, 3734 markings/sec, 210 secs
lola: 820158 markings, 878653 edges, 3728 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(p49 + p48 + p47 + p46 + p45 + p44 + p43 + p42 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p50)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16886 markings, 17486 edges, 3377 markings/sec, 0 secs
lola: 33733 markings, 35067 edges, 3369 markings/sec, 5 secs
lola: 50569 markings, 52855 edges, 3367 markings/sec, 10 secs
lola: 67417 markings, 70358 edges, 3370 markings/sec, 15 secs
lola: 84242 markings, 87946 edges, 3365 markings/sec, 20 secs
lola: 101068 markings, 105612 edges, 3365 markings/sec, 25 secs
lola: 117837 markings, 123134 edges, 3354 markings/sec, 30 secs
lola: 134618 markings, 140780 edges, 3356 markings/sec, 35 secs
lola: 151335 markings, 158623 edges, 3343 markings/sec, 40 secs
lola: 168152 markings, 176492 edges, 3363 markings/sec, 45 secs
lola: 184964 markings, 194103 edges, 3362 markings/sec, 50 secs
lola: 201761 markings, 212070 edges, 3359 markings/sec, 55 secs
lola: 218595 markings, 229745 edges, 3367 markings/sec, 60 secs
lola: 235439 markings, 247432 edges, 3369 markings/sec, 65 secs
lola: 252191 markings, 265408 edges, 3350 markings/sec, 70 secs
lola: 269025 markings, 283549 edges, 3367 markings/sec, 75 secs
lola: 285859 markings, 301191 edges, 3367 markings/sec, 80 secs
lola: 302596 markings, 318861 edges, 3347 markings/sec, 85 secs
lola: 319119 markings, 336620 edges, 3305 markings/sec, 90 secs
lola: 335684 markings, 353938 edges, 3313 markings/sec, 95 secs
lola: 352247 markings, 371265 edges, 3313 markings/sec, 100 secs
lola: 368822 markings, 388581 edges, 3315 markings/sec, 105 secs
lola: 385369 markings, 405904 edges, 3309 markings/sec, 110 secs
lola: 401919 markings, 423635 edges, 3310 markings/sec, 115 secs
lola: 418498 markings, 440938 edges, 3316 markings/sec, 120 secs
lola: 435054 markings, 458598 edges, 3311 markings/sec, 125 secs
lola: 451608 markings, 475964 edges, 3311 markings/sec, 130 secs
lola: 468137 markings, 493490 edges, 3306 markings/sec, 135 secs
lola: 484718 markings, 510724 edges, 3316 markings/sec, 140 secs
lola: 501283 markings, 528021 edges, 3313 markings/sec, 145 secs
lola: 517828 markings, 545463 edges, 3309 markings/sec, 150 secs
lola: 534388 markings, 562645 edges, 3312 markings/sec, 155 secs
lola: 550950 markings, 579938 edges, 3312 markings/sec, 160 secs
lola: 567435 markings, 597933 edges, 3297 markings/sec, 165 secs
lola: 583997 markings, 615257 edges, 3312 markings/sec, 170 secs
lola: 600538 markings, 632714 edges, 3308 markings/sec, 175 secs
lola: 617103 markings, 650009 edges, 3313 markings/sec, 180 secs
lola: 633655 markings, 667295 edges, 3310 markings/sec, 185 secs
lola: 650220 markings, 684546 edges, 3313 markings/sec, 190 secs
lola: 666776 markings, 701850 edges, 3311 markings/sec, 195 secs
lola: 683319 markings, 719243 edges, 3309 markings/sec, 200 secs
lola: 699875 markings, 736519 edges, 3311 markings/sec, 205 secs
lola: 716404 markings, 753929 edges, 3306 markings/sec, 210 secs
lola: 732935 markings, 771456 edges, 3306 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(p789 + p790 + p791 + p792 + p793 + p794 + p795 + p796 + p797 + p798)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 18655 markings, 19553 edges, 3731 markings/sec, 0 secs
lola: 37246 markings, 39304 edges, 3718 markings/sec, 5 secs
lola: 55844 markings, 58995 edges, 3720 markings/sec, 10 secs
lola: 74419 markings, 78550 edges, 3715 markings/sec, 15 secs
lola: 92970 markings, 98291 edges, 3710 markings/sec, 20 secs
lola: 111552 markings, 117823 edges, 3716 markings/sec, 25 secs
lola: 130092 markings, 137775 edges, 3708 markings/sec, 30 secs
lola: 148627 markings, 157458 edges, 3707 markings/sec, 35 secs
lola: 167188 markings, 177261 edges, 3712 markings/sec, 40 secs
lola: 185685 markings, 197711 edges, 3699 markings/sec, 45 secs
lola: 204269 markings, 217419 edges, 3717 markings/sec, 50 secs
lola: 222855 markings, 236921 edges, 3717 markings/sec, 55 secs
lola: 241425 markings, 256629 edges, 3714 markings/sec, 60 secs
lola: 259995 markings, 276373 edges, 3714 markings/sec, 65 secs
lola: 278564 markings, 295978 edges, 3714 markings/sec, 70 secs
lola: 297130 markings, 315578 edges, 3713 markings/sec, 75 secs
lola: 315684 markings, 335210 edges, 3711 markings/sec, 80 secs
lola: 334257 markings, 355395 edges, 3715 markings/sec, 85 secs
lola: 352749 markings, 375521 edges, 3698 markings/sec, 90 secs
lola: 371415 markings, 396483 edges, 3733 markings/sec, 95 secs
lola: 390051 markings, 417554 edges, 3727 markings/sec, 100 secs
lola: 408787 markings, 437591 edges, 3747 markings/sec, 105 secs
lola: 427511 markings, 457471 edges, 3745 markings/sec, 110 secs
lola: 446235 markings, 477277 edges, 3745 markings/sec, 115 secs
lola: 464965 markings, 497021 edges, 3746 markings/sec, 120 secs
lola: 483688 markings, 517005 edges, 3745 markings/sec, 125 secs
lola: 502403 markings, 536864 edges, 3743 markings/sec, 130 secs
lola: 521093 markings, 557239 edges, 3738 markings/sec, 135 secs
lola: 539764 markings, 577153 edges, 3734 markings/sec, 140 secs
lola: 558456 markings, 596815 edges, 3738 markings/sec, 145 secs
lola: 577175 markings, 616615 edges, 3744 markings/sec, 150 secs
lola: 595912 markings, 636392 edges, 3747 markings/sec, 155 secs
lola: 614620 markings, 656295 edges, 3742 markings/sec, 160 secs
lola: 633355 markings, 675892 edges, 3747 markings/sec, 165 secs
lola: 652067 markings, 695827 edges, 3742 markings/sec, 170 secs
lola: 670767 markings, 715566 edges, 3740 markings/sec, 175 secs
lola: 689474 markings, 735387 edges, 3741 markings/sec, 180 secs
lola: 708145 markings, 755300 edges, 3734 markings/sec, 185 secs
lola: 726821 markings, 775309 edges, 3735 markings/sec, 190 secs
lola: 745464 markings, 796674 edges, 3729 markings/sec, 195 secs
lola: 764137 markings, 818480 edges, 3735 markings/sec, 200 secs
lola: 782819 markings, 839406 edges, 3736 markings/sec, 205 secs
lola: 801481 markings, 860231 edges, 3732 markings/sec, 210 secs
lola: 820144 markings, 882205 edges, 3733 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(p393 + p394 + p395 + p396 + p397)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 10613 markings, 10979 edges, 2123 markings/sec, 0 secs
lola: 21192 markings, 22071 edges, 2116 markings/sec, 5 secs
lola: 31747 markings, 33379 edges, 2111 markings/sec, 10 secs
lola: 42283 markings, 44750 edges, 2107 markings/sec, 15 secs
lola: 52776 markings, 56070 edges, 2099 markings/sec, 20 secs
lola: 63322 markings, 67316 edges, 2109 markings/sec, 25 secs
lola: 73834 markings, 78817 edges, 2102 markings/sec, 30 secs
lola: 84388 markings, 89877 edges, 2111 markings/sec, 35 secs
lola: 94919 markings, 100906 edges, 2106 markings/sec, 40 secs
lola: 105372 markings, 112491 edges, 2091 markings/sec, 45 secs
lola: 115874 markings, 124078 edges, 2100 markings/sec, 50 secs
lola: 126405 markings, 135164 edges, 2106 markings/sec, 55 secs
lola: 136911 markings, 146250 edges, 2101 markings/sec, 60 secs
lola: 147412 markings, 157486 edges, 2100 markings/sec, 65 secs
lola: 164150 markings, 174932 edges, 3348 markings/sec, 70 secs
lola: 181254 markings, 192713 edges, 3421 markings/sec, 75 secs
lola: 197876 markings, 210527 edges, 3324 markings/sec, 80 secs
lola: 214877 markings, 229113 edges, 3400 markings/sec, 85 secs
lola: 231988 markings, 246988 edges, 3422 markings/sec, 90 secs
lola: 249085 markings, 264723 edges, 3419 markings/sec, 95 secs
lola: 265786 markings, 282897 edges, 3340 markings/sec, 100 secs
lola: 282822 markings, 301033 edges, 3407 markings/sec, 105 secs
lola: 299909 markings, 318860 edges, 3417 markings/sec, 110 secs
lola: 316414 markings, 336369 edges, 3301 markings/sec, 115 secs
lola: 333382 markings, 354936 edges, 3394 markings/sec, 120 secs
lola: 350388 markings, 373667 edges, 3401 markings/sec, 125 secs
lola: 366835 markings, 391183 edges, 3289 markings/sec, 130 secs
lola: 383232 markings, 410306 edges, 3279 markings/sec, 135 secs
lola: 400102 markings, 429786 edges, 3374 markings/sec, 140 secs
lola: 416977 markings, 448136 edges, 3375 markings/sec, 145 secs
lola: 433501 markings, 467839 edges, 3305 markings/sec, 150 secs
lola: 450106 markings, 487487 edges, 3321 markings/sec, 155 secs
lola: 466832 markings, 505994 edges, 3345 markings/sec, 160 secs
lola: 483392 markings, 523432 edges, 3312 markings/sec, 165 secs
lola: 500535 markings, 541327 edges, 3429 markings/sec, 170 secs
lola: 517413 markings, 560164 edges, 3376 markings/sec, 175 secs
lola: 534328 markings, 579065 edges, 3383 markings/sec, 180 secs
lola: 551478 markings, 596876 edges, 3430 markings/sec, 185 secs
lola: 568532 markings, 614657 edges, 3411 markings/sec, 190 secs
lola: 584915 markings, 631695 edges, 3277 markings/sec, 195 secs
lola: 600722 markings, 648218 edges, 3161 markings/sec, 200 secs
lola: 617051 markings, 665538 edges, 3266 markings/sec, 205 secs
lola: 633307 markings, 683770 edges, 3251 markings/sec, 210 secs
lola: 649455 markings, 702838 edges, 3230 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(p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16723 markings, 17809 edges, 3345 markings/sec, 0 secs
lola: 33329 markings, 35919 edges, 3321 markings/sec, 5 secs
lola: 49998 markings, 54444 edges, 3334 markings/sec, 10 secs
lola: 66579 markings, 73162 edges, 3316 markings/sec, 15 secs
lola: 83207 markings, 91585 edges, 3326 markings/sec, 20 secs
lola: 99886 markings, 110354 edges, 3336 markings/sec, 25 secs
lola: 116505 markings, 129711 edges, 3324 markings/sec, 30 secs
lola: 133090 markings, 148687 edges, 3317 markings/sec, 35 secs
lola: 149732 markings, 168180 edges, 3328 markings/sec, 40 secs
lola: 166371 markings, 186569 edges, 3328 markings/sec, 45 secs
lola: 182986 markings, 205854 edges, 3323 markings/sec, 50 secs
lola: 199545 markings, 224813 edges, 3312 markings/sec, 55 secs
lola: 216276 markings, 243373 edges, 3346 markings/sec, 60 secs
lola: 232936 markings, 262618 edges, 3332 markings/sec, 65 secs
lola: 249627 markings, 281076 edges, 3338 markings/sec, 70 secs
lola: 266223 markings, 299827 edges, 3319 markings/sec, 75 secs
lola: 282831 markings, 319275 edges, 3322 markings/sec, 80 secs
lola: 299482 markings, 338349 edges, 3330 markings/sec, 85 secs
lola: 316120 markings, 357548 edges, 3328 markings/sec, 90 secs
lola: 332695 markings, 377311 edges, 3315 markings/sec, 95 secs
lola: 349259 markings, 396590 edges, 3313 markings/sec, 100 secs
lola: 365905 markings, 415841 edges, 3329 markings/sec, 105 secs
lola: 382569 markings, 434920 edges, 3333 markings/sec, 110 secs
lola: 399211 markings, 454787 edges, 3328 markings/sec, 115 secs
lola: 415809 markings, 473930 edges, 3320 markings/sec, 120 secs
lola: 432448 markings, 492911 edges, 3328 markings/sec, 125 secs
lola: 449056 markings, 512562 edges, 3322 markings/sec, 130 secs
lola: 465602 markings, 531497 edges, 3309 markings/sec, 135 secs
lola: 482263 markings, 550278 edges, 3332 markings/sec, 140 secs
lola: 498954 markings, 569305 edges, 3338 markings/sec, 145 secs
lola: 515476 markings, 588521 edges, 3304 markings/sec, 150 secs
lola: 532146 markings, 608040 edges, 3334 markings/sec, 155 secs
lola: 548779 markings, 626642 edges, 3327 markings/sec, 160 secs
lola: 565435 markings, 645532 edges, 3331 markings/sec, 165 secs
lola: 581952 markings, 665624 edges, 3303 markings/sec, 170 secs
lola: 598548 markings, 685596 edges, 3319 markings/sec, 175 secs
lola: 615075 markings, 704954 edges, 3305 markings/sec, 180 secs
lola: 631552 markings, 725714 edges, 3295 markings/sec, 185 secs
lola: 648105 markings, 745459 edges, 3311 markings/sec, 190 secs
lola: 664736 markings, 765193 edges, 3326 markings/sec, 195 secs
lola: 681310 markings, 784645 edges, 3315 markings/sec, 200 secs
lola: 697907 markings, 804903 edges, 3319 markings/sec, 205 secs
lola: 714522 markings, 824784 edges, 3323 markings/sec, 210 secs
lola: 731150 markings, 843499 edges, 3326 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(p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 18074 markings, 18726 edges, 3615 markings/sec, 0 secs
lola: 36045 markings, 38016 edges, 3594 markings/sec, 5 secs
lola: 53944 markings, 56799 edges, 3580 markings/sec, 10 secs
lola: 71793 markings, 75479 edges, 3570 markings/sec, 15 secs
lola: 89505 markings, 95203 edges, 3542 markings/sec, 20 secs
lola: 107219 markings, 114186 edges, 3543 markings/sec, 25 secs
lola: 125050 markings, 133149 edges, 3566 markings/sec, 30 secs
lola: 142904 markings, 151819 edges, 3571 markings/sec, 35 secs
lola: 160750 markings, 170453 edges, 3569 markings/sec, 40 secs
lola: 178484 markings, 190073 edges, 3547 markings/sec, 45 secs
lola: 196185 markings, 208807 edges, 3540 markings/sec, 50 secs
lola: 213869 markings, 229128 edges, 3537 markings/sec, 55 secs
lola: 231561 markings, 247891 edges, 3538 markings/sec, 60 secs
lola: 249259 markings, 268314 edges, 3540 markings/sec, 65 secs
lola: 266967 markings, 286950 edges, 3542 markings/sec, 70 secs
lola: 284738 markings, 305421 edges, 3554 markings/sec, 75 secs
lola: 302395 markings, 324170 edges, 3531 markings/sec, 80 secs
lola: 320337 markings, 342846 edges, 3588 markings/sec, 85 secs
lola: 338172 markings, 361513 edges, 3567 markings/sec, 90 secs
lola: 355955 markings, 381647 edges, 3557 markings/sec, 95 secs
lola: 373809 markings, 400381 edges, 3571 markings/sec, 100 secs
lola: 391721 markings, 419099 edges, 3582 markings/sec, 105 secs
lola: 409723 markings, 437906 edges, 3600 markings/sec, 110 secs
lola: 427176 markings, 457336 edges, 3491 markings/sec, 115 secs
lola: 444457 markings, 475759 edges, 3456 markings/sec, 120 secs
lola: 462155 markings, 495936 edges, 3540 markings/sec, 125 secs
lola: 480776 markings, 516179 edges, 3724 markings/sec, 130 secs
lola: 499324 markings, 535574 edges, 3710 markings/sec, 135 secs
lola: 517832 markings, 555002 edges, 3702 markings/sec, 140 secs
lola: 536220 markings, 574638 edges, 3678 markings/sec, 145 secs
lola: 554768 markings, 594720 edges, 3710 markings/sec, 150 secs
lola: 573184 markings, 614826 edges, 3683 markings/sec, 155 secs
lola: 591682 markings, 634072 edges, 3700 markings/sec, 160 secs
lola: 610063 markings, 653384 edges, 3676 markings/sec, 165 secs
lola: 628046 markings, 672637 edges, 3597 markings/sec, 170 secs
lola: 646384 markings, 692512 edges, 3668 markings/sec, 175 secs
lola: 664727 markings, 713024 edges, 3669 markings/sec, 180 secs
lola: 682334 markings, 732246 edges, 3521 markings/sec, 185 secs
lola: 699886 markings, 751568 edges, 3510 markings/sec, 190 secs
lola: 717798 markings, 770373 edges, 3582 markings/sec, 195 secs
lola: 735819 markings, 789752 edges, 3604 markings/sec, 200 secs
lola: 754322 markings, 809132 edges, 3701 markings/sec, 205 secs
lola: 772583 markings, 828211 edges, 3652 markings/sec, 210 secs
lola: 790416 markings, 847636 edges, 3567 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(p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 15968 markings, 17365 edges, 3194 markings/sec, 0 secs
lola: 32057 markings, 35363 edges, 3218 markings/sec, 5 secs
lola: 47953 markings, 53269 edges, 3179 markings/sec, 10 secs
lola: 63836 markings, 71586 edges, 3177 markings/sec, 15 secs
lola: 79658 markings, 90017 edges, 3164 markings/sec, 20 secs
lola: 95637 markings, 107792 edges, 3196 markings/sec, 25 secs
lola: 111623 markings, 125828 edges, 3197 markings/sec, 30 secs
lola: 127549 markings, 144302 edges, 3185 markings/sec, 35 secs
lola: 143498 markings, 162522 edges, 3190 markings/sec, 40 secs
lola: 159523 markings, 180784 edges, 3205 markings/sec, 45 secs
lola: 175434 markings, 199305 edges, 3182 markings/sec, 50 secs
lola: 191317 markings, 217511 edges, 3177 markings/sec, 55 secs
lola: 207235 markings, 235852 edges, 3184 markings/sec, 60 secs
lola: 223158 markings, 254116 edges, 3185 markings/sec, 65 secs
lola: 239090 markings, 272574 edges, 3186 markings/sec, 70 secs
lola: 254963 markings, 291247 edges, 3175 markings/sec, 75 secs
lola: 270855 markings, 309856 edges, 3178 markings/sec, 80 secs
lola: 286726 markings, 328246 edges, 3174 markings/sec, 85 secs
lola: 302655 markings, 346854 edges, 3186 markings/sec, 90 secs
lola: 318495 markings, 365363 edges, 3168 markings/sec, 95 secs
lola: 334345 markings, 384072 edges, 3170 markings/sec, 100 secs
lola: 350150 markings, 403304 edges, 3161 markings/sec, 105 secs
lola: 366047 markings, 422282 edges, 3179 markings/sec, 110 secs
lola: 381965 markings, 441686 edges, 3184 markings/sec, 115 secs
lola: 397879 markings, 460737 edges, 3183 markings/sec, 120 secs
lola: 413844 markings, 479752 edges, 3193 markings/sec, 125 secs
lola: 429667 markings, 498342 edges, 3165 markings/sec, 130 secs
lola: 445164 markings, 516859 edges, 3099 markings/sec, 135 secs
lola: 461074 markings, 536604 edges, 3182 markings/sec, 140 secs
lola: 476971 markings, 555258 edges, 3179 markings/sec, 145 secs
lola: 492913 markings, 574323 edges, 3188 markings/sec, 150 secs
lola: 508758 markings, 593518 edges, 3169 markings/sec, 155 secs
lola: 524681 markings, 611788 edges, 3185 markings/sec, 160 secs
lola: 540561 markings, 630955 edges, 3176 markings/sec, 165 secs
lola: 556523 markings, 648857 edges, 3192 markings/sec, 170 secs
lola: 572423 markings, 667231 edges, 3180 markings/sec, 175 secs
lola: 588294 markings, 685697 edges, 3174 markings/sec, 180 secs
lola: 604172 markings, 704435 edges, 3176 markings/sec, 185 secs
lola: 620052 markings, 723893 edges, 3176 markings/sec, 190 secs
lola: 635931 markings, 742789 edges, 3176 markings/sec, 195 secs
lola: 651804 markings, 761634 edges, 3175 markings/sec, 200 secs
lola: 667654 markings, 780620 edges, 3170 markings/sec, 205 secs
lola: 683452 markings, 799356 edges, 3160 markings/sec, 210 secs
lola: 699348 markings, 818446 edges, 3179 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(p600 + p599 + p598 + p597 + p596)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 17035 markings, 17635 edges, 3407 markings/sec, 0 secs
lola: 34016 markings, 35351 edges, 3396 markings/sec, 5 secs
lola: 50991 markings, 53296 edges, 3395 markings/sec, 10 secs
lola: 67964 markings, 70939 edges, 3395 markings/sec, 15 secs
lola: 84920 markings, 88669 edges, 3391 markings/sec, 20 secs
lola: 101883 markings, 106447 edges, 3393 markings/sec, 25 secs
lola: 118839 markings, 124176 edges, 3391 markings/sec, 30 secs
lola: 135781 markings, 142047 edges, 3388 markings/sec, 35 secs
lola: 152709 markings, 160058 edges, 3386 markings/sec, 40 secs
lola: 169651 markings, 178079 edges, 3388 markings/sec, 45 secs
lola: 186591 markings, 195828 edges, 3388 markings/sec, 50 secs
lola: 203540 markings, 213940 edges, 3390 markings/sec, 55 secs
lola: 220505 markings, 231775 edges, 3393 markings/sec, 60 secs
lola: 237461 markings, 249532 edges, 3391 markings/sec, 65 secs
lola: 254354 markings, 268000 edges, 3379 markings/sec, 70 secs
lola: 271321 markings, 285960 edges, 3393 markings/sec, 75 secs
lola: 288264 markings, 303661 edges, 3389 markings/sec, 80 secs
lola: 305179 markings, 321548 edges, 3383 markings/sec, 85 secs
lola: 322093 markings, 339774 edges, 3383 markings/sec, 90 secs
lola: 339047 markings, 357445 edges, 3391 markings/sec, 95 secs
lola: 355987 markings, 375211 edges, 3388 markings/sec, 100 secs
lola: 372951 markings, 392875 edges, 3393 markings/sec, 105 secs
lola: 389900 markings, 410594 edges, 3390 markings/sec, 110 secs
lola: 406834 markings, 428758 edges, 3387 markings/sec, 115 secs
lola: 423758 markings, 446795 edges, 3385 markings/sec, 120 secs
lola: 440578 markings, 464337 edges, 3364 markings/sec, 125 secs
lola: 457457 markings, 482051 edges, 3376 markings/sec, 130 secs
lola: 474320 markings, 499893 edges, 3373 markings/sec, 135 secs
lola: 491211 markings, 517528 edges, 3378 markings/sec, 140 secs
lola: 508082 markings, 535279 edges, 3374 markings/sec, 145 secs
lola: 524978 markings, 552834 edges, 3379 markings/sec, 150 secs
lola: 541857 markings, 570473 edges, 3376 markings/sec, 155 secs
lola: 558720 markings, 588208 edges, 3373 markings/sec, 160 secs
lola: 575565 markings, 606589 edges, 3369 markings/sec, 165 secs
lola: 592439 markings, 624358 edges, 3375 markings/sec, 170 secs
lola: 609294 markings, 642533 edges, 3371 markings/sec, 175 secs
lola: 626176 markings, 660613 edges, 3376 markings/sec, 180 secs
lola: 643070 markings, 678229 edges, 3379 markings/sec, 185 secs
lola: 659969 markings, 695855 edges, 3380 markings/sec, 190 secs
lola: 676854 markings, 713508 edges, 3377 markings/sec, 195 secs
lola: 693724 markings, 731224 edges, 3374 markings/sec, 200 secs
lola: 710554 markings, 749145 edges, 3366 markings/sec, 205 secs
lola: 727429 markings, 766980 edges, 3375 markings/sec, 210 secs
lola: 744313 markings, 784808 edges, 3377 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(p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 18790 markings, 19483 edges, 3758 markings/sec, 0 secs
lola: 37467 markings, 39498 edges, 3735 markings/sec, 5 secs
lola: 56175 markings, 59187 edges, 3742 markings/sec, 10 secs
lola: 74897 markings, 78704 edges, 3744 markings/sec, 15 secs
lola: 93442 markings, 99418 edges, 3709 markings/sec, 20 secs
lola: 112061 markings, 119522 edges, 3724 markings/sec, 25 secs
lola: 130769 markings, 139103 edges, 3742 markings/sec, 30 secs
lola: 149490 markings, 158648 edges, 3744 markings/sec, 35 secs
lola: 168179 markings, 178263 edges, 3738 markings/sec, 40 secs
lola: 186736 markings, 198894 edges, 3711 markings/sec, 45 secs
lola: 205282 markings, 219325 edges, 3709 markings/sec, 50 secs
lola: 223864 markings, 239821 edges, 3716 markings/sec, 55 secs
lola: 242468 markings, 260467 edges, 3721 markings/sec, 60 secs
lola: 261074 markings, 280549 edges, 3721 markings/sec, 65 secs
lola: 279748 markings, 300298 edges, 3735 markings/sec, 70 secs
lola: 298469 markings, 320103 edges, 3744 markings/sec, 75 secs
lola: 317158 markings, 339563 edges, 3738 markings/sec, 80 secs
lola: 335887 markings, 359103 edges, 3746 markings/sec, 85 secs
lola: 354467 markings, 379978 edges, 3716 markings/sec, 90 secs
lola: 373196 markings, 399751 edges, 3746 markings/sec, 95 secs
lola: 391935 markings, 419316 edges, 3748 markings/sec, 100 secs
lola: 410653 markings, 438935 edges, 3744 markings/sec, 105 secs
lola: 429229 markings, 459625 edges, 3715 markings/sec, 110 secs
lola: 447847 markings, 479565 edges, 3724 markings/sec, 115 secs
lola: 466418 markings, 500666 edges, 3714 markings/sec, 120 secs
lola: 485091 markings, 520667 edges, 3735 markings/sec, 125 secs
lola: 503801 markings, 540340 edges, 3742 markings/sec, 130 secs
lola: 522553 markings, 559904 edges, 3750 markings/sec, 135 secs
lola: 541197 markings, 580190 edges, 3729 markings/sec, 140 secs
lola: 559789 markings, 600117 edges, 3718 markings/sec, 145 secs
lola: 578580 markings, 620398 edges, 3758 markings/sec, 150 secs
lola: 597260 markings, 639957 edges, 3736 markings/sec, 155 secs
lola: 615850 markings, 659411 edges, 3718 markings/sec, 160 secs
lola: 634329 markings, 679780 edges, 3696 markings/sec, 165 secs
lola: 652760 markings, 699362 edges, 3686 markings/sec, 170 secs
lola: 671178 markings, 720477 edges, 3684 markings/sec, 175 secs
lola: 689634 markings, 740136 edges, 3691 markings/sec, 180 secs
lola: 708236 markings, 760348 edges, 3720 markings/sec, 185 secs
lola: 726264 markings, 779742 edges, 3606 markings/sec, 190 secs
lola: 745076 markings, 799438 edges, 3762 markings/sec, 195 secs
lola: 763947 markings, 819134 edges, 3774 markings/sec, 200 secs
lola: 782781 markings, 839048 edges, 3767 markings/sec, 205 secs
lola: 801503 markings, 859691 edges, 3744 markings/sec, 210 secs
lola: 820276 markings, 880078 edges, 3755 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(p809 + p810 + p811 + p812 + p813 + p814 + p815 + p816 + p817 + p818)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16700 markings, 17920 edges, 3340 markings/sec, 0 secs
lola: 33483 markings, 36462 edges, 3357 markings/sec, 5 secs
lola: 50271 markings, 55360 edges, 3358 markings/sec, 10 secs
lola: 66909 markings, 74476 edges, 3328 markings/sec, 15 secs
lola: 83634 markings, 93113 edges, 3345 markings/sec, 20 secs
lola: 100510 markings, 112861 edges, 3375 markings/sec, 25 secs
lola: 117296 markings, 131686 edges, 3357 markings/sec, 30 secs
lola: 134132 markings, 151019 edges, 3367 markings/sec, 35 secs
lola: 151020 markings, 170595 edges, 3378 markings/sec, 40 secs
lola: 167933 markings, 189992 edges, 3383 markings/sec, 45 secs
lola: 184772 markings, 209217 edges, 3368 markings/sec, 50 secs
lola: 201591 markings, 228419 edges, 3364 markings/sec, 55 secs
lola: 218242 markings, 248320 edges, 3330 markings/sec, 60 secs
lola: 234990 markings, 267823 edges, 3350 markings/sec, 65 secs
lola: 251659 markings, 287768 edges, 3334 markings/sec, 70 secs
lola: 268358 markings, 306791 edges, 3340 markings/sec, 75 secs
lola: 285174 markings, 326118 edges, 3363 markings/sec, 80 secs
lola: 301850 markings, 345524 edges, 3335 markings/sec, 85 secs
lola: 318533 markings, 365180 edges, 3337 markings/sec, 90 secs
lola: 335266 markings, 384725 edges, 3347 markings/sec, 95 secs
lola: 352029 markings, 404583 edges, 3353 markings/sec, 100 secs
lola: 368793 markings, 425227 edges, 3353 markings/sec, 105 secs
lola: 385387 markings, 444613 edges, 3319 markings/sec, 110 secs
lola: 402183 markings, 464373 edges, 3359 markings/sec, 115 secs
lola: 418902 markings, 484023 edges, 3344 markings/sec, 120 secs
lola: 435664 markings, 503733 edges, 3352 markings/sec, 125 secs
lola: 452391 markings, 523047 edges, 3345 markings/sec, 130 secs
lola: 469162 markings, 543156 edges, 3354 markings/sec, 135 secs
lola: 486016 markings, 562883 edges, 3371 markings/sec, 140 secs
lola: 502714 markings, 582796 edges, 3340 markings/sec, 145 secs
lola: 519375 markings, 602801 edges, 3332 markings/sec, 150 secs
lola: 536049 markings, 622926 edges, 3335 markings/sec, 155 secs
lola: 552858 markings, 643000 edges, 3362 markings/sec, 160 secs
lola: 569821 markings, 662676 edges, 3393 markings/sec, 165 secs
lola: 586807 markings, 683038 edges, 3397 markings/sec, 170 secs
lola: 603579 markings, 703653 edges, 3354 markings/sec, 175 secs
lola: 620258 markings, 724110 edges, 3336 markings/sec, 180 secs
lola: 636957 markings, 744951 edges, 3340 markings/sec, 185 secs
lola: 653700 markings, 765587 edges, 3349 markings/sec, 190 secs
lola: 670372 markings, 786694 edges, 3334 markings/sec, 195 secs
lola: 687143 markings, 807141 edges, 3354 markings/sec, 200 secs
lola: 704012 markings, 827223 edges, 3374 markings/sec, 205 secs
lola: 720717 markings, 847304 edges, 3341 markings/sec, 210 secs
lola: 737536 markings, 868534 edges, 3364 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(p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 17927 markings, 18656 edges, 3585 markings/sec, 0 secs
lola: 35962 markings, 37413 edges, 3607 markings/sec, 5 secs
lola: 53990 markings, 56421 edges, 3606 markings/sec, 10 secs
lola: 72004 markings, 75327 edges, 3603 markings/sec, 15 secs
lola: 90019 markings, 94290 edges, 3603 markings/sec, 20 secs
lola: 108056 markings, 113312 edges, 3607 markings/sec, 25 secs
lola: 126061 markings, 132012 edges, 3601 markings/sec, 30 secs
lola: 144024 markings, 150683 edges, 3593 markings/sec, 35 secs
lola: 161979 markings, 169621 edges, 3591 markings/sec, 40 secs
lola: 179934 markings, 188287 edges, 3591 markings/sec, 45 secs
lola: 197891 markings, 206953 edges, 3591 markings/sec, 50 secs
lola: 215845 markings, 225909 edges, 3591 markings/sec, 55 secs
lola: 233758 markings, 244950 edges, 3583 markings/sec, 60 secs
lola: 251726 markings, 263994 edges, 3594 markings/sec, 65 secs
lola: 269733 markings, 282743 edges, 3601 markings/sec, 70 secs
lola: 287656 markings, 302086 edges, 3585 markings/sec, 75 secs
lola: 305569 markings, 321309 edges, 3583 markings/sec, 80 secs
lola: 323513 markings, 340054 edges, 3589 markings/sec, 85 secs
lola: 341474 markings, 358995 edges, 3592 markings/sec, 90 secs
lola: 359458 markings, 377844 edges, 3597 markings/sec, 95 secs
lola: 377372 markings, 396899 edges, 3583 markings/sec, 100 secs
lola: 395344 markings, 416073 edges, 3594 markings/sec, 105 secs
lola: 413295 markings, 434909 edges, 3590 markings/sec, 110 secs
lola: 431205 markings, 453894 edges, 3582 markings/sec, 115 secs
lola: 449334 markings, 472745 edges, 3626 markings/sec, 120 secs
lola: 467509 markings, 491684 edges, 3635 markings/sec, 125 secs
lola: 485693 markings, 511161 edges, 3637 markings/sec, 130 secs
lola: 503768 markings, 530707 edges, 3615 markings/sec, 135 secs
lola: 521889 markings, 550128 edges, 3624 markings/sec, 140 secs
lola: 540046 markings, 569067 edges, 3631 markings/sec, 145 secs
lola: 558156 markings, 588994 edges, 3622 markings/sec, 150 secs
lola: 575763 markings, 607946 edges, 3521 markings/sec, 155 secs
lola: 593904 markings, 627057 edges, 3628 markings/sec, 160 secs
lola: 612064 markings, 646164 edges, 3632 markings/sec, 165 secs
lola: 630151 markings, 665186 edges, 3617 markings/sec, 170 secs
lola: 648258 markings, 684543 edges, 3621 markings/sec, 175 secs
lola: 666400 markings, 703950 edges, 3628 markings/sec, 180 secs
lola: 684476 markings, 723331 edges, 3615 markings/sec, 185 secs
lola: 702559 markings, 742168 edges, 3617 markings/sec, 190 secs
lola: 720432 markings, 761279 edges, 3575 markings/sec, 195 secs
lola: 737760 markings, 780360 edges, 3466 markings/sec, 200 secs
lola: 755682 markings, 800187 edges, 3584 markings/sec, 205 secs
lola: 773669 markings, 819992 edges, 3597 markings/sec, 210 secs
lola: 791523 markings, 839297 edges, 3571 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(p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 16570 markings, 17086 edges, 3314 markings/sec, 0 secs
lola: 33802 markings, 35538 edges, 3446 markings/sec, 5 secs
lola: 50902 markings, 54376 edges, 3420 markings/sec, 10 secs
lola: 68054 markings, 73166 edges, 3430 markings/sec, 15 secs
lola: 85223 markings, 91794 edges, 3434 markings/sec, 20 secs
lola: 102354 markings, 110820 edges, 3426 markings/sec, 25 secs
lola: 119411 markings, 130109 edges, 3411 markings/sec, 30 secs
lola: 136541 markings, 149456 edges, 3426 markings/sec, 35 secs
lola: 153715 markings, 168334 edges, 3435 markings/sec, 40 secs
lola: 170850 markings, 187486 edges, 3427 markings/sec, 45 secs
lola: 187916 markings, 206757 edges, 3413 markings/sec, 50 secs
lola: 204867 markings, 226631 edges, 3390 markings/sec, 55 secs
lola: 221871 markings, 246223 edges, 3401 markings/sec, 60 secs
lola: 238971 markings, 265172 edges, 3420 markings/sec, 65 secs
lola: 256214 markings, 284056 edges, 3449 markings/sec, 70 secs
lola: 273199 markings, 304032 edges, 3397 markings/sec, 75 secs
lola: 290209 markings, 323736 edges, 3402 markings/sec, 80 secs
lola: 307323 markings, 342914 edges, 3423 markings/sec, 85 secs
lola: 324309 markings, 362741 edges, 3397 markings/sec, 90 secs
lola: 341354 markings, 382209 edges, 3409 markings/sec, 95 secs
lola: 358335 markings, 401835 edges, 3396 markings/sec, 100 secs
lola: 375400 markings, 421360 edges, 3413 markings/sec, 105 secs
lola: 392399 markings, 441267 edges, 3400 markings/sec, 110 secs
lola: 409377 markings, 461206 edges, 3396 markings/sec, 115 secs
lola: 426466 markings, 480558 edges, 3418 markings/sec, 120 secs
lola: 443489 markings, 500606 edges, 3405 markings/sec, 125 secs
lola: 460475 markings, 520543 edges, 3397 markings/sec, 130 secs
lola: 477441 markings, 540482 edges, 3393 markings/sec, 135 secs
lola: 494422 markings, 560166 edges, 3396 markings/sec, 140 secs
lola: 511340 markings, 581036 edges, 3384 markings/sec, 145 secs
lola: 528430 markings, 600346 edges, 3418 markings/sec, 150 secs
lola: 545494 markings, 620131 edges, 3413 markings/sec, 155 secs
lola: 562610 markings, 639678 edges, 3423 markings/sec, 160 secs
lola: 579689 markings, 659279 edges, 3416 markings/sec, 165 secs
lola: 596758 markings, 678727 edges, 3414 markings/sec, 170 secs
lola: 613774 markings, 698635 edges, 3403 markings/sec, 175 secs
lola: 630810 markings, 718503 edges, 3407 markings/sec, 180 secs
lola: 647660 markings, 738533 edges, 3370 markings/sec, 185 secs
lola: 664401 markings, 758249 edges, 3348 markings/sec, 190 secs
lola: 681193 markings, 777997 edges, 3358 markings/sec, 195 secs
lola: 697923 markings, 797440 edges, 3346 markings/sec, 200 secs
lola: 714651 markings, 816940 edges, 3346 markings/sec, 205 secs
lola: 731334 markings, 836558 edges, 3337 markings/sec, 210 secs
lola: 748285 markings, 855474 edges, 3390 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-S04J04T10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494635176592

--------------------
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-S04J04T10"
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-S04J04T10.tgz
mv PolyORBLF-COL-S04J04T10 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-S04J04T10, 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-149440869800335"
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 ;