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 SafeBus-COL-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963200191
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494804169665


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SafeBus-COL-10 @ 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: 1977/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 326 places, 1651 transitions, 271 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1013 transition conflict sets
lola: TASK
lola: reading formula from SafeBus-COL-10-UpperBounds.task
lola: MAX(p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315) : MAX(p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272) : MAX(p142) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p51 + p50 + p48 + p47 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p46 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p45 + p40 + p41 + p42 + p43 + p44 + p39 + p29 + p49 + p59 + p69 + p79 + p89 + p99) : MAX(p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p51 + p50 + p48 + p47 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p46 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p45 + p40 + p41 + p42 + p43 + p44 + p39 + p29 + p49 + p59 + p69 + p79 + p89 + p99) : MAX(p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9) : MAX(p282 + p281 + p280 + p279 + p278 + p277 + p276 + p275 + p274 + p273) : MAX(p152 + p151 + p150 + p149 + p148 + p147 + p146 + p145 + p144 + p143) : MAX(p284) : MAX(p304 + p303 + p302 + p301 + p300 + p299 + p298 + p297 + p296 + p295) : MAX(p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10) : MAX(p141) : MAX(p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129)
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(p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 16498 markings, 20292 edges, 3300 markings/sec, 0 secs
lola: 33366 markings, 41894 edges, 3374 markings/sec, 5 secs
lola: 50693 markings, 65726 edges, 3465 markings/sec, 10 secs
lola: 69624 markings, 90655 edges, 3786 markings/sec, 15 secs
lola: 90066 markings, 120808 edges, 4088 markings/sec, 20 secs
lola: 111093 markings, 150989 edges, 4205 markings/sec, 25 secs
lola: 131729 markings, 180597 edges, 4127 markings/sec, 30 secs
lola: 152972 markings, 212183 edges, 4249 markings/sec, 35 secs
lola: 171390 markings, 239225 edges, 3684 markings/sec, 40 secs
lola: 191653 markings, 270530 edges, 4053 markings/sec, 45 secs
lola: 211418 markings, 301525 edges, 3953 markings/sec, 50 secs
lola: 232894 markings, 335158 edges, 4295 markings/sec, 55 secs
lola: 254335 markings, 368683 edges, 4288 markings/sec, 60 secs
lola: 277766 markings, 406660 edges, 4686 markings/sec, 65 secs
lola: 301993 markings, 446217 edges, 4845 markings/sec, 70 secs
lola: 322553 markings, 474552 edges, 4112 markings/sec, 75 secs
lola: 340524 markings, 499760 edges, 3594 markings/sec, 80 secs
lola: 362013 markings, 535230 edges, 4298 markings/sec, 85 secs
lola: 384037 markings, 572111 edges, 4405 markings/sec, 90 secs
lola: 406229 markings, 609280 edges, 4438 markings/sec, 95 secs
lola: 428066 markings, 646110 edges, 4367 markings/sec, 100 secs
lola: 450115 markings, 683954 edges, 4410 markings/sec, 105 secs
lola: 473010 markings, 722354 edges, 4579 markings/sec, 110 secs
lola: 492747 markings, 749269 edges, 3947 markings/sec, 115 secs
lola: 516236 markings, 788456 edges, 4698 markings/sec, 120 secs
lola: 540858 markings, 831661 edges, 4924 markings/sec, 125 secs
lola: 563929 markings, 871417 edges, 4614 markings/sec, 130 secs
lola: 585859 markings, 909017 edges, 4386 markings/sec, 135 secs
lola: 608325 markings, 947208 edges, 4493 markings/sec, 140 secs
lola: 628791 markings, 979786 edges, 4093 markings/sec, 145 secs
lola: 651663 markings, 1017392 edges, 4574 markings/sec, 150 secs
lola: 674674 markings, 1054492 edges, 4602 markings/sec, 155 secs
lola: 699300 markings, 1095218 edges, 4925 markings/sec, 160 secs
lola: 724308 markings, 1139375 edges, 5002 markings/sec, 165 secs
lola: 747351 markings, 1176997 edges, 4609 markings/sec, 170 secs
lola: 771364 markings, 1218023 edges, 4803 markings/sec, 175 secs
lola: 798174 markings, 1266426 edges, 5362 markings/sec, 180 secs
lola: 823883 markings, 1310717 edges, 5142 markings/sec, 185 secs
lola: 848946 markings, 1353493 edges, 5013 markings/sec, 190 secs
lola: 874961 markings, 1398440 edges, 5203 markings/sec, 195 secs
lola: 898977 markings, 1439198 edges, 4803 markings/sec, 200 secs
lola: 924887 markings, 1484694 edges, 5182 markings/sec, 205 secs
lola: 949875 markings, 1527656 edges, 4998 markings/sec, 210 secs
lola: 977704 markings, 1577746 edges, 5566 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(p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 17460 markings, 19347 edges, 3492 markings/sec, 0 secs
lola: 35308 markings, 39777 edges, 3570 markings/sec, 5 secs
lola: 52344 markings, 59295 edges, 3407 markings/sec, 10 secs
lola: 69459 markings, 78845 edges, 3423 markings/sec, 15 secs
lola: 86610 markings, 98439 edges, 3430 markings/sec, 20 secs
lola: 103861 markings, 118606 edges, 3450 markings/sec, 25 secs
lola: 122117 markings, 139893 edges, 3651 markings/sec, 30 secs
lola: 140841 markings, 161712 edges, 3745 markings/sec, 35 secs
lola: 158234 markings, 182031 edges, 3479 markings/sec, 40 secs
lola: 175527 markings, 202249 edges, 3459 markings/sec, 45 secs
lola: 192624 markings, 221999 edges, 3419 markings/sec, 50 secs
lola: 211265 markings, 242654 edges, 3728 markings/sec, 55 secs
lola: 230683 markings, 264990 edges, 3884 markings/sec, 60 secs
lola: 250546 markings, 288423 edges, 3973 markings/sec, 65 secs
lola: 269619 markings, 310782 edges, 3815 markings/sec, 70 secs
lola: 287709 markings, 331770 edges, 3618 markings/sec, 75 secs
lola: 304344 markings, 350891 edges, 3327 markings/sec, 80 secs
lola: 320992 markings, 370201 edges, 3330 markings/sec, 85 secs
lola: 337759 markings, 389815 edges, 3353 markings/sec, 90 secs
lola: 355770 markings, 410978 edges, 3602 markings/sec, 95 secs
lola: 373355 markings, 431672 edges, 3517 markings/sec, 100 secs
lola: 390732 markings, 452093 edges, 3475 markings/sec, 105 secs
lola: 408232 markings, 472852 edges, 3500 markings/sec, 110 secs
lola: 425831 markings, 493682 edges, 3520 markings/sec, 115 secs
lola: 444211 markings, 515350 edges, 3676 markings/sec, 120 secs
lola: 462538 markings, 537102 edges, 3665 markings/sec, 125 secs
lola: 481434 markings, 559407 edges, 3779 markings/sec, 130 secs
lola: 500167 markings, 581734 edges, 3747 markings/sec, 135 secs
lola: 518734 markings, 604038 edges, 3713 markings/sec, 140 secs
lola: 537627 markings, 626460 edges, 3779 markings/sec, 145 secs
lola: 556298 markings, 648653 edges, 3734 markings/sec, 150 secs
lola: 575130 markings, 671370 edges, 3766 markings/sec, 155 secs
lola: 593680 markings, 693762 edges, 3710 markings/sec, 160 secs
lola: 611680 markings, 715380 edges, 3600 markings/sec, 165 secs
lola: 630075 markings, 737640 edges, 3679 markings/sec, 170 secs
lola: 648451 markings, 759756 edges, 3675 markings/sec, 175 secs
lola: 666933 markings, 782045 edges, 3696 markings/sec, 180 secs
lola: 685520 markings, 804534 edges, 3717 markings/sec, 185 secs
lola: 703460 markings, 826066 edges, 3588 markings/sec, 190 secs
lola: 721699 markings, 848053 edges, 3648 markings/sec, 195 secs
lola: 740231 markings, 870292 edges, 3706 markings/sec, 200 secs
lola: 757938 markings, 891489 edges, 3541 markings/sec, 205 secs
lola: 776534 markings, 913773 edges, 3719 markings/sec, 210 secs
lola: 795019 markings, 935880 edges, 3697 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(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 17335 markings, 22296 edges, 3467 markings/sec, 0 secs
lola: 35553 markings, 46514 edges, 3644 markings/sec, 5 secs
lola: 54940 markings, 73970 edges, 3877 markings/sec, 10 secs
lola: 74900 markings, 103021 edges, 3992 markings/sec, 15 secs
lola: 96411 markings, 136622 edges, 4302 markings/sec, 20 secs
lola: 116269 markings, 164122 edges, 3972 markings/sec, 25 secs
lola: 135183 markings, 189650 edges, 3783 markings/sec, 30 secs
lola: 157002 markings, 223612 edges, 4364 markings/sec, 35 secs
lola: 177671 markings, 254856 edges, 4134 markings/sec, 40 secs
lola: 199955 markings, 290026 edges, 4457 markings/sec, 45 secs
lola: 217804 markings, 311761 edges, 3570 markings/sec, 50 secs
lola: 239361 markings, 345695 edges, 4311 markings/sec, 55 secs
lola: 261140 markings, 379649 edges, 4356 markings/sec, 60 secs
lola: 282909 markings, 414065 edges, 4354 markings/sec, 65 secs
lola: 304033 markings, 447494 edges, 4225 markings/sec, 70 secs
lola: 323003 markings, 473307 edges, 3794 markings/sec, 75 secs
lola: 342591 markings, 501572 edges, 3918 markings/sec, 80 secs
lola: 363920 markings, 534638 edges, 4266 markings/sec, 85 secs
lola: 387277 markings, 572364 edges, 4671 markings/sec, 90 secs
lola: 409907 markings, 608622 edges, 4526 markings/sec, 95 secs
lola: 429209 markings, 636690 edges, 3860 markings/sec, 100 secs
lola: 451740 markings, 672977 edges, 4506 markings/sec, 105 secs
lola: 473952 markings, 709646 edges, 4442 markings/sec, 110 secs
lola: 496859 markings, 748287 edges, 4581 markings/sec, 115 secs
lola: 519689 markings, 787053 edges, 4566 markings/sec, 120 secs
lola: 541546 markings, 821441 edges, 4371 markings/sec, 125 secs
lola: 564301 markings, 859353 edges, 4551 markings/sec, 130 secs
lola: 587623 markings, 899940 edges, 4664 markings/sec, 135 secs
lola: 611892 markings, 942454 edges, 4854 markings/sec, 140 secs
lola: 634748 markings, 981343 edges, 4571 markings/sec, 145 secs
lola: 657056 markings, 1018663 edges, 4462 markings/sec, 150 secs
lola: 679841 markings, 1058096 edges, 4557 markings/sec, 155 secs
lola: 702670 markings, 1098361 edges, 4566 markings/sec, 160 secs
lola: 726086 markings, 1138732 edges, 4683 markings/sec, 165 secs
lola: 750155 markings, 1180840 edges, 4814 markings/sec, 170 secs
lola: 773387 markings, 1221171 edges, 4646 markings/sec, 175 secs
lola: 796499 markings, 1260872 edges, 4622 markings/sec, 180 secs
lola: 819182 markings, 1299988 edges, 4537 markings/sec, 185 secs
lola: 838985 markings, 1330752 edges, 3961 markings/sec, 190 secs
lola: 862667 markings, 1371619 edges, 4736 markings/sec, 195 secs
lola: 887563 markings, 1415717 edges, 4979 markings/sec, 200 secs
lola: 911941 markings, 1458454 edges, 4876 markings/sec, 205 secs
lola: 937117 markings, 1504015 edges, 5035 markings/sec, 210 secs
lola: 962500 markings, 1549434 edges, 5077 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(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p58 + p57 + p56 + p55 + p54 + p53 + p52 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 16740 markings, 20564 edges, 3348 markings/sec, 0 secs
lola: 34026 markings, 42817 edges, 3457 markings/sec, 5 secs
lola: 52475 markings, 67765 edges, 3690 markings/sec, 10 secs
lola: 71198 markings, 93011 edges, 3745 markings/sec, 15 secs
lola: 90617 markings, 121681 edges, 3884 markings/sec, 20 secs
lola: 110884 markings, 150698 edges, 4053 markings/sec, 25 secs
lola: 130759 markings, 179102 edges, 3975 markings/sec, 30 secs
lola: 151715 markings, 210416 edges, 4191 markings/sec, 35 secs
lola: 171483 markings, 239357 edges, 3954 markings/sec, 40 secs
lola: 193150 markings, 272865 edges, 4333 markings/sec, 45 secs
lola: 214502 markings, 306281 edges, 4270 markings/sec, 50 secs
lola: 236536 markings, 341048 edges, 4407 markings/sec, 55 secs
lola: 258447 markings, 375449 edges, 4382 markings/sec, 60 secs
lola: 280847 markings, 411603 edges, 4480 markings/sec, 65 secs
lola: 304895 markings, 451005 edges, 4810 markings/sec, 70 secs
lola: 323885 markings, 476293 edges, 3798 markings/sec, 75 secs
lola: 343566 markings, 504753 edges, 3936 markings/sec, 80 secs
lola: 367185 markings, 543955 edges, 4724 markings/sec, 85 secs
lola: 390490 markings, 582691 edges, 4661 markings/sec, 90 secs
lola: 414141 markings, 622705 edges, 4730 markings/sec, 95 secs
lola: 437079 markings, 661222 edges, 4588 markings/sec, 100 secs
lola: 461423 markings, 703324 edges, 4869 markings/sec, 105 secs
lola: 483091 markings, 736625 edges, 4334 markings/sec, 110 secs
lola: 503284 markings, 766088 edges, 4039 markings/sec, 115 secs
lola: 529566 markings, 812045 edges, 5256 markings/sec, 120 secs
lola: 555174 markings, 856771 edges, 5122 markings/sec, 125 secs
lola: 579012 markings, 896770 edges, 4768 markings/sec, 130 secs
lola: 604584 markings, 942125 edges, 5114 markings/sec, 135 secs
lola: 626928 markings, 976857 edges, 4469 markings/sec, 140 secs
lola: 650518 markings, 1015339 edges, 4718 markings/sec, 145 secs
lola: 673890 markings, 1053028 edges, 4674 markings/sec, 150 secs
lola: 698649 markings, 1094071 edges, 4952 markings/sec, 155 secs
lola: 723477 markings, 1137890 edges, 4966 markings/sec, 160 secs
lola: 746795 markings, 1176378 edges, 4664 markings/sec, 165 secs
lola: 770475 markings, 1216567 edges, 4736 markings/sec, 170 secs
lola: 797039 markings, 1264451 edges, 5313 markings/sec, 175 secs
lola: 822939 markings, 1309332 edges, 5180 markings/sec, 180 secs
lola: 846993 markings, 1349936 edges, 4811 markings/sec, 185 secs
lola: 873028 markings, 1395342 edges, 5207 markings/sec, 190 secs
lola: 897132 markings, 1436118 edges, 4821 markings/sec, 195 secs
lola: 920792 markings, 1477651 edges, 4732 markings/sec, 200 secs
lola: 943744 markings, 1516535 edges, 4590 markings/sec, 205 secs
lola: 969716 markings, 1562983 edges, 5194 markings/sec, 210 secs
lola: 995008 markings, 1608731 edges, 5058 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(p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 18208 markings, 21948 edges, 3642 markings/sec, 0 secs
lola: 36448 markings, 44742 edges, 3648 markings/sec, 5 secs
lola: 54525 markings, 68745 edges, 3615 markings/sec, 10 secs
lola: 74269 markings, 95820 edges, 3949 markings/sec, 15 secs
lola: 94834 markings, 127568 edges, 4113 markings/sec, 20 secs
lola: 115285 markings, 157351 edges, 4090 markings/sec, 25 secs
lola: 135160 markings, 185361 edges, 3975 markings/sec, 30 secs
lola: 156858 markings, 216689 edges, 4340 markings/sec, 35 secs
lola: 177966 markings, 248461 edges, 4222 markings/sec, 40 secs
lola: 201247 markings, 285424 edges, 4656 markings/sec, 45 secs
lola: 222729 markings, 316008 edges, 4296 markings/sec, 50 secs
lola: 243907 markings, 345983 edges, 4236 markings/sec, 55 secs
lola: 265779 markings, 378932 edges, 4374 markings/sec, 60 secs
lola: 288094 markings, 414670 edges, 4463 markings/sec, 65 secs
lola: 310702 markings, 451311 edges, 4522 markings/sec, 70 secs
lola: 330000 markings, 479558 edges, 3860 markings/sec, 75 secs
lola: 351033 markings, 513327 edges, 4207 markings/sec, 80 secs
lola: 375642 markings, 554676 edges, 4922 markings/sec, 85 secs
lola: 398523 markings, 591973 edges, 4576 markings/sec, 90 secs
lola: 421586 markings, 629214 edges, 4613 markings/sec, 95 secs
lola: 444568 markings, 666963 edges, 4596 markings/sec, 100 secs
lola: 465938 markings, 700642 edges, 4274 markings/sec, 105 secs
lola: 489375 markings, 739261 edges, 4687 markings/sec, 110 secs
lola: 513941 markings, 781518 edges, 4913 markings/sec, 115 secs
lola: 535273 markings, 813599 edges, 4266 markings/sec, 120 secs
lola: 557903 markings, 850659 edges, 4526 markings/sec, 125 secs
lola: 580590 markings, 889247 edges, 4537 markings/sec, 130 secs
lola: 603487 markings, 925364 edges, 4579 markings/sec, 135 secs
lola: 628882 markings, 969524 edges, 5079 markings/sec, 140 secs
lola: 653555 markings, 1008264 edges, 4935 markings/sec, 145 secs
lola: 679411 markings, 1051490 edges, 5171 markings/sec, 150 secs
lola: 703928 markings, 1093717 edges, 4903 markings/sec, 155 secs
lola: 730267 markings, 1139683 edges, 5268 markings/sec, 160 secs
lola: 754188 markings, 1180129 edges, 4784 markings/sec, 165 secs
lola: 778814 markings, 1222103 edges, 4925 markings/sec, 170 secs
lola: 806456 markings, 1270418 edges, 5528 markings/sec, 175 secs
lola: 834037 markings, 1319808 edges, 5516 markings/sec, 180 secs
lola: 860858 markings, 1367287 edges, 5364 markings/sec, 185 secs
lola: 886250 markings, 1412845 edges, 5078 markings/sec, 190 secs
lola: 912352 markings, 1459446 edges, 5220 markings/sec, 195 secs
lola: 940022 markings, 1511090 edges, 5534 markings/sec, 200 secs
lola: 967166 markings, 1559470 edges, 5429 markings/sec, 205 secs
lola: 994350 markings, 1608842 edges, 5437 markings/sec, 210 secs
lola: 1018668 markings, 1649559 edges, 4864 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(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p58 + p57 + p56 + p55 + p54 + p53 + p52 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 17716 markings, 21695 edges, 3543 markings/sec, 0 secs
lola: 36281 markings, 45808 edges, 3713 markings/sec, 5 secs
lola: 55194 markings, 71146 edges, 3783 markings/sec, 10 secs
lola: 75589 markings, 99592 edges, 4079 markings/sec, 15 secs
lola: 94054 markings, 126289 edges, 3693 markings/sec, 20 secs
lola: 114587 markings, 155906 edges, 4107 markings/sec, 25 secs
lola: 135978 markings, 187146 edges, 4278 markings/sec, 30 secs
lola: 157742 markings, 218732 edges, 4353 markings/sec, 35 secs
lola: 177068 markings, 248101 edges, 3865 markings/sec, 40 secs
lola: 196873 markings, 278493 edges, 3961 markings/sec, 45 secs
lola: 218743 markings, 313085 edges, 4374 markings/sec, 50 secs
lola: 238906 markings, 344725 edges, 4033 markings/sec, 55 secs
lola: 260065 markings, 378061 edges, 4232 markings/sec, 60 secs
lola: 282642 markings, 414621 edges, 4515 markings/sec, 65 secs
lola: 305804 markings, 452369 edges, 4632 markings/sec, 70 secs
lola: 324302 markings, 476838 edges, 3700 markings/sec, 75 secs
lola: 344831 markings, 506768 edges, 4106 markings/sec, 80 secs
lola: 369075 markings, 547061 edges, 4849 markings/sec, 85 secs
lola: 393309 markings, 587391 edges, 4847 markings/sec, 90 secs
lola: 417076 markings, 627727 edges, 4753 markings/sec, 95 secs
lola: 441582 markings, 669224 edges, 4901 markings/sec, 100 secs
lola: 466273 markings, 710664 edges, 4938 markings/sec, 105 secs
lola: 488669 markings, 743766 edges, 4479 markings/sec, 110 secs
lola: 511393 markings, 780231 edges, 4545 markings/sec, 115 secs
lola: 537815 markings, 826178 edges, 5284 markings/sec, 120 secs
lola: 563749 markings, 871133 edges, 5187 markings/sec, 125 secs
lola: 587639 markings, 912088 edges, 4778 markings/sec, 130 secs
lola: 612027 markings, 952296 edges, 4878 markings/sec, 135 secs
lola: 632701 markings, 985635 edges, 4135 markings/sec, 140 secs
lola: 655583 markings, 1024229 edges, 4576 markings/sec, 145 secs
lola: 676606 markings, 1057920 edges, 4205 markings/sec, 150 secs
lola: 699983 markings, 1096379 edges, 4675 markings/sec, 155 secs
lola: 724033 markings, 1138876 edges, 4810 markings/sec, 160 secs
lola: 746288 markings, 1175482 edges, 4451 markings/sec, 165 secs
lola: 768857 markings, 1214005 edges, 4514 markings/sec, 170 secs
lola: 793691 markings, 1258374 edges, 4967 markings/sec, 175 secs
lola: 819414 markings, 1303626 edges, 5145 markings/sec, 180 secs
lola: 843042 markings, 1342662 edges, 4726 markings/sec, 185 secs
lola: 867534 markings, 1385793 edges, 4898 markings/sec, 190 secs
lola: 891039 markings, 1425067 edges, 4701 markings/sec, 195 secs
lola: 916966 markings, 1470964 edges, 5185 markings/sec, 200 secs
lola: 941501 markings, 1512932 edges, 4907 markings/sec, 205 secs
lola: 967972 markings, 1559687 edges, 5294 markings/sec, 210 secs
lola: 995736 markings, 1609696 edges, 5553 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 18722 markings, 22584 edges, 3744 markings/sec, 0 secs
lola: 37485 markings, 46182 edges, 3753 markings/sec, 5 secs
lola: 57221 markings, 72388 edges, 3947 markings/sec, 10 secs
lola: 77516 markings, 100917 edges, 4059 markings/sec, 15 secs
lola: 98307 markings, 132351 edges, 4158 markings/sec, 20 secs
lola: 118237 markings, 161099 edges, 3986 markings/sec, 25 secs
lola: 138017 markings, 189226 edges, 3956 markings/sec, 30 secs
lola: 158964 markings, 219678 edges, 4189 markings/sec, 35 secs
lola: 179574 markings, 251145 edges, 4122 markings/sec, 40 secs
lola: 201819 markings, 286240 edges, 4449 markings/sec, 45 secs
lola: 222422 markings, 315639 edges, 4121 markings/sec, 50 secs
lola: 242232 markings, 343522 edges, 3962 markings/sec, 55 secs
lola: 263060 markings, 374881 edges, 4166 markings/sec, 60 secs
lola: 284394 markings, 408605 edges, 4267 markings/sec, 65 secs
lola: 306346 markings, 444120 edges, 4390 markings/sec, 70 secs
lola: 326685 markings, 475049 edges, 4068 markings/sec, 75 secs
lola: 347411 markings, 507175 edges, 4145 markings/sec, 80 secs
lola: 371084 markings, 546967 edges, 4735 markings/sec, 85 secs
lola: 394021 markings, 584476 edges, 4587 markings/sec, 90 secs
lola: 416474 markings, 621017 edges, 4491 markings/sec, 95 secs
lola: 440144 markings, 659528 edges, 4734 markings/sec, 100 secs
lola: 462551 markings, 695644 edges, 4481 markings/sec, 105 secs
lola: 485174 markings, 732595 edges, 4525 markings/sec, 110 secs
lola: 510271 markings, 775430 edges, 5019 markings/sec, 115 secs
lola: 531859 markings, 808365 edges, 4318 markings/sec, 120 secs
lola: 554932 markings, 845567 edges, 4615 markings/sec, 125 secs
lola: 579118 markings, 886830 edges, 4837 markings/sec, 130 secs
lola: 601748 markings, 922631 edges, 4526 markings/sec, 135 secs
lola: 626156 markings, 965121 edges, 4882 markings/sec, 140 secs
lola: 649336 markings, 1001629 edges, 4636 markings/sec, 145 secs
lola: 673512 markings, 1042058 edges, 4835 markings/sec, 150 secs
lola: 698082 markings, 1084215 edges, 4914 markings/sec, 155 secs
lola: 721778 markings, 1124528 edges, 4739 markings/sec, 160 secs
lola: 746159 markings, 1167402 edges, 4876 markings/sec, 165 secs
lola: 768880 markings, 1204484 edges, 4544 markings/sec, 170 secs
lola: 792026 markings, 1245438 edges, 4629 markings/sec, 175 secs
lola: 816120 markings, 1288229 edges, 4819 markings/sec, 180 secs
lola: 839837 markings, 1329598 edges, 4743 markings/sec, 185 secs
lola: 863795 markings, 1372249 edges, 4792 markings/sec, 190 secs
lola: 886591 markings, 1413458 edges, 4559 markings/sec, 195 secs
lola: 911032 markings, 1457040 edges, 4888 markings/sec, 200 secs
lola: 937647 markings, 1506507 edges, 5323 markings/sec, 205 secs
lola: 962805 markings, 1552456 edges, 5032 markings/sec, 210 secs
lola: 987550 markings, 1596992 edges, 4949 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 19157 markings, 38891 edges, 3831 markings/sec, 0 secs
lola: 38974 markings, 85789 edges, 3963 markings/sec, 5 secs
lola: 59067 markings, 137812 edges, 4019 markings/sec, 10 secs
lola: 79584 markings, 190127 edges, 4103 markings/sec, 15 secs
lola: 100247 markings, 243143 edges, 4133 markings/sec, 20 secs
lola: 120085 markings, 298101 edges, 3968 markings/sec, 25 secs
lola: 140185 markings, 351450 edges, 4020 markings/sec, 30 secs
lola: 159758 markings, 400182 edges, 3915 markings/sec, 35 secs
lola: 179545 markings, 454126 edges, 3957 markings/sec, 40 secs
lola: 199885 markings, 511118 edges, 4068 markings/sec, 45 secs
lola: 220140 markings, 571326 edges, 4051 markings/sec, 50 secs
lola: 240585 markings, 630157 edges, 4089 markings/sec, 55 secs
lola: 260262 markings, 688881 edges, 3935 markings/sec, 60 secs
lola: 280044 markings, 748617 edges, 3956 markings/sec, 65 secs
lola: 299630 markings, 805620 edges, 3917 markings/sec, 70 secs
lola: 319146 markings, 863895 edges, 3903 markings/sec, 75 secs
lola: 338936 markings, 921097 edges, 3958 markings/sec, 80 secs
lola: 358870 markings, 980376 edges, 3987 markings/sec, 85 secs
lola: 378336 markings, 1036181 edges, 3893 markings/sec, 90 secs
lola: 398717 markings, 1095956 edges, 4076 markings/sec, 95 secs
lola: 418917 markings, 1156064 edges, 4040 markings/sec, 100 secs
lola: 439508 markings, 1219848 edges, 4118 markings/sec, 105 secs
lola: 459881 markings, 1281384 edges, 4075 markings/sec, 110 secs
lola: 479601 markings, 1340693 edges, 3944 markings/sec, 115 secs
lola: 499239 markings, 1399327 edges, 3928 markings/sec, 120 secs
lola: 519590 markings, 1460774 edges, 4070 markings/sec, 125 secs
lola: 539368 markings, 1523106 edges, 3956 markings/sec, 130 secs
lola: 558550 markings, 1582603 edges, 3836 markings/sec, 135 secs
lola: 577613 markings, 1641194 edges, 3813 markings/sec, 140 secs
lola: 597241 markings, 1701091 edges, 3926 markings/sec, 145 secs
lola: 618136 markings, 1764045 edges, 4179 markings/sec, 150 secs
lola: 638540 markings, 1828195 edges, 4081 markings/sec, 155 secs
lola: 658862 markings, 1889803 edges, 4064 markings/sec, 160 secs
lola: 679069 markings, 1951566 edges, 4041 markings/sec, 165 secs
lola: 698378 markings, 2010777 edges, 3862 markings/sec, 170 secs
lola: 717885 markings, 2069651 edges, 3901 markings/sec, 175 secs
lola: 737769 markings, 2130817 edges, 3977 markings/sec, 180 secs
lola: 758336 markings, 2194498 edges, 4113 markings/sec, 185 secs
lola: 778654 markings, 2258266 edges, 4064 markings/sec, 190 secs
lola: 797750 markings, 2318030 edges, 3819 markings/sec, 195 secs
lola: 816375 markings, 2373010 edges, 3725 markings/sec, 200 secs
lola: 836983 markings, 2437864 edges, 4122 markings/sec, 205 secs
lola: 857492 markings, 2501127 edges, 4102 markings/sec, 210 secs
lola: 878544 markings, 2567337 edges, 4210 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 21162 markings, 43422 edges, 4232 markings/sec, 0 secs
lola: 42215 markings, 94264 edges, 4211 markings/sec, 5 secs
lola: 62803 markings, 147436 edges, 4118 markings/sec, 10 secs
lola: 83762 markings, 200722 edges, 4192 markings/sec, 15 secs
lola: 105238 markings, 257227 edges, 4295 markings/sec, 20 secs
lola: 126641 markings, 315413 edges, 4281 markings/sec, 25 secs
lola: 148207 markings, 373833 edges, 4313 markings/sec, 30 secs
lola: 168707 markings, 424943 edges, 4100 markings/sec, 35 secs
lola: 189149 markings, 479830 edges, 4088 markings/sec, 40 secs
lola: 209975 markings, 541895 edges, 4165 markings/sec, 45 secs
lola: 230633 markings, 601866 edges, 4132 markings/sec, 50 secs
lola: 251431 markings, 662393 edges, 4160 markings/sec, 55 secs
lola: 271304 markings, 722957 edges, 3975 markings/sec, 60 secs
lola: 290325 markings, 778890 edges, 3804 markings/sec, 65 secs
lola: 309561 markings, 835971 edges, 3847 markings/sec, 70 secs
lola: 328559 markings, 891491 edges, 3800 markings/sec, 75 secs
lola: 348168 markings, 949098 edges, 3922 markings/sec, 80 secs
lola: 367851 markings, 1006759 edges, 3937 markings/sec, 85 secs
lola: 387696 markings, 1063848 edges, 3969 markings/sec, 90 secs
lola: 408074 markings, 1123051 edges, 4076 markings/sec, 95 secs
lola: 428503 markings, 1186531 edges, 4086 markings/sec, 100 secs
lola: 448821 markings, 1247829 edges, 4064 markings/sec, 105 secs
lola: 469067 markings, 1309353 edges, 4049 markings/sec, 110 secs
lola: 489015 markings, 1369519 edges, 3990 markings/sec, 115 secs
lola: 508683 markings, 1427802 edges, 3934 markings/sec, 120 secs
lola: 528885 markings, 1490849 edges, 4040 markings/sec, 125 secs
lola: 548806 markings, 1551931 edges, 3984 markings/sec, 130 secs
lola: 568259 markings, 1612746 edges, 3891 markings/sec, 135 secs
lola: 587698 markings, 1670833 edges, 3888 markings/sec, 140 secs
lola: 607489 markings, 1731537 edges, 3958 markings/sec, 145 secs
lola: 626877 markings, 1791555 edges, 3878 markings/sec, 150 secs
lola: 646943 markings, 1854070 edges, 4013 markings/sec, 155 secs
lola: 666641 markings, 1913551 edges, 3940 markings/sec, 160 secs
lola: 686322 markings, 1974105 edges, 3936 markings/sec, 165 secs
lola: 706180 markings, 2034637 edges, 3972 markings/sec, 170 secs
lola: 726117 markings, 2094984 edges, 3987 markings/sec, 175 secs
lola: 745927 markings, 2157242 edges, 3962 markings/sec, 180 secs
lola: 765692 markings, 2217249 edges, 3953 markings/sec, 185 secs
lola: 785178 markings, 2279170 edges, 3897 markings/sec, 190 secs
lola: 804378 markings, 2336532 edges, 3840 markings/sec, 195 secs
lola: 823569 markings, 2396403 edges, 3838 markings/sec, 200 secs
lola: 843114 markings, 2457719 edges, 3909 markings/sec, 205 secs
lola: 862604 markings, 2517528 edges, 3898 markings/sec, 210 secs
lola: 882809 markings, 2581340 edges, 4041 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(p282 + p281 + p280 + p279 + p278 + p277 + p276 + p275 + p274 + p273)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 18621 markings, 28861 edges, 3724 markings/sec, 0 secs
lola: 38785 markings, 65817 edges, 4033 markings/sec, 5 secs
lola: 58665 markings, 103866 edges, 3976 markings/sec, 10 secs
lola: 78809 markings, 144658 edges, 4029 markings/sec, 15 secs
lola: 98496 markings, 186121 edges, 3937 markings/sec, 20 secs
lola: 118825 markings, 229784 edges, 4066 markings/sec, 25 secs
lola: 140075 markings, 277823 edges, 4250 markings/sec, 30 secs
lola: 160597 markings, 325767 edges, 4104 markings/sec, 35 secs
lola: 181001 markings, 370466 edges, 4081 markings/sec, 40 secs
lola: 201162 markings, 414386 edges, 4032 markings/sec, 45 secs
lola: 221317 markings, 460298 edges, 4031 markings/sec, 50 secs
lola: 241338 markings, 504626 edges, 4004 markings/sec, 55 secs
lola: 261684 markings, 550921 edges, 4069 markings/sec, 60 secs
lola: 281805 markings, 597035 edges, 4024 markings/sec, 65 secs
lola: 302303 markings, 644588 edges, 4100 markings/sec, 70 secs
lola: 321987 markings, 689999 edges, 3937 markings/sec, 75 secs
lola: 342199 markings, 737878 edges, 4042 markings/sec, 80 secs
lola: 361878 markings, 784279 edges, 3936 markings/sec, 85 secs
lola: 381900 markings, 830570 edges, 4004 markings/sec, 90 secs
lola: 402005 markings, 877515 edges, 4021 markings/sec, 95 secs
lola: 422052 markings, 924258 edges, 4009 markings/sec, 100 secs
lola: 442639 markings, 972965 edges, 4117 markings/sec, 105 secs
lola: 462933 markings, 1020583 edges, 4059 markings/sec, 110 secs
lola: 483087 markings, 1068596 edges, 4031 markings/sec, 115 secs
lola: 503813 markings, 1119129 edges, 4145 markings/sec, 120 secs
lola: 524371 markings, 1167849 edges, 4112 markings/sec, 125 secs
lola: 544598 markings, 1216500 edges, 4045 markings/sec, 130 secs
lola: 564674 markings, 1254088 edges, 4015 markings/sec, 135 secs
lola: 585280 markings, 1295074 edges, 4121 markings/sec, 140 secs
lola: 605914 markings, 1343396 edges, 4127 markings/sec, 145 secs
lola: 626458 markings, 1393374 edges, 4109 markings/sec, 150 secs
lola: 647042 markings, 1443912 edges, 4117 markings/sec, 155 secs
lola: 667787 markings, 1495365 edges, 4149 markings/sec, 160 secs
lola: 688904 markings, 1548358 edges, 4223 markings/sec, 165 secs
lola: 709710 markings, 1600504 edges, 4161 markings/sec, 170 secs
lola: 730966 markings, 1653386 edges, 4251 markings/sec, 175 secs
lola: 751333 markings, 1703272 edges, 4073 markings/sec, 180 secs
lola: 771315 markings, 1749092 edges, 3996 markings/sec, 185 secs
lola: 792564 markings, 1802822 edges, 4250 markings/sec, 190 secs
lola: 813976 markings, 1858491 edges, 4282 markings/sec, 195 secs
lola: 835253 markings, 1911770 edges, 4255 markings/sec, 200 secs
lola: 856533 markings, 1966713 edges, 4256 markings/sec, 205 secs
lola: 877641 markings, 2020760 edges, 4222 markings/sec, 210 secs
lola: 898290 markings, 2072414 edges, 4130 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(p152 + p151 + p150 + p149 + p148 + p147 + p146 + p145 + p144 + p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 11 will run for 265 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p284)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 17621 markings, 21198 edges, 3524 markings/sec, 0 secs
lola: 35727 markings, 43721 edges, 3621 markings/sec, 5 secs
lola: 53507 markings, 67537 edges, 3556 markings/sec, 10 secs
lola: 72498 markings, 93189 edges, 3798 markings/sec, 15 secs
lola: 91642 markings, 122999 edges, 3829 markings/sec, 20 secs
lola: 110155 markings, 148802 edges, 3703 markings/sec, 25 secs
lola: 129548 markings, 177178 edges, 3879 markings/sec, 30 secs
lola: 148752 markings, 204619 edges, 3841 markings/sec, 35 secs
lola: 167620 markings, 232511 edges, 3774 markings/sec, 40 secs
lola: 188271 markings, 264732 edges, 4130 markings/sec, 45 secs
lola: 209247 markings, 297975 edges, 4195 markings/sec, 50 secs
lola: 228353 markings, 322859 edges, 3821 markings/sec, 55 secs
lola: 249079 markings, 354597 edges, 4145 markings/sec, 60 secs
lola: 269051 markings, 384271 edges, 3994 markings/sec, 65 secs
lola: 289613 markings, 416881 edges, 4112 markings/sec, 70 secs
lola: 312180 markings, 453976 edges, 4513 markings/sec, 75 secs
lola: 330938 markings, 481052 edges, 3752 markings/sec, 80 secs
lola: 351604 markings, 514231 edges, 4133 markings/sec, 85 secs
lola: 374630 markings, 552942 edges, 4605 markings/sec, 90 secs
lola: 395945 markings, 587559 edges, 4263 markings/sec, 95 secs
lola: 416935 markings, 621717 edges, 4198 markings/sec, 100 secs
lola: 439406 markings, 658498 edges, 4494 markings/sec, 105 secs
lola: 460110 markings, 691563 edges, 4141 markings/sec, 110 secs
lola: 480998 markings, 725291 edges, 4178 markings/sec, 115 secs
lola: 504687 markings, 766019 edges, 4738 markings/sec, 120 secs
lola: 525912 markings, 799631 edges, 4245 markings/sec, 125 secs
lola: 547027 markings, 832717 edges, 4223 markings/sec, 130 secs
lola: 569452 markings, 870850 edges, 4485 markings/sec, 135 secs
lola: 590566 markings, 904427 edges, 4223 markings/sec, 140 secs
lola: 613552 markings, 943409 edges, 4597 markings/sec, 145 secs
lola: 635689 markings, 980914 edges, 4427 markings/sec, 150 secs
lola: 657678 markings, 1015312 edges, 4398 markings/sec, 155 secs
lola: 680209 markings, 1052895 edges, 4506 markings/sec, 160 secs
lola: 702839 markings, 1092033 edges, 4526 markings/sec, 165 secs
lola: 725876 markings, 1131935 edges, 4607 markings/sec, 170 secs
lola: 748341 markings, 1171386 edges, 4493 markings/sec, 175 secs
lola: 769502 markings, 1205257 edges, 4232 markings/sec, 180 secs
lola: 792475 markings, 1246181 edges, 4595 markings/sec, 185 secs
lola: 816364 markings, 1288683 edges, 4778 markings/sec, 190 secs
lola: 839647 markings, 1329262 edges, 4657 markings/sec, 195 secs
lola: 863722 markings, 1372141 edges, 4815 markings/sec, 200 secs
lola: 886548 markings, 1413387 edges, 4565 markings/sec, 205 secs
lola: 909730 markings, 1454739 edges, 4636 markings/sec, 210 secs
lola: 934305 markings, 1500353 edges, 4915 markings/sec, 215 secs
lola: 959018 markings, 1546217 edges, 4943 markings/sec, 220 secs
lola: 982959 markings, 1588500 edges, 4788 markings/sec, 225 secs
lola: 1006620 markings, 1629835 edges, 4732 markings/sec, 230 secs
lola: 1029579 markings, 1669585 edges, 4592 markings/sec, 235 secs
lola: 1053325 markings, 1711642 edges, 4749 markings/sec, 240 secs
lola: 1077452 markings, 1756558 edges, 4825 markings/sec, 245 secs
lola: 1102824 markings, 1804030 edges, 5074 markings/sec, 250 secs
lola: 1125368 markings, 1843632 edges, 4509 markings/sec, 255 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p304 + p303 + p302 + p301 + p300 + p299 + p298 + p297 + p296 + p295)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 354 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 20676 markings, 25616 edges, 4135 markings/sec, 0 secs
lola: 40477 markings, 52014 edges, 3960 markings/sec, 5 secs
lola: 60267 markings, 80075 edges, 3958 markings/sec, 10 secs
lola: 80542 markings, 109996 edges, 4055 markings/sec, 15 secs
lola: 101809 markings, 143368 edges, 4253 markings/sec, 20 secs
lola: 122741 markings, 175887 edges, 4186 markings/sec, 25 secs
lola: 144222 markings, 208593 edges, 4296 markings/sec, 30 secs
lola: 165421 markings, 242189 edges, 4240 markings/sec, 35 secs
lola: 186993 markings, 276076 edges, 4314 markings/sec, 40 secs
lola: 208463 markings, 309448 edges, 4294 markings/sec, 45 secs
lola: 231094 markings, 347151 edges, 4526 markings/sec, 50 secs
lola: 252617 markings, 378422 edges, 4305 markings/sec, 55 secs
lola: 276308 markings, 418536 edges, 4738 markings/sec, 60 secs
lola: 299554 markings, 457005 edges, 4649 markings/sec, 65 secs
lola: 322329 markings, 495340 edges, 4555 markings/sec, 70 secs
lola: 345129 markings, 534000 edges, 4560 markings/sec, 75 secs
lola: 368455 markings, 574061 edges, 4665 markings/sec, 80 secs
lola: 392108 markings, 614124 edges, 4731 markings/sec, 85 secs
lola: 416296 markings, 656479 edges, 4838 markings/sec, 90 secs
lola: 439978 markings, 697610 edges, 4736 markings/sec, 95 secs
lola: 464015 markings, 740061 edges, 4807 markings/sec, 100 secs
lola: 485792 markings, 773351 edges, 4355 markings/sec, 105 secs
lola: 508667 markings, 812024 edges, 4575 markings/sec, 110 secs
lola: 529595 markings, 843546 edges, 4186 markings/sec, 115 secs
lola: 552650 markings, 883652 edges, 4611 markings/sec, 120 secs
lola: 576230 markings, 925161 edges, 4716 markings/sec, 125 secs
lola: 597730 markings, 960092 edges, 4300 markings/sec, 130 secs
lola: 621303 markings, 1002254 edges, 4715 markings/sec, 135 secs
lola: 645020 markings, 1045492 edges, 4743 markings/sec, 140 secs
lola: 668268 markings, 1086180 edges, 4650 markings/sec, 145 secs
lola: 689755 markings, 1120793 edges, 4297 markings/sec, 150 secs
lola: 713391 markings, 1162544 edges, 4727 markings/sec, 155 secs
lola: 736615 markings, 1203817 edges, 4645 markings/sec, 160 secs
lola: 760318 markings, 1245618 edges, 4741 markings/sec, 165 secs
lola: 783930 markings, 1285395 edges, 4722 markings/sec, 170 secs
lola: 808119 markings, 1327508 edges, 4838 markings/sec, 175 secs
lola: 832241 markings, 1371713 edges, 4824 markings/sec, 180 secs
lola: 856529 markings, 1416090 edges, 4858 markings/sec, 185 secs
lola: 880423 markings, 1457858 edges, 4779 markings/sec, 190 secs
lola: 904263 markings, 1498481 edges, 4768 markings/sec, 195 secs
lola: 928380 markings, 1540333 edges, 4823 markings/sec, 200 secs
lola: 952278 markings, 1580960 edges, 4780 markings/sec, 205 secs
lola: 978104 markings, 1627697 edges, 5165 markings/sec, 210 secs
lola: 1003862 markings, 1675523 edges, 5152 markings/sec, 215 secs
lola: 1028283 markings, 1720260 edges, 4884 markings/sec, 220 secs
lola: 1054255 markings, 1768454 edges, 5194 markings/sec, 225 secs
lola: 1080797 markings, 1818991 edges, 5308 markings/sec, 230 secs
lola: 1105643 markings, 1864892 edges, 4969 markings/sec, 235 secs
lola: 1130478 markings, 1909691 edges, 4967 markings/sec, 240 secs
lola: 1155654 markings, 1956029 edges, 5035 markings/sec, 245 secs
lola: 1180906 markings, 1999761 edges, 5050 markings/sec, 250 secs
lola: 1207631 markings, 2050072 edges, 5345 markings/sec, 255 secs
lola: 1234288 markings, 2099205 edges, 5331 markings/sec, 260 secs
lola: 1260958 markings, 2149334 edges, 5334 markings/sec, 265 secs
lola: 1289134 markings, 2202890 edges, 5635 markings/sec, 270 secs
lola: 1315358 markings, 2249285 edges, 5245 markings/sec, 275 secs
lola: 1341925 markings, 2297440 edges, 5313 markings/sec, 280 secs
lola: 1368074 markings, 2345515 edges, 5230 markings/sec, 285 secs
lola: 1394998 markings, 2397247 edges, 5385 markings/sec, 290 secs
lola: 1421315 markings, 2445229 edges, 5263 markings/sec, 295 secs
lola: 1447482 markings, 2494050 edges, 5233 markings/sec, 300 secs
lola: 1473049 markings, 2540976 edges, 5113 markings/sec, 305 secs
lola: 1498467 markings, 2584822 edges, 5084 markings/sec, 310 secs
lola: 1526080 markings, 2635743 edges, 5523 markings/sec, 315 secs
lola: 1551778 markings, 2681283 edges, 5140 markings/sec, 320 secs
lola: 1579153 markings, 2733299 edges, 5475 markings/sec, 325 secs
lola: 1605612 markings, 2781842 edges, 5292 markings/sec, 330 secs
lola: 1631955 markings, 2830655 edges, 5269 markings/sec, 335 secs
lola: 1657496 markings, 2876891 edges, 5108 markings/sec, 340 secs
lola: 1683324 markings, 2925172 edges, 5166 markings/sec, 345 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 355 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p141)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 17212 markings, 22126 edges, 3442 markings/sec, 0 secs
lola: 36186 markings, 47422 edges, 3795 markings/sec, 5 secs
lola: 57021 markings, 76841 edges, 4167 markings/sec, 10 secs
lola: 78220 markings, 108101 edges, 4240 markings/sec, 15 secs
lola: 99939 markings, 140863 edges, 4344 markings/sec, 20 secs
lola: 120113 markings, 168940 edges, 4035 markings/sec, 25 secs
lola: 138690 markings, 194831 edges, 3715 markings/sec, 30 secs
lola: 159230 markings, 227291 edges, 4108 markings/sec, 35 secs
lola: 180006 markings, 258499 edges, 4155 markings/sec, 40 secs
lola: 201135 markings, 291641 edges, 4226 markings/sec, 45 secs
lola: 217879 markings, 311840 edges, 3349 markings/sec, 50 secs
lola: 240263 markings, 347143 edges, 4477 markings/sec, 55 secs
lola: 263393 markings, 383298 edges, 4626 markings/sec, 60 secs
lola: 285268 markings, 417899 edges, 4375 markings/sec, 65 secs
lola: 306283 markings, 450749 edges, 4203 markings/sec, 70 secs
lola: 325097 markings, 476013 edges, 3763 markings/sec, 75 secs
lola: 344751 markings, 504618 edges, 3931 markings/sec, 80 secs
lola: 366415 markings, 538388 edges, 4333 markings/sec, 85 secs
lola: 389517 markings, 576067 edges, 4620 markings/sec, 90 secs
lola: 412268 markings, 612313 edges, 4550 markings/sec, 95 secs
lola: 430790 markings, 638940 edges, 3704 markings/sec, 100 secs
lola: 452815 markings, 674744 edges, 4405 markings/sec, 105 secs
lola: 474064 markings, 709829 edges, 4250 markings/sec, 110 secs
lola: 496689 markings, 748063 edges, 4525 markings/sec, 115 secs
lola: 518819 markings, 785421 edges, 4426 markings/sec, 120 secs
lola: 539911 markings, 818722 edges, 4218 markings/sec, 125 secs
lola: 562571 markings, 856213 edges, 4532 markings/sec, 130 secs
lola: 586158 markings, 897508 edges, 4717 markings/sec, 135 secs
lola: 610253 markings, 939571 edges, 4819 markings/sec, 140 secs
lola: 633423 markings, 979027 edges, 4634 markings/sec, 145 secs
lola: 656513 markings, 1017711 edges, 4618 markings/sec, 150 secs
lola: 679970 markings, 1058331 edges, 4691 markings/sec, 155 secs
lola: 704088 markings, 1100618 edges, 4824 markings/sec, 160 secs
lola: 728692 markings, 1143375 edges, 4921 markings/sec, 165 secs
lola: 751898 markings, 1183917 edges, 4641 markings/sec, 170 secs
lola: 775674 markings, 1224865 edges, 4755 markings/sec, 175 secs
lola: 799913 markings, 1266719 edges, 4848 markings/sec, 180 secs
lola: 822769 markings, 1305420 edges, 4571 markings/sec, 185 secs
lola: 845066 markings, 1341439 edges, 4459 markings/sec, 190 secs
lola: 869060 markings, 1382706 edges, 4799 markings/sec, 195 secs
lola: 893642 markings, 1426212 edges, 4916 markings/sec, 200 secs
lola: 918697 markings, 1470808 edges, 5011 markings/sec, 205 secs
lola: 943551 markings, 1515520 edges, 4971 markings/sec, 210 secs
lola: 967811 markings, 1558550 edges, 4852 markings/sec, 215 secs
lola: 991289 markings, 1600543 edges, 4696 markings/sec, 220 secs
lola: 1016102 markings, 1645250 edges, 4963 markings/sec, 225 secs
lola: 1039685 markings, 1686075 edges, 4717 markings/sec, 230 secs
lola: 1063898 markings, 1728338 edges, 4843 markings/sec, 235 secs
lola: 1089130 markings, 1773841 edges, 5046 markings/sec, 240 secs
lola: 1114020 markings, 1818209 edges, 4978 markings/sec, 245 secs
lola: 1137466 markings, 1859156 edges, 4689 markings/sec, 250 secs
lola: 1161117 markings, 1900821 edges, 4730 markings/sec, 255 secs
lola: 1186007 markings, 1946035 edges, 4978 markings/sec, 260 secs
lola: 1210233 markings, 1989895 edges, 4845 markings/sec, 265 secs
lola: 1234413 markings, 2033930 edges, 4836 markings/sec, 270 secs
lola: 1254696 markings, 2063914 edges, 4057 markings/sec, 275 secs
lola: 1272936 markings, 2087993 edges, 3648 markings/sec, 280 secs
lola: 1290453 markings, 2111007 edges, 3503 markings/sec, 285 secs
lola: 1312288 markings, 2145912 edges, 4367 markings/sec, 290 secs
lola: 1336136 markings, 2188695 edges, 4770 markings/sec, 295 secs
lola: 1360765 markings, 2234288 edges, 4926 markings/sec, 300 secs
lola: 1385530 markings, 2279280 edges, 4953 markings/sec, 305 secs
lola: 1408584 markings, 2320824 edges, 4611 markings/sec, 310 secs
lola: 1432318 markings, 2364071 edges, 4747 markings/sec, 315 secs
lola: 1457333 markings, 2409530 edges, 5003 markings/sec, 320 secs
lola: 1481550 markings, 2453545 edges, 4843 markings/sec, 325 secs
lola: 1505843 markings, 2496885 edges, 4859 markings/sec, 330 secs
lola: 1529443 markings, 2538475 edges, 4720 markings/sec, 335 secs
lola: 1553003 markings, 2582389 edges, 4712 markings/sec, 340 secs
lola: 1576284 markings, 2623593 edges, 4656 markings/sec, 345 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 355 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1084 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: 16468 markings, 18219 edges, 3294 markings/sec, 0 secs
lola: 33376 markings, 37684 edges, 3382 markings/sec, 5 secs
lola: 50715 markings, 57495 edges, 3468 markings/sec, 10 secs
lola: 67925 markings, 77029 edges, 3442 markings/sec, 15 secs
lola: 85150 markings, 96795 edges, 3445 markings/sec, 20 secs
lola: 102405 markings, 116877 edges, 3451 markings/sec, 25 secs
lola: 119981 markings, 137389 edges, 3515 markings/sec, 30 secs
lola: 137365 markings, 157693 edges, 3477 markings/sec, 35 secs
lola: 154677 markings, 177883 edges, 3462 markings/sec, 40 secs
lola: 172019 markings, 198199 edges, 3468 markings/sec, 45 secs
lola: 189424 markings, 218552 edges, 3481 markings/sec, 50 secs
lola: 206113 markings, 236878 edges, 3338 markings/sec, 55 secs
lola: 223455 markings, 256470 edges, 3468 markings/sec, 60 secs
lola: 240886 markings, 276970 edges, 3486 markings/sec, 65 secs
lola: 258573 markings, 297832 edges, 3537 markings/sec, 70 secs
lola: 275940 markings, 317959 edges, 3473 markings/sec, 75 secs
lola: 293448 markings, 338312 edges, 3502 markings/sec, 80 secs
lola: 310813 markings, 358214 edges, 3473 markings/sec, 85 secs
lola: 328241 markings, 378647 edges, 3486 markings/sec, 90 secs
lola: 345689 markings, 399100 edges, 3490 markings/sec, 95 secs
lola: 363144 markings, 419613 edges, 3491 markings/sec, 100 secs
lola: 380612 markings, 440041 edges, 3494 markings/sec, 105 secs
lola: 397932 markings, 460579 edges, 3464 markings/sec, 110 secs
lola: 415573 markings, 481534 edges, 3528 markings/sec, 115 secs
lola: 433089 markings, 502242 edges, 3503 markings/sec, 120 secs
lola: 450437 markings, 522633 edges, 3470 markings/sec, 125 secs
lola: 467981 markings, 543393 edges, 3509 markings/sec, 130 secs
lola: 485650 markings, 564405 edges, 3534 markings/sec, 135 secs
lola: 503001 markings, 585179 edges, 3470 markings/sec, 140 secs
lola: 520635 markings, 606332 edges, 3527 markings/sec, 145 secs
lola: 538212 markings, 627116 edges, 3515 markings/sec, 150 secs
lola: 555655 markings, 647935 edges, 3489 markings/sec, 155 secs
lola: 573429 markings, 669285 edges, 3555 markings/sec, 160 secs
lola: 590852 markings, 690308 edges, 3485 markings/sec, 165 secs
lola: 608341 markings, 711392 edges, 3498 markings/sec, 170 secs
lola: 626324 markings, 733087 edges, 3597 markings/sec, 175 secs
lola: 643886 markings, 754285 edges, 3512 markings/sec, 180 secs
lola: 661691 markings, 775823 edges, 3561 markings/sec, 185 secs
lola: 679334 markings, 797015 edges, 3529 markings/sec, 190 secs
lola: 697015 markings, 818276 edges, 3536 markings/sec, 195 secs
lola: 714612 markings, 839626 edges, 3519 markings/sec, 200 secs
lola: 732299 markings, 860799 edges, 3537 markings/sec, 205 secs
lola: 749976 markings, 881944 edges, 3535 markings/sec, 210 secs
lola: 767523 markings, 903001 edges, 3509 markings/sec, 215 secs
lola: 785089 markings, 924049 edges, 3513 markings/sec, 220 secs
lola: 802767 markings, 945231 edges, 3536 markings/sec, 225 secs
lola: 820357 markings, 966371 edges, 3518 markings/sec, 230 secs
lola: 837832 markings, 987537 edges, 3495 markings/sec, 235 secs
lola: 855296 markings, 1008615 edges, 3493 markings/sec, 240 secs
lola: 872774 markings, 1029830 edges, 3496 markings/sec, 245 secs
lola: 890404 markings, 1051138 edges, 3526 markings/sec, 250 secs
lola: 908050 markings, 1072285 edges, 3529 markings/sec, 255 secs
lola: 925695 markings, 1093594 edges, 3529 markings/sec, 260 secs
lola: 943275 markings, 1114805 edges, 3516 markings/sec, 265 secs
lola: 960899 markings, 1136194 edges, 3525 markings/sec, 270 secs
lola: 978607 markings, 1157626 edges, 3542 markings/sec, 275 secs
lola: 995179 markings, 1175840 edges, 3314 markings/sec, 280 secs
lola: 1012105 markings, 1194797 edges, 3385 markings/sec, 285 secs
lola: 1029121 markings, 1213628 edges, 3403 markings/sec, 290 secs
lola: 1046455 markings, 1233886 edges, 3467 markings/sec, 295 secs
lola: 1063795 markings, 1253982 edges, 3468 markings/sec, 300 secs
lola: 1081425 markings, 1274790 edges, 3526 markings/sec, 305 secs
lola: 1099295 markings, 1296415 edges, 3574 markings/sec, 310 secs
lola: 1117171 markings, 1317908 edges, 3575 markings/sec, 315 secs
lola: 1134839 markings, 1338845 edges, 3534 markings/sec, 320 secs
lola: 1152494 markings, 1360276 edges, 3531 markings/sec, 325 secs
lola: 1170178 markings, 1381356 edges, 3537 markings/sec, 330 secs
lola: 1187760 markings, 1402058 edges, 3516 markings/sec, 335 secs
lola: 1205457 markings, 1423340 edges, 3539 markings/sec, 340 secs
lola: 1223170 markings, 1444405 edges, 3543 markings/sec, 345 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 10 unknown 1 unknown unknown unknown
FORMULA SafeBus-COL-10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-10 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SafeBus-COL-10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494807709214

--------------------
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="SafeBus-COL-10"
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/SafeBus-COL-10.tgz
mv SafeBus-COL-10 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 SafeBus-COL-10, 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 r068-csrt-149440963200191"
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 ;