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-3253
Executing tool lola
Input is S_CSRepetitions-COL-07, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455500092
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496443410699


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_CSRepetitions-COL-07: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_CSRepetitions-COL-07: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_CSRepetitions-COL-07 @ 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: 1331/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 498 places, 833 transitions, 442 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1275 transition conflict sets
lola: TASK
lola: reading formula from CSRepetitions-COL-07-UpperBounds.task
lola: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p99) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p44 + p45 + p46 + p47 + p48 + p49 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10) : MAX(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + 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 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p497 + p496 + p495 + p494 + p493 + p492) : MAX(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + 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 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p497 + p496 + p495 + p494 + p493 + p492) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p44 + p45 + p46 + p47 + p48 + p49 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10) : MAX(p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p51 + p50) : MAX(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + 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 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p497 + p496 + p495 + p494 + p493 + p492) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p99) : MAX(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 + p152 + p153 + p154 + p114 + p113 + p112 + p111 + p110 + p109 + p108 + p107 + p106) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p99) : MAX(p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p51 + p50) : MAX(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + 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 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p497 + p496 + p495 + p494 + p493 + p492) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p99) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p99) : MAX(p0) : MAX(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + 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 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p497 + p496 + p495 + p494 + p493 + p492)
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(p100 + p101 + p102 + p103 + p104 + p105 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 154552 markings, 441793 edges, 30910 markings/sec, 0 secs
lola: 304788 markings, 908845 edges, 30047 markings/sec, 5 secs
lola: 452946 markings, 1387267 edges, 29632 markings/sec, 10 secs
lola: 600429 markings, 1865392 edges, 29497 markings/sec, 15 secs
lola: 746848 markings, 2346287 edges, 29284 markings/sec, 20 secs
lola: 891854 markings, 2837479 edges, 29001 markings/sec, 25 secs
lola: 1035051 markings, 3352658 edges, 28639 markings/sec, 30 secs
lola: 1180759 markings, 3820186 edges, 29142 markings/sec, 35 secs
lola: 1324687 markings, 4300726 edges, 28786 markings/sec, 40 secs
lola: 1467808 markings, 4787727 edges, 28624 markings/sec, 45 secs
lola: 1607129 markings, 5283838 edges, 27864 markings/sec, 50 secs
lola: 1745080 markings, 5758418 edges, 27590 markings/sec, 55 secs
lola: 1880374 markings, 6248358 edges, 27059 markings/sec, 60 secs
lola: 2014554 markings, 6747161 edges, 26836 markings/sec, 65 secs
lola: 2150981 markings, 7235134 edges, 27285 markings/sec, 70 secs
lola: 2289406 markings, 7683999 edges, 27685 markings/sec, 75 secs
lola: 2426053 markings, 8146127 edges, 27329 markings/sec, 80 secs
lola: 2560343 markings, 8615876 edges, 26858 markings/sec, 85 secs
lola: 2694658 markings, 9084020 edges, 26863 markings/sec, 90 secs
lola: 2829186 markings, 9556674 edges, 26906 markings/sec, 95 secs
lola: 2962435 markings, 10039733 edges, 26650 markings/sec, 100 secs
lola: 3094152 markings, 10537092 edges, 26343 markings/sec, 105 secs
lola: 3227852 markings, 11014627 edges, 26740 markings/sec, 110 secs
lola: 3362036 markings, 11488257 edges, 26837 markings/sec, 115 secs
lola: 3495019 markings, 11970324 edges, 26597 markings/sec, 120 secs
lola: 3625964 markings, 12466764 edges, 26189 markings/sec, 125 secs
lola: 3757929 markings, 12956216 edges, 26393 markings/sec, 130 secs
lola: 3889677 markings, 13456034 edges, 26350 markings/sec, 135 secs
lola: 4020897 markings, 13964506 edges, 26244 markings/sec, 140 secs
lola: 4150757 markings, 14489450 edges, 25972 markings/sec, 145 secs
lola: 4285702 markings, 14955210 edges, 26989 markings/sec, 150 secs
lola: 4420129 markings, 15399648 edges, 26885 markings/sec, 155 secs
lola: 4553813 markings, 15851742 edges, 26737 markings/sec, 160 secs
lola: 4685523 markings, 16321121 edges, 26342 markings/sec, 165 secs
lola: 4818968 markings, 16779543 edges, 26689 markings/sec, 170 secs
lola: 4951063 markings, 17250575 edges, 26419 markings/sec, 175 secs
lola: 5082728 markings, 17727844 edges, 26333 markings/sec, 180 secs
lola: 5212193 markings, 18222368 edges, 25893 markings/sec, 185 secs
lola: 5345508 markings, 18687578 edges, 26663 markings/sec, 190 secs
lola: 5477298 markings, 19158137 edges, 26358 markings/sec, 195 secs
lola: 5608846 markings, 19634997 edges, 26310 markings/sec, 200 secs
lola: 5737749 markings, 20127686 edges, 25781 markings/sec, 205 secs
lola: 5868267 markings, 20608162 edges, 26104 markings/sec, 210 secs
lola: 5998172 markings, 21104187 edges, 25981 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(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p44 + p45 + p46 + p47 + p48 + p49 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p20 + 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 1768 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: 136769 markings, 831316 edges, 27354 markings/sec, 0 secs
lola: 260190 markings, 1685684 edges, 24684 markings/sec, 5 secs
lola: 381455 markings, 2507042 edges, 24253 markings/sec, 10 secs
lola: 495130 markings, 3355413 edges, 22735 markings/sec, 15 secs
lola: 611689 markings, 4172367 edges, 23312 markings/sec, 20 secs
lola: 724317 markings, 5001990 edges, 22526 markings/sec, 25 secs
lola: 834616 markings, 5840276 edges, 22060 markings/sec, 30 secs
lola: 942732 markings, 6689936 edges, 21623 markings/sec, 35 secs
lola: 1046561 markings, 7580450 edges, 20766 markings/sec, 40 secs
lola: 1163121 markings, 8370515 edges, 23312 markings/sec, 45 secs
lola: 1274036 markings, 9193461 edges, 22183 markings/sec, 50 secs
lola: 1382593 markings, 10019534 edges, 21711 markings/sec, 55 secs
lola: 1488497 markings, 10860358 edges, 21181 markings/sec, 60 secs
lola: 1591002 markings, 11716533 edges, 20501 markings/sec, 65 secs
lola: 1698528 markings, 12547624 edges, 21505 markings/sec, 70 secs
lola: 1802661 markings, 13400598 edges, 20827 markings/sec, 75 secs
lola: 1905763 markings, 14258874 edges, 20620 markings/sec, 80 secs
lola: 2006540 markings, 15132532 edges, 20155 markings/sec, 85 secs
lola: 2103864 markings, 16025129 edges, 19465 markings/sec, 90 secs
lola: 2217276 markings, 16799987 edges, 22682 markings/sec, 95 secs
lola: 2325439 markings, 17606195 edges, 21633 markings/sec, 100 secs
lola: 2432621 markings, 18419054 edges, 21436 markings/sec, 105 secs
lola: 2536035 markings, 19240245 edges, 20683 markings/sec, 110 secs
lola: 2634341 markings, 20068823 edges, 19661 markings/sec, 115 secs
lola: 2738932 markings, 20865717 edges, 20918 markings/sec, 120 secs
lola: 2839794 markings, 21685861 edges, 20172 markings/sec, 125 secs
lola: 2939742 markings, 22523555 edges, 19990 markings/sec, 130 secs
lola: 3036951 markings, 23361837 edges, 19442 markings/sec, 135 secs
lola: 3130279 markings, 24219201 edges, 18666 markings/sec, 140 secs
lola: 3234078 markings, 25020456 edges, 20760 markings/sec, 145 secs
lola: 3335544 markings, 25839292 edges, 20293 markings/sec, 150 secs
lola: 3447867 markings, 26780074 edges, 22465 markings/sec, 155 secs
lola: 3559079 markings, 27734552 edges, 22242 markings/sec, 160 secs
lola: 3665610 markings, 28721244 edges, 21306 markings/sec, 165 secs
lola: 3779132 markings, 29659286 edges, 22704 markings/sec, 170 secs
lola: 3888384 markings, 30631564 edges, 21850 markings/sec, 175 secs
lola: 3995751 markings, 31616357 edges, 21473 markings/sec, 180 secs
lola: 4101613 markings, 32608044 edges, 21172 markings/sec, 185 secs
lola: 4201071 markings, 33589064 edges, 19892 markings/sec, 190 secs
lola: 4314994 markings, 34368206 edges, 22785 markings/sec, 195 secs
lola: 4424084 markings, 35182704 edges, 21818 markings/sec, 200 secs
lola: 4532464 markings, 36001802 edges, 21676 markings/sec, 205 secs
lola: 4637706 markings, 36842547 edges, 21048 markings/sec, 210 secs
lola: 4740478 markings, 37694182 edges, 20554 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(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + 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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 97699 markings, 161596 edges, 19540 markings/sec, 0 secs
lola: 175445 markings, 423096 edges, 15549 markings/sec, 5 secs
lola: 252043 markings, 704682 edges, 15320 markings/sec, 10 secs
lola: 328983 markings, 995489 edges, 15388 markings/sec, 15 secs
lola: 406183 markings, 1274823 edges, 15440 markings/sec, 20 secs
lola: 481747 markings, 1583537 edges, 15113 markings/sec, 25 secs
lola: 556530 markings, 1901802 edges, 14957 markings/sec, 30 secs
lola: 632967 markings, 2189079 edges, 15287 markings/sec, 35 secs
lola: 708477 markings, 2493847 edges, 15102 markings/sec, 40 secs
lola: 785056 markings, 2797428 edges, 15316 markings/sec, 45 secs
lola: 859421 markings, 3123313 edges, 14873 markings/sec, 50 secs
lola: 932748 markings, 3432093 edges, 14665 markings/sec, 55 secs
lola: 1004642 markings, 3756990 edges, 14379 markings/sec, 60 secs
lola: 1075727 markings, 4092016 edges, 14217 markings/sec, 65 secs
lola: 1149601 markings, 4386365 edges, 14775 markings/sec, 70 secs
lola: 1224588 markings, 4684071 edges, 14997 markings/sec, 75 secs
lola: 1298726 markings, 4986254 edges, 14828 markings/sec, 80 secs
lola: 1376543 markings, 5321768 edges, 15563 markings/sec, 85 secs
lola: 1454935 markings, 5643571 edges, 15678 markings/sec, 90 secs
lola: 1531599 markings, 5994550 edges, 15333 markings/sec, 95 secs
lola: 1607594 markings, 6363076 edges, 15199 markings/sec, 100 secs
lola: 1685607 markings, 6692711 edges, 15603 markings/sec, 105 secs
lola: 1762900 markings, 7036529 edges, 15459 markings/sec, 110 secs
lola: 1839785 markings, 7389048 edges, 15377 markings/sec, 115 secs
lola: 1916616 markings, 7757309 edges, 15366 markings/sec, 120 secs
lola: 1993781 markings, 8125181 edges, 15433 markings/sec, 125 secs
lola: 2069245 markings, 8511903 edges, 15093 markings/sec, 130 secs
lola: 2143426 markings, 8913577 edges, 14836 markings/sec, 135 secs
lola: 2224622 markings, 9203197 edges, 16239 markings/sec, 140 secs
lola: 2303934 markings, 9518270 edges, 15862 markings/sec, 145 secs
lola: 2381526 markings, 9855747 edges, 15518 markings/sec, 150 secs
lola: 2460371 markings, 10176319 edges, 15769 markings/sec, 155 secs
lola: 2536969 markings, 10523178 edges, 15320 markings/sec, 160 secs
lola: 2614046 markings, 10868315 edges, 15415 markings/sec, 165 secs
lola: 2690061 markings, 11225076 edges, 15203 markings/sec, 170 secs
lola: 2767545 markings, 11553974 edges, 15497 markings/sec, 175 secs
lola: 2844923 markings, 11895028 edges, 15476 markings/sec, 180 secs
lola: 2920334 markings, 12269863 edges, 15082 markings/sec, 185 secs
lola: 2997414 markings, 12625328 edges, 15416 markings/sec, 190 secs
lola: 3074033 markings, 12999019 edges, 15324 markings/sec, 195 secs
lola: 3149458 markings, 13389314 edges, 15085 markings/sec, 200 secs
lola: 3226039 markings, 13761321 edges, 15316 markings/sec, 205 secs
lola: 3298007 markings, 14071997 edges, 14394 markings/sec, 210 secs
lola: 3369350 markings, 14385463 edges, 14269 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(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + 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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 102861 markings, 176499 edges, 20572 markings/sec, 0 secs
lola: 185281 markings, 466135 edges, 16484 markings/sec, 5 secs
lola: 267251 markings, 754836 edges, 16394 markings/sec, 10 secs
lola: 348565 markings, 1062089 edges, 16263 markings/sec, 15 secs
lola: 429852 markings, 1372719 edges, 16257 markings/sec, 20 secs
lola: 510063 markings, 1699414 edges, 16042 markings/sec, 25 secs
lola: 589641 markings, 2037271 edges, 15916 markings/sec, 30 secs
lola: 671200 markings, 2336492 edges, 16312 markings/sec, 35 secs
lola: 751638 markings, 2654093 edges, 16088 markings/sec, 40 secs
lola: 830060 markings, 3003669 edges, 15684 markings/sec, 45 secs
lola: 909790 markings, 3333845 edges, 15946 markings/sec, 50 secs
lola: 988633 markings, 3679978 edges, 15769 markings/sec, 55 secs
lola: 1066064 markings, 4045509 edges, 15486 markings/sec, 60 secs
lola: 1145932 markings, 4372996 edges, 15974 markings/sec, 65 secs
lola: 1226501 markings, 4691692 edges, 16114 markings/sec, 70 secs
lola: 1307037 markings, 5015429 edges, 16107 markings/sec, 75 secs
lola: 1386576 markings, 5358227 edges, 15908 markings/sec, 80 secs
lola: 1466119 markings, 5699789 edges, 15909 markings/sec, 85 secs
lola: 1544953 markings, 6054902 edges, 15767 markings/sec, 90 secs
lola: 1621871 markings, 6438753 edges, 15384 markings/sec, 95 secs
lola: 1702539 markings, 6760861 edges, 16134 markings/sec, 100 secs
lola: 1781539 markings, 7115451 edges, 15800 markings/sec, 105 secs
lola: 1859314 markings, 7485054 edges, 15555 markings/sec, 110 secs
lola: 1937349 markings, 7849700 edges, 15607 markings/sec, 115 secs
lola: 2014141 markings, 8231525 edges, 15358 markings/sec, 120 secs
lola: 2090901 markings, 8615562 edges, 15352 markings/sec, 125 secs
lola: 2167423 markings, 8997155 edges, 15304 markings/sec, 130 secs
lola: 2248538 markings, 9300417 edges, 16223 markings/sec, 135 secs
lola: 2326392 markings, 9611837 edges, 15571 markings/sec, 140 secs
lola: 2399945 markings, 9933625 edges, 14711 markings/sec, 145 secs
lola: 2473876 markings, 10238870 edges, 14786 markings/sec, 150 secs
lola: 2545570 markings, 10570546 edges, 14339 markings/sec, 155 secs
lola: 2618646 markings, 10887219 edges, 14615 markings/sec, 160 secs
lola: 2690160 markings, 11225571 edges, 14303 markings/sec, 165 secs
lola: 2763972 markings, 11533086 edges, 14762 markings/sec, 170 secs
lola: 2836589 markings, 11862277 edges, 14523 markings/sec, 175 secs
lola: 2908568 markings, 12202795 edges, 14396 markings/sec, 180 secs
lola: 2980442 markings, 12544042 edges, 14375 markings/sec, 185 secs
lola: 3051594 markings, 12894144 edges, 14230 markings/sec, 190 secs
lola: 3122486 markings, 13246241 edges, 14178 markings/sec, 195 secs
lola: 3190172 markings, 13622806 edges, 13537 markings/sec, 200 secs
lola: 3264324 markings, 13926084 edges, 14830 markings/sec, 205 secs
lola: 3339803 markings, 14257461 edges, 15096 markings/sec, 210 secs
lola: 3413925 markings, 14607672 edges, 14824 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(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p44 + p45 + p46 + p47 + p48 + p49 + p43 + p42 + p41 + p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31 + p30 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p20 + 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 1768 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: 129965 markings, 792787 edges, 25993 markings/sec, 0 secs
lola: 260491 markings, 1688180 edges, 26105 markings/sec, 5 secs
lola: 388399 markings, 2562408 edges, 25582 markings/sec, 10 secs
lola: 510138 markings, 3477777 edges, 24348 markings/sec, 15 secs
lola: 635480 markings, 4345629 edges, 25068 markings/sec, 20 secs
lola: 754044 markings, 5232588 edges, 23713 markings/sec, 25 secs
lola: 870400 markings, 6112741 edges, 23271 markings/sec, 30 secs
lola: 982108 markings, 7018758 edges, 22342 markings/sec, 35 secs
lola: 1096539 markings, 7899550 edges, 22886 markings/sec, 40 secs
lola: 1215881 markings, 8750125 edges, 23868 markings/sec, 45 secs
lola: 1332589 markings, 9644648 edges, 23342 markings/sec, 50 secs
lola: 1446744 markings, 10533909 edges, 22831 markings/sec, 55 secs
lola: 1558287 markings, 11458776 edges, 22309 markings/sec, 60 secs
lola: 1675246 markings, 12354068 edges, 23392 markings/sec, 65 secs
lola: 1789188 markings, 13280257 edges, 22788 markings/sec, 70 secs
lola: 1900302 markings, 14218311 edges, 22223 markings/sec, 75 secs
lola: 2010202 markings, 15164363 edges, 21980 markings/sec, 80 secs
lola: 2116588 markings, 16101496 edges, 21277 markings/sec, 85 secs
lola: 2230158 markings, 16901892 edges, 22714 markings/sec, 90 secs
lola: 2342421 markings, 17742804 edges, 22453 markings/sec, 95 secs
lola: 2454255 markings, 18585982 edges, 22367 markings/sec, 100 secs
lola: 2562146 markings, 19460776 edges, 21578 markings/sec, 105 secs
lola: 2669715 markings, 20324445 edges, 21514 markings/sec, 110 secs
lola: 2779345 markings, 21185988 edges, 21926 markings/sec, 115 secs
lola: 2883124 markings, 22080001 edges, 20756 markings/sec, 120 secs
lola: 2990865 markings, 22958776 edges, 21548 markings/sec, 125 secs
lola: 3093103 markings, 23866160 edges, 20448 markings/sec, 130 secs
lola: 3198640 markings, 24749944 edges, 21107 markings/sec, 135 secs
lola: 3308294 markings, 25616246 edges, 21931 markings/sec, 140 secs
lola: 3412955 markings, 26509262 edges, 20932 markings/sec, 145 secs
lola: 3520306 markings, 27395939 edges, 21470 markings/sec, 150 secs
lola: 3622297 markings, 28302316 edges, 20398 markings/sec, 155 secs
lola: 3724753 markings, 29195734 edges, 20491 markings/sec, 160 secs
lola: 3828457 markings, 30090854 edges, 20741 markings/sec, 165 secs
lola: 3927956 markings, 31017339 edges, 19900 markings/sec, 170 secs
lola: 4029673 markings, 31927268 edges, 20343 markings/sec, 175 secs
lola: 4125422 markings, 32844768 edges, 19150 markings/sec, 180 secs
lola: 4224975 markings, 33738812 edges, 19911 markings/sec, 185 secs
lola: 4335387 markings, 34516369 edges, 22082 markings/sec, 190 secs
lola: 4441342 markings, 35320601 edges, 21191 markings/sec, 195 secs
lola: 4548831 markings, 36128312 edges, 21498 markings/sec, 200 secs
lola: 4651744 markings, 36964931 edges, 20583 markings/sec, 205 secs
lola: 4754248 markings, 37794989 edges, 20501 markings/sec, 210 secs
lola: 4858262 markings, 38610051 edges, 20803 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 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p51 + p50)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 110822 markings, 110985 edges, 22164 markings/sec, 0 secs
lola: 220622 markings, 220784 edges, 21960 markings/sec, 5 secs
lola: 329882 markings, 330044 edges, 21852 markings/sec, 10 secs
lola: 438189 markings, 438351 edges, 21661 markings/sec, 15 secs
lola: 547725 markings, 547887 edges, 21907 markings/sec, 20 secs
lola: 656939 markings, 657102 edges, 21843 markings/sec, 25 secs
lola: 766113 markings, 766275 edges, 21835 markings/sec, 30 secs
lola: 875214 markings, 875377 edges, 21820 markings/sec, 35 secs
lola: 984147 markings, 984309 edges, 21787 markings/sec, 40 secs
lola: 1092786 markings, 1092948 edges, 21728 markings/sec, 45 secs
lola: 1201249 markings, 1201411 edges, 21693 markings/sec, 50 secs
lola: 1309863 markings, 1310025 edges, 21723 markings/sec, 55 secs
lola: 1418523 markings, 1418685 edges, 21732 markings/sec, 60 secs
lola: 1527106 markings, 1527268 edges, 21717 markings/sec, 65 secs
lola: 1635667 markings, 1635830 edges, 21712 markings/sec, 70 secs
lola: 1744131 markings, 1744294 edges, 21693 markings/sec, 75 secs
lola: 1852574 markings, 1852736 edges, 21689 markings/sec, 80 secs
lola: 1961034 markings, 1961196 edges, 21692 markings/sec, 85 secs
lola: 2069448 markings, 2069610 edges, 21683 markings/sec, 90 secs
lola: 2177740 markings, 2177902 edges, 21658 markings/sec, 95 secs
lola: 2285862 markings, 2286024 edges, 21624 markings/sec, 100 secs
lola: 2393960 markings, 2394123 edges, 21620 markings/sec, 105 secs
lola: 2502043 markings, 2502205 edges, 21617 markings/sec, 110 secs
lola: 2609922 markings, 2610084 edges, 21576 markings/sec, 115 secs
lola: 2717183 markings, 2717346 edges, 21452 markings/sec, 120 secs
lola: 2825008 markings, 2825170 edges, 21565 markings/sec, 125 secs
lola: 2931360 markings, 2931523 edges, 21270 markings/sec, 130 secs
lola: 3038360 markings, 3038523 edges, 21400 markings/sec, 135 secs
lola: 3145153 markings, 3145316 edges, 21359 markings/sec, 140 secs
lola: 3252969 markings, 3253131 edges, 21563 markings/sec, 145 secs
lola: 3360806 markings, 3360969 edges, 21567 markings/sec, 150 secs
lola: 3468950 markings, 3469112 edges, 21629 markings/sec, 155 secs
lola: 3576814 markings, 3576976 edges, 21573 markings/sec, 160 secs
lola: 3684037 markings, 3684199 edges, 21445 markings/sec, 165 secs
lola: 3792018 markings, 3792180 edges, 21596 markings/sec, 170 secs
lola: 3899634 markings, 3899796 edges, 21523 markings/sec, 175 secs
lola: 4007322 markings, 4007485 edges, 21538 markings/sec, 180 secs
lola: 4115037 markings, 4115199 edges, 21543 markings/sec, 185 secs
lola: 4223195 markings, 4223357 edges, 21632 markings/sec, 190 secs
lola: 4331535 markings, 4331697 edges, 21668 markings/sec, 195 secs
lola: 4438503 markings, 4438665 edges, 21394 markings/sec, 200 secs
lola: 4545001 markings, 4545164 edges, 21300 markings/sec, 205 secs
lola: 4651521 markings, 4651683 edges, 21304 markings/sec, 210 secs
lola: 4758011 markings, 4758173 edges, 21298 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(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + 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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 103858 markings, 181489 edges, 20772 markings/sec, 0 secs
lola: 186711 markings, 477038 edges, 16571 markings/sec, 5 secs
lola: 270068 markings, 768470 edges, 16671 markings/sec, 10 secs
lola: 351477 markings, 1075765 edges, 16282 markings/sec, 15 secs
lola: 432794 markings, 1388795 edges, 16263 markings/sec, 20 secs
lola: 512685 markings, 1713964 edges, 15978 markings/sec, 25 secs
lola: 591769 markings, 2047353 edges, 15817 markings/sec, 30 secs
lola: 671373 markings, 2337877 edges, 15921 markings/sec, 35 secs
lola: 748227 markings, 2640045 edges, 15371 markings/sec, 40 secs
lola: 822054 markings, 2966443 edges, 14765 markings/sec, 45 secs
lola: 900651 markings, 3293995 edges, 15719 markings/sec, 50 secs
lola: 978453 markings, 3634236 edges, 15560 markings/sec, 55 secs
lola: 1054643 markings, 3994431 edges, 15238 markings/sec, 60 secs
lola: 1132225 markings, 4328048 edges, 15516 markings/sec, 65 secs
lola: 1211107 markings, 4624082 edges, 15776 markings/sec, 70 secs
lola: 1287041 markings, 4931153 edges, 15187 markings/sec, 75 secs
lola: 1360105 markings, 5258070 edges, 14613 markings/sec, 80 secs
lola: 1434183 markings, 5561406 edges, 14816 markings/sec, 85 secs
lola: 1506625 markings, 5881275 edges, 14488 markings/sec, 90 secs
lola: 1577736 markings, 6210638 edges, 14222 markings/sec, 95 secs
lola: 1649087 markings, 6537859 edges, 14270 markings/sec, 100 secs
lola: 1722160 markings, 6847859 edges, 14615 markings/sec, 105 secs
lola: 1793980 markings, 7174053 edges, 14364 markings/sec, 110 secs
lola: 1864734 markings, 7513203 edges, 14151 markings/sec, 115 secs
lola: 1936316 markings, 7848600 edges, 14316 markings/sec, 120 secs
lola: 2007374 markings, 8192718 edges, 14212 markings/sec, 125 secs
lola: 2076422 markings, 8544435 edges, 13810 markings/sec, 130 secs
lola: 2143568 markings, 8913720 edges, 13429 markings/sec, 135 secs
lola: 2218104 markings, 9188566 edges, 14907 markings/sec, 140 secs
lola: 2291777 markings, 9473364 edges, 14735 markings/sec, 145 secs
lola: 2364444 markings, 9769676 edges, 14533 markings/sec, 150 secs
lola: 2436278 markings, 10077369 edges, 14367 markings/sec, 155 secs
lola: 2511437 markings, 10401889 edges, 15032 markings/sec, 160 secs
lola: 2583245 markings, 10718828 edges, 14362 markings/sec, 165 secs
lola: 2651372 markings, 11052849 edges, 13625 markings/sec, 170 secs
lola: 2722115 markings, 11352922 edges, 14149 markings/sec, 175 secs
lola: 2791905 markings, 11668495 edges, 13958 markings/sec, 180 secs
lola: 2862084 markings, 11982291 edges, 14036 markings/sec, 185 secs
lola: 2929970 markings, 12324499 edges, 13577 markings/sec, 190 secs
lola: 2999698 markings, 12638986 edges, 13946 markings/sec, 195 secs
lola: 3066356 markings, 12975747 edges, 13332 markings/sec, 200 secs
lola: 3133698 markings, 13320499 edges, 13468 markings/sec, 205 secs
lola: 3199749 markings, 13681364 edges, 13210 markings/sec, 210 secs
lola: 3273267 markings, 13959229 edges, 14704 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(p100 + p101 + p102 + p103 + p104 + p105 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 151114 markings, 431693 edges, 30223 markings/sec, 0 secs
lola: 296567 markings, 884795 edges, 29091 markings/sec, 5 secs
lola: 439690 markings, 1341890 edges, 28625 markings/sec, 10 secs
lola: 579796 markings, 1801007 edges, 28021 markings/sec, 15 secs
lola: 722707 markings, 2266035 edges, 28582 markings/sec, 20 secs
lola: 869492 markings, 2759942 edges, 29357 markings/sec, 25 secs
lola: 1014416 markings, 3274911 edges, 28985 markings/sec, 30 secs
lola: 1161518 markings, 3753614 edges, 29420 markings/sec, 35 secs
lola: 1306023 markings, 4240886 edges, 28901 markings/sec, 40 secs
lola: 1450402 markings, 4728913 edges, 28876 markings/sec, 45 secs
lola: 1592729 markings, 5236638 edges, 28465 markings/sec, 50 secs
lola: 1736631 markings, 5729890 edges, 28780 markings/sec, 55 secs
lola: 1878827 markings, 6242696 edges, 28439 markings/sec, 60 secs
lola: 2019703 markings, 6766815 edges, 28175 markings/sec, 65 secs
lola: 2160995 markings, 7268155 edges, 28258 markings/sec, 70 secs
lola: 2300548 markings, 7721109 edges, 27911 markings/sec, 75 secs
lola: 2444440 markings, 8206236 edges, 28778 markings/sec, 80 secs
lola: 2584362 markings, 8702997 edges, 27984 markings/sec, 85 secs
lola: 2724568 markings, 9186477 edges, 28041 markings/sec, 90 secs
lola: 2855081 markings, 9652679 edges, 26103 markings/sec, 95 secs
lola: 2991921 markings, 10149218 edges, 27368 markings/sec, 100 secs
lola: 3127772 markings, 10671164 edges, 27170 markings/sec, 105 secs
lola: 3269465 markings, 11161388 edges, 28339 markings/sec, 110 secs
lola: 3409278 markings, 11669225 edges, 27963 markings/sec, 115 secs
lola: 3549077 markings, 12174603 edges, 27960 markings/sec, 120 secs
lola: 3686387 markings, 12701547 edges, 27462 markings/sec, 125 secs
lola: 3827456 markings, 13216934 edges, 28214 markings/sec, 130 secs
lola: 3966498 markings, 13755363 edges, 27808 markings/sec, 135 secs
lola: 4104774 markings, 14300132 edges, 27655 markings/sec, 140 secs
lola: 4245014 markings, 14827712 edges, 28048 markings/sec, 145 secs
lola: 4388990 markings, 15295065 edges, 28795 markings/sec, 150 secs
lola: 4532205 markings, 15776869 edges, 28643 markings/sec, 155 secs
lola: 4673029 markings, 16273399 edges, 28165 markings/sec, 160 secs
lola: 4814923 markings, 16765356 edges, 28379 markings/sec, 165 secs
lola: 4955064 markings, 17265270 edges, 28028 markings/sec, 170 secs
lola: 5093547 markings, 17768738 edges, 27697 markings/sec, 175 secs
lola: 5229777 markings, 18293221 edges, 27246 markings/sec, 180 secs
lola: 5370757 markings, 18779316 edges, 28196 markings/sec, 185 secs
lola: 5509159 markings, 19279914 edges, 27680 markings/sec, 190 secs
lola: 5646900 markings, 19779099 edges, 27548 markings/sec, 195 secs
lola: 5779217 markings, 20288562 edges, 26463 markings/sec, 200 secs
lola: 5913269 markings, 20777601 edges, 26810 markings/sec, 205 secs
lola: 6045045 markings, 21288244 edges, 26355 markings/sec, 210 secs
lola: 6179089 markings, 21811310 edges, 26809 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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 + p152 + p153 + p154 + p114 + p113 + p112 + p111 + p110 + p109 + p108 + p107 + p106)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 148242 markings, 423729 edges, 29648 markings/sec, 0 secs
lola: 293219 markings, 874729 edges, 28995 markings/sec, 5 secs
lola: 435217 markings, 1327086 edges, 28400 markings/sec, 10 secs
lola: 577989 markings, 1795260 edges, 28554 markings/sec, 15 secs
lola: 720538 markings, 2259401 edges, 28510 markings/sec, 20 secs
lola: 866569 markings, 2749969 edges, 29206 markings/sec, 25 secs
lola: 1009803 markings, 3256975 edges, 28647 markings/sec, 30 secs
lola: 1151918 markings, 3721885 edges, 28423 markings/sec, 35 secs
lola: 1292458 markings, 4190963 edges, 28108 markings/sec, 40 secs
lola: 1434819 markings, 4674639 edges, 28472 markings/sec, 45 secs
lola: 1575757 markings, 5184918 edges, 28188 markings/sec, 50 secs
lola: 1719958 markings, 5671448 edges, 28840 markings/sec, 55 secs
lola: 1861898 markings, 6183451 edges, 28388 markings/sec, 60 secs
lola: 2003959 markings, 6706565 edges, 28412 markings/sec, 65 secs
lola: 2147418 markings, 7224234 edges, 28692 markings/sec, 70 secs
lola: 2289457 markings, 7684194 edges, 28408 markings/sec, 75 secs
lola: 2427375 markings, 8150078 edges, 27584 markings/sec, 80 secs
lola: 2565415 markings, 8633461 edges, 27608 markings/sec, 85 secs
lola: 2699366 markings, 9099491 edges, 26790 markings/sec, 90 secs
lola: 2832279 markings, 9567992 edges, 26583 markings/sec, 95 secs
lola: 2962585 markings, 10040252 edges, 26061 markings/sec, 100 secs
lola: 3091848 markings, 10528119 edges, 25853 markings/sec, 105 secs
lola: 3224438 markings, 11002557 edges, 26518 markings/sec, 110 secs
lola: 3361576 markings, 11486584 edges, 27428 markings/sec, 115 secs
lola: 3497983 markings, 11981734 edges, 27281 markings/sec, 120 secs
lola: 3631959 markings, 12490696 edges, 26795 markings/sec, 125 secs
lola: 3766411 markings, 12988586 edges, 26890 markings/sec, 130 secs
lola: 3900848 markings, 13501361 edges, 26887 markings/sec, 135 secs
lola: 4033976 markings, 14017078 edges, 26626 markings/sec, 140 secs
lola: 4164234 markings, 14547077 edges, 26052 markings/sec, 145 secs
lola: 4300097 markings, 15002052 edges, 27173 markings/sec, 150 secs
lola: 4434188 markings, 15448607 edges, 26818 markings/sec, 155 secs
lola: 4569982 markings, 15908238 edges, 27159 markings/sec, 160 secs
lola: 4703550 markings, 16388617 edges, 26714 markings/sec, 165 secs
lola: 4837234 markings, 16844132 edges, 26737 markings/sec, 170 secs
lola: 4969957 markings, 17322475 edges, 26545 markings/sec, 175 secs
lola: 5103974 markings, 17809560 edges, 26803 markings/sec, 180 secs
lola: 5232304 markings, 18303675 edges, 25666 markings/sec, 185 secs
lola: 5368320 markings, 18769894 edges, 27203 markings/sec, 190 secs
lola: 5502288 markings, 19255541 edges, 26794 markings/sec, 195 secs
lola: 5636941 markings, 19745128 edges, 26931 markings/sec, 200 secs
lola: 5768579 markings, 20254453 edges, 26328 markings/sec, 205 secs
lola: 5902057 markings, 20737941 edges, 26696 markings/sec, 210 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(p100 + p101 + p102 + p103 + p104 + p105 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 154028 markings, 440176 edges, 30806 markings/sec, 0 secs
lola: 304748 markings, 908719 edges, 30144 markings/sec, 5 secs
lola: 452519 markings, 1385812 edges, 29554 markings/sec, 10 secs
lola: 599761 markings, 1863394 edges, 29448 markings/sec, 15 secs
lola: 745984 markings, 2343413 edges, 29245 markings/sec, 20 secs
lola: 890662 markings, 2833270 edges, 28936 markings/sec, 25 secs
lola: 1034145 markings, 3349275 edges, 28697 markings/sec, 30 secs
lola: 1180291 markings, 3818943 edges, 29229 markings/sec, 35 secs
lola: 1325552 markings, 4303541 edges, 29052 markings/sec, 40 secs
lola: 1470397 markings, 4797065 edges, 28969 markings/sec, 45 secs
lola: 1614523 markings, 5307293 edges, 28825 markings/sec, 50 secs
lola: 1759189 markings, 5809142 edges, 28933 markings/sec, 55 secs
lola: 1901723 markings, 6327691 edges, 28507 markings/sec, 60 secs
lola: 2043961 markings, 6860914 edges, 28448 markings/sec, 65 secs
lola: 2185639 markings, 7343557 edges, 28336 markings/sec, 70 secs
lola: 2328471 markings, 7817018 edges, 28566 markings/sec, 75 secs
lola: 2471547 markings, 8301231 edges, 28615 markings/sec, 80 secs
lola: 2610657 markings, 8802790 edges, 27822 markings/sec, 85 secs
lola: 2751259 markings, 9284314 edges, 28120 markings/sec, 90 secs
lola: 2889412 markings, 9782371 edges, 27631 markings/sec, 95 secs
lola: 3027424 markings, 10283507 edges, 27602 markings/sec, 100 secs
lola: 3164441 markings, 10803662 edges, 27403 markings/sec, 105 secs
lola: 3302576 markings, 11274976 edges, 27627 markings/sec, 110 secs
lola: 3431840 markings, 11743861 edges, 25853 markings/sec, 115 secs
lola: 3560679 markings, 12216532 edges, 25768 markings/sec, 120 secs
lola: 3687231 markings, 12704058 edges, 25310 markings/sec, 125 secs
lola: 3816246 markings, 13175933 edges, 25803 markings/sec, 130 secs
lola: 3944748 markings, 13674371 edges, 25700 markings/sec, 135 secs
lola: 4074269 markings, 14179356 edges, 25904 markings/sec, 140 secs
lola: 4201362 markings, 14698085 edges, 25419 markings/sec, 145 secs
lola: 4338531 markings, 15127977 edges, 27434 markings/sec, 150 secs
lola: 4472239 markings, 15578946 edges, 26742 markings/sec, 155 secs
lola: 4606029 markings, 16034201 edges, 26758 markings/sec, 160 secs
lola: 4735303 markings, 16499452 edges, 25855 markings/sec, 165 secs
lola: 4867708 markings, 16950143 edges, 26481 markings/sec, 170 secs
lola: 4996767 markings, 17418799 edges, 25812 markings/sec, 175 secs
lola: 5125236 markings, 17888059 edges, 25694 markings/sec, 180 secs
lola: 5250240 markings, 18370796 edges, 25001 markings/sec, 185 secs
lola: 5382014 markings, 18817457 edges, 26355 markings/sec, 190 secs
lola: 5511737 markings, 19287971 edges, 25945 markings/sec, 195 secs
lola: 5643308 markings, 19766600 edges, 26314 markings/sec, 200 secs
lola: 5772313 markings, 20266006 edges, 25801 markings/sec, 205 secs
lola: 5903107 markings, 20741442 edges, 26159 markings/sec, 210 secs
lola: 6028721 markings, 21230677 edges, 25123 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p54 + p53 + p52 + p51 + p50)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 110552 markings, 110714 edges, 22110 markings/sec, 0 secs
lola: 220408 markings, 220570 edges, 21971 markings/sec, 5 secs
lola: 329513 markings, 329676 edges, 21821 markings/sec, 10 secs
lola: 438159 markings, 438322 edges, 21729 markings/sec, 15 secs
lola: 546792 markings, 546954 edges, 21727 markings/sec, 20 secs
lola: 655961 markings, 656123 edges, 21834 markings/sec, 25 secs
lola: 765380 markings, 765542 edges, 21884 markings/sec, 30 secs
lola: 874683 markings, 874845 edges, 21861 markings/sec, 35 secs
lola: 984096 markings, 984258 edges, 21883 markings/sec, 40 secs
lola: 1094110 markings, 1094272 edges, 22003 markings/sec, 45 secs
lola: 1203401 markings, 1203563 edges, 21858 markings/sec, 50 secs
lola: 1311000 markings, 1311163 edges, 21520 markings/sec, 55 secs
lola: 1418200 markings, 1418362 edges, 21440 markings/sec, 60 secs
lola: 1525591 markings, 1525753 edges, 21478 markings/sec, 65 secs
lola: 1633035 markings, 1633197 edges, 21489 markings/sec, 70 secs
lola: 1740767 markings, 1740930 edges, 21546 markings/sec, 75 secs
lola: 1848681 markings, 1848843 edges, 21583 markings/sec, 80 secs
lola: 1956603 markings, 1956765 edges, 21584 markings/sec, 85 secs
lola: 2065042 markings, 2065204 edges, 21688 markings/sec, 90 secs
lola: 2173535 markings, 2173697 edges, 21699 markings/sec, 95 secs
lola: 2281706 markings, 2281868 edges, 21634 markings/sec, 100 secs
lola: 2389841 markings, 2390004 edges, 21627 markings/sec, 105 secs
lola: 2498003 markings, 2498165 edges, 21632 markings/sec, 110 secs
lola: 2606222 markings, 2606384 edges, 21644 markings/sec, 115 secs
lola: 2714190 markings, 2714352 edges, 21594 markings/sec, 120 secs
lola: 2821736 markings, 2821898 edges, 21509 markings/sec, 125 secs
lola: 2929632 markings, 2929795 edges, 21579 markings/sec, 130 secs
lola: 3037739 markings, 3037901 edges, 21621 markings/sec, 135 secs
lola: 3146123 markings, 3146285 edges, 21677 markings/sec, 140 secs
lola: 3254600 markings, 3254762 edges, 21695 markings/sec, 145 secs
lola: 3362764 markings, 3362926 edges, 21633 markings/sec, 150 secs
lola: 3470350 markings, 3470512 edges, 21517 markings/sec, 155 secs
lola: 3577561 markings, 3577723 edges, 21442 markings/sec, 160 secs
lola: 3684773 markings, 3684935 edges, 21442 markings/sec, 165 secs
lola: 3791794 markings, 3791956 edges, 21404 markings/sec, 170 secs
lola: 3898747 markings, 3898909 edges, 21391 markings/sec, 175 secs
lola: 4006440 markings, 4006602 edges, 21539 markings/sec, 180 secs
lola: 4114340 markings, 4114502 edges, 21580 markings/sec, 185 secs
lola: 4222172 markings, 4222334 edges, 21566 markings/sec, 190 secs
lola: 4330016 markings, 4330178 edges, 21569 markings/sec, 195 secs
lola: 4437917 markings, 4438079 edges, 21580 markings/sec, 200 secs
lola: 4546147 markings, 4546310 edges, 21646 markings/sec, 205 secs
lola: 4654351 markings, 4654513 edges, 21641 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + 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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 102172 markings, 174256 edges, 20434 markings/sec, 0 secs
lola: 183135 markings, 456729 edges, 16193 markings/sec, 5 secs
lola: 260634 markings, 727752 edges, 15500 markings/sec, 10 secs
lola: 336715 markings, 1024165 edges, 15216 markings/sec, 15 secs
lola: 413675 markings, 1308596 edges, 15392 markings/sec, 20 secs
lola: 489692 markings, 1607082 edges, 15203 markings/sec, 25 secs
lola: 563149 markings, 1939125 edges, 14691 markings/sec, 30 secs
lola: 640317 markings, 2218944 edges, 15434 markings/sec, 35 secs
lola: 715800 markings, 2517553 edges, 15097 markings/sec, 40 secs
lola: 790385 markings, 2822858 edges, 14917 markings/sec, 45 secs
lola: 864768 markings, 3140758 edges, 14877 markings/sec, 50 secs
lola: 938868 markings, 3460030 edges, 14820 markings/sec, 55 secs
lola: 1013347 markings, 3789592 edges, 14896 markings/sec, 60 secs
lola: 1085892 markings, 4151745 edges, 14509 markings/sec, 65 secs
lola: 1163193 markings, 4444907 edges, 15460 markings/sec, 70 secs
lola: 1240195 markings, 4745116 edges, 15400 markings/sec, 75 secs
lola: 1316036 markings, 5053795 edges, 15168 markings/sec, 80 secs
lola: 1391065 markings, 5375621 edges, 15006 markings/sec, 85 secs
lola: 1466503 markings, 5700177 edges, 15088 markings/sec, 90 secs
lola: 1542626 markings, 6042669 edges, 15225 markings/sec, 95 secs
lola: 1617412 markings, 6412608 edges, 14957 markings/sec, 100 secs
lola: 1693736 markings, 6738075 edges, 15265 markings/sec, 105 secs
lola: 1769035 markings, 7062536 edges, 15060 markings/sec, 110 secs
lola: 1844469 markings, 7406528 edges, 15087 markings/sec, 115 secs
lola: 1919311 markings, 7769421 edges, 14968 markings/sec, 120 secs
lola: 1994113 markings, 8125513 edges, 14960 markings/sec, 125 secs
lola: 2067128 markings, 8493329 edges, 14603 markings/sec, 130 secs
lola: 2138227 markings, 8879769 edges, 14220 markings/sec, 135 secs
lola: 2215851 markings, 9178228 edges, 15525 markings/sec, 140 secs
lola: 2293216 markings, 9476974 edges, 15473 markings/sec, 145 secs
lola: 2368533 markings, 9787578 edges, 15063 markings/sec, 150 secs
lola: 2443617 markings, 10108318 edges, 15017 markings/sec, 155 secs
lola: 2519726 markings, 10434164 edges, 15222 markings/sec, 160 secs
lola: 2594276 markings, 10778714 edges, 14910 markings/sec, 165 secs
lola: 2667106 markings, 11140994 edges, 14566 markings/sec, 170 secs
lola: 2743234 markings, 11456053 edges, 15226 markings/sec, 175 secs
lola: 2817950 markings, 11782307 edges, 14943 markings/sec, 180 secs
lola: 2891674 markings, 12120382 edges, 14745 markings/sec, 185 secs
lola: 2964547 markings, 12473721 edges, 14575 markings/sec, 190 secs
lola: 3037649 markings, 12823195 edges, 14620 markings/sec, 195 secs
lola: 3109815 markings, 13179324 edges, 14433 markings/sec, 200 secs
lola: 3179286 markings, 13556827 edges, 13894 markings/sec, 205 secs
lola: 3254661 markings, 13877718 edges, 15075 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 154401 markings, 441312 edges, 30880 markings/sec, 0 secs
lola: 303926 markings, 906329 edges, 29905 markings/sec, 5 secs
lola: 450446 markings, 1378773 edges, 29304 markings/sec, 10 secs
lola: 596320 markings, 1853072 edges, 29175 markings/sec, 15 secs
lola: 740361 markings, 2323929 edges, 28808 markings/sec, 20 secs
lola: 883508 markings, 2808944 edges, 28629 markings/sec, 25 secs
lola: 1024974 markings, 3313897 edges, 28293 markings/sec, 30 secs
lola: 1169034 markings, 3778884 edges, 28812 markings/sec, 35 secs
lola: 1310084 markings, 4256968 edges, 28210 markings/sec, 40 secs
lola: 1449699 markings, 4726651 edges, 27923 markings/sec, 45 secs
lola: 1588293 markings, 5223047 edges, 27719 markings/sec, 50 secs
lola: 1729858 markings, 5704909 edges, 28313 markings/sec, 55 secs
lola: 1868988 markings, 6208990 edges, 27826 markings/sec, 60 secs
lola: 2006931 markings, 6717893 edges, 27589 markings/sec, 65 secs
lola: 2145721 markings, 7219050 edges, 27758 markings/sec, 70 secs
lola: 2285749 markings, 7671247 edges, 28006 markings/sec, 75 secs
lola: 2425524 markings, 8144609 edges, 27955 markings/sec, 80 secs
lola: 2564775 markings, 8631301 edges, 27850 markings/sec, 85 secs
lola: 2705695 markings, 9120798 edges, 28184 markings/sec, 90 secs
lola: 2845122 markings, 9615099 edges, 27885 markings/sec, 95 secs
lola: 2982507 markings, 10114882 edges, 27477 markings/sec, 100 secs
lola: 3120075 markings, 10639794 edges, 27514 markings/sec, 105 secs
lola: 3258575 markings, 11121528 edges, 27700 markings/sec, 110 secs
lola: 3394445 markings, 11610576 edges, 27174 markings/sec, 115 secs
lola: 3529923 markings, 12103077 edges, 27096 markings/sec, 120 secs
lola: 3664156 markings, 12622107 edges, 26847 markings/sec, 125 secs
lola: 3803615 markings, 13131390 edges, 27892 markings/sec, 130 secs
lola: 3940434 markings, 13659297 edges, 27364 markings/sec, 135 secs
lola: 4076071 markings, 14186359 edges, 27127 markings/sec, 140 secs
lola: 4208588 markings, 14718467 edges, 26503 markings/sec, 145 secs
lola: 4348017 markings, 15157756 edges, 27886 markings/sec, 150 secs
lola: 4488465 markings, 15631473 edges, 28090 markings/sec, 155 secs
lola: 4626720 markings, 16106079 edges, 27651 markings/sec, 160 secs
lola: 4764064 markings, 16592048 edges, 27469 markings/sec, 165 secs
lola: 4902403 markings, 17072117 edges, 27668 markings/sec, 170 secs
lola: 5038449 markings, 17565805 edges, 27209 markings/sec, 175 secs
lola: 5174391 markings, 18074997 edges, 27188 markings/sec, 180 secs
lola: 5307383 markings, 18558846 edges, 26598 markings/sec, 185 secs
lola: 5443089 markings, 19033259 edges, 27141 markings/sec, 190 secs
lola: 5578903 markings, 19524979 edges, 27163 markings/sec, 195 secs
lola: 5710000 markings, 20018656 edges, 26219 markings/sec, 200 secs
lola: 5839786 markings, 20503394 edges, 25957 markings/sec, 205 secs
lola: 5967157 markings, 20983019 edges, 25474 markings/sec, 210 secs
lola: 6092209 markings, 21467785 edges, 25010 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 153324 markings, 438066 edges, 30665 markings/sec, 0 secs
lola: 299122 markings, 892118 edges, 29160 markings/sec, 5 secs
lola: 444216 markings, 1357290 edges, 29019 markings/sec, 10 secs
lola: 587953 markings, 1828064 edges, 28747 markings/sec, 15 secs
lola: 730805 markings, 2291765 edges, 28570 markings/sec, 20 secs
lola: 870981 markings, 2764743 edges, 28035 markings/sec, 25 secs
lola: 1009339 markings, 3255198 edges, 27672 markings/sec, 30 secs
lola: 1145444 markings, 3701435 edges, 27221 markings/sec, 35 secs
lola: 1282233 markings, 4154835 edges, 27358 markings/sec, 40 secs
lola: 1420153 markings, 4620967 edges, 27584 markings/sec, 45 secs
lola: 1555396 markings, 5107088 edges, 27049 markings/sec, 50 secs
lola: 1691257 markings, 5570982 edges, 27172 markings/sec, 55 secs
lola: 1829616 markings, 6071835 edges, 27672 markings/sec, 60 secs
lola: 1966219 markings, 6570290 edges, 27321 markings/sec, 65 secs
lola: 2102113 markings, 7090176 edges, 27179 markings/sec, 70 secs
lola: 2245573 markings, 7539191 edges, 28692 markings/sec, 75 secs
lola: 2383700 markings, 8003868 edges, 27625 markings/sec, 80 secs
lola: 2525762 markings, 8490947 edges, 28412 markings/sec, 85 secs
lola: 2662707 markings, 8976138 edges, 27389 markings/sec, 90 secs
lola: 2805563 markings, 9471118 edges, 28571 markings/sec, 95 secs
lola: 2945717 markings, 9980289 edges, 28031 markings/sec, 100 secs
lola: 3080496 markings, 10486604 edges, 26956 markings/sec, 105 secs
lola: 3216784 markings, 10977399 edges, 27258 markings/sec, 110 secs
lola: 3356626 markings, 11468774 edges, 27968 markings/sec, 115 secs
lola: 3495661 markings, 11972696 edges, 27807 markings/sec, 120 secs
lola: 3634137 markings, 12499704 edges, 27695 markings/sec, 125 secs
lola: 3774193 markings, 13017201 edges, 28011 markings/sec, 130 secs
lola: 3913423 markings, 13551432 edges, 27846 markings/sec, 135 secs
lola: 4050347 markings, 14083434 edges, 27385 markings/sec, 140 secs
lola: 4185546 markings, 14639321 edges, 27040 markings/sec, 145 secs
lola: 4329343 markings, 15100418 edges, 28759 markings/sec, 150 secs
lola: 4467854 markings, 15564890 edges, 27702 markings/sec, 155 secs
lola: 4609750 markings, 16046675 edges, 28379 markings/sec, 160 secs
lola: 4746299 markings, 16534125 edges, 27310 markings/sec, 165 secs
lola: 4885600 markings, 17012447 edges, 27860 markings/sec, 170 secs
lola: 5023186 markings, 17510085 edges, 27517 markings/sec, 175 secs
lola: 5160852 markings, 18021811 edges, 27533 markings/sec, 180 secs
lola: 5298384 markings, 18526535 edges, 27506 markings/sec, 185 secs
lola: 5437264 markings, 19012522 edges, 27776 markings/sec, 190 secs
lola: 5575233 markings, 19511996 edges, 27594 markings/sec, 195 secs
lola: 5711963 markings, 20025834 edges, 27346 markings/sec, 200 secs
lola: 5847200 markings, 20529871 edges, 27047 markings/sec, 205 secs
lola: 5982487 markings, 21041290 edges, 27057 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 102350 markings, 174451 edges, 20470 markings/sec, 0 secs
lola: 184474 markings, 465329 edges, 16425 markings/sec, 5 secs
lola: 266947 markings, 752978 edges, 16495 markings/sec, 10 secs
lola: 348635 markings, 1062529 edges, 16338 markings/sec, 15 secs
lola: 430903 markings, 1374953 edges, 16454 markings/sec, 20 secs
lola: 511548 markings, 1707382 edges, 16129 markings/sec, 25 secs
lola: 592132 markings, 2047946 edges, 16117 markings/sec, 30 secs
lola: 675113 markings, 2351565 edges, 16596 markings/sec, 35 secs
lola: 756041 markings, 2672308 edges, 16186 markings/sec, 40 secs
lola: 834752 markings, 3027492 edges, 15742 markings/sec, 45 secs
lola: 915680 markings, 3351387 edges, 16186 markings/sec, 50 secs
lola: 994538 markings, 3704395 edges, 15772 markings/sec, 55 secs
lola: 1070681 markings, 4076121 edges, 15229 markings/sec, 60 secs
lola: 1151309 markings, 4394634 edges, 16126 markings/sec, 65 secs
lola: 1231973 markings, 4720512 edges, 16133 markings/sec, 70 secs
lola: 1313039 markings, 5038634 edges, 16213 markings/sec, 75 secs
lola: 1390413 markings, 5372296 edges, 15475 markings/sec, 80 secs
lola: 1469330 markings, 5708333 edges, 15783 markings/sec, 85 secs
lola: 1545917 markings, 6063837 edges, 15317 markings/sec, 90 secs
lola: 1621878 markings, 6438821 edges, 15192 markings/sec, 95 secs
lola: 1702245 markings, 6758901 edges, 16073 markings/sec, 100 secs
lola: 1780630 markings, 7108738 edges, 15677 markings/sec, 105 secs
lola: 1857508 markings, 7483243 edges, 15376 markings/sec, 110 secs
lola: 1936031 markings, 7846039 edges, 15705 markings/sec, 115 secs
lola: 2013237 markings, 8230621 edges, 15441 markings/sec, 120 secs
lola: 2090366 markings, 8611351 edges, 15426 markings/sec, 125 secs
lola: 2166072 markings, 8993540 edges, 15141 markings/sec, 130 secs
lola: 2247117 markings, 9290058 edges, 16209 markings/sec, 135 secs
lola: 2326475 markings, 9612454 edges, 15872 markings/sec, 140 secs
lola: 2405540 markings, 9963022 edges, 15813 markings/sec, 145 secs
lola: 2486933 markings, 10291045 edges, 16279 markings/sec, 150 secs
lola: 2566734 markings, 10644227 edges, 15960 markings/sec, 155 secs
lola: 2643321 markings, 11020411 edges, 15317 markings/sec, 160 secs
lola: 2720022 markings, 11348915 edges, 15340 markings/sec, 165 secs
lola: 2798272 markings, 11694799 edges, 15650 markings/sec, 170 secs
lola: 2877263 markings, 12048658 edges, 15798 markings/sec, 175 secs
lola: 2953819 markings, 12422054 edges, 15311 markings/sec, 180 secs
lola: 3031930 markings, 12789763 edges, 15622 markings/sec, 185 secs
lola: 3109121 markings, 13173273 edges, 15438 markings/sec, 190 secs
lola: 3182935 markings, 13582658 edges, 14763 markings/sec, 195 secs
lola: 3262232 markings, 13915108 edges, 15859 markings/sec, 200 secs
lola: 3340332 markings, 14258498 edges, 15620 markings/sec, 205 secs
lola: 3417758 markings, 14616380 edges, 15485 markings/sec, 210 secs
lola: 3494101 markings, 14984829 edges, 15269 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + 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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1768 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: 102006 markings, 174090 edges, 20401 markings/sec, 0 secs
lola: 184914 markings, 465768 edges, 16582 markings/sec, 5 secs
lola: 267981 markings, 755566 edges, 16613 markings/sec, 10 secs
lola: 350301 markings, 1067895 edges, 16464 markings/sec, 15 secs
lola: 432153 markings, 1383447 edges, 16370 markings/sec, 20 secs
lola: 512742 markings, 1714477 edges, 16118 markings/sec, 25 secs
lola: 592829 markings, 2048643 edges, 16017 markings/sec, 30 secs
lola: 675099 markings, 2351466 edges, 16454 markings/sec, 35 secs
lola: 755917 markings, 2671565 edges, 16164 markings/sec, 40 secs
lola: 834571 markings, 3027311 edges, 15731 markings/sec, 45 secs
lola: 914319 markings, 3348281 edges, 15950 markings/sec, 50 secs
lola: 991658 markings, 3694123 edges, 15468 markings/sec, 55 secs
lola: 1067045 markings, 4054065 edges, 15077 markings/sec, 60 secs
lola: 1146589 markings, 4376554 edges, 15909 markings/sec, 65 secs
lola: 1227036 markings, 4695972 edges, 16089 markings/sec, 70 secs
lola: 1307614 markings, 5019282 edges, 16116 markings/sec, 75 secs
lola: 1387266 markings, 5358917 edges, 15930 markings/sec, 80 secs
lola: 1467871 markings, 5701549 edges, 16121 markings/sec, 85 secs
lola: 1546730 markings, 6066999 edges, 15772 markings/sec, 90 secs
lola: 1624313 markings, 6454465 edges, 15517 markings/sec, 95 secs
lola: 1706837 markings, 6778655 edges, 16505 markings/sec, 100 secs
lola: 1785697 markings, 7135061 edges, 15772 markings/sec, 105 secs
lola: 1864553 markings, 7511574 edges, 15771 markings/sec, 110 secs
lola: 1943864 markings, 7881850 edges, 15862 markings/sec, 115 secs
lola: 2019489 markings, 8275760 edges, 15125 markings/sec, 120 secs
lola: 2097312 markings, 8647896 edges, 15565 markings/sec, 125 secs
lola: 2175310 markings, 9022366 edges, 15600 markings/sec, 130 secs
lola: 2257401 markings, 9331822 edges, 16418 markings/sec, 135 secs
lola: 2338541 markings, 9661904 edges, 16228 markings/sec, 140 secs
lola: 2418464 markings, 10017656 edges, 15985 markings/sec, 145 secs
lola: 2499168 markings, 10344002 edges, 16141 markings/sec, 150 secs
lola: 2577733 markings, 10703548 edges, 15713 markings/sec, 155 secs
lola: 2655837 markings, 11076808 edges, 15621 markings/sec, 160 secs
lola: 2735819 markings, 11417935 edges, 15996 markings/sec, 165 secs
lola: 2815488 markings, 11767832 edges, 15934 markings/sec, 170 secs
lola: 2894155 markings, 12132256 edges, 15733 markings/sec, 175 secs
lola: 2971679 markings, 12511557 edges, 15505 markings/sec, 180 secs
lola: 3049878 markings, 12882512 edges, 15640 markings/sec, 185 secs
lola: 3127687 markings, 13275601 edges, 15562 markings/sec, 190 secs
lola: 3204290 markings, 13685915 edges, 15321 markings/sec, 195 secs
lola: 3286428 markings, 14013700 edges, 16428 markings/sec, 200 secs
lola: 3365785 markings, 14379647 edges, 15871 markings/sec, 205 secs
lola: 3443794 markings, 14751554 edges, 15602 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA CSRepetitions-COL-07-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CSRepetitions-COL-07-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496446950668

--------------------
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_CSRepetitions-COL-07"
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_CSRepetitions-COL-07.tgz
mv S_CSRepetitions-COL-07 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_CSRepetitions-COL-07, 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 r098-ebro-149488455500092"
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 ;