Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_SafeBus-COL-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443432900191
=====================================================================

--------------------
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 1496442212483


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SafeBus-COL-10: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_SafeBus-COL-10: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_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(p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213) : MAX(p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p315 + p305 + p295 + p285 + p275 + p265 + p255 + p245 + p235) : MAX(p225) : MAX(p98 + p97 + p96 + p95 + p94 + p93 + p92 + p90 + p89 + p88 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p87 + p86 + p85 + p84 + p83 + p82 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p61 + p71 + p81 + p91 + p99) : MAX(p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41) : MAX(p98 + p97 + p96 + p95 + p94 + p93 + p92 + p90 + p89 + p88 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p87 + p86 + p85 + p84 + p83 + p82 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p61 + p71 + p81 + p91 + p99) : MAX(p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223) : MAX(p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182) : MAX(p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182) : MAX(p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161) : MAX(p9 + p8 + p7 + p6 + p5 + p4 + p3 + p2 + p1 + p0) : MAX(p11) : MAX(p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203) : MAX(p12 + p13 + p14 + p15 + p21 + p20 + p19 + p18 + p17 + p16) : MAX(p224) : MAX(p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193)
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(p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213)
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: 16769 markings, 20280 edges, 3354 markings/sec, 0 secs
lola: 33521 markings, 43095 edges, 3350 markings/sec, 5 secs
lola: 49941 markings, 66701 edges, 3284 markings/sec, 10 secs
lola: 67306 markings, 92090 edges, 3473 markings/sec, 15 secs
lola: 86005 markings, 121299 edges, 3740 markings/sec, 20 secs
lola: 105097 markings, 150543 edges, 3818 markings/sec, 25 secs
lola: 124157 markings, 182648 edges, 3812 markings/sec, 30 secs
lola: 142905 markings, 213184 edges, 3750 markings/sec, 35 secs
lola: 160684 markings, 242769 edges, 3556 markings/sec, 40 secs
lola: 178090 markings, 272814 edges, 3481 markings/sec, 45 secs
lola: 195058 markings, 301452 edges, 3394 markings/sec, 50 secs
lola: 211108 markings, 328289 edges, 3210 markings/sec, 55 secs
lola: 226492 markings, 354819 edges, 3077 markings/sec, 60 secs
lola: 243875 markings, 385724 edges, 3477 markings/sec, 65 secs
lola: 262502 markings, 417451 edges, 3725 markings/sec, 70 secs
lola: 279127 markings, 446106 edges, 3325 markings/sec, 75 secs
lola: 297104 markings, 478068 edges, 3595 markings/sec, 80 secs
lola: 315408 markings, 509799 edges, 3661 markings/sec, 85 secs
lola: 334594 markings, 542690 edges, 3837 markings/sec, 90 secs
lola: 353631 markings, 574411 edges, 3807 markings/sec, 95 secs
lola: 372302 markings, 607258 edges, 3734 markings/sec, 100 secs
lola: 391189 markings, 640735 edges, 3777 markings/sec, 105 secs
lola: 408041 markings, 669577 edges, 3370 markings/sec, 110 secs
lola: 424970 markings, 699680 edges, 3386 markings/sec, 115 secs
lola: 441795 markings, 730667 edges, 3365 markings/sec, 120 secs
lola: 459449 markings, 761464 edges, 3531 markings/sec, 125 secs
lola: 475686 markings, 789993 edges, 3247 markings/sec, 130 secs
lola: 491994 markings, 819293 edges, 3262 markings/sec, 135 secs
lola: 508398 markings, 847833 edges, 3281 markings/sec, 140 secs
lola: 525185 markings, 879281 edges, 3357 markings/sec, 145 secs
lola: 541705 markings, 908752 edges, 3304 markings/sec, 150 secs
lola: 557825 markings, 936925 edges, 3224 markings/sec, 155 secs
lola: 574418 markings, 967367 edges, 3319 markings/sec, 160 secs
lola: 590837 markings, 995765 edges, 3284 markings/sec, 165 secs
lola: 607567 markings, 1028252 edges, 3346 markings/sec, 170 secs
lola: 625369 markings, 1062596 edges, 3560 markings/sec, 175 secs
lola: 641568 markings, 1090687 edges, 3240 markings/sec, 180 secs
lola: 658038 markings, 1120786 edges, 3294 markings/sec, 185 secs
lola: 675061 markings, 1151861 edges, 3405 markings/sec, 190 secs
lola: 693529 markings, 1185932 edges, 3694 markings/sec, 195 secs
lola: 712153 markings, 1221303 edges, 3725 markings/sec, 200 secs
lola: 730881 markings, 1257184 edges, 3746 markings/sec, 205 secs
lola: 748836 markings, 1291374 edges, 3591 markings/sec, 210 secs
lola: 766237 markings, 1323805 edges, 3480 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(p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p286 + p287 + p288... (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: 15464 markings, 19621 edges, 3093 markings/sec, 0 secs
lola: 31530 markings, 42978 edges, 3213 markings/sec, 5 secs
lola: 47973 markings, 67002 edges, 3289 markings/sec, 10 secs
lola: 64579 markings, 91649 edges, 3321 markings/sec, 15 secs
lola: 81141 markings, 116170 edges, 3312 markings/sec, 20 secs
lola: 97508 markings, 140938 edges, 3273 markings/sec, 25 secs
lola: 113691 markings, 166690 edges, 3237 markings/sec, 30 secs
lola: 129833 markings, 192233 edges, 3228 markings/sec, 35 secs
lola: 146615 markings, 219523 edges, 3356 markings/sec, 40 secs
lola: 162413 markings, 244619 edges, 3160 markings/sec, 45 secs
lola: 178080 markings, 270090 edges, 3133 markings/sec, 50 secs
lola: 193653 markings, 295697 edges, 3115 markings/sec, 55 secs
lola: 209977 markings, 322680 edges, 3265 markings/sec, 60 secs
lola: 225516 markings, 349702 edges, 3108 markings/sec, 65 secs
lola: 240299 markings, 374104 edges, 2957 markings/sec, 70 secs
lola: 255562 markings, 399862 edges, 3053 markings/sec, 75 secs
lola: 270128 markings, 423895 edges, 2913 markings/sec, 80 secs
lola: 286746 markings, 452519 edges, 3324 markings/sec, 85 secs
lola: 303502 markings, 480656 edges, 3351 markings/sec, 90 secs
lola: 319501 markings, 507942 edges, 3200 markings/sec, 95 secs
lola: 335354 markings, 534728 edges, 3171 markings/sec, 100 secs
lola: 351555 markings, 563400 edges, 3240 markings/sec, 105 secs
lola: 368297 markings, 592621 edges, 3348 markings/sec, 110 secs
lola: 385128 markings, 620710 edges, 3366 markings/sec, 115 secs
lola: 401652 markings, 649020 edges, 3305 markings/sec, 120 secs
lola: 418185 markings, 677817 edges, 3307 markings/sec, 125 secs
lola: 433829 markings, 705066 edges, 3129 markings/sec, 130 secs
lola: 450135 markings, 732891 edges, 3261 markings/sec, 135 secs
lola: 466349 markings, 760937 edges, 3243 markings/sec, 140 secs
lola: 482772 markings, 789038 edges, 3285 markings/sec, 145 secs
lola: 498968 markings, 818124 edges, 3239 markings/sec, 150 secs
lola: 514697 markings, 845394 edges, 3146 markings/sec, 155 secs
lola: 530517 markings, 873741 edges, 3164 markings/sec, 160 secs
lola: 546485 markings, 902565 edges, 3194 markings/sec, 165 secs
lola: 562402 markings, 931650 edges, 3183 markings/sec, 170 secs
lola: 577044 markings, 957660 edges, 2928 markings/sec, 175 secs
lola: 592543 markings, 986110 edges, 3100 markings/sec, 180 secs
lola: 606912 markings, 1013411 edges, 2874 markings/sec, 185 secs
lola: 622053 markings, 1041394 edges, 3028 markings/sec, 190 secs
lola: 637489 markings, 1069879 edges, 3087 markings/sec, 195 secs
lola: 652341 markings, 1096691 edges, 2970 markings/sec, 200 secs
lola: 667439 markings, 1123105 edges, 3020 markings/sec, 205 secs
lola: 683378 markings, 1152922 edges, 3188 markings/sec, 210 secs
lola: 700121 markings, 1184136 edges, 3349 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(p225)
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: 17144 markings, 21720 edges, 3429 markings/sec, 0 secs
lola: 35423 markings, 47682 edges, 3656 markings/sec, 5 secs
lola: 53267 markings, 72848 edges, 3569 markings/sec, 10 secs
lola: 70592 markings, 97661 edges, 3465 markings/sec, 15 secs
lola: 88314 markings, 125569 edges, 3544 markings/sec, 20 secs
lola: 105784 markings, 152324 edges, 3494 markings/sec, 25 secs
lola: 122626 markings, 175502 edges, 3368 markings/sec, 30 secs
lola: 140171 markings, 201091 edges, 3509 markings/sec, 35 secs
lola: 157165 markings, 227312 edges, 3399 markings/sec, 40 secs
lola: 174433 markings, 254548 edges, 3454 markings/sec, 45 secs
lola: 191131 markings, 279598 edges, 3340 markings/sec, 50 secs
lola: 208603 markings, 307449 edges, 3494 markings/sec, 55 secs
lola: 225806 markings, 332718 edges, 3441 markings/sec, 60 secs
lola: 243634 markings, 361480 edges, 3566 markings/sec, 65 secs
lola: 262532 markings, 394697 edges, 3780 markings/sec, 70 secs
lola: 279847 markings, 424702 edges, 3463 markings/sec, 75 secs
lola: 296474 markings, 449694 edges, 3325 markings/sec, 80 secs
lola: 313296 markings, 476175 edges, 3364 markings/sec, 85 secs
lola: 329960 markings, 502708 edges, 3333 markings/sec, 90 secs
lola: 346291 markings, 527525 edges, 3266 markings/sec, 95 secs
lola: 362851 markings, 555209 edges, 3312 markings/sec, 100 secs
lola: 380099 markings, 583330 edges, 3450 markings/sec, 105 secs
lola: 397997 markings, 612402 edges, 3580 markings/sec, 110 secs
lola: 415397 markings, 639471 edges, 3480 markings/sec, 115 secs
lola: 432931 markings, 665786 edges, 3507 markings/sec, 120 secs
lola: 450919 markings, 696141 edges, 3598 markings/sec, 125 secs
lola: 468826 markings, 725680 edges, 3581 markings/sec, 130 secs
lola: 486781 markings, 754907 edges, 3591 markings/sec, 135 secs
lola: 504953 markings, 784782 edges, 3634 markings/sec, 140 secs
lola: 522570 markings, 814319 edges, 3523 markings/sec, 145 secs
lola: 540327 markings, 845652 edges, 3551 markings/sec, 150 secs
lola: 558103 markings, 874221 edges, 3555 markings/sec, 155 secs
lola: 575337 markings, 903408 edges, 3447 markings/sec, 160 secs
lola: 592092 markings, 929786 edges, 3351 markings/sec, 165 secs
lola: 610144 markings, 961835 edges, 3610 markings/sec, 170 secs
lola: 627804 markings, 991368 edges, 3532 markings/sec, 175 secs
lola: 645221 markings, 1019329 edges, 3483 markings/sec, 180 secs
lola: 663415 markings, 1050644 edges, 3639 markings/sec, 185 secs
lola: 681019 markings, 1078782 edges, 3521 markings/sec, 190 secs
lola: 698936 markings, 1108268 edges, 3583 markings/sec, 195 secs
lola: 716644 markings, 1137295 edges, 3542 markings/sec, 200 secs
lola: 735137 markings, 1169928 edges, 3699 markings/sec, 205 secs
lola: 752109 markings, 1199050 edges, 3394 markings/sec, 210 secs
lola: 769087 markings, 1226905 edges, 3396 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(p98 + p97 + p96 + p95 + p94 + p93 + p92 + p90 + p89 + p88 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + ... (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: 23121 markings, 30927 edges, 4624 markings/sec, 0 secs
lola: 46362 markings, 66708 edges, 4648 markings/sec, 5 secs
lola: 69589 markings, 104782 edges, 4645 markings/sec, 10 secs
lola: 92735 markings, 138370 edges, 4629 markings/sec, 15 secs
lola: 115501 markings, 176787 edges, 4553 markings/sec, 20 secs
lola: 137710 markings, 215594 edges, 4442 markings/sec, 25 secs
lola: 159425 markings, 254609 edges, 4343 markings/sec, 30 secs
lola: 181969 markings, 297463 edges, 4509 markings/sec, 35 secs
lola: 205078 markings, 342073 edges, 4622 markings/sec, 40 secs
lola: 228315 markings, 387386 edges, 4647 markings/sec, 45 secs
lola: 251126 markings, 430983 edges, 4562 markings/sec, 50 secs
lola: 273762 markings, 476655 edges, 4527 markings/sec, 55 secs
lola: 296045 markings, 516752 edges, 4457 markings/sec, 60 secs
lola: 317345 markings, 560228 edges, 4260 markings/sec, 65 secs
lola: 338424 markings, 603242 edges, 4216 markings/sec, 70 secs
lola: 361857 markings, 648800 edges, 4687 markings/sec, 75 secs
lola: 385410 markings, 700342 edges, 4711 markings/sec, 80 secs
lola: 407813 markings, 747938 edges, 4481 markings/sec, 85 secs
lola: 429455 markings, 792091 edges, 4328 markings/sec, 90 secs
lola: 450716 markings, 833464 edges, 4252 markings/sec, 95 secs
lola: 472844 markings, 880924 edges, 4426 markings/sec, 100 secs
lola: 494894 markings, 926868 edges, 4410 markings/sec, 105 secs
lola: 516342 markings, 973723 edges, 4290 markings/sec, 110 secs
lola: 537843 markings, 1019271 edges, 4300 markings/sec, 115 secs
lola: 559585 markings, 1066946 edges, 4348 markings/sec, 120 secs
lola: 582521 markings, 1115545 edges, 4587 markings/sec, 125 secs
lola: 606416 markings, 1164943 edges, 4779 markings/sec, 130 secs
lola: 629975 markings, 1215216 edges, 4712 markings/sec, 135 secs
lola: 653739 markings, 1270228 edges, 4753 markings/sec, 140 secs
lola: 677059 markings, 1321762 edges, 4664 markings/sec, 145 secs
lola: 700001 markings, 1368010 edges, 4588 markings/sec, 150 secs
lola: 721559 markings, 1414731 edges, 4312 markings/sec, 155 secs
lola: 743174 markings, 1464614 edges, 4323 markings/sec, 160 secs
lola: 765052 markings, 1514131 edges, 4376 markings/sec, 165 secs
lola: 787079 markings, 1563072 edges, 4405 markings/sec, 170 secs
lola: 808740 markings, 1610363 edges, 4332 markings/sec, 175 secs
lola: 831476 markings, 1659312 edges, 4547 markings/sec, 180 secs
lola: 854152 markings, 1707914 edges, 4535 markings/sec, 185 secs
lola: 877195 markings, 1758276 edges, 4609 markings/sec, 190 secs
lola: 899912 markings, 1808169 edges, 4543 markings/sec, 195 secs
lola: 923288 markings, 1859457 edges, 4675 markings/sec, 200 secs
lola: 946616 markings, 1911640 edges, 4666 markings/sec, 205 secs
lola: 969900 markings, 1966299 edges, 4657 markings/sec, 210 secs
lola: 992670 markings, 2019164 edges, 4554 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(p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41)
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: 23708 markings, 32963 edges, 4742 markings/sec, 0 secs
lola: 46211 markings, 68099 edges, 4501 markings/sec, 5 secs
lola: 68070 markings, 103599 edges, 4372 markings/sec, 10 secs
lola: 90090 markings, 140228 edges, 4404 markings/sec, 15 secs
lola: 113108 markings, 177842 edges, 4604 markings/sec, 20 secs
lola: 136699 markings, 218763 edges, 4718 markings/sec, 25 secs
lola: 159719 markings, 260445 edges, 4604 markings/sec, 30 secs
lola: 182737 markings, 302200 edges, 4604 markings/sec, 35 secs
lola: 205650 markings, 345180 edges, 4583 markings/sec, 40 secs
lola: 229287 markings, 386621 edges, 4727 markings/sec, 45 secs
lola: 252639 markings, 428534 edges, 4670 markings/sec, 50 secs
lola: 275909 markings, 470443 edges, 4654 markings/sec, 55 secs
lola: 298012 markings, 513573 edges, 4421 markings/sec, 60 secs
lola: 320622 markings, 557131 edges, 4522 markings/sec, 65 secs
lola: 343733 markings, 600203 edges, 4622 markings/sec, 70 secs
lola: 366883 markings, 646453 edges, 4630 markings/sec, 75 secs
lola: 388899 markings, 689951 edges, 4403 markings/sec, 80 secs
lola: 410115 markings, 731234 edges, 4243 markings/sec, 85 secs
lola: 431532 markings, 772756 edges, 4283 markings/sec, 90 secs
lola: 453408 markings, 816480 edges, 4375 markings/sec, 95 secs
lola: 474729 markings, 857391 edges, 4264 markings/sec, 100 secs
lola: 497982 markings, 902390 edges, 4651 markings/sec, 105 secs
lola: 520066 markings, 945947 edges, 4417 markings/sec, 110 secs
lola: 541240 markings, 988860 edges, 4235 markings/sec, 115 secs
lola: 562623 markings, 1032186 edges, 4277 markings/sec, 120 secs
lola: 584079 markings, 1075312 edges, 4291 markings/sec, 125 secs
lola: 605879 markings, 1120475 edges, 4360 markings/sec, 130 secs
lola: 627052 markings, 1163896 edges, 4235 markings/sec, 135 secs
lola: 648049 markings, 1207038 edges, 4199 markings/sec, 140 secs
lola: 668903 markings, 1250990 edges, 4171 markings/sec, 145 secs
lola: 689640 markings, 1295632 edges, 4147 markings/sec, 150 secs
lola: 710788 markings, 1340246 edges, 4230 markings/sec, 155 secs
lola: 733031 markings, 1387805 edges, 4449 markings/sec, 160 secs
lola: 754916 markings, 1433553 edges, 4377 markings/sec, 165 secs
lola: 777288 markings, 1480105 edges, 4474 markings/sec, 170 secs
lola: 799616 markings, 1527844 edges, 4466 markings/sec, 175 secs
lola: 821870 markings, 1574997 edges, 4451 markings/sec, 180 secs
lola: 844545 markings, 1622620 edges, 4535 markings/sec, 185 secs
lola: 866725 markings, 1669812 edges, 4436 markings/sec, 190 secs
lola: 887878 markings, 1713811 edges, 4231 markings/sec, 195 secs
lola: 910183 markings, 1750223 edges, 4461 markings/sec, 200 secs
lola: 932273 markings, 1788851 edges, 4418 markings/sec, 205 secs
lola: 955783 markings, 1829044 edges, 4702 markings/sec, 210 secs
lola: 978818 markings, 1871540 edges, 4607 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(p98 + p97 + p96 + p95 + p94 + p93 + p92 + p90 + p89 + p88 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + ... (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: 23295 markings, 31239 edges, 4659 markings/sec, 0 secs
lola: 46716 markings, 67269 edges, 4684 markings/sec, 5 secs
lola: 70268 markings, 105710 edges, 4710 markings/sec, 10 secs
lola: 94065 markings, 140513 edges, 4759 markings/sec, 15 secs
lola: 117386 markings, 180109 edges, 4664 markings/sec, 20 secs
lola: 140216 markings, 219967 edges, 4566 markings/sec, 25 secs
lola: 162767 markings, 260597 edges, 4510 markings/sec, 30 secs
lola: 185298 markings, 303917 edges, 4506 markings/sec, 35 secs
lola: 208211 markings, 348031 edges, 4583 markings/sec, 40 secs
lola: 230869 markings, 392283 edges, 4532 markings/sec, 45 secs
lola: 253752 markings, 435682 edges, 4577 markings/sec, 50 secs
lola: 276451 markings, 481912 edges, 4540 markings/sec, 55 secs
lola: 299385 markings, 523907 edges, 4587 markings/sec, 60 secs
lola: 321535 markings, 568928 edges, 4430 markings/sec, 65 secs
lola: 343731 markings, 614686 edges, 4439 markings/sec, 70 secs
lola: 366728 markings, 659237 edges, 4599 markings/sec, 75 secs
lola: 389714 markings, 709394 edges, 4597 markings/sec, 80 secs
lola: 412393 markings, 757572 edges, 4536 markings/sec, 85 secs
lola: 435091 markings, 802282 edges, 4540 markings/sec, 90 secs
lola: 458008 markings, 848797 edges, 4583 markings/sec, 95 secs
lola: 481019 markings, 898504 edges, 4602 markings/sec, 100 secs
lola: 503465 markings, 945213 edges, 4489 markings/sec, 105 secs
lola: 526397 markings, 995284 edges, 4586 markings/sec, 110 secs
lola: 549105 markings, 1043587 edges, 4542 markings/sec, 115 secs
lola: 571284 markings, 1091411 edges, 4436 markings/sec, 120 secs
lola: 593859 markings, 1139148 edges, 4515 markings/sec, 125 secs
lola: 616073 markings, 1185962 edges, 4443 markings/sec, 130 secs
lola: 638834 markings, 1235862 edges, 4552 markings/sec, 135 secs
lola: 661956 markings, 1287367 edges, 4624 markings/sec, 140 secs
lola: 684934 markings, 1339296 edges, 4596 markings/sec, 145 secs
lola: 707634 markings, 1385284 edges, 4540 markings/sec, 150 secs
lola: 730552 markings, 1436186 edges, 4584 markings/sec, 155 secs
lola: 753332 markings, 1487808 edges, 4556 markings/sec, 160 secs
lola: 776450 markings, 1538951 edges, 4624 markings/sec, 165 secs
lola: 800166 markings, 1591553 edges, 4743 markings/sec, 170 secs
lola: 823307 markings, 1641338 edges, 4628 markings/sec, 175 secs
lola: 846629 markings, 1691332 edges, 4664 markings/sec, 180 secs
lola: 870024 markings, 1744589 edges, 4679 markings/sec, 185 secs
lola: 892960 markings, 1792446 edges, 4587 markings/sec, 190 secs
lola: 916455 markings, 1844430 edges, 4699 markings/sec, 195 secs
lola: 937855 markings, 1890986 edges, 4280 markings/sec, 200 secs
lola: 959506 markings, 1940826 edges, 4330 markings/sec, 205 secs
lola: 981157 markings, 1992494 edges, 4330 markings/sec, 210 secs
lola: 1002445 markings, 2042758 edges, 4258 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(p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223)
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: 22879 markings, 31785 edges, 4576 markings/sec, 0 secs
lola: 45212 markings, 66618 edges, 4467 markings/sec, 5 secs
lola: 66994 markings, 101653 edges, 4356 markings/sec, 10 secs
lola: 88726 markings, 137867 edges, 4346 markings/sec, 15 secs
lola: 110937 markings, 174357 edges, 4442 markings/sec, 20 secs
lola: 134016 markings, 213969 edges, 4616 markings/sec, 25 secs
lola: 155955 markings, 253750 edges, 4388 markings/sec, 30 secs
lola: 178203 markings, 293992 edges, 4450 markings/sec, 35 secs
lola: 200382 markings, 335061 edges, 4436 markings/sec, 40 secs
lola: 223774 markings, 376613 edges, 4678 markings/sec, 45 secs
lola: 247058 markings, 418135 edges, 4657 markings/sec, 50 secs
lola: 269970 markings, 460113 edges, 4582 markings/sec, 55 secs
lola: 291906 markings, 501713 edges, 4387 markings/sec, 60 secs
lola: 314503 markings, 545748 edges, 4519 markings/sec, 65 secs
lola: 336764 markings, 586738 edges, 4452 markings/sec, 70 secs
lola: 358750 markings, 629489 edges, 4397 markings/sec, 75 secs
lola: 380449 markings, 673083 edges, 4340 markings/sec, 80 secs
lola: 402173 markings, 716265 edges, 4345 markings/sec, 85 secs
lola: 424640 markings, 759089 edges, 4493 markings/sec, 90 secs
lola: 447536 markings, 804414 edges, 4579 markings/sec, 95 secs
lola: 470639 markings, 849545 edges, 4621 markings/sec, 100 secs
lola: 493058 markings, 892942 edges, 4484 markings/sec, 105 secs
lola: 514389 markings, 934812 edges, 4266 markings/sec, 110 secs
lola: 535205 markings, 976553 edges, 4163 markings/sec, 115 secs
lola: 556066 markings, 1018546 edges, 4172 markings/sec, 120 secs
lola: 576908 markings, 1060708 edges, 4168 markings/sec, 125 secs
lola: 597833 markings, 1103936 edges, 4185 markings/sec, 130 secs
lola: 618858 markings, 1146380 edges, 4205 markings/sec, 135 secs
lola: 640420 markings, 1191419 edges, 4312 markings/sec, 140 secs
lola: 662217 markings, 1236798 edges, 4359 markings/sec, 145 secs
lola: 684369 markings, 1284032 edges, 4430 markings/sec, 150 secs
lola: 705175 markings, 1328926 edges, 4161 markings/sec, 155 secs
lola: 726910 markings, 1375445 edges, 4347 markings/sec, 160 secs
lola: 748375 markings, 1419735 edges, 4293 markings/sec, 165 secs
lola: 769727 markings, 1464717 edges, 4270 markings/sec, 170 secs
lola: 791204 markings, 1509932 edges, 4295 markings/sec, 175 secs
lola: 812609 markings, 1555849 edges, 4281 markings/sec, 180 secs
lola: 834401 markings, 1601578 edges, 4358 markings/sec, 185 secs
lola: 856304 markings, 1646999 edges, 4381 markings/sec, 190 secs
lola: 878195 markings, 1693103 edges, 4378 markings/sec, 195 secs
lola: 901048 markings, 1735915 edges, 4571 markings/sec, 200 secs
lola: 924249 markings, 1774588 edges, 4640 markings/sec, 205 secs
lola: 947278 markings, 1814619 edges, 4606 markings/sec, 210 secs
lola: 970336 markings, 1854703 edges, 4612 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(p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182)
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: 15366 markings, 29663 edges, 3073 markings/sec, 0 secs
lola: 31212 markings, 65315 edges, 3169 markings/sec, 5 secs
lola: 46882 markings, 102307 edges, 3134 markings/sec, 10 secs
lola: 62689 markings, 141483 edges, 3161 markings/sec, 15 secs
lola: 78700 markings, 179842 edges, 3202 markings/sec, 20 secs
lola: 94776 markings, 221878 edges, 3215 markings/sec, 25 secs
lola: 109476 markings, 259228 edges, 2940 markings/sec, 30 secs
lola: 123891 markings, 296908 edges, 2883 markings/sec, 35 secs
lola: 138462 markings, 337329 edges, 2914 markings/sec, 40 secs
lola: 152771 markings, 377950 edges, 2862 markings/sec, 45 secs
lola: 167999 markings, 419751 edges, 3046 markings/sec, 50 secs
lola: 183281 markings, 461178 edges, 3056 markings/sec, 55 secs
lola: 199005 markings, 503936 edges, 3145 markings/sec, 60 secs
lola: 214494 markings, 546189 edges, 3098 markings/sec, 65 secs
lola: 229834 markings, 587822 edges, 3068 markings/sec, 70 secs
lola: 244392 markings, 627619 edges, 2912 markings/sec, 75 secs
lola: 259357 markings, 666822 edges, 2993 markings/sec, 80 secs
lola: 274371 markings, 708973 edges, 3003 markings/sec, 85 secs
lola: 289777 markings, 750481 edges, 3081 markings/sec, 90 secs
lola: 305224 markings, 794777 edges, 3089 markings/sec, 95 secs
lola: 319849 markings, 833765 edges, 2925 markings/sec, 100 secs
lola: 334731 markings, 877278 edges, 2976 markings/sec, 105 secs
lola: 349665 markings, 919942 edges, 2987 markings/sec, 110 secs
lola: 364978 markings, 962753 edges, 3063 markings/sec, 115 secs
lola: 379954 markings, 1003018 edges, 2995 markings/sec, 120 secs
lola: 395203 markings, 1047365 edges, 3050 markings/sec, 125 secs
lola: 410482 markings, 1088852 edges, 3056 markings/sec, 130 secs
lola: 425891 markings, 1134293 edges, 3082 markings/sec, 135 secs
lola: 440278 markings, 1175196 edges, 2877 markings/sec, 140 secs
lola: 455458 markings, 1217471 edges, 3036 markings/sec, 145 secs
lola: 470620 markings, 1262225 edges, 3032 markings/sec, 150 secs
lola: 485689 markings, 1304100 edges, 3014 markings/sec, 155 secs
lola: 501033 markings, 1346397 edges, 3069 markings/sec, 160 secs
lola: 516884 markings, 1388970 edges, 3170 markings/sec, 165 secs
lola: 532393 markings, 1434543 edges, 3102 markings/sec, 170 secs
lola: 547410 markings, 1476727 edges, 3003 markings/sec, 175 secs
lola: 561977 markings, 1519014 edges, 2913 markings/sec, 180 secs
lola: 577289 markings, 1563420 edges, 3062 markings/sec, 185 secs
lola: 592373 markings, 1609276 edges, 3017 markings/sec, 190 secs
lola: 606799 markings, 1652493 edges, 2885 markings/sec, 195 secs
lola: 621949 markings, 1697262 edges, 3030 markings/sec, 200 secs
lola: 636924 markings, 1740131 edges, 2995 markings/sec, 205 secs
lola: 651146 markings, 1782733 edges, 2844 markings/sec, 210 secs
lola: 666445 markings, 1826684 edges, 3060 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(p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182)
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: 15540 markings, 30002 edges, 3108 markings/sec, 0 secs
lola: 31138 markings, 65130 edges, 3120 markings/sec, 5 secs
lola: 46794 markings, 102007 edges, 3131 markings/sec, 10 secs
lola: 62501 markings, 141017 edges, 3141 markings/sec, 15 secs
lola: 78486 markings, 179368 edges, 3197 markings/sec, 20 secs
lola: 94273 markings, 220488 edges, 3157 markings/sec, 25 secs
lola: 109454 markings, 259172 edges, 3036 markings/sec, 30 secs
lola: 125071 markings, 300234 edges, 3123 markings/sec, 35 secs
lola: 140905 markings, 344367 edges, 3167 markings/sec, 40 secs
lola: 156532 markings, 387138 edges, 3125 markings/sec, 45 secs
lola: 171790 markings, 429689 edges, 3052 markings/sec, 50 secs
lola: 187236 markings, 472021 edges, 3089 markings/sec, 55 secs
lola: 203100 markings, 515094 edges, 3173 markings/sec, 60 secs
lola: 218532 markings, 556930 edges, 3086 markings/sec, 65 secs
lola: 233638 markings, 599481 edges, 3021 markings/sec, 70 secs
lola: 248241 markings, 638585 edges, 2921 markings/sec, 75 secs
lola: 262767 markings, 675916 edges, 2905 markings/sec, 80 secs
lola: 277647 markings, 718141 edges, 2976 markings/sec, 85 secs
lola: 292716 markings, 759315 edges, 3014 markings/sec, 90 secs
lola: 308134 markings, 802927 edges, 3084 markings/sec, 95 secs
lola: 322993 markings, 842294 edges, 2972 markings/sec, 100 secs
lola: 337471 markings, 885066 edges, 2896 markings/sec, 105 secs
lola: 351928 markings, 926823 edges, 2891 markings/sec, 110 secs
lola: 366149 markings, 965792 edges, 2844 markings/sec, 115 secs
lola: 379888 markings, 1002879 edges, 2748 markings/sec, 120 secs
lola: 394209 markings, 1045333 edges, 2864 markings/sec, 125 secs
lola: 409261 markings, 1085658 edges, 3010 markings/sec, 130 secs
lola: 424483 markings, 1129866 edges, 3044 markings/sec, 135 secs
lola: 438986 markings, 1171600 edges, 2901 markings/sec, 140 secs
lola: 453996 markings, 1213719 edges, 3002 markings/sec, 145 secs
lola: 468955 markings, 1257963 edges, 2992 markings/sec, 150 secs
lola: 484042 markings, 1298839 edges, 3017 markings/sec, 155 secs
lola: 499438 markings, 1341872 edges, 3079 markings/sec, 160 secs
lola: 514836 markings, 1383773 edges, 3080 markings/sec, 165 secs
lola: 529840 markings, 1426867 edges, 3001 markings/sec, 170 secs
lola: 544656 markings, 1468819 edges, 2963 markings/sec, 175 secs
lola: 558879 markings, 1510121 edges, 2845 markings/sec, 180 secs
lola: 572964 markings, 1550401 edges, 2817 markings/sec, 185 secs
lola: 587538 markings, 1594774 edges, 2915 markings/sec, 190 secs
lola: 602243 markings, 1638903 edges, 2941 markings/sec, 195 secs
lola: 617369 markings, 1683377 edges, 3025 markings/sec, 200 secs
lola: 632231 markings, 1726123 edges, 2972 markings/sec, 205 secs
lola: 646707 markings, 1770886 edges, 2895 markings/sec, 210 secs
lola: 661120 markings, 1811247 edges, 2883 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(p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161)
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: 21675 markings, 23679 edges, 4335 markings/sec, 0 secs
lola: 43428 markings, 48712 edges, 4351 markings/sec, 5 secs
lola: 64737 markings, 74399 edges, 4262 markings/sec, 10 secs
lola: 86512 markings, 102117 edges, 4355 markings/sec, 15 secs
lola: 108630 markings, 132473 edges, 4424 markings/sec, 20 secs
lola: 130046 markings, 160000 edges, 4283 markings/sec, 25 secs
lola: 151731 markings, 190392 edges, 4337 markings/sec, 30 secs
lola: 173118 markings, 221432 edges, 4277 markings/sec, 35 secs
lola: 194583 markings, 251778 edges, 4293 markings/sec, 40 secs
lola: 216685 markings, 286824 edges, 4420 markings/sec, 45 secs
lola: 238697 markings, 316230 edges, 4402 markings/sec, 50 secs
lola: 259905 markings, 349220 edges, 4242 markings/sec, 55 secs
lola: 281276 markings, 381878 edges, 4274 markings/sec, 60 secs
lola: 302566 markings, 415519 edges, 4258 markings/sec, 65 secs
lola: 323711 markings, 449510 edges, 4229 markings/sec, 70 secs
lola: 345426 markings, 485082 edges, 4343 markings/sec, 75 secs
lola: 367048 markings, 521418 edges, 4324 markings/sec, 80 secs
lola: 388838 markings, 558978 edges, 4358 markings/sec, 85 secs
lola: 411038 markings, 596155 edges, 4440 markings/sec, 90 secs
lola: 432592 markings, 633855 edges, 4311 markings/sec, 95 secs
lola: 454277 markings, 670647 edges, 4337 markings/sec, 100 secs
lola: 476734 markings, 711006 edges, 4491 markings/sec, 105 secs
lola: 498624 markings, 748326 edges, 4378 markings/sec, 110 secs
lola: 521012 markings, 788398 edges, 4478 markings/sec, 115 secs
lola: 543445 markings, 827744 edges, 4487 markings/sec, 120 secs
lola: 565410 markings, 863709 edges, 4393 markings/sec, 125 secs
lola: 586669 markings, 901354 edges, 4252 markings/sec, 130 secs
lola: 608477 markings, 942798 edges, 4362 markings/sec, 135 secs
lola: 630640 markings, 979399 edges, 4433 markings/sec, 140 secs
lola: 652767 markings, 1021700 edges, 4425 markings/sec, 145 secs
lola: 674702 markings, 1061499 edges, 4387 markings/sec, 150 secs
lola: 697061 markings, 1101418 edges, 4472 markings/sec, 155 secs
lola: 719279 markings, 1142728 edges, 4444 markings/sec, 160 secs
lola: 741157 markings, 1182314 edges, 4376 markings/sec, 165 secs
lola: 763057 markings, 1225695 edges, 4380 markings/sec, 170 secs
lola: 784882 markings, 1266394 edges, 4365 markings/sec, 175 secs
lola: 807379 markings, 1307438 edges, 4499 markings/sec, 180 secs
lola: 830010 markings, 1348138 edges, 4526 markings/sec, 185 secs
lola: 850804 markings, 1386638 edges, 4159 markings/sec, 190 secs
lola: 871519 markings, 1426549 edges, 4143 markings/sec, 195 secs
lola: 893857 markings, 1468258 edges, 4468 markings/sec, 200 secs
lola: 916470 markings, 1511519 edges, 4523 markings/sec, 205 secs
lola: 936976 markings, 1549282 edges, 4101 markings/sec, 210 secs
lola: 957149 markings, 1584759 edges, 4035 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(p9 + p8 + p7 + p6 + p5 + p4 + p3 + p2 + p1 + p0)
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(p11)
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: 18325 markings, 23839 edges, 3665 markings/sec, 0 secs
lola: 36766 markings, 50464 edges, 3688 markings/sec, 5 secs
lola: 55222 markings, 79058 edges, 3691 markings/sec, 10 secs
lola: 73731 markings, 107703 edges, 3702 markings/sec, 15 secs
lola: 93617 markings, 139173 edges, 3977 markings/sec, 20 secs
lola: 112570 markings, 168809 edges, 3791 markings/sec, 25 secs
lola: 130453 markings, 197581 edges, 3577 markings/sec, 30 secs
lola: 148168 markings, 227230 edges, 3543 markings/sec, 35 secs
lola: 167014 markings, 256977 edges, 3769 markings/sec, 40 secs
lola: 186300 markings, 289299 edges, 3857 markings/sec, 45 secs
lola: 205178 markings, 320773 edges, 3776 markings/sec, 50 secs
lola: 224481 markings, 353374 edges, 3861 markings/sec, 55 secs
lola: 244133 markings, 388346 edges, 3930 markings/sec, 60 secs
lola: 263585 markings, 422447 edges, 3890 markings/sec, 65 secs
lola: 283376 markings, 457002 edges, 3958 markings/sec, 70 secs
lola: 302800 markings, 491174 edges, 3885 markings/sec, 75 secs
lola: 321986 markings, 524464 edges, 3837 markings/sec, 80 secs
lola: 341136 markings, 557411 edges, 3830 markings/sec, 85 secs
lola: 360165 markings, 590483 edges, 3806 markings/sec, 90 secs
lola: 379506 markings, 622342 edges, 3868 markings/sec, 95 secs
lola: 399289 markings, 656438 edges, 3957 markings/sec, 100 secs
lola: 418858 markings, 692619 edges, 3914 markings/sec, 105 secs
lola: 437722 markings, 725073 edges, 3773 markings/sec, 110 secs
lola: 456724 markings, 757972 edges, 3800 markings/sec, 115 secs
lola: 475255 markings, 790813 edges, 3706 markings/sec, 120 secs
lola: 493648 markings, 824015 edges, 3679 markings/sec, 125 secs
lola: 511517 markings, 854849 edges, 3574 markings/sec, 130 secs
lola: 530306 markings, 889185 edges, 3758 markings/sec, 135 secs
lola: 549127 markings, 924298 edges, 3764 markings/sec, 140 secs
lola: 567997 markings, 959654 edges, 3774 markings/sec, 145 secs
lola: 587649 markings, 996805 edges, 3930 markings/sec, 150 secs
lola: 605790 markings, 1031082 edges, 3628 markings/sec, 155 secs
lola: 623874 markings, 1064668 edges, 3617 markings/sec, 160 secs
lola: 642067 markings, 1099142 edges, 3639 markings/sec, 165 secs
lola: 661019 markings, 1133327 edges, 3790 markings/sec, 170 secs
lola: 680527 markings, 1170652 edges, 3902 markings/sec, 175 secs
lola: 700241 markings, 1208260 edges, 3943 markings/sec, 180 secs
lola: 719037 markings, 1243841 edges, 3759 markings/sec, 185 secs
lola: 737201 markings, 1277234 edges, 3633 markings/sec, 190 secs
lola: 756516 markings, 1315076 edges, 3863 markings/sec, 195 secs
lola: 774218 markings, 1348747 edges, 3540 markings/sec, 200 secs
lola: 792537 markings, 1383492 edges, 3664 markings/sec, 205 secs
lola: 810694 markings, 1417013 edges, 3631 markings/sec, 210 secs
lola: 828992 markings, 1452524 edges, 3660 markings/sec, 215 secs
lola: 848408 markings, 1490494 edges, 3883 markings/sec, 220 secs
lola: 867789 markings, 1528296 edges, 3876 markings/sec, 225 secs
lola: 886311 markings, 1565619 edges, 3704 markings/sec, 230 secs
lola: 904590 markings, 1600573 edges, 3656 markings/sec, 235 secs
lola: 922878 markings, 1636632 edges, 3658 markings/sec, 240 secs
lola: 941408 markings, 1673118 edges, 3706 markings/sec, 245 secs
lola: 960037 markings, 1708496 edges, 3726 markings/sec, 250 secs
lola: 978255 markings, 1744434 edges, 3644 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(p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203)
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(p12 + p13 + p14 + p15 + p21 + p20 + p19 + p18 + p17 + p16)
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: 15023 markings, 25323 edges, 3005 markings/sec, 0 secs
lola: 30488 markings, 54440 edges, 3093 markings/sec, 5 secs
lola: 45605 markings, 84048 edges, 3023 markings/sec, 10 secs
lola: 60933 markings, 115662 edges, 3066 markings/sec, 15 secs
lola: 76631 markings, 148447 edges, 3140 markings/sec, 20 secs
lola: 92208 markings, 181146 edges, 3115 markings/sec, 25 secs
lola: 107727 markings, 214852 edges, 3104 markings/sec, 30 secs
lola: 123489 markings, 247143 edges, 3152 markings/sec, 35 secs
lola: 138470 markings, 278462 edges, 2996 markings/sec, 40 secs
lola: 153604 markings, 310731 edges, 3027 markings/sec, 45 secs
lola: 168534 markings, 343119 edges, 2986 markings/sec, 50 secs
lola: 183733 markings, 375770 edges, 3040 markings/sec, 55 secs
lola: 199342 markings, 409603 edges, 3122 markings/sec, 60 secs
lola: 214422 markings, 442833 edges, 3016 markings/sec, 65 secs
lola: 230085 markings, 477407 edges, 3133 markings/sec, 70 secs
lola: 245651 markings, 512457 edges, 3113 markings/sec, 75 secs
lola: 260907 markings, 547126 edges, 3051 markings/sec, 80 secs
lola: 275584 markings, 581390 edges, 2935 markings/sec, 85 secs
lola: 290551 markings, 614884 edges, 2993 markings/sec, 90 secs
lola: 305612 markings, 648784 edges, 3012 markings/sec, 95 secs
lola: 320834 markings, 684051 edges, 3044 markings/sec, 100 secs
lola: 335798 markings, 717089 edges, 2993 markings/sec, 105 secs
lola: 351278 markings, 753752 edges, 3096 markings/sec, 110 secs
lola: 366236 markings, 788450 edges, 2992 markings/sec, 115 secs
lola: 381176 markings, 823638 edges, 2988 markings/sec, 120 secs
lola: 395769 markings, 857321 edges, 2919 markings/sec, 125 secs
lola: 410282 markings, 890206 edges, 2903 markings/sec, 130 secs
lola: 424981 markings, 924450 edges, 2940 markings/sec, 135 secs
lola: 439302 markings, 957381 edges, 2864 markings/sec, 140 secs
lola: 454495 markings, 992718 edges, 3039 markings/sec, 145 secs
lola: 469312 markings, 1027604 edges, 2963 markings/sec, 150 secs
lola: 484204 markings, 1062879 edges, 2978 markings/sec, 155 secs
lola: 499544 markings, 1097657 edges, 3068 markings/sec, 160 secs
lola: 515108 markings, 1133117 edges, 3113 markings/sec, 165 secs
lola: 530300 markings, 1167169 edges, 3038 markings/sec, 170 secs
lola: 545484 markings, 1201557 edges, 3037 markings/sec, 175 secs
lola: 560482 markings, 1234225 edges, 3000 markings/sec, 180 secs
lola: 576153 markings, 1270497 edges, 3134 markings/sec, 185 secs
lola: 591228 markings, 1305255 edges, 3015 markings/sec, 190 secs
lola: 605812 markings, 1340714 edges, 2917 markings/sec, 195 secs
lola: 621156 markings, 1377029 edges, 3069 markings/sec, 200 secs
lola: 636339 markings, 1412679 edges, 3037 markings/sec, 205 secs
lola: 651828 markings, 1449097 edges, 3098 markings/sec, 210 secs
lola: 666640 markings, 1483287 edges, 2962 markings/sec, 215 secs
lola: 681575 markings, 1517986 edges, 2987 markings/sec, 220 secs
lola: 696774 markings, 1553855 edges, 3040 markings/sec, 225 secs
lola: 712017 markings, 1588715 edges, 3049 markings/sec, 230 secs
lola: 726737 markings, 1623613 edges, 2944 markings/sec, 235 secs
lola: 742023 markings, 1659256 edges, 3057 markings/sec, 240 secs
lola: 756946 markings, 1693400 edges, 2985 markings/sec, 245 secs
lola: 771992 markings, 1728891 edges, 3009 markings/sec, 250 secs
lola: 786710 markings, 1762402 edges, 2944 markings/sec, 255 secs
lola: 801532 markings, 1796492 edges, 2964 markings/sec, 260 secs
lola: 816398 markings, 1830399 edges, 2973 markings/sec, 265 secs
lola: 831905 markings, 1865439 edges, 3101 markings/sec, 270 secs
lola: 847363 markings, 1903318 edges, 3092 markings/sec, 275 secs
lola: 862166 markings, 1938771 edges, 2961 markings/sec, 280 secs
lola: 877550 markings, 1976261 edges, 3077 markings/sec, 285 secs
lola: 892299 markings, 2010448 edges, 2950 markings/sec, 290 secs
lola: 906911 markings, 2045323 edges, 2922 markings/sec, 295 secs
lola: 921804 markings, 2080460 edges, 2979 markings/sec, 300 secs
lola: 936524 markings, 2115752 edges, 2944 markings/sec, 305 secs
lola: 951489 markings, 2149794 edges, 2993 markings/sec, 310 secs
lola: 966553 markings, 2184870 edges, 3013 markings/sec, 315 secs
lola: 981595 markings, 2221470 edges, 3008 markings/sec, 320 secs
lola: 996215 markings, 2256285 edges, 2924 markings/sec, 325 secs
lola: 1010788 markings, 2291478 edges, 2915 markings/sec, 330 secs
lola: 1025582 markings, 2327284 edges, 2959 markings/sec, 335 secs
lola: 1040205 markings, 2362934 edges, 2925 markings/sec, 340 secs
lola: 1054952 markings, 2399107 edges, 2949 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(p224)
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: 16185 markings, 20318 edges, 3237 markings/sec, 0 secs
lola: 33259 markings, 44400 edges, 3415 markings/sec, 5 secs
lola: 50155 markings, 67918 edges, 3379 markings/sec, 10 secs
lola: 67254 markings, 93592 edges, 3420 markings/sec, 15 secs
lola: 84693 markings, 119778 edges, 3488 markings/sec, 20 secs
lola: 101779 markings, 146293 edges, 3417 markings/sec, 25 secs
lola: 118424 markings, 169244 edges, 3329 markings/sec, 30 secs
lola: 135233 markings, 193989 edges, 3362 markings/sec, 35 secs
lola: 151862 markings, 218620 edges, 3326 markings/sec, 40 secs
lola: 169408 markings, 247301 edges, 3509 markings/sec, 45 secs
lola: 185615 markings, 270867 edges, 3241 markings/sec, 50 secs
lola: 202987 markings, 298499 edges, 3474 markings/sec, 55 secs
lola: 220055 markings, 324572 edges, 3414 markings/sec, 60 secs
lola: 236766 markings, 349529 edges, 3342 markings/sec, 65 secs
lola: 254575 markings, 380520 edges, 3562 markings/sec, 70 secs
lola: 272664 markings, 412377 edges, 3618 markings/sec, 75 secs
lola: 289692 markings, 439422 edges, 3406 markings/sec, 80 secs
lola: 306431 markings, 465408 edges, 3348 markings/sec, 85 secs
lola: 323676 markings, 493386 edges, 3449 markings/sec, 90 secs
lola: 340478 markings, 519103 edges, 3360 markings/sec, 95 secs
lola: 357454 markings, 545795 edges, 3395 markings/sec, 100 secs
lola: 374762 markings, 574305 edges, 3462 markings/sec, 105 secs
lola: 392244 markings, 602976 edges, 3496 markings/sec, 110 secs
lola: 409123 markings, 629938 edges, 3376 markings/sec, 115 secs
lola: 425508 markings, 653974 edges, 3277 markings/sec, 120 secs
lola: 442696 markings, 682386 edges, 3438 markings/sec, 125 secs
lola: 459786 markings, 710598 edges, 3418 markings/sec, 130 secs
lola: 476732 markings, 737952 edges, 3389 markings/sec, 135 secs
lola: 493923 markings, 766080 edges, 3438 markings/sec, 140 secs
lola: 510954 markings, 794165 edges, 3406 markings/sec, 145 secs
lola: 528406 markings, 825210 edges, 3490 markings/sec, 150 secs
lola: 545031 markings, 852699 edges, 3325 markings/sec, 155 secs
lola: 562191 markings, 880952 edges, 3432 markings/sec, 160 secs
lola: 579272 markings, 910034 edges, 3416 markings/sec, 165 secs
lola: 595842 markings, 935967 edges, 3314 markings/sec, 170 secs
lola: 613436 markings, 966988 edges, 3519 markings/sec, 175 secs
lola: 631050 markings, 997351 edges, 3523 markings/sec, 180 secs
lola: 647724 markings, 1024216 edges, 3335 markings/sec, 185 secs
lola: 664652 markings, 1052722 edges, 3386 markings/sec, 190 secs
lola: 681043 markings, 1078811 edges, 3278 markings/sec, 195 secs
lola: 697823 markings, 1106191 edges, 3356 markings/sec, 200 secs
lola: 714517 markings, 1133493 edges, 3339 markings/sec, 205 secs
lola: 731855 markings, 1164127 edges, 3468 markings/sec, 210 secs
lola: 748753 markings, 1193364 edges, 3380 markings/sec, 215 secs
lola: 765301 markings, 1220394 edges, 3310 markings/sec, 220 secs
lola: 783254 markings, 1252730 edges, 3591 markings/sec, 225 secs
lola: 801054 markings, 1284406 edges, 3560 markings/sec, 230 secs
lola: 818184 markings, 1314255 edges, 3426 markings/sec, 235 secs
lola: 834953 markings, 1341640 edges, 3354 markings/sec, 240 secs
lola: 852163 markings, 1371032 edges, 3442 markings/sec, 245 secs
lola: 868678 markings, 1397925 edges, 3303 markings/sec, 250 secs
lola: 885922 markings, 1428478 edges, 3449 markings/sec, 255 secs
lola: 903393 markings, 1458855 edges, 3494 markings/sec, 260 secs
lola: 921101 markings, 1490306 edges, 3542 markings/sec, 265 secs
lola: 938607 markings, 1521790 edges, 3501 markings/sec, 270 secs
lola: 955734 markings, 1551835 edges, 3425 markings/sec, 275 secs
lola: 973383 markings, 1584173 edges, 3530 markings/sec, 280 secs
lola: 990897 markings, 1616388 edges, 3503 markings/sec, 285 secs
lola: 1008055 markings, 1644962 edges, 3432 markings/sec, 290 secs
lola: 1025913 markings, 1677675 edges, 3572 markings/sec, 295 secs
lola: 1042975 markings, 1706935 edges, 3412 markings/sec, 300 secs
lola: 1061124 markings, 1740089 edges, 3630 markings/sec, 305 secs
lola: 1078471 markings, 1771367 edges, 3469 markings/sec, 310 secs
lola: 1095374 markings, 1799914 edges, 3381 markings/sec, 315 secs
lola: 1112739 markings, 1830255 edges, 3473 markings/sec, 320 secs
lola: 1130436 markings, 1862294 edges, 3539 markings/sec, 325 secs
lola: 1147699 markings, 1893390 edges, 3453 markings/sec, 330 secs
lola: 1165539 markings, 1926247 edges, 3568 markings/sec, 335 secs
lola: 1183108 markings, 1958703 edges, 3514 markings/sec, 340 secs
lola: 1200043 markings, 1987461 edges, 3387 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(p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193)
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: 14879 markings, 18896 edges, 2976 markings/sec, 0 secs
lola: 29669 markings, 40228 edges, 2958 markings/sec, 5 secs
lola: 44861 markings, 62198 edges, 3038 markings/sec, 10 secs
lola: 59933 markings, 84401 edges, 3014 markings/sec, 15 secs
lola: 75098 markings, 107111 edges, 3033 markings/sec, 20 secs
lola: 90337 markings, 129816 edges, 3048 markings/sec, 25 secs
lola: 105217 markings, 153218 edges, 2976 markings/sec, 30 secs
lola: 120021 markings, 176848 edges, 2961 markings/sec, 35 secs
lola: 134739 markings, 200010 edges, 2944 markings/sec, 40 secs
lola: 149536 markings, 224092 edges, 2959 markings/sec, 45 secs
lola: 164358 markings, 247697 edges, 2964 markings/sec, 50 secs
lola: 179250 markings, 271947 edges, 2978 markings/sec, 55 secs
lola: 193671 markings, 295720 edges, 2884 markings/sec, 60 secs
lola: 208677 markings, 320633 edges, 3001 markings/sec, 65 secs
lola: 223387 markings, 345959 edges, 2942 markings/sec, 70 secs
lola: 238044 markings, 370403 edges, 2931 markings/sec, 75 secs
lola: 253155 markings, 395742 edges, 3022 markings/sec, 80 secs
lola: 268064 markings, 420362 edges, 2982 markings/sec, 85 secs
lola: 283258 markings, 446675 edges, 3039 markings/sec, 90 secs
lola: 298455 markings, 472064 edges, 3039 markings/sec, 95 secs
lola: 313262 markings, 496738 edges, 2961 markings/sec, 100 secs
lola: 327595 markings, 521455 edges, 2867 markings/sec, 105 secs
lola: 342609 markings, 547441 edges, 3003 markings/sec, 110 secs
lola: 357361 markings, 573313 edges, 2950 markings/sec, 115 secs
lola: 372655 markings, 599466 edges, 3059 markings/sec, 120 secs
lola: 387789 markings, 625306 edges, 3027 markings/sec, 125 secs
lola: 402951 markings, 651190 edges, 3032 markings/sec, 130 secs
lola: 418053 markings, 677562 edges, 3020 markings/sec, 135 secs
lola: 432856 markings, 703417 edges, 2961 markings/sec, 140 secs
lola: 447794 markings, 728736 edges, 2988 markings/sec, 145 secs
lola: 462466 markings, 754260 edges, 2934 markings/sec, 150 secs
lola: 477405 markings, 779518 edges, 2988 markings/sec, 155 secs
lola: 492143 markings, 805532 edges, 2948 markings/sec, 160 secs
lola: 507082 markings, 831683 edges, 2988 markings/sec, 165 secs
lola: 522022 markings, 858487 edges, 2988 markings/sec, 170 secs
lola: 536792 markings, 884422 edges, 2954 markings/sec, 175 secs
lola: 551402 markings, 911668 edges, 2922 markings/sec, 180 secs
lola: 565996 markings, 937704 edges, 2919 markings/sec, 185 secs
lola: 580627 markings, 963909 edges, 2926 markings/sec, 190 secs
lola: 595800 markings, 992109 edges, 3035 markings/sec, 195 secs
lola: 610103 markings, 1019089 edges, 2861 markings/sec, 200 secs
lola: 625350 markings, 1047444 edges, 3049 markings/sec, 205 secs
lola: 640182 markings, 1074621 edges, 2966 markings/sec, 210 secs
lola: 655641 markings, 1102605 edges, 3092 markings/sec, 215 secs
lola: 670999 markings, 1129682 edges, 3072 markings/sec, 220 secs
lola: 686437 markings, 1158413 edges, 3088 markings/sec, 225 secs
lola: 701934 markings, 1187347 edges, 3099 markings/sec, 230 secs
lola: 717175 markings, 1215393 edges, 3048 markings/sec, 235 secs
lola: 732179 markings, 1242557 edges, 3001 markings/sec, 240 secs
lola: 747154 markings, 1270962 edges, 2995 markings/sec, 245 secs
lola: 762637 markings, 1299566 edges, 3097 markings/sec, 250 secs
lola: 778264 markings, 1328179 edges, 3125 markings/sec, 255 secs
lola: 793339 markings, 1356338 edges, 3015 markings/sec, 260 secs
lola: 808842 markings, 1385259 edges, 3101 markings/sec, 265 secs
lola: 823993 markings, 1413361 edges, 3030 markings/sec, 270 secs
lola: 839262 markings, 1441944 edges, 3054 markings/sec, 275 secs
lola: 854876 markings, 1471346 edges, 3123 markings/sec, 280 secs
lola: 870752 markings, 1500789 edges, 3175 markings/sec, 285 secs
lola: 886321 markings, 1530370 edges, 3114 markings/sec, 290 secs
lola: 902029 markings, 1560056 edges, 3142 markings/sec, 295 secs
lola: 917809 markings, 1590164 edges, 3156 markings/sec, 300 secs
lola: 933154 markings, 1619867 edges, 3069 markings/sec, 305 secs
lola: 948429 markings, 1648376 edges, 3055 markings/sec, 310 secs
lola: 963675 markings, 1677920 edges, 3049 markings/sec, 315 secs
lola: 979384 markings, 1707806 edges, 3142 markings/sec, 320 secs
lola: 994750 markings, 1736840 edges, 3073 markings/sec, 325 secs
lola: 1009999 markings, 1765878 edges, 3050 markings/sec, 330 secs
lola: 1025497 markings, 1796429 edges, 3100 markings/sec, 335 secs
lola: 1040880 markings, 1826300 edges, 3077 markings/sec, 340 secs
lola: 1056704 markings, 1857551 edges, 3165 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 1496445752243

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_SafeBus-COL-10.tgz
mv S_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 S_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 r148-csrt-149443432900191"
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 ;