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 CSRepetitions-COL-07, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436308800092
=====================================================================

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 160930 markings, 461201 edges, 32186 markings/sec, 0 secs
lola: 308855 markings, 921447 edges, 29585 markings/sec, 5 secs
lola: 458508 markings, 1407891 edges, 29931 markings/sec, 10 secs
lola: 609288 markings, 1893072 edges, 30156 markings/sec, 15 secs
lola: 757475 markings, 2383740 edges, 29637 markings/sec, 20 secs
lola: 904660 markings, 2883387 edges, 29437 markings/sec, 25 secs
lola: 1049720 markings, 3410385 edges, 29012 markings/sec, 30 secs
lola: 1199152 markings, 3875656 edges, 29886 markings/sec, 35 secs
lola: 1344868 markings, 4365977 edges, 29143 markings/sec, 40 secs
lola: 1489702 markings, 4865081 edges, 28967 markings/sec, 45 secs
lola: 1633789 markings, 5372888 edges, 28817 markings/sec, 50 secs
lola: 1778130 markings, 5878098 edges, 28868 markings/sec, 55 secs
lola: 1921303 markings, 6396747 edges, 28635 markings/sec, 60 secs
lola: 2062427 markings, 6934026 edges, 28225 markings/sec, 65 secs
lola: 2208377 markings, 7417714 edges, 29190 markings/sec, 70 secs
lola: 2352972 markings, 7904716 edges, 28919 markings/sec, 75 secs
lola: 2496918 markings, 8392081 edges, 28789 markings/sec, 80 secs
lola: 2638645 markings, 8898643 edges, 28345 markings/sec, 85 secs
lola: 2782371 markings, 9389018 edges, 28745 markings/sec, 90 secs
lola: 2923668 markings, 9899693 edges, 28259 markings/sec, 95 secs
lola: 3063175 markings, 10417370 edges, 27901 markings/sec, 100 secs
lola: 3203448 markings, 10932264 edges, 28055 markings/sec, 105 secs
lola: 3346103 markings, 11431649 edges, 28531 markings/sec, 110 secs
lola: 3487074 markings, 11941515 edges, 28194 markings/sec, 115 secs
lola: 3626230 markings, 12467780 edges, 27831 markings/sec, 120 secs
lola: 3766614 markings, 12989368 edges, 28077 markings/sec, 125 secs
lola: 3905739 markings, 13520283 edges, 27825 markings/sec, 130 secs
lola: 4044201 markings, 14058088 edges, 27692 markings/sec, 135 secs
lola: 4180716 markings, 14617792 edges, 27303 markings/sec, 140 secs
lola: 4324895 markings, 15087582 edges, 28836 markings/sec, 145 secs
lola: 4467433 markings, 15563560 edges, 28508 markings/sec, 150 secs
lola: 4609332 markings, 16045215 edges, 28380 markings/sec, 155 secs
lola: 4748900 markings, 16542916 edges, 27914 markings/sec, 160 secs
lola: 4889585 markings, 17026156 edges, 28137 markings/sec, 165 secs
lola: 5027171 markings, 17524366 edges, 27517 markings/sec, 170 secs
lola: 5163874 markings, 18032933 edges, 27341 markings/sec, 175 secs
lola: 5302105 markings, 18539564 edges, 27646 markings/sec, 180 secs
lola: 5441434 markings, 19027785 edges, 27866 markings/sec, 185 secs
lola: 5579195 markings, 19525892 edges, 27552 markings/sec, 190 secs
lola: 5715348 markings, 20038831 edges, 27231 markings/sec, 195 secs
lola: 5851841 markings, 20546565 edges, 27299 markings/sec, 200 secs
lola: 5987331 markings, 21060273 edges, 27098 markings/sec, 205 secs
lola: 6121760 markings, 21581540 edges, 26886 markings/sec, 210 secs
lola: 6254195 markings, 22118485 edges, 26487 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: 128692 markings, 782495 edges, 25738 markings/sec, 0 secs
lola: 250143 markings, 1604211 edges, 24290 markings/sec, 5 secs
lola: 372930 markings, 2442207 edges, 24557 markings/sec, 10 secs
lola: 491693 markings, 3330792 edges, 23753 markings/sec, 15 secs
lola: 612593 markings, 4178964 edges, 24180 markings/sec, 20 secs
lola: 730073 markings, 5043140 edges, 23496 markings/sec, 25 secs
lola: 845562 markings, 5924577 edges, 23098 markings/sec, 30 secs
lola: 959493 markings, 6823939 edges, 22786 markings/sec, 35 secs
lola: 1072338 markings, 7740230 edges, 22569 markings/sec, 40 secs
lola: 1190983 markings, 8572884 edges, 23729 markings/sec, 45 secs
lola: 1304585 markings, 9444890 edges, 22720 markings/sec, 50 secs
lola: 1419329 markings, 10305982 edges, 22949 markings/sec, 55 secs
lola: 1529682 markings, 11205435 edges, 22071 markings/sec, 60 secs
lola: 1641460 markings, 12093841 edges, 22356 markings/sec, 65 secs
lola: 1753615 markings, 12983596 edges, 22431 markings/sec, 70 secs
lola: 1862391 markings, 13899457 edges, 21755 markings/sec, 75 secs
lola: 1970040 markings, 14822907 edges, 21530 markings/sec, 80 secs
lola: 2075647 markings, 15770037 edges, 21121 markings/sec, 85 secs
lola: 2191389 markings, 16609258 edges, 23148 markings/sec, 90 secs
lola: 2305992 markings, 17452215 edges, 22921 markings/sec, 95 secs
lola: 2418441 markings, 18311011 edges, 22490 markings/sec, 100 secs
lola: 2528209 markings, 19177042 edges, 21954 markings/sec, 105 secs
lola: 2634268 markings, 20068387 edges, 21212 markings/sec, 110 secs
lola: 2745689 markings, 20923843 edges, 22284 markings/sec, 115 secs
lola: 2853754 markings, 21808918 edges, 21613 markings/sec, 120 secs
lola: 2960949 markings, 22700634 edges, 21439 markings/sec, 125 secs
lola: 3065270 markings, 23612631 edges, 20864 markings/sec, 130 secs
lola: 3169104 markings, 24532292 edges, 20767 markings/sec, 135 secs
lola: 3279743 markings, 25396775 edges, 22128 markings/sec, 140 secs
lola: 3387311 markings, 26280776 edges, 21514 markings/sec, 145 secs
lola: 3494734 markings, 27170978 edges, 21485 markings/sec, 150 secs
lola: 3598714 markings, 28088553 edges, 20796 markings/sec, 155 secs
lola: 3701908 markings, 29011389 edges, 20639 markings/sec, 160 secs
lola: 3808016 markings, 29919155 edges, 21222 markings/sec, 165 secs
lola: 3911191 markings, 30848637 edges, 20635 markings/sec, 170 secs
lola: 4014583 markings, 31784395 edges, 20678 markings/sec, 175 secs
lola: 4115598 markings, 32744154 edges, 20203 markings/sec, 180 secs
lola: 4217627 markings, 33689486 edges, 20406 markings/sec, 185 secs
lola: 4332224 markings, 34495758 edges, 22919 markings/sec, 190 secs
lola: 4441755 markings, 35323872 edges, 21906 markings/sec, 195 secs
lola: 4552191 markings, 36156292 edges, 22087 markings/sec, 200 secs
lola: 4658929 markings, 37021340 edges, 21348 markings/sec, 205 secs
lola: 4765947 markings, 37880581 edges, 21404 markings/sec, 210 secs
lola: 4874382 markings, 38733449 edges, 21687 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: 111610 markings, 111735 edges, 22322 markings/sec, 0 secs
lola: 223197 markings, 223323 edges, 22317 markings/sec, 5 secs
lola: 334308 markings, 334433 edges, 22222 markings/sec, 10 secs
lola: 444896 markings, 445021 edges, 22118 markings/sec, 15 secs
lola: 555213 markings, 555338 edges, 22063 markings/sec, 20 secs
lola: 665208 markings, 665333 edges, 21999 markings/sec, 25 secs
lola: 775096 markings, 775221 edges, 21978 markings/sec, 30 secs
lola: 884968 markings, 885093 edges, 21974 markings/sec, 35 secs
lola: 994749 markings, 994874 edges, 21956 markings/sec, 40 secs
lola: 1104242 markings, 1104368 edges, 21899 markings/sec, 45 secs
lola: 1213479 markings, 1213604 edges, 21847 markings/sec, 50 secs
lola: 1321280 markings, 1321405 edges, 21560 markings/sec, 55 secs
lola: 1429622 markings, 1429747 edges, 21668 markings/sec, 60 secs
lola: 1537742 markings, 1537867 edges, 21624 markings/sec, 65 secs
lola: 1648219 markings, 1648344 edges, 22095 markings/sec, 70 secs
lola: 1758582 markings, 1758707 edges, 22073 markings/sec, 75 secs
lola: 1869324 markings, 1869449 edges, 22148 markings/sec, 80 secs
lola: 1980226 markings, 1980352 edges, 22180 markings/sec, 85 secs
lola: 2091114 markings, 2091239 edges, 22178 markings/sec, 90 secs
lola: 2201968 markings, 2202094 edges, 22171 markings/sec, 95 secs
lola: 2312784 markings, 2312909 edges, 22163 markings/sec, 100 secs
lola: 2423426 markings, 2423551 edges, 22128 markings/sec, 105 secs
lola: 2534075 markings, 2534200 edges, 22130 markings/sec, 110 secs
lola: 2644595 markings, 2644721 edges, 22104 markings/sec, 115 secs
lola: 2755313 markings, 2755438 edges, 22144 markings/sec, 120 secs
lola: 2865968 markings, 2866093 edges, 22131 markings/sec, 125 secs
lola: 2976583 markings, 2976708 edges, 22123 markings/sec, 130 secs
lola: 3087071 markings, 3087196 edges, 22098 markings/sec, 135 secs
lola: 3197519 markings, 3197645 edges, 22090 markings/sec, 140 secs
lola: 3307944 markings, 3308069 edges, 22085 markings/sec, 145 secs
lola: 3418346 markings, 3418471 edges, 22080 markings/sec, 150 secs
lola: 3528770 markings, 3528895 edges, 22085 markings/sec, 155 secs
lola: 3639053 markings, 3639178 edges, 22057 markings/sec, 160 secs
lola: 3749279 markings, 3749404 edges, 22045 markings/sec, 165 secs
lola: 3859528 markings, 3859653 edges, 22050 markings/sec, 170 secs
lola: 3969623 markings, 3969748 edges, 22019 markings/sec, 175 secs
lola: 4079725 markings, 4079850 edges, 22020 markings/sec, 180 secs
lola: 4189756 markings, 4189882 edges, 22006 markings/sec, 185 secs
lola: 4299864 markings, 4299989 edges, 22022 markings/sec, 190 secs
lola: 4409850 markings, 4409975 edges, 21997 markings/sec, 195 secs
lola: 4519473 markings, 4519598 edges, 21925 markings/sec, 200 secs
lola: 4628874 markings, 4628999 edges, 21880 markings/sec, 205 secs
lola: 4738160 markings, 4738285 edges, 21857 markings/sec, 210 secs
lola: 4847518 markings, 4847643 edges, 21872 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: 112248 markings, 112373 edges, 22450 markings/sec, 0 secs
lola: 223047 markings, 223172 edges, 22160 markings/sec, 5 secs
lola: 333600 markings, 333725 edges, 22111 markings/sec, 10 secs
lola: 443853 markings, 443979 edges, 22051 markings/sec, 15 secs
lola: 553926 markings, 554052 edges, 22015 markings/sec, 20 secs
lola: 663804 markings, 663930 edges, 21976 markings/sec, 25 secs
lola: 773533 markings, 773658 edges, 21946 markings/sec, 30 secs
lola: 883507 markings, 883632 edges, 21995 markings/sec, 35 secs
lola: 994049 markings, 994174 edges, 22108 markings/sec, 40 secs
lola: 1104290 markings, 1104416 edges, 22048 markings/sec, 45 secs
lola: 1214365 markings, 1214491 edges, 22015 markings/sec, 50 secs
lola: 1323199 markings, 1323324 edges, 21767 markings/sec, 55 secs
lola: 1430775 markings, 1430900 edges, 21515 markings/sec, 60 secs
lola: 1538091 markings, 1538217 edges, 21463 markings/sec, 65 secs
lola: 1645506 markings, 1645631 edges, 21483 markings/sec, 70 secs
lola: 1753575 markings, 1753700 edges, 21614 markings/sec, 75 secs
lola: 1861655 markings, 1861780 edges, 21616 markings/sec, 80 secs
lola: 1969695 markings, 1969820 edges, 21608 markings/sec, 85 secs
lola: 2077758 markings, 2077883 edges, 21613 markings/sec, 90 secs
lola: 2185742 markings, 2185867 edges, 21597 markings/sec, 95 secs
lola: 2293605 markings, 2293730 edges, 21573 markings/sec, 100 secs
lola: 2401736 markings, 2401861 edges, 21626 markings/sec, 105 secs
lola: 2509511 markings, 2509636 edges, 21555 markings/sec, 110 secs
lola: 2617563 markings, 2617688 edges, 21610 markings/sec, 115 secs
lola: 2726633 markings, 2726758 edges, 21814 markings/sec, 120 secs
lola: 2835715 markings, 2835840 edges, 21816 markings/sec, 125 secs
lola: 2944842 markings, 2944967 edges, 21825 markings/sec, 130 secs
lola: 3053874 markings, 3054000 edges, 21806 markings/sec, 135 secs
lola: 3162720 markings, 3162845 edges, 21769 markings/sec, 140 secs
lola: 3271561 markings, 3271686 edges, 21768 markings/sec, 145 secs
lola: 3380474 markings, 3380599 edges, 21783 markings/sec, 150 secs
lola: 3489570 markings, 3489696 edges, 21819 markings/sec, 155 secs
lola: 3598576 markings, 3598701 edges, 21801 markings/sec, 160 secs
lola: 3707459 markings, 3707584 edges, 21777 markings/sec, 165 secs
lola: 3816465 markings, 3816590 edges, 21801 markings/sec, 170 secs
lola: 3925337 markings, 3925462 edges, 21774 markings/sec, 175 secs
lola: 4034468 markings, 4034593 edges, 21826 markings/sec, 180 secs
lola: 4143514 markings, 4143639 edges, 21809 markings/sec, 185 secs
lola: 4252588 markings, 4252713 edges, 21815 markings/sec, 190 secs
lola: 4360998 markings, 4361123 edges, 21682 markings/sec, 195 secs
lola: 4469285 markings, 4469410 edges, 21657 markings/sec, 200 secs
lola: 4577562 markings, 4577687 edges, 21655 markings/sec, 205 secs
lola: 4685590 markings, 4685715 edges, 21606 markings/sec, 210 secs
lola: 4792435 markings, 4792560 edges, 21369 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: 137697 markings, 836634 edges, 27539 markings/sec, 0 secs
lola: 270513 markings, 1748524 edges, 26563 markings/sec, 5 secs
lola: 400682 markings, 2649518 edges, 26034 markings/sec, 10 secs
lola: 525553 markings, 3609668 edges, 24974 markings/sec, 15 secs
lola: 654434 markings, 4496407 edges, 25776 markings/sec, 20 secs
lola: 779320 markings, 5438615 edges, 24977 markings/sec, 25 secs
lola: 903260 markings, 6377079 edges, 24788 markings/sec, 30 secs
lola: 1023773 markings, 7369139 edges, 24103 markings/sec, 35 secs
lola: 1150161 markings, 8273718 edges, 25278 markings/sec, 40 secs
lola: 1273946 markings, 9192805 edges, 24757 markings/sec, 45 secs
lola: 1395976 markings, 10119790 edges, 24406 markings/sec, 50 secs
lola: 1505859 markings, 11011184 edges, 21977 markings/sec, 55 secs
lola: 1619265 markings, 11920665 edges, 22681 markings/sec, 60 secs
lola: 1738763 markings, 12863037 edges, 23900 markings/sec, 65 secs
lola: 1855000 markings, 13841136 edges, 23247 markings/sec, 70 secs
lola: 1970635 markings, 14827278 edges, 23127 markings/sec, 75 secs
lola: 2083070 markings, 15843447 edges, 22487 markings/sec, 80 secs
lola: 2207428 markings, 16725033 edges, 24872 markings/sec, 85 secs
lola: 2328748 markings, 17631819 edges, 24264 markings/sec, 90 secs
lola: 2449278 markings, 18546123 edges, 24106 markings/sec, 95 secs
lola: 2566750 markings, 19497464 edges, 23494 markings/sec, 100 secs
lola: 2684678 markings, 20442233 edges, 23586 markings/sec, 105 secs
lola: 2803431 markings, 21381697 edges, 23751 markings/sec, 110 secs
lola: 2918333 markings, 22348711 edges, 22980 markings/sec, 115 secs
lola: 3033201 markings, 23330566 edges, 22974 markings/sec, 120 secs
lola: 3142960 markings, 24347616 edges, 21952 markings/sec, 125 secs
lola: 3264461 markings, 25267374 edges, 24300 markings/sec, 130 secs
lola: 3381059 markings, 26225328 edges, 23320 markings/sec, 135 secs
lola: 3497220 markings, 27192745 edges, 23232 markings/sec, 140 secs
lola: 3610792 markings, 28198649 edges, 22714 markings/sec, 145 secs
lola: 3718856 markings, 29147717 edges, 21613 markings/sec, 150 secs
lola: 3818103 markings, 30003184 edges, 19849 markings/sec, 155 secs
lola: 3921787 markings, 30953402 edges, 20737 markings/sec, 160 secs
lola: 4034428 markings, 31970616 edges, 22528 markings/sec, 165 secs
lola: 4143229 markings, 33017399 edges, 21760 markings/sec, 170 secs
lola: 4259607 markings, 33977901 edges, 23276 markings/sec, 175 secs
lola: 4382088 markings, 34856007 edges, 24496 markings/sec, 180 secs
lola: 4499005 markings, 35746922 edges, 23383 markings/sec, 185 secs
lola: 4614262 markings, 36651823 edges, 23051 markings/sec, 190 secs
lola: 4724861 markings, 37588686 edges, 22120 markings/sec, 195 secs
lola: 4841506 markings, 38476836 edges, 23329 markings/sec, 200 secs
lola: 4953163 markings, 39391525 edges, 22331 markings/sec, 205 secs
lola: 5063343 markings, 40309129 edges, 22036 markings/sec, 210 secs
lola: 5171946 markings, 41264795 edges, 21721 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: 115131 markings, 115293 edges, 23026 markings/sec, 0 secs
lola: 229206 markings, 229368 edges, 22815 markings/sec, 5 secs
lola: 343157 markings, 343319 edges, 22790 markings/sec, 10 secs
lola: 457045 markings, 457207 edges, 22778 markings/sec, 15 secs
lola: 570701 markings, 570863 edges, 22731 markings/sec, 20 secs
lola: 683576 markings, 683739 edges, 22575 markings/sec, 25 secs
lola: 796315 markings, 796477 edges, 22548 markings/sec, 30 secs
lola: 909255 markings, 909417 edges, 22588 markings/sec, 35 secs
lola: 1022119 markings, 1022282 edges, 22573 markings/sec, 40 secs
lola: 1134765 markings, 1134927 edges, 22529 markings/sec, 45 secs
lola: 1247173 markings, 1247335 edges, 22482 markings/sec, 50 secs
lola: 1360009 markings, 1360171 edges, 22567 markings/sec, 55 secs
lola: 1472899 markings, 1473061 edges, 22578 markings/sec, 60 secs
lola: 1585766 markings, 1585929 edges, 22573 markings/sec, 65 secs
lola: 1698721 markings, 1698883 edges, 22591 markings/sec, 70 secs
lola: 1811551 markings, 1811713 edges, 22566 markings/sec, 75 secs
lola: 1924363 markings, 1924525 edges, 22562 markings/sec, 80 secs
lola: 2036906 markings, 2037068 edges, 22509 markings/sec, 85 secs
lola: 2149227 markings, 2149389 edges, 22464 markings/sec, 90 secs
lola: 2260179 markings, 2260341 edges, 22190 markings/sec, 95 secs
lola: 2371068 markings, 2371231 edges, 22178 markings/sec, 100 secs
lola: 2483448 markings, 2483610 edges, 22476 markings/sec, 105 secs
lola: 2595405 markings, 2595567 edges, 22391 markings/sec, 110 secs
lola: 2707533 markings, 2707695 edges, 22426 markings/sec, 115 secs
lola: 2819284 markings, 2819446 edges, 22350 markings/sec, 120 secs
lola: 2930188 markings, 2930351 edges, 22181 markings/sec, 125 secs
lola: 3041939 markings, 3042101 edges, 22350 markings/sec, 130 secs
lola: 3153044 markings, 3153206 edges, 22221 markings/sec, 135 secs
lola: 3263848 markings, 3264010 edges, 22161 markings/sec, 140 secs
lola: 3375716 markings, 3375879 edges, 22374 markings/sec, 145 secs
lola: 3488250 markings, 3488412 edges, 22507 markings/sec, 150 secs
lola: 3600770 markings, 3600932 edges, 22504 markings/sec, 155 secs
lola: 3713332 markings, 3713494 edges, 22512 markings/sec, 160 secs
lola: 3826466 markings, 3826629 edges, 22627 markings/sec, 165 secs
lola: 3939378 markings, 3939540 edges, 22582 markings/sec, 170 secs
lola: 4051270 markings, 4051432 edges, 22378 markings/sec, 175 secs
lola: 4162478 markings, 4162640 edges, 22242 markings/sec, 180 secs
lola: 4274599 markings, 4274761 edges, 22424 markings/sec, 185 secs
lola: 4385434 markings, 4385597 edges, 22167 markings/sec, 190 secs
lola: 4497167 markings, 4497329 edges, 22347 markings/sec, 195 secs
lola: 4607801 markings, 4607964 edges, 22127 markings/sec, 200 secs
lola: 4719133 markings, 4719296 edges, 22266 markings/sec, 205 secs
lola: 4829424 markings, 4829586 edges, 22058 markings/sec, 210 secs
lola: 4939741 markings, 4939903 edges, 22063 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: 113292 markings, 113417 edges, 22658 markings/sec, 0 secs
lola: 226320 markings, 226445 edges, 22606 markings/sec, 5 secs
lola: 339029 markings, 339155 edges, 22542 markings/sec, 10 secs
lola: 451548 markings, 451673 edges, 22504 markings/sec, 15 secs
lola: 563918 markings, 564043 edges, 22474 markings/sec, 20 secs
lola: 676067 markings, 676192 edges, 22430 markings/sec, 25 secs
lola: 787892 markings, 788018 edges, 22365 markings/sec, 30 secs
lola: 899602 markings, 899727 edges, 22342 markings/sec, 35 secs
lola: 1011354 markings, 1011479 edges, 22350 markings/sec, 40 secs
lola: 1123217 markings, 1123343 edges, 22373 markings/sec, 45 secs
lola: 1234892 markings, 1235017 edges, 22335 markings/sec, 50 secs
lola: 1346530 markings, 1346656 edges, 22328 markings/sec, 55 secs
lola: 1458256 markings, 1458382 edges, 22345 markings/sec, 60 secs
lola: 1569394 markings, 1569519 edges, 22228 markings/sec, 65 secs
lola: 1680354 markings, 1680479 edges, 22192 markings/sec, 70 secs
lola: 1791211 markings, 1791336 edges, 22171 markings/sec, 75 secs
lola: 1902076 markings, 1902201 edges, 22173 markings/sec, 80 secs
lola: 2012972 markings, 2013097 edges, 22179 markings/sec, 85 secs
lola: 2123771 markings, 2123896 edges, 22160 markings/sec, 90 secs
lola: 2234494 markings, 2234619 edges, 22145 markings/sec, 95 secs
lola: 2345245 markings, 2345370 edges, 22150 markings/sec, 100 secs
lola: 2455995 markings, 2456120 edges, 22150 markings/sec, 105 secs
lola: 2566868 markings, 2566993 edges, 22175 markings/sec, 110 secs
lola: 2678060 markings, 2678186 edges, 22238 markings/sec, 115 secs
lola: 2788975 markings, 2789101 edges, 22183 markings/sec, 120 secs
lola: 2900416 markings, 2900541 edges, 22288 markings/sec, 125 secs
lola: 3011942 markings, 3012067 edges, 22305 markings/sec, 130 secs
lola: 3123249 markings, 3123374 edges, 22261 markings/sec, 135 secs
lola: 3234480 markings, 3234605 edges, 22246 markings/sec, 140 secs
lola: 3345670 markings, 3345796 edges, 22238 markings/sec, 145 secs
lola: 3456656 markings, 3456781 edges, 22197 markings/sec, 150 secs
lola: 3567335 markings, 3567460 edges, 22136 markings/sec, 155 secs
lola: 3677855 markings, 3677980 edges, 22104 markings/sec, 160 secs
lola: 3788464 markings, 3788589 edges, 22122 markings/sec, 165 secs
lola: 3899098 markings, 3899223 edges, 22127 markings/sec, 170 secs
lola: 4010428 markings, 4010553 edges, 22266 markings/sec, 175 secs
lola: 4121314 markings, 4121439 edges, 22177 markings/sec, 180 secs
lola: 4231113 markings, 4231238 edges, 21960 markings/sec, 185 secs
lola: 4341376 markings, 4341501 edges, 22053 markings/sec, 190 secs
lola: 4452545 markings, 4452670 edges, 22234 markings/sec, 195 secs
lola: 4563731 markings, 4563857 edges, 22237 markings/sec, 200 secs
lola: 4674776 markings, 4674901 edges, 22209 markings/sec, 205 secs
lola: 4785782 markings, 4785907 edges, 22201 markings/sec, 210 secs
lola: 4895635 markings, 4895760 edges, 21971 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: 163038 markings, 468093 edges, 32608 markings/sec, 0 secs
lola: 317134 markings, 947333 edges, 30819 markings/sec, 5 secs
lola: 467392 markings, 1435820 edges, 30052 markings/sec, 10 secs
lola: 615183 markings, 1911974 edges, 29558 markings/sec, 15 secs
lola: 760703 markings, 2394812 edges, 29104 markings/sec, 20 secs
lola: 905647 markings, 2886978 edges, 28989 markings/sec, 25 secs
lola: 1047655 markings, 3403593 edges, 28402 markings/sec, 30 secs
lola: 1195418 markings, 3864330 edges, 29553 markings/sec, 35 secs
lola: 1339470 markings, 4348061 edges, 28810 markings/sec, 40 secs
lola: 1480591 markings, 4832505 edges, 28224 markings/sec, 45 secs
lola: 1621259 markings, 5330011 edges, 28134 markings/sec, 50 secs
lola: 1762604 markings, 5821903 edges, 28269 markings/sec, 55 secs
lola: 1903170 markings, 6332352 edges, 28113 markings/sec, 60 secs
lola: 2042049 markings, 6853445 edges, 27776 markings/sec, 65 secs
lola: 2185028 markings, 7341585 edges, 28596 markings/sec, 70 secs
lola: 2328009 markings, 7815479 edges, 28596 markings/sec, 75 secs
lola: 2469945 markings, 8295523 edges, 28387 markings/sec, 80 secs
lola: 2608108 markings, 8792908 edges, 27633 markings/sec, 85 secs
lola: 2745254 markings, 9261128 edges, 27429 markings/sec, 90 secs
lola: 2889006 markings, 9781066 edges, 28750 markings/sec, 95 secs
lola: 3034342 markings, 10308552 edges, 29067 markings/sec, 100 secs
lola: 3169448 markings, 10819527 edges, 27021 markings/sec, 105 secs
lola: 3308202 markings, 11295323 edges, 27751 markings/sec, 110 secs
lola: 3450265 markings, 11808252 edges, 28413 markings/sec, 115 secs
lola: 3591987 markings, 12335157 edges, 28344 markings/sec, 120 secs
lola: 3728105 markings, 12848533 edges, 27224 markings/sec, 125 secs
lola: 3862927 markings, 13353367 edges, 26964 markings/sec, 130 secs
lola: 3996804 markings, 13873102 edges, 26775 markings/sec, 135 secs
lola: 4139547 markings, 14443226 edges, 28549 markings/sec, 140 secs
lola: 4287977 markings, 14962710 edges, 29686 markings/sec, 145 secs
lola: 4429468 markings, 15432075 edges, 28298 markings/sec, 150 secs
lola: 4573975 markings, 15922505 edges, 28901 markings/sec, 155 secs
lola: 4718558 markings, 16449259 edges, 28917 markings/sec, 160 secs
lola: 4866789 markings, 16947236 edges, 29646 markings/sec, 165 secs
lola: 5011317 markings, 17469040 edges, 28906 markings/sec, 170 secs
lola: 5154885 markings, 17998233 edges, 28714 markings/sec, 175 secs
lola: 5298814 markings, 18528025 edges, 28786 markings/sec, 180 secs
lola: 5444872 markings, 19039249 edges, 29212 markings/sec, 185 secs
lola: 5589034 markings, 19561273 edges, 28832 markings/sec, 190 secs
lola: 5730867 markings, 20100144 edges, 28367 markings/sec, 195 secs
lola: 5873292 markings, 20626823 edges, 28485 markings/sec, 200 secs
lola: 6012239 markings, 21160755 edges, 27789 markings/sec, 205 secs
lola: 6151678 markings, 21703263 edges, 27888 markings/sec, 210 secs
lola: 6289501 markings, 22272556 edges, 27565 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: 166760 markings, 478693 edges, 33352 markings/sec, 0 secs
lola: 327381 markings, 981755 edges, 32124 markings/sec, 5 secs
lola: 484831 markings, 1494767 edges, 31490 markings/sec, 10 secs
lola: 640950 markings, 1996701 edges, 31224 markings/sec, 15 secs
lola: 793142 markings, 2509079 edges, 30438 markings/sec, 20 secs
lola: 945190 markings, 3024181 edges, 30410 markings/sec, 25 secs
lola: 1096573 markings, 3547097 edges, 30277 markings/sec, 30 secs
lola: 1249431 markings, 4043093 edges, 30572 markings/sec, 35 secs
lola: 1400191 markings, 4551165 edges, 30152 markings/sec, 40 secs
lola: 1548092 markings, 5079127 edges, 29580 markings/sec, 45 secs
lola: 1697960 markings, 5595890 edges, 29974 markings/sec, 50 secs
lola: 1845532 markings, 6127643 edges, 29514 markings/sec, 55 secs
lola: 1992784 markings, 6664638 edges, 29450 markings/sec, 60 secs
lola: 2140416 markings, 7202171 edges, 29526 markings/sec, 65 secs
lola: 2291550 markings, 7691789 edges, 30227 markings/sec, 70 secs
lola: 2440911 markings, 8194793 edges, 29872 markings/sec, 75 secs
lola: 2587046 markings, 8713450 edges, 29227 markings/sec, 80 secs
lola: 2735196 markings, 9224444 edges, 29630 markings/sec, 85 secs
lola: 2880911 markings, 9753077 edges, 29143 markings/sec, 90 secs
lola: 3026612 markings, 10280576 edges, 29140 markings/sec, 95 secs
lola: 3170667 markings, 10823599 edges, 28811 markings/sec, 100 secs
lola: 3319091 markings, 11332762 edges, 29685 markings/sec, 105 secs
lola: 3465560 markings, 11864093 edges, 29294 markings/sec, 110 secs
lola: 3610676 markings, 12408159 edges, 29023 markings/sec, 115 secs
lola: 3756267 markings, 12950180 edges, 29118 markings/sec, 120 secs
lola: 3900686 markings, 13500777 edges, 28884 markings/sec, 125 secs
lola: 4044254 markings, 14058313 edges, 28714 markings/sec, 130 secs
lola: 4185332 markings, 14638312 edges, 28216 markings/sec, 135 secs
lola: 4336186 markings, 15120677 edges, 30171 markings/sec, 140 secs
lola: 4484162 markings, 15616637 edges, 29595 markings/sec, 145 secs
lola: 4630941 markings, 16120844 edges, 29356 markings/sec, 150 secs
lola: 4776417 markings, 16634243 edges, 29095 markings/sec, 155 secs
lola: 4921827 markings, 17143039 edges, 29082 markings/sec, 160 secs
lola: 5065615 markings, 17663737 edges, 28758 markings/sec, 165 secs
lola: 5205908 markings, 18196915 edges, 28059 markings/sec, 170 secs
lola: 5350377 markings, 18704469 edges, 28894 markings/sec, 175 secs
lola: 5493113 markings, 19218667 edges, 28547 markings/sec, 180 secs
lola: 5635200 markings, 19738543 edges, 28417 markings/sec, 185 secs
lola: 5774639 markings, 20273550 edges, 27888 markings/sec, 190 secs
lola: 5916563 markings, 20789513 edges, 28385 markings/sec, 195 secs
lola: 6055583 markings, 21326638 edges, 27804 markings/sec, 200 secs
lola: 6193937 markings, 21871158 edges, 27671 markings/sec, 205 secs
lola: 6332808 markings, 22411267 edges, 27774 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 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: 157524 markings, 450679 edges, 31505 markings/sec, 0 secs
lola: 310461 markings, 926736 edges, 30587 markings/sec, 5 secs
lola: 456559 markings, 1400405 edges, 29220 markings/sec, 10 secs
lola: 603873 markings, 1876169 edges, 29463 markings/sec, 15 secs
lola: 750228 markings, 2358380 edges, 29271 markings/sec, 20 secs
lola: 901453 markings, 2872232 edges, 30245 markings/sec, 25 secs
lola: 1050558 markings, 3412481 edges, 29821 markings/sec, 30 secs
lola: 1204141 markings, 3891812 edges, 30717 markings/sec, 35 secs
lola: 1351628 markings, 4387547 edges, 29497 markings/sec, 40 secs
lola: 1500027 markings, 4902830 edges, 29680 markings/sec, 45 secs
lola: 1648366 markings, 5421297 edges, 29668 markings/sec, 50 secs
lola: 1796313 markings, 5944231 edges, 29589 markings/sec, 55 secs
lola: 1943985 markings, 6481586 edges, 29534 markings/sec, 60 secs
lola: 2090156 markings, 7046727 edges, 29234 markings/sec, 65 secs
lola: 2243670 markings, 7533250 edges, 30703 markings/sec, 70 secs
lola: 2394346 markings, 8038718 edges, 30135 markings/sec, 75 secs
lola: 2542861 markings, 8551516 edges, 29703 markings/sec, 80 secs
lola: 2691026 markings, 9072383 edges, 29633 markings/sec, 85 secs
lola: 2839379 markings, 9593627 edges, 29671 markings/sec, 90 secs
lola: 2986017 markings, 10127392 edges, 29328 markings/sec, 95 secs
lola: 3130047 markings, 10680738 edges, 28806 markings/sec, 100 secs
lola: 3279050 markings, 11196641 edges, 29801 markings/sec, 105 secs
lola: 3426310 markings, 11724990 edges, 29452 markings/sec, 110 secs
lola: 3572510 markings, 12261789 edges, 29240 markings/sec, 115 secs
lola: 3715407 markings, 12802038 edges, 28579 markings/sec, 120 secs
lola: 3853573 markings, 13315970 edges, 27633 markings/sec, 125 secs
lola: 3989716 markings, 13844108 edges, 27229 markings/sec, 130 secs
lola: 4124327 markings, 14381372 edges, 26922 markings/sec, 135 secs
lola: 4266641 markings, 14895644 edges, 28463 markings/sec, 140 secs
lola: 4416226 markings, 15385801 edges, 29917 markings/sec, 145 secs
lola: 4564568 markings, 15888540 edges, 29668 markings/sec, 150 secs
lola: 4709565 markings, 16412040 edges, 28999 markings/sec, 155 secs
lola: 4857300 markings, 16915404 edges, 29547 markings/sec, 160 secs
lola: 5001968 markings, 17435901 edges, 28934 markings/sec, 165 secs
lola: 5145545 markings, 17964001 edges, 28715 markings/sec, 170 secs
lola: 5289176 markings, 18495340 edges, 28726 markings/sec, 175 secs
lola: 5435395 markings, 19005365 edges, 29244 markings/sec, 180 secs
lola: 5579770 markings, 19527837 edges, 28875 markings/sec, 185 secs
lola: 5722462 markings, 20066429 edges, 28538 markings/sec, 190 secs
lola: 5865804 markings, 20599714 edges, 28668 markings/sec, 195 secs
lola: 6007785 markings, 21142076 edges, 28396 markings/sec, 200 secs
lola: 6148922 markings, 21691477 edges, 28227 markings/sec, 205 secs
lola: 6287454 markings, 22263069 edges, 27706 markings/sec, 210 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(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: 115053 markings, 115215 edges, 23011 markings/sec, 0 secs
lola: 229663 markings, 229826 edges, 22922 markings/sec, 5 secs
lola: 343838 markings, 344000 edges, 22835 markings/sec, 10 secs
lola: 457846 markings, 458008 edges, 22802 markings/sec, 15 secs
lola: 571668 markings, 571830 edges, 22764 markings/sec, 20 secs
lola: 685198 markings, 685360 edges, 22706 markings/sec, 25 secs
lola: 798782 markings, 798944 edges, 22717 markings/sec, 30 secs
lola: 912327 markings, 912489 edges, 22709 markings/sec, 35 secs
lola: 1025844 markings, 1026006 edges, 22703 markings/sec, 40 secs
lola: 1139307 markings, 1139469 edges, 22693 markings/sec, 45 secs
lola: 1252646 markings, 1252808 edges, 22668 markings/sec, 50 secs
lola: 1365871 markings, 1366033 edges, 22645 markings/sec, 55 secs
lola: 1479111 markings, 1479273 edges, 22648 markings/sec, 60 secs
lola: 1592336 markings, 1592499 edges, 22645 markings/sec, 65 secs
lola: 1705517 markings, 1705679 edges, 22636 markings/sec, 70 secs
lola: 1818684 markings, 1818846 edges, 22633 markings/sec, 75 secs
lola: 1931842 markings, 1932004 edges, 22632 markings/sec, 80 secs
lola: 2044831 markings, 2044993 edges, 22598 markings/sec, 85 secs
lola: 2157746 markings, 2157908 edges, 22583 markings/sec, 90 secs
lola: 2270713 markings, 2270875 edges, 22593 markings/sec, 95 secs
lola: 2383719 markings, 2383881 edges, 22601 markings/sec, 100 secs
lola: 2496647 markings, 2496809 edges, 22586 markings/sec, 105 secs
lola: 2609483 markings, 2609645 edges, 22567 markings/sec, 110 secs
lola: 2722457 markings, 2722619 edges, 22595 markings/sec, 115 secs
lola: 2835313 markings, 2835475 edges, 22571 markings/sec, 120 secs
lola: 2948319 markings, 2948481 edges, 22601 markings/sec, 125 secs
lola: 3061203 markings, 3061365 edges, 22577 markings/sec, 130 secs
lola: 3173992 markings, 3174154 edges, 22558 markings/sec, 135 secs
lola: 3286871 markings, 3287033 edges, 22576 markings/sec, 140 secs
lola: 3399668 markings, 3399831 edges, 22559 markings/sec, 145 secs
lola: 3512511 markings, 3512673 edges, 22569 markings/sec, 150 secs
lola: 3625095 markings, 3625257 edges, 22517 markings/sec, 155 secs
lola: 3737742 markings, 3737904 edges, 22529 markings/sec, 160 secs
lola: 3850549 markings, 3850711 edges, 22561 markings/sec, 165 secs
lola: 3963334 markings, 3963497 edges, 22557 markings/sec, 170 secs
lola: 4076070 markings, 4076232 edges, 22547 markings/sec, 175 secs
lola: 4188707 markings, 4188869 edges, 22527 markings/sec, 180 secs
lola: 4301502 markings, 4301664 edges, 22559 markings/sec, 185 secs
lola: 4414137 markings, 4414299 edges, 22527 markings/sec, 190 secs
lola: 4526693 markings, 4526855 edges, 22511 markings/sec, 195 secs
lola: 4639348 markings, 4639511 edges, 22531 markings/sec, 200 secs
lola: 4751494 markings, 4751657 edges, 22429 markings/sec, 205 secs
lola: 4863087 markings, 4863249 edges, 22319 markings/sec, 210 secs
lola: 4974596 markings, 4974758 edges, 22302 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 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: 113267 markings, 113393 edges, 22653 markings/sec, 0 secs
lola: 225193 markings, 225319 edges, 22385 markings/sec, 5 secs
lola: 337006 markings, 337132 edges, 22363 markings/sec, 10 secs
lola: 448801 markings, 448927 edges, 22359 markings/sec, 15 secs
lola: 560196 markings, 560321 edges, 22279 markings/sec, 20 secs
lola: 669237 markings, 669362 edges, 21808 markings/sec, 25 secs
lola: 780395 markings, 780520 edges, 22232 markings/sec, 30 secs
lola: 891661 markings, 891786 edges, 22253 markings/sec, 35 secs
lola: 1002812 markings, 1002938 edges, 22230 markings/sec, 40 secs
lola: 1113819 markings, 1113944 edges, 22201 markings/sec, 45 secs
lola: 1224799 markings, 1224924 edges, 22196 markings/sec, 50 secs
lola: 1335471 markings, 1335596 edges, 22134 markings/sec, 55 secs
lola: 1446319 markings, 1446444 edges, 22170 markings/sec, 60 secs
lola: 1557179 markings, 1557304 edges, 22172 markings/sec, 65 secs
lola: 1668176 markings, 1668301 edges, 22199 markings/sec, 70 secs
lola: 1779305 markings, 1779430 edges, 22226 markings/sec, 75 secs
lola: 1890865 markings, 1890990 edges, 22312 markings/sec, 80 secs
lola: 2002418 markings, 2002543 edges, 22311 markings/sec, 85 secs
lola: 2113892 markings, 2114017 edges, 22295 markings/sec, 90 secs
lola: 2225264 markings, 2225389 edges, 22274 markings/sec, 95 secs
lola: 2336757 markings, 2336882 edges, 22299 markings/sec, 100 secs
lola: 2448113 markings, 2448238 edges, 22271 markings/sec, 105 secs
lola: 2559451 markings, 2559576 edges, 22268 markings/sec, 110 secs
lola: 2670785 markings, 2670910 edges, 22267 markings/sec, 115 secs
lola: 2782172 markings, 2782297 edges, 22277 markings/sec, 120 secs
lola: 2893368 markings, 2893493 edges, 22239 markings/sec, 125 secs
lola: 3004231 markings, 3004356 edges, 22173 markings/sec, 130 secs
lola: 3114488 markings, 3114613 edges, 22051 markings/sec, 135 secs
lola: 3224941 markings, 3225066 edges, 22091 markings/sec, 140 secs
lola: 3335412 markings, 3335537 edges, 22094 markings/sec, 145 secs
lola: 3445825 markings, 3445950 edges, 22083 markings/sec, 150 secs
lola: 3556249 markings, 3556374 edges, 22085 markings/sec, 155 secs
lola: 3667120 markings, 3667245 edges, 22174 markings/sec, 160 secs
lola: 3778471 markings, 3778596 edges, 22270 markings/sec, 165 secs
lola: 3889834 markings, 3889959 edges, 22273 markings/sec, 170 secs
lola: 4001154 markings, 4001279 edges, 22264 markings/sec, 175 secs
lola: 4112500 markings, 4112625 edges, 22269 markings/sec, 180 secs
lola: 4223832 markings, 4223957 edges, 22266 markings/sec, 185 secs
lola: 4335144 markings, 4335269 edges, 22262 markings/sec, 190 secs
lola: 4446225 markings, 4446350 edges, 22216 markings/sec, 195 secs
lola: 4557426 markings, 4557551 edges, 22240 markings/sec, 200 secs
lola: 4668566 markings, 4668691 edges, 22228 markings/sec, 205 secs
lola: 4779666 markings, 4779791 edges, 22220 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 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: 166825 markings, 478886 edges, 33365 markings/sec, 0 secs
lola: 327136 markings, 980841 edges, 32062 markings/sec, 5 secs
lola: 483895 markings, 1491617 edges, 31352 markings/sec, 10 secs
lola: 639813 markings, 1993037 edges, 31184 markings/sec, 15 secs
lola: 792718 markings, 2507837 edges, 30581 markings/sec, 20 secs
lola: 945672 markings, 3025935 edges, 30591 markings/sec, 25 secs
lola: 1097957 markings, 3551737 edges, 30457 markings/sec, 30 secs
lola: 1251123 markings, 4048346 edges, 30633 markings/sec, 35 secs
lola: 1403290 markings, 4561930 edges, 30433 markings/sec, 40 secs
lola: 1552662 markings, 5096328 edges, 29874 markings/sec, 45 secs
lola: 1703776 markings, 5618878 edges, 30223 markings/sec, 50 secs
lola: 1853724 markings, 6155291 edges, 29990 markings/sec, 55 secs
lola: 2002471 markings, 6701175 edges, 29749 markings/sec, 60 secs
lola: 2152507 markings, 7240038 edges, 30007 markings/sec, 65 secs
lola: 2305351 markings, 7736796 edges, 30569 markings/sec, 70 secs
lola: 2456080 markings, 8247340 edges, 30146 markings/sec, 75 secs
lola: 2603593 markings, 8775549 edges, 29503 markings/sec, 80 secs
lola: 2753321 markings, 9291827 edges, 29946 markings/sec, 85 secs
lola: 2901511 markings, 9822736 edges, 29638 markings/sec, 90 secs
lola: 3048121 markings, 10360899 edges, 29322 markings/sec, 95 secs
lola: 3194610 markings, 10902388 edges, 29298 markings/sec, 100 secs
lola: 3343466 markings, 11422954 edges, 29771 markings/sec, 105 secs
lola: 3490693 markings, 11954932 edges, 29445 markings/sec, 110 secs
lola: 3635807 markings, 12506730 edges, 29023 markings/sec, 115 secs
lola: 3782497 markings, 13048824 edges, 29338 markings/sec, 120 secs
lola: 3926818 markings, 13607352 edges, 28864 markings/sec, 125 secs
lola: 4071514 markings, 14169295 edges, 28939 markings/sec, 130 secs
lola: 4215722 markings, 14738854 edges, 28842 markings/sec, 135 secs
lola: 4366375 markings, 15217706 edges, 30131 markings/sec, 140 secs
lola: 4514057 markings, 15716054 edges, 29536 markings/sec, 145 secs
lola: 4660026 markings, 16226751 edges, 29194 markings/sec, 150 secs
lola: 4806527 markings, 16735410 edges, 29300 markings/sec, 155 secs
lola: 4951998 markings, 17254036 edges, 29094 markings/sec, 160 secs
lola: 5096475 markings, 17780250 edges, 28895 markings/sec, 165 secs
lola: 5238317 markings, 18329372 edges, 28368 markings/sec, 170 secs
lola: 5386669 markings, 18832604 edges, 29670 markings/sec, 175 secs
lola: 5531659 markings, 19355350 edges, 28998 markings/sec, 180 secs
lola: 5676057 markings, 19887128 edges, 28880 markings/sec, 185 secs
lola: 5819223 markings, 20428331 edges, 28633 markings/sec, 190 secs
lola: 5962281 markings, 20964752 edges, 28612 markings/sec, 195 secs
lola: 6103983 markings, 21512294 edges, 28340 markings/sec, 200 secs
lola: 6243995 markings, 22075595 edges, 28002 markings/sec, 205 secs
lola: 6389357 markings, 22604041 edges, 29072 markings/sec, 210 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 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: 165479 markings, 475152 edges, 33096 markings/sec, 0 secs
lola: 325996 markings, 976735 edges, 32103 markings/sec, 5 secs
lola: 483196 markings, 1489287 edges, 31440 markings/sec, 10 secs
lola: 640082 markings, 1993889 edges, 31377 markings/sec, 15 secs
lola: 793825 markings, 2511184 edges, 30749 markings/sec, 20 secs
lola: 947510 markings, 3032556 edges, 30737 markings/sec, 25 secs
lola: 1100639 markings, 3559582 edges, 30626 markings/sec, 30 secs
lola: 1254664 markings, 4059856 edges, 30805 markings/sec, 35 secs
lola: 1406837 markings, 4574823 edges, 30435 markings/sec, 40 secs
lola: 1556232 markings, 5110603 edges, 29879 markings/sec, 45 secs
lola: 1707798 markings, 5631102 edges, 30313 markings/sec, 50 secs
lola: 1857326 markings, 6167441 edges, 29906 markings/sec, 55 secs
lola: 2006048 markings, 6714399 edges, 29744 markings/sec, 60 secs
lola: 2156123 markings, 7251728 edges, 30015 markings/sec, 65 secs
lola: 2308362 markings, 7747090 edges, 30448 markings/sec, 70 secs
lola: 2458052 markings, 8254646 edges, 29938 markings/sec, 75 secs
lola: 2604901 markings, 8781019 edges, 29370 markings/sec, 80 secs
lola: 2753787 markings, 9293165 edges, 29777 markings/sec, 85 secs
lola: 2900756 markings, 9820350 edges, 29394 markings/sec, 90 secs
lola: 3046490 markings, 10354697 edges, 29147 markings/sec, 95 secs
lola: 3192122 markings, 10893492 edges, 29126 markings/sec, 100 secs
lola: 3339911 markings, 11409526 edges, 29558 markings/sec, 105 secs
lola: 3486058 markings, 11937875 edges, 29229 markings/sec, 110 secs
lola: 3629924 markings, 12482600 edges, 28773 markings/sec, 115 secs
lola: 3774347 markings, 13017798 edges, 28885 markings/sec, 120 secs
lola: 3918175 markings, 13571033 edges, 28766 markings/sec, 125 secs
lola: 4061479 markings, 14131081 edges, 28661 markings/sec, 130 secs
lola: 4203904 markings, 14705043 edges, 28485 markings/sec, 135 secs
lola: 4355209 markings, 15181414 edges, 30261 markings/sec, 140 secs
lola: 4503373 markings, 15679488 edges, 29633 markings/sec, 145 secs
lola: 4649598 markings, 16189617 edges, 29245 markings/sec, 150 secs
lola: 4796184 markings, 16700501 edges, 29317 markings/sec, 155 secs
lola: 4942067 markings, 17216511 edges, 29177 markings/sec, 160 secs
lola: 5086353 markings, 17741243 edges, 28857 markings/sec, 165 secs
lola: 5227596 markings, 18284479 edges, 28249 markings/sec, 170 secs
lola: 5374085 markings, 18792709 edges, 29298 markings/sec, 175 secs
lola: 5518562 markings, 19310473 edges, 28895 markings/sec, 180 secs
lola: 5663343 markings, 19839356 edges, 28956 markings/sec, 185 secs
lola: 5806281 markings, 20382006 edges, 28588 markings/sec, 190 secs
lola: 5950132 markings, 20915840 edges, 28770 markings/sec, 195 secs
lola: 6091963 markings, 21466758 edges, 28366 markings/sec, 200 secs
lola: 6232337 markings, 22027957 edges, 28075 markings/sec, 205 secs
lola: 6377196 markings, 22560676 edges, 28972 markings/sec, 210 secs
lola: 6523166 markings, 23080541 edges, 29194 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 220 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: 113216 markings, 113341 edges, 22643 markings/sec, 0 secs
lola: 226563 markings, 226689 edges, 22669 markings/sec, 5 secs
lola: 338425 markings, 338550 edges, 22372 markings/sec, 10 secs
lola: 447353 markings, 447479 edges, 21786 markings/sec, 15 secs
lola: 557193 markings, 557318 edges, 21968 markings/sec, 20 secs
lola: 669094 markings, 669219 edges, 22380 markings/sec, 25 secs
lola: 780826 markings, 780952 edges, 22346 markings/sec, 30 secs
lola: 892362 markings, 892487 edges, 22307 markings/sec, 35 secs
lola: 1003764 markings, 1003889 edges, 22280 markings/sec, 40 secs
lola: 1115660 markings, 1115785 edges, 22379 markings/sec, 45 secs
lola: 1227797 markings, 1227923 edges, 22427 markings/sec, 50 secs
lola: 1339943 markings, 1340068 edges, 22429 markings/sec, 55 secs
lola: 1452181 markings, 1452306 edges, 22448 markings/sec, 60 secs
lola: 1564162 markings, 1564288 edges, 22396 markings/sec, 65 secs
lola: 1676216 markings, 1676341 edges, 22411 markings/sec, 70 secs
lola: 1788226 markings, 1788351 edges, 22402 markings/sec, 75 secs
lola: 1899676 markings, 1899802 edges, 22290 markings/sec, 80 secs
lola: 2010494 markings, 2010619 edges, 22164 markings/sec, 85 secs
lola: 2121342 markings, 2121468 edges, 22170 markings/sec, 90 secs
lola: 2232236 markings, 2232362 edges, 22179 markings/sec, 95 secs
lola: 2343065 markings, 2343190 edges, 22166 markings/sec, 100 secs
lola: 2453758 markings, 2453884 edges, 22139 markings/sec, 105 secs
lola: 2564604 markings, 2564730 edges, 22169 markings/sec, 110 secs
lola: 2675516 markings, 2675641 edges, 22182 markings/sec, 115 secs
lola: 2786395 markings, 2786520 edges, 22176 markings/sec, 120 secs
lola: 2897847 markings, 2897972 edges, 22290 markings/sec, 125 secs
lola: 3009526 markings, 3009651 edges, 22336 markings/sec, 130 secs
lola: 3121166 markings, 3121291 edges, 22328 markings/sec, 135 secs
lola: 3232913 markings, 3233039 edges, 22349 markings/sec, 140 secs
lola: 3344760 markings, 3344885 edges, 22369 markings/sec, 145 secs
lola: 3456417 markings, 3456543 edges, 22331 markings/sec, 150 secs
lola: 3568031 markings, 3568157 edges, 22323 markings/sec, 155 secs
lola: 3679627 markings, 3679752 edges, 22319 markings/sec, 160 secs
lola: 3791283 markings, 3791409 edges, 22331 markings/sec, 165 secs
lola: 3902862 markings, 3902987 edges, 22316 markings/sec, 170 secs
lola: 4014314 markings, 4014439 edges, 22290 markings/sec, 175 secs
lola: 4125739 markings, 4125864 edges, 22285 markings/sec, 180 secs
lola: 4237255 markings, 4237381 edges, 22303 markings/sec, 185 secs
lola: 4348680 markings, 4348806 edges, 22285 markings/sec, 190 secs
lola: 4460027 markings, 4460152 edges, 22269 markings/sec, 195 secs
lola: 4571575 markings, 4571700 edges, 22310 markings/sec, 200 secs
lola: 4683005 markings, 4683130 edges, 22286 markings/sec, 205 secs
lola: 4794424 markings, 4794549 edges, 22284 markings/sec, 210 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: 112891 markings, 113016 edges, 22578 markings/sec, 0 secs
lola: 226303 markings, 226428 edges, 22682 markings/sec, 5 secs
lola: 338864 markings, 338989 edges, 22512 markings/sec, 10 secs
lola: 450829 markings, 450954 edges, 22393 markings/sec, 15 secs
lola: 562554 markings, 562679 edges, 22345 markings/sec, 20 secs
lola: 674071 markings, 674196 edges, 22303 markings/sec, 25 secs
lola: 785546 markings, 785671 edges, 22295 markings/sec, 30 secs
lola: 896989 markings, 897114 edges, 22289 markings/sec, 35 secs
lola: 1008390 markings, 1008515 edges, 22280 markings/sec, 40 secs
lola: 1119600 markings, 1119725 edges, 22242 markings/sec, 45 secs
lola: 1231180 markings, 1231306 edges, 22316 markings/sec, 50 secs
lola: 1343149 markings, 1343274 edges, 22394 markings/sec, 55 secs
lola: 1455195 markings, 1455321 edges, 22409 markings/sec, 60 secs
lola: 1567206 markings, 1567331 edges, 22402 markings/sec, 65 secs
lola: 1679221 markings, 1679346 edges, 22403 markings/sec, 70 secs
lola: 1791272 markings, 1791398 edges, 22410 markings/sec, 75 secs
lola: 1903274 markings, 1903399 edges, 22400 markings/sec, 80 secs
lola: 2015204 markings, 2015329 edges, 22386 markings/sec, 85 secs
lola: 2127168 markings, 2127293 edges, 22393 markings/sec, 90 secs
lola: 2238852 markings, 2238977 edges, 22337 markings/sec, 95 secs
lola: 2350559 markings, 2350684 edges, 22341 markings/sec, 100 secs
lola: 2462165 markings, 2462290 edges, 22321 markings/sec, 105 secs
lola: 2573723 markings, 2573848 edges, 22312 markings/sec, 110 secs
lola: 2685415 markings, 2685540 edges, 22338 markings/sec, 115 secs
lola: 2797122 markings, 2797247 edges, 22341 markings/sec, 120 secs
lola: 2908690 markings, 2908815 edges, 22314 markings/sec, 125 secs
lola: 3020260 markings, 3020385 edges, 22314 markings/sec, 130 secs
lola: 3131647 markings, 3131772 edges, 22277 markings/sec, 135 secs
lola: 3243218 markings, 3243343 edges, 22314 markings/sec, 140 secs
lola: 3354751 markings, 3354876 edges, 22307 markings/sec, 145 secs
lola: 3466221 markings, 3466346 edges, 22294 markings/sec, 150 secs
lola: 3577685 markings, 3577811 edges, 22293 markings/sec, 155 secs
lola: 3689061 markings, 3689186 edges, 22275 markings/sec, 160 secs
lola: 3798390 markings, 3798515 edges, 21866 markings/sec, 165 secs
lola: 3909646 markings, 3909772 edges, 22251 markings/sec, 170 secs
lola: 4021036 markings, 4021161 edges, 22278 markings/sec, 175 secs
lola: 4132255 markings, 4132381 edges, 22244 markings/sec, 180 secs
lola: 4243464 markings, 4243590 edges, 22242 markings/sec, 185 secs
lola: 4354570 markings, 4354695 edges, 22221 markings/sec, 190 secs
lola: 4465596 markings, 4465721 edges, 22205 markings/sec, 195 secs
lola: 4576802 markings, 4576927 edges, 22241 markings/sec, 200 secs
lola: 4687882 markings, 4688007 edges, 22216 markings/sec, 205 secs
lola: 4798900 markings, 4799025 edges, 22204 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: 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 1494622683656

--------------------
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="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/CSRepetitions-COL-07.tgz
mv 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 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 r018-ebro-149436308800092"
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 ;