About the Execution of LoLA for S_PolyORBNT-COL-S10J60
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
429.800 | 3540021.00 | 3552466.00 | 11300.60 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PolyORBNT-COL-S10J60, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231500074
=====================================================================
--------------------
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 PolyORBNT-COL-S10J60-UpperBounds-0
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-1
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-15
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-2
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-3
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-4
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-5
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-6
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-7
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-8
FORMULA_NAME PolyORBNT-COL-S10J60-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496303345545
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBNT-COL-S10J60: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBNT-COL-S10J60: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-COL-S10J60 @ 3535 seconds
----- Start make result stdout -----
lola: LoLA will run for 3535 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 14274/65536 symbol table entries, 4496 collisions
lola: preprocessing...
lola: finding significant places
lola: 1294 places, 12980 transitions, 1142 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3558 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J60-UpperBounds.task
lola: MAX(p741) : MAX(p1015) : MAX(p742) : MAX(p1019 + p1020 + p1021 + p1022 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1051 + p1050 + p1049 + p1048 + p1047 + p1046 + p1045 + p1044 + p1043 + p1042 + p1041 + p1040 + p1039 + p1038 + p1037 + p1036 + p1035 + p1034 + p1033 + p1032 + p1031 + p1030 + p1029 + p1028 + p1027 + p1026 + p1025 + p1024 + p1023) : MAX(p1146) : MAX(p741) : MAX(p1080) : MAX(p1015) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + 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 + p88 + p87 + p86 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p74 + p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p400 + p401 + p402 + p403 + p404 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p646 + p647 + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p665 + p655 + p645 + p635 + p625 + p615 + p605 + p595 + p585 + p575 + p565 + p555 + p545 + p535 + p525 + p515 + p505 + p495 + p485 + p475 + p465 + p455 + p445 + p435 + p425 + p415 + p405 + p75 + p85 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719 + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739) : MAX(p1149) : MAX(p1150 + p1151 + p1152 + p1153 + p1154 + p1155 + p1156 + p1157 + p1158 + p1159 + p1160 + p1161 + p1162 + p1163 + p1164 + p1165 + p1166 + p1167 + p1168 + p1169 + p1170 + p1171 + p1172 + p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182 + p1183 + p1184 + p1185 + p1186 + p1187 + p1188 + p1189 + p1190 + p1191 + p1192 + p1193 + p1194 + p1195 + p1196 + p1197 + p1198 + p1199 + p1200 + p1201 + p1202 + p1203 + p1204 + p1205 + p1206 + p1207 + p1208 + p1209 + p1210) : MAX(p677) : MAX(p1016) : MAX(p1002) : MAX(p1284 + p1285 + p1286 + p1287 + p1288 + p1289 + p1290 + p1291 + p1292 + p1293)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p741)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2163 markings, 7819 edges, 433 markings/sec, 0 secs
lola: 4344 markings, 13331 edges, 436 markings/sec, 5 secs
lola: 6529 markings, 21303 edges, 437 markings/sec, 10 secs
lola: 8735 markings, 25280 edges, 441 markings/sec, 15 secs
lola: 10947 markings, 28122 edges, 442 markings/sec, 20 secs
lola: 13103 markings, 30657 edges, 431 markings/sec, 25 secs
lola: 15331 markings, 33576 edges, 446 markings/sec, 30 secs
lola: 17551 markings, 36492 edges, 444 markings/sec, 35 secs
lola: 19788 markings, 39425 edges, 447 markings/sec, 40 secs
lola: 22022 markings, 42359 edges, 447 markings/sec, 45 secs
lola: 24252 markings, 45287 edges, 446 markings/sec, 50 secs
lola: 26479 markings, 48212 edges, 445 markings/sec, 55 secs
lola: 28700 markings, 51127 edges, 444 markings/sec, 60 secs
lola: 30913 markings, 53797 edges, 443 markings/sec, 65 secs
lola: 32984 markings, 56536 edges, 414 markings/sec, 70 secs
lola: 35036 markings, 59248 edges, 410 markings/sec, 75 secs
lola: 37111 markings, 61992 edges, 415 markings/sec, 80 secs
lola: 39186 markings, 64735 edges, 415 markings/sec, 85 secs
lola: 41268 markings, 67488 edges, 416 markings/sec, 90 secs
lola: 43365 markings, 70234 edges, 419 markings/sec, 95 secs
lola: 45481 markings, 72926 edges, 423 markings/sec, 100 secs
lola: 47589 markings, 75606 edges, 422 markings/sec, 105 secs
lola: 49714 markings, 78047 edges, 425 markings/sec, 110 secs
lola: 51833 markings, 80735 edges, 424 markings/sec, 115 secs
lola: 53955 markings, 83426 edges, 424 markings/sec, 120 secs
lola: 56079 markings, 86123 edges, 425 markings/sec, 125 secs
lola: 58199 markings, 88816 edges, 424 markings/sec, 130 secs
lola: 60324 markings, 91519 edges, 425 markings/sec, 135 secs
lola: 62442 markings, 94209 edges, 424 markings/sec, 140 secs
lola: 64563 markings, 96917 edges, 424 markings/sec, 145 secs
lola: 66688 markings, 99620 edges, 425 markings/sec, 150 secs
lola: 68808 markings, 102333 edges, 424 markings/sec, 155 secs
lola: 70757 markings, 104829 edges, 390 markings/sec, 160 secs
lola: 72842 markings, 107501 edges, 417 markings/sec, 165 secs
lola: 74959 markings, 110206 edges, 423 markings/sec, 170 secs
lola: 77080 markings, 113173 edges, 424 markings/sec, 175 secs
lola: 79197 markings, 115876 edges, 423 markings/sec, 180 secs
lola: 81318 markings, 118581 edges, 424 markings/sec, 185 secs
lola: 83430 markings, 121275 edges, 422 markings/sec, 190 secs
lola: 85443 markings, 123859 edges, 403 markings/sec, 195 secs
lola: 87449 markings, 126434 edges, 401 markings/sec, 200 secs
lola: 89419 markings, 129051 edges, 394 markings/sec, 205 secs
lola: 91424 markings, 131647 edges, 401 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1015)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2066 markings, 7465 edges, 413 markings/sec, 0 secs
lola: 3916 markings, 12145 edges, 370 markings/sec, 5 secs
lola: 5945 markings, 19162 edges, 406 markings/sec, 10 secs
lola: 7812 markings, 24197 edges, 373 markings/sec, 15 secs
lola: 9419 markings, 26260 edges, 321 markings/sec, 20 secs
lola: 11025 markings, 28435 edges, 321 markings/sec, 25 secs
lola: 12627 markings, 30489 edges, 320 markings/sec, 30 secs
lola: 14231 markings, 32712 edges, 321 markings/sec, 35 secs
lola: 15831 markings, 34825 edges, 320 markings/sec, 40 secs
lola: 17432 markings, 37156 edges, 320 markings/sec, 45 secs
lola: 19035 markings, 39379 edges, 321 markings/sec, 50 secs
lola: 20636 markings, 41493 edges, 320 markings/sec, 55 secs
lola: 22236 markings, 43704 edges, 320 markings/sec, 60 secs
lola: 23827 markings, 45810 edges, 318 markings/sec, 65 secs
lola: 25421 markings, 48132 edges, 319 markings/sec, 70 secs
lola: 27015 markings, 50340 edges, 319 markings/sec, 75 secs
lola: 28614 markings, 52449 edges, 320 markings/sec, 80 secs
lola: 30216 markings, 54661 edges, 320 markings/sec, 85 secs
lola: 31818 markings, 56825 edges, 320 markings/sec, 90 secs
lola: 33421 markings, 59114 edges, 321 markings/sec, 95 secs
lola: 35024 markings, 61329 edges, 321 markings/sec, 100 secs
lola: 36704 markings, 63546 edges, 336 markings/sec, 105 secs
lola: 38390 markings, 65982 edges, 337 markings/sec, 110 secs
lola: 40077 markings, 68299 edges, 337 markings/sec, 115 secs
lola: 41686 markings, 70430 edges, 322 markings/sec, 120 secs
lola: 43267 markings, 72606 edges, 316 markings/sec, 125 secs
lola: 44819 markings, 74882 edges, 310 markings/sec, 130 secs
lola: 46361 markings, 76928 edges, 308 markings/sec, 135 secs
lola: 47906 markings, 79060 edges, 309 markings/sec, 140 secs
lola: 49451 markings, 81236 edges, 309 markings/sec, 145 secs
lola: 51023 markings, 83409 edges, 314 markings/sec, 150 secs
lola: 52598 markings, 85578 edges, 315 markings/sec, 155 secs
lola: 54125 markings, 87638 edges, 305 markings/sec, 160 secs
lola: 55722 markings, 89933 edges, 319 markings/sec, 165 secs
lola: 57325 markings, 92137 edges, 321 markings/sec, 170 secs
lola: 58933 markings, 94376 edges, 322 markings/sec, 175 secs
lola: 60520 markings, 96582 edges, 317 markings/sec, 180 secs
lola: 62078 markings, 98724 edges, 312 markings/sec, 185 secs
lola: 63627 markings, 100954 edges, 310 markings/sec, 190 secs
lola: 65232 markings, 103121 edges, 321 markings/sec, 195 secs
lola: 66837 markings, 105321 edges, 321 markings/sec, 200 secs
lola: 68439 markings, 107653 edges, 320 markings/sec, 205 secs
lola: 70038 markings, 109775 edges, 320 markings/sec, 210 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(p742)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2053 markings, 7417 edges, 411 markings/sec, 0 secs
lola: 4041 markings, 12276 edges, 398 markings/sec, 5 secs
lola: 6099 markings, 19735 edges, 412 markings/sec, 10 secs
lola: 8118 markings, 24550 edges, 404 markings/sec, 15 secs
lola: 10054 markings, 26828 edges, 387 markings/sec, 20 secs
lola: 11974 markings, 29329 edges, 384 markings/sec, 25 secs
lola: 13937 markings, 31899 edges, 393 markings/sec, 30 secs
lola: 15939 markings, 34550 edges, 400 markings/sec, 35 secs
lola: 17929 markings, 36947 edges, 398 markings/sec, 40 secs
lola: 19914 markings, 39578 edges, 397 markings/sec, 45 secs
lola: 21912 markings, 42225 edges, 400 markings/sec, 50 secs
lola: 23911 markings, 44877 edges, 400 markings/sec, 55 secs
lola: 25905 markings, 47278 edges, 399 markings/sec, 60 secs
lola: 27883 markings, 49903 edges, 396 markings/sec, 65 secs
lola: 29860 markings, 52528 edges, 395 markings/sec, 70 secs
lola: 31763 markings, 55063 edges, 381 markings/sec, 75 secs
lola: 33586 markings, 57501 edges, 365 markings/sec, 80 secs
lola: 35400 markings, 59684 edges, 363 markings/sec, 85 secs
lola: 37211 markings, 62111 edges, 362 markings/sec, 90 secs
lola: 39053 markings, 64575 edges, 368 markings/sec, 95 secs
lola: 40903 markings, 67050 edges, 370 markings/sec, 100 secs
lola: 42780 markings, 69312 edges, 375 markings/sec, 105 secs
lola: 44755 markings, 71818 edges, 395 markings/sec, 110 secs
lola: 46730 markings, 74325 edges, 395 markings/sec, 115 secs
lola: 48691 markings, 76842 edges, 392 markings/sec, 120 secs
lola: 50443 markings, 79128 edges, 350 markings/sec, 125 secs
lola: 52141 markings, 81345 edges, 340 markings/sec, 130 secs
lola: 53811 markings, 83248 edges, 334 markings/sec, 135 secs
lola: 55562 markings, 85502 edges, 350 markings/sec, 140 secs
lola: 57456 markings, 87945 edges, 379 markings/sec, 145 secs
lola: 59354 markings, 90395 edges, 380 markings/sec, 150 secs
lola: 61242 markings, 92831 edges, 378 markings/sec, 155 secs
lola: 63118 markings, 95258 edges, 375 markings/sec, 160 secs
lola: 65077 markings, 97774 edges, 392 markings/sec, 165 secs
lola: 67055 markings, 100315 edges, 396 markings/sec, 170 secs
lola: 69035 markings, 102857 edges, 396 markings/sec, 175 secs
lola: 71015 markings, 105139 edges, 396 markings/sec, 180 secs
lola: 72994 markings, 107682 edges, 396 markings/sec, 185 secs
lola: 74970 markings, 110218 edges, 395 markings/sec, 190 secs
lola: 76948 markings, 112764 edges, 396 markings/sec, 195 secs
lola: 78926 markings, 115307 edges, 396 markings/sec, 200 secs
lola: 80907 markings, 118116 edges, 396 markings/sec, 205 secs
lola: 82884 markings, 120664 edges, 395 markings/sec, 210 secs
lola: 84863 markings, 123209 edges, 396 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(p1019 + p1020 + p1021 + p1022 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1051 + p1050 + p1049 + p1048 + p1047 + p1046 + p1045 + p1044 + p1043 + p1042 + p1041 + p1040 + p1039 + p1038 + p1037 + p1036 + p1035 + p103... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2154 markings, 7786 edges, 431 markings/sec, 0 secs
lola: 4297 markings, 13166 edges, 429 markings/sec, 5 secs
lola: 6461 markings, 21061 edges, 433 markings/sec, 10 secs
lola: 8634 markings, 25162 edges, 435 markings/sec, 15 secs
lola: 10815 markings, 27965 edges, 436 markings/sec, 20 secs
lola: 12969 markings, 30498 edges, 431 markings/sec, 25 secs
lola: 15168 markings, 33380 edges, 440 markings/sec, 30 secs
lola: 17371 markings, 36274 edges, 441 markings/sec, 35 secs
lola: 19588 markings, 39187 edges, 443 markings/sec, 40 secs
lola: 21804 markings, 42096 edges, 443 markings/sec, 45 secs
lola: 24018 markings, 45004 edges, 443 markings/sec, 50 secs
lola: 26230 markings, 47910 edges, 442 markings/sec, 55 secs
lola: 28441 markings, 50578 edges, 442 markings/sec, 60 secs
lola: 30662 markings, 53492 edges, 444 markings/sec, 65 secs
lola: 32715 markings, 56209 edges, 411 markings/sec, 70 secs
lola: 34753 markings, 58909 edges, 408 markings/sec, 75 secs
lola: 36750 markings, 61557 edges, 399 markings/sec, 80 secs
lola: 38707 markings, 64157 edges, 391 markings/sec, 85 secs
lola: 40656 markings, 66509 edges, 390 markings/sec, 90 secs
lola: 42602 markings, 69098 edges, 389 markings/sec, 95 secs
lola: 44578 markings, 71604 edges, 395 markings/sec, 100 secs
lola: 46550 markings, 74125 edges, 394 markings/sec, 105 secs
lola: 48535 markings, 76668 edges, 397 markings/sec, 110 secs
lola: 50525 markings, 79218 edges, 398 markings/sec, 115 secs
lola: 52515 markings, 81768 edges, 398 markings/sec, 120 secs
lola: 54505 markings, 84316 edges, 398 markings/sec, 125 secs
lola: 56494 markings, 86865 edges, 398 markings/sec, 130 secs
lola: 58482 markings, 89154 edges, 398 markings/sec, 135 secs
lola: 60474 markings, 91699 edges, 398 markings/sec, 140 secs
lola: 62463 markings, 94236 edges, 398 markings/sec, 145 secs
lola: 64452 markings, 96781 edges, 398 markings/sec, 150 secs
lola: 66435 markings, 99320 edges, 397 markings/sec, 155 secs
lola: 68426 markings, 101870 edges, 398 markings/sec, 160 secs
lola: 70411 markings, 104411 edges, 397 markings/sec, 165 secs
lola: 72399 markings, 106965 edges, 398 markings/sec, 170 secs
lola: 74383 markings, 109513 edges, 397 markings/sec, 175 secs
lola: 76375 markings, 112074 edges, 398 markings/sec, 180 secs
lola: 78362 markings, 114627 edges, 397 markings/sec, 185 secs
lola: 80353 markings, 117192 edges, 398 markings/sec, 190 secs
lola: 82339 markings, 119754 edges, 397 markings/sec, 195 secs
lola: 84328 markings, 122322 edges, 398 markings/sec, 200 secs
lola: 86315 markings, 124883 edges, 397 markings/sec, 205 secs
lola: 88321 markings, 127470 edges, 401 markings/sec, 210 secs
lola: 90336 markings, 130413 edges, 403 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(p1146)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2158 markings, 7797 edges, 432 markings/sec, 0 secs
lola: 4056 markings, 12306 edges, 380 markings/sec, 5 secs
lola: 6238 markings, 20251 edges, 436 markings/sec, 10 secs
lola: 8124 markings, 24494 edges, 377 markings/sec, 15 secs
lola: 9775 markings, 26582 edges, 330 markings/sec, 20 secs
lola: 11460 markings, 28655 edges, 337 markings/sec, 25 secs
lola: 13146 markings, 30982 edges, 337 markings/sec, 30 secs
lola: 14828 markings, 32890 edges, 336 markings/sec, 35 secs
lola: 16501 markings, 35225 edges, 335 markings/sec, 40 secs
lola: 18167 markings, 37554 edges, 333 markings/sec, 45 secs
lola: 19842 markings, 39458 edges, 335 markings/sec, 50 secs
lola: 21519 markings, 41794 edges, 335 markings/sec, 55 secs
lola: 23193 markings, 44129 edges, 335 markings/sec, 60 secs
lola: 24865 markings, 46026 edges, 334 markings/sec, 65 secs
lola: 26540 markings, 48361 edges, 335 markings/sec, 70 secs
lola: 28214 markings, 50693 edges, 335 markings/sec, 75 secs
lola: 29888 markings, 52965 edges, 335 markings/sec, 80 secs
lola: 31561 markings, 54922 edges, 335 markings/sec, 85 secs
lola: 33234 markings, 57251 edges, 335 markings/sec, 90 secs
lola: 34909 markings, 59580 edges, 335 markings/sec, 95 secs
lola: 36579 markings, 61475 edges, 334 markings/sec, 100 secs
lola: 38253 markings, 63804 edges, 335 markings/sec, 105 secs
lola: 39927 markings, 66130 edges, 335 markings/sec, 110 secs
lola: 41601 markings, 68457 edges, 335 markings/sec, 115 secs
lola: 43273 markings, 70354 edges, 334 markings/sec, 120 secs
lola: 44948 markings, 72678 edges, 335 markings/sec, 125 secs
lola: 46624 markings, 75004 edges, 335 markings/sec, 130 secs
lola: 48298 markings, 77324 edges, 335 markings/sec, 135 secs
lola: 49971 markings, 79223 edges, 335 markings/sec, 140 secs
lola: 51645 markings, 81544 edges, 335 markings/sec, 145 secs
lola: 53319 markings, 83861 edges, 335 markings/sec, 150 secs
lola: 54992 markings, 86182 edges, 335 markings/sec, 155 secs
lola: 56665 markings, 88435 edges, 335 markings/sec, 160 secs
lola: 58336 markings, 90392 edges, 334 markings/sec, 165 secs
lola: 60010 markings, 92707 edges, 335 markings/sec, 170 secs
lola: 61683 markings, 95021 edges, 335 markings/sec, 175 secs
lola: 63356 markings, 97333 edges, 335 markings/sec, 180 secs
lola: 65029 markings, 99644 edges, 335 markings/sec, 185 secs
lola: 66701 markings, 101542 edges, 334 markings/sec, 190 secs
lola: 68375 markings, 103855 edges, 335 markings/sec, 195 secs
lola: 70047 markings, 106159 edges, 334 markings/sec, 200 secs
lola: 71721 markings, 108470 edges, 335 markings/sec, 205 secs
lola: 73394 markings, 110776 edges, 335 markings/sec, 210 secs
lola: 75068 markings, 113083 edges, 335 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(p741)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2157 markings, 7796 edges, 431 markings/sec, 0 secs
lola: 4320 markings, 13242 edges, 433 markings/sec, 5 secs
lola: 6486 markings, 21152 edges, 433 markings/sec, 10 secs
lola: 8678 markings, 25209 edges, 438 markings/sec, 15 secs
lola: 10870 markings, 28029 edges, 438 markings/sec, 20 secs
lola: 13044 markings, 30588 edges, 435 markings/sec, 25 secs
lola: 15256 markings, 33486 edges, 442 markings/sec, 30 secs
lola: 17463 markings, 36387 edges, 441 markings/sec, 35 secs
lola: 19688 markings, 39306 edges, 445 markings/sec, 40 secs
lola: 21909 markings, 42221 edges, 444 markings/sec, 45 secs
lola: 24126 markings, 45137 edges, 443 markings/sec, 50 secs
lola: 26342 markings, 48047 edges, 443 markings/sec, 55 secs
lola: 28545 markings, 50943 edges, 441 markings/sec, 60 secs
lola: 30748 markings, 53596 edges, 441 markings/sec, 65 secs
lola: 32811 markings, 56327 edges, 413 markings/sec, 70 secs
lola: 34862 markings, 59038 edges, 410 markings/sec, 75 secs
lola: 36924 markings, 61767 edges, 412 markings/sec, 80 secs
lola: 38988 markings, 64499 edges, 413 markings/sec, 85 secs
lola: 41051 markings, 67229 edges, 413 markings/sec, 90 secs
lola: 43116 markings, 69955 edges, 413 markings/sec, 95 secs
lola: 45212 markings, 72366 edges, 419 markings/sec, 100 secs
lola: 47308 markings, 75020 edges, 419 markings/sec, 105 secs
lola: 49404 markings, 77673 edges, 419 markings/sec, 110 secs
lola: 51501 markings, 80333 edges, 419 markings/sec, 115 secs
lola: 53584 markings, 82976 edges, 417 markings/sec, 120 secs
lola: 55661 markings, 85622 edges, 415 markings/sec, 125 secs
lola: 57747 markings, 88271 edges, 417 markings/sec, 130 secs
lola: 59847 markings, 90947 edges, 420 markings/sec, 135 secs
lola: 61903 markings, 93573 edges, 411 markings/sec, 140 secs
lola: 63885 markings, 96117 edges, 396 markings/sec, 145 secs
lola: 65869 markings, 98662 edges, 397 markings/sec, 150 secs
lola: 67852 markings, 101209 edges, 397 markings/sec, 155 secs
lola: 69835 markings, 103756 edges, 397 markings/sec, 160 secs
lola: 71817 markings, 106302 edges, 396 markings/sec, 165 secs
lola: 73801 markings, 108849 edges, 397 markings/sec, 170 secs
lola: 75781 markings, 111395 edges, 396 markings/sec, 175 secs
lola: 77845 markings, 114034 edges, 413 markings/sec, 180 secs
lola: 79931 markings, 116699 edges, 417 markings/sec, 185 secs
lola: 82021 markings, 119366 edges, 418 markings/sec, 190 secs
lola: 84112 markings, 122061 edges, 418 markings/sec, 195 secs
lola: 86200 markings, 124743 edges, 418 markings/sec, 200 secs
lola: 88269 markings, 127409 edges, 414 markings/sec, 205 secs
lola: 90303 markings, 130373 edges, 407 markings/sec, 210 secs
lola: 92374 markings, 133026 edges, 414 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(p1080)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2152 markings, 7778 edges, 430 markings/sec, 0 secs
lola: 4053 markings, 12298 edges, 380 markings/sec, 5 secs
lola: 6215 markings, 20167 edges, 432 markings/sec, 10 secs
lola: 8091 markings, 24526 edges, 375 markings/sec, 15 secs
lola: 9748 markings, 26670 edges, 331 markings/sec, 20 secs
lola: 11407 markings, 28882 edges, 332 markings/sec, 25 secs
lola: 13066 markings, 31038 edges, 332 markings/sec, 30 secs
lola: 14734 markings, 33456 edges, 334 markings/sec, 35 secs
lola: 16403 markings, 35762 edges, 334 markings/sec, 40 secs
lola: 18067 markings, 37949 edges, 333 markings/sec, 45 secs
lola: 19730 markings, 40243 edges, 333 markings/sec, 50 secs
lola: 21388 markings, 42537 edges, 332 markings/sec, 55 secs
lola: 23051 markings, 44839 edges, 333 markings/sec, 60 secs
lola: 24714 markings, 47133 edges, 333 markings/sec, 65 secs
lola: 26372 markings, 49318 edges, 332 markings/sec, 70 secs
lola: 28033 markings, 51601 edges, 332 markings/sec, 75 secs
lola: 29696 markings, 54020 edges, 333 markings/sec, 80 secs
lola: 31359 markings, 56210 edges, 333 markings/sec, 85 secs
lola: 33023 markings, 58499 edges, 333 markings/sec, 90 secs
lola: 34686 markings, 60916 edges, 333 markings/sec, 95 secs
lola: 36343 markings, 63095 edges, 331 markings/sec, 100 secs
lola: 38004 markings, 65380 edges, 332 markings/sec, 105 secs
lola: 39665 markings, 67760 edges, 332 markings/sec, 110 secs
lola: 41324 markings, 69978 edges, 332 markings/sec, 115 secs
lola: 42983 markings, 72258 edges, 332 markings/sec, 120 secs
lola: 44636 markings, 74620 edges, 331 markings/sec, 125 secs
lola: 46293 markings, 76840 edges, 331 markings/sec, 130 secs
lola: 47952 markings, 79123 edges, 332 markings/sec, 135 secs
lola: 49612 markings, 81536 edges, 332 markings/sec, 140 secs
lola: 51269 markings, 83715 edges, 331 markings/sec, 145 secs
lola: 52930 markings, 85998 edges, 332 markings/sec, 150 secs
lola: 54592 markings, 88411 edges, 332 markings/sec, 155 secs
lola: 56249 markings, 90590 edges, 331 markings/sec, 160 secs
lola: 57910 markings, 92993 edges, 332 markings/sec, 165 secs
lola: 59571 markings, 95281 edges, 332 markings/sec, 170 secs
lola: 61231 markings, 97567 edges, 332 markings/sec, 175 secs
lola: 62890 markings, 99867 edges, 332 markings/sec, 180 secs
lola: 64553 markings, 102153 edges, 333 markings/sec, 185 secs
lola: 66213 markings, 104558 edges, 332 markings/sec, 190 secs
lola: 67870 markings, 106742 edges, 331 markings/sec, 195 secs
lola: 69530 markings, 109142 edges, 332 markings/sec, 200 secs
lola: 71190 markings, 111421 edges, 332 markings/sec, 205 secs
lola: 72849 markings, 113828 edges, 332 markings/sec, 210 secs
lola: 74507 markings, 116012 edges, 332 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(p1015)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2170 markings, 7843 edges, 434 markings/sec, 0 secs
lola: 4086 markings, 12408 edges, 383 markings/sec, 5 secs
lola: 6267 markings, 20354 edges, 436 markings/sec, 10 secs
lola: 8140 markings, 24584 edges, 375 markings/sec, 15 secs
lola: 9803 markings, 26740 edges, 333 markings/sec, 20 secs
lola: 11394 markings, 28869 edges, 318 markings/sec, 25 secs
lola: 12984 markings, 30936 edges, 318 markings/sec, 30 secs
lola: 14582 markings, 33143 edges, 320 markings/sec, 35 secs
lola: 16179 markings, 35483 edges, 319 markings/sec, 40 secs
lola: 17773 markings, 37583 edges, 319 markings/sec, 45 secs
lola: 19370 markings, 39793 edges, 319 markings/sec, 50 secs
lola: 20966 markings, 41903 edges, 319 markings/sec, 55 secs
lola: 22568 markings, 44112 edges, 320 markings/sec, 60 secs
lola: 24164 markings, 46412 edges, 319 markings/sec, 65 secs
lola: 25766 markings, 48562 edges, 320 markings/sec, 70 secs
lola: 27374 markings, 50784 edges, 322 markings/sec, 75 secs
lola: 28977 markings, 52902 edges, 321 markings/sec, 80 secs
lola: 30579 markings, 55111 edges, 320 markings/sec, 85 secs
lola: 32179 markings, 57451 edges, 320 markings/sec, 90 secs
lola: 33778 markings, 59561 edges, 320 markings/sec, 95 secs
lola: 35386 markings, 61778 edges, 322 markings/sec, 100 secs
lola: 36989 markings, 63983 edges, 321 markings/sec, 105 secs
lola: 38588 markings, 66230 edges, 320 markings/sec, 110 secs
lola: 40188 markings, 68439 edges, 320 markings/sec, 115 secs
lola: 41785 markings, 70554 edges, 319 markings/sec, 120 secs
lola: 43385 markings, 72877 edges, 320 markings/sec, 125 secs
lola: 44984 markings, 75087 edges, 320 markings/sec, 130 secs
lola: 46582 markings, 77204 edges, 320 markings/sec, 135 secs
lola: 48180 markings, 79399 edges, 320 markings/sec, 140 secs
lola: 49780 markings, 81736 edges, 320 markings/sec, 145 secs
lola: 51381 markings, 83855 edges, 320 markings/sec, 150 secs
lola: 52987 markings, 86057 edges, 321 markings/sec, 155 secs
lola: 54595 markings, 88405 edges, 322 markings/sec, 160 secs
lola: 56200 markings, 90531 edges, 321 markings/sec, 165 secs
lola: 57848 markings, 92916 edges, 330 markings/sec, 170 secs
lola: 59522 markings, 95209 edges, 335 markings/sec, 175 secs
lola: 61192 markings, 97489 edges, 334 markings/sec, 180 secs
lola: 62864 markings, 99836 edges, 334 markings/sec, 185 secs
lola: 64537 markings, 102123 edges, 335 markings/sec, 190 secs
lola: 66217 markings, 104551 edges, 336 markings/sec, 195 secs
lola: 67807 markings, 106664 edges, 318 markings/sec, 200 secs
lola: 69398 markings, 108975 edges, 318 markings/sec, 205 secs
lola: 70992 markings, 111166 edges, 319 markings/sec, 210 secs
lola: 72584 markings, 113452 edges, 318 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2182 markings, 7888 edges, 436 markings/sec, 0 secs
lola: 4109 markings, 12489 edges, 385 markings/sec, 5 secs
lola: 6302 markings, 20489 edges, 439 markings/sec, 10 secs
lola: 8174 markings, 24535 edges, 374 markings/sec, 15 secs
lola: 9849 markings, 26384 edges, 335 markings/sec, 20 secs
lola: 11525 markings, 28495 edges, 335 markings/sec, 25 secs
lola: 13201 markings, 30607 edges, 335 markings/sec, 30 secs
lola: 14873 markings, 32478 edges, 334 markings/sec, 35 secs
lola: 16550 markings, 34595 edges, 335 markings/sec, 40 secs
lola: 18226 markings, 36707 edges, 335 markings/sec, 45 secs
lola: 19903 markings, 38584 edges, 335 markings/sec, 50 secs
lola: 21580 markings, 40700 edges, 335 markings/sec, 55 secs
lola: 23256 markings, 42813 edges, 335 markings/sec, 60 secs
lola: 24898 markings, 44651 edges, 328 markings/sec, 65 secs
lola: 26489 markings, 46670 edges, 318 markings/sec, 70 secs
lola: 28077 markings, 48687 edges, 318 markings/sec, 75 secs
lola: 29662 markings, 50458 edges, 317 markings/sec, 80 secs
lola: 31248 markings, 52473 edges, 317 markings/sec, 85 secs
lola: 32833 markings, 54484 edges, 317 markings/sec, 90 secs
lola: 34419 markings, 56261 edges, 317 markings/sec, 95 secs
lola: 36005 markings, 58275 edges, 317 markings/sec, 100 secs
lola: 37591 markings, 60048 edges, 317 markings/sec, 105 secs
lola: 39177 markings, 62062 edges, 317 markings/sec, 110 secs
lola: 40832 markings, 64152 edges, 331 markings/sec, 115 secs
lola: 42505 markings, 66025 edges, 335 markings/sec, 120 secs
lola: 44188 markings, 68146 edges, 337 markings/sec, 125 secs
lola: 45872 markings, 70268 edges, 337 markings/sec, 130 secs
lola: 47552 markings, 72149 edges, 336 markings/sec, 135 secs
lola: 49232 markings, 74268 edges, 336 markings/sec, 140 secs
lola: 50913 markings, 76388 edges, 336 markings/sec, 145 secs
lola: 52594 markings, 78269 edges, 336 markings/sec, 150 secs
lola: 54276 markings, 80391 edges, 336 markings/sec, 155 secs
lola: 55954 markings, 82505 edges, 336 markings/sec, 160 secs
lola: 57634 markings, 84386 edges, 336 markings/sec, 165 secs
lola: 59314 markings, 86504 edges, 336 markings/sec, 170 secs
lola: 60993 markings, 88623 edges, 336 markings/sec, 175 secs
lola: 62674 markings, 90504 edges, 336 markings/sec, 180 secs
lola: 64354 markings, 92621 edges, 336 markings/sec, 185 secs
lola: 66034 markings, 94740 edges, 336 markings/sec, 190 secs
lola: 67715 markings, 96622 edges, 336 markings/sec, 195 secs
lola: 69394 markings, 98739 edges, 336 markings/sec, 200 secs
lola: 71074 markings, 100857 edges, 336 markings/sec, 205 secs
lola: 72754 markings, 102737 edges, 336 markings/sec, 210 secs
lola: 74436 markings, 104858 edges, 336 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719 + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2146 markings, 7763 edges, 429 markings/sec, 0 secs
lola: 4080 markings, 12386 edges, 387 markings/sec, 5 secs
lola: 6282 markings, 20410 edges, 440 markings/sec, 10 secs
lola: 8164 markings, 24525 edges, 376 markings/sec, 15 secs
lola: 9845 markings, 26378 edges, 336 markings/sec, 20 secs
lola: 11525 markings, 28495 edges, 336 markings/sec, 25 secs
lola: 13204 markings, 30610 edges, 336 markings/sec, 30 secs
lola: 14883 markings, 32489 edges, 336 markings/sec, 35 secs
lola: 16564 markings, 34609 edges, 336 markings/sec, 40 secs
lola: 18245 markings, 36730 edges, 336 markings/sec, 45 secs
lola: 19926 markings, 38611 edges, 336 markings/sec, 50 secs
lola: 21607 markings, 40730 edges, 336 markings/sec, 55 secs
lola: 23287 markings, 42848 edges, 336 markings/sec, 60 secs
lola: 24968 markings, 44729 edges, 336 markings/sec, 65 secs
lola: 26649 markings, 46849 edges, 336 markings/sec, 70 secs
lola: 28328 markings, 48968 edges, 336 markings/sec, 75 secs
lola: 30008 markings, 50848 edges, 336 markings/sec, 80 secs
lola: 31688 markings, 52964 edges, 336 markings/sec, 85 secs
lola: 33367 markings, 55083 edges, 336 markings/sec, 90 secs
lola: 35047 markings, 56963 edges, 336 markings/sec, 95 secs
lola: 36728 markings, 59083 edges, 336 markings/sec, 100 secs
lola: 38407 markings, 61200 edges, 336 markings/sec, 105 secs
lola: 40086 markings, 63078 edges, 336 markings/sec, 110 secs
lola: 41766 markings, 65198 edges, 336 markings/sec, 115 secs
lola: 43446 markings, 67316 edges, 336 markings/sec, 120 secs
lola: 45125 markings, 69195 edges, 336 markings/sec, 125 secs
lola: 46806 markings, 71316 edges, 336 markings/sec, 130 secs
lola: 48485 markings, 73432 edges, 336 markings/sec, 135 secs
lola: 50165 markings, 75312 edges, 336 markings/sec, 140 secs
lola: 51845 markings, 77430 edges, 336 markings/sec, 145 secs
lola: 53526 markings, 79551 edges, 336 markings/sec, 150 secs
lola: 55205 markings, 81430 edges, 336 markings/sec, 155 secs
lola: 56886 markings, 83548 edges, 336 markings/sec, 160 secs
lola: 58566 markings, 85668 edges, 336 markings/sec, 165 secs
lola: 60246 markings, 87548 edges, 336 markings/sec, 170 secs
lola: 61926 markings, 89666 edges, 336 markings/sec, 175 secs
lola: 63606 markings, 91786 edges, 336 markings/sec, 180 secs
lola: 65287 markings, 93667 edges, 336 markings/sec, 185 secs
lola: 66968 markings, 95785 edges, 336 markings/sec, 190 secs
lola: 68648 markings, 97904 edges, 336 markings/sec, 195 secs
lola: 70330 markings, 99787 edges, 336 markings/sec, 200 secs
lola: 72012 markings, 101907 edges, 336 markings/sec, 205 secs
lola: 73694 markings, 104029 edges, 336 markings/sec, 210 secs
lola: 75376 markings, 105911 edges, 336 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2158 markings, 7797 edges, 432 markings/sec, 0 secs
lola: 4404 markings, 13559 edges, 449 markings/sec, 5 secs
lola: 6570 markings, 21460 edges, 433 markings/sec, 10 secs
lola: 8894 markings, 25468 edges, 465 markings/sec, 15 secs
lola: 11265 markings, 28494 edges, 474 markings/sec, 20 secs
lola: 13622 markings, 31521 edges, 471 markings/sec, 25 secs
lola: 15977 markings, 34597 edges, 471 markings/sec, 30 secs
lola: 18329 markings, 37428 edges, 470 markings/sec, 35 secs
lola: 20680 markings, 40501 edges, 470 markings/sec, 40 secs
lola: 23033 markings, 43577 edges, 471 markings/sec, 45 secs
lola: 25377 markings, 46642 edges, 469 markings/sec, 50 secs
lola: 27712 markings, 49697 edges, 467 markings/sec, 55 secs
lola: 30053 markings, 52759 edges, 468 markings/sec, 60 secs
lola: 32286 markings, 55694 edges, 447 markings/sec, 65 secs
lola: 34468 markings, 58563 edges, 436 markings/sec, 70 secs
lola: 36653 markings, 61442 edges, 437 markings/sec, 75 secs
lola: 38736 markings, 64194 edges, 417 markings/sec, 80 secs
lola: 40664 markings, 66517 edges, 386 markings/sec, 85 secs
lola: 42598 markings, 69094 edges, 387 markings/sec, 90 secs
lola: 44681 markings, 71726 edges, 417 markings/sec, 95 secs
lola: 46756 markings, 74355 edges, 415 markings/sec, 100 secs
lola: 48868 markings, 77041 edges, 422 markings/sec, 105 secs
lola: 51052 markings, 79809 edges, 437 markings/sec, 110 secs
lola: 53236 markings, 82575 edges, 437 markings/sec, 115 secs
lola: 55464 markings, 85392 edges, 446 markings/sec, 120 secs
lola: 57692 markings, 88209 edges, 446 markings/sec, 125 secs
lola: 59911 markings, 91023 edges, 444 markings/sec, 130 secs
lola: 62133 markings, 93837 edges, 444 markings/sec, 135 secs
lola: 64287 markings, 96585 edges, 431 markings/sec, 140 secs
lola: 66520 markings, 99420 edges, 447 markings/sec, 145 secs
lola: 68584 markings, 102062 edges, 413 markings/sec, 150 secs
lola: 70715 markings, 104778 edges, 426 markings/sec, 155 secs
lola: 72795 markings, 107441 edges, 416 markings/sec, 160 secs
lola: 74870 markings, 110099 edges, 415 markings/sec, 165 secs
lola: 76953 markings, 112771 edges, 417 markings/sec, 170 secs
lola: 79039 markings, 115696 edges, 417 markings/sec, 175 secs
lola: 81127 markings, 118366 edges, 418 markings/sec, 180 secs
lola: 83257 markings, 121082 edges, 426 markings/sec, 185 secs
lola: 85330 markings, 123732 edges, 415 markings/sec, 190 secs
lola: 87399 markings, 126379 edges, 414 markings/sec, 195 secs
lola: 89494 markings, 129142 edges, 419 markings/sec, 200 secs
lola: 91626 markings, 131887 edges, 426 markings/sec, 205 secs
lola: 93750 markings, 134623 edges, 425 markings/sec, 210 secs
lola: 95841 markings, 137572 edges, 418 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1150 + p1151 + p1152 + p1153 + p1154 + p1155 + p1156 + p1157 + p1158 + p1159 + p1160 + p1161 + p1162 + p1163 + p1164 + p1165 + p1166 + p1167 + p1168 + p1169 + p1170 + p1171 + p1172 + p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182 + p1183 + p1184 + p1185 + p1186 + p1187 + p1188 + p1189 + p1190 + p1191 + p1192 + p1193 + p1194 + p1195 + p1196 + p1197 + p1198 + p119... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2019 markings, 7289 edges, 404 markings/sec, 0 secs
lola: 3860 markings, 12085 edges, 368 markings/sec, 5 secs
lola: 5862 markings, 18863 edges, 400 markings/sec, 10 secs
lola: 7742 markings, 24112 edges, 376 markings/sec, 15 secs
lola: 9320 markings, 26137 edges, 316 markings/sec, 20 secs
lola: 10902 markings, 28287 edges, 316 markings/sec, 25 secs
lola: 12479 markings, 30306 edges, 315 markings/sec, 30 secs
lola: 14060 markings, 32499 edges, 316 markings/sec, 35 secs
lola: 15637 markings, 34586 edges, 315 markings/sec, 40 secs
lola: 17218 markings, 36768 edges, 316 markings/sec, 45 secs
lola: 18798 markings, 39034 edges, 316 markings/sec, 50 secs
lola: 20377 markings, 41169 edges, 316 markings/sec, 55 secs
lola: 21959 markings, 43360 edges, 316 markings/sec, 60 secs
lola: 23535 markings, 45443 edges, 315 markings/sec, 65 secs
lola: 25116 markings, 47631 edges, 316 markings/sec, 70 secs
lola: 26694 markings, 49829 edges, 316 markings/sec, 75 secs
lola: 28274 markings, 52024 edges, 316 markings/sec, 80 secs
lola: 29854 markings, 54218 edges, 316 markings/sec, 85 secs
lola: 31432 markings, 56303 edges, 316 markings/sec, 90 secs
lola: 33012 markings, 58483 edges, 316 markings/sec, 95 secs
lola: 34593 markings, 60766 edges, 316 markings/sec, 100 secs
lola: 36171 markings, 62882 edges, 316 markings/sec, 105 secs
lola: 37751 markings, 65066 edges, 316 markings/sec, 110 secs
lola: 39329 markings, 67156 edges, 316 markings/sec, 115 secs
lola: 40910 markings, 69459 edges, 316 markings/sec, 120 secs
lola: 42491 markings, 71651 edges, 316 markings/sec, 125 secs
lola: 44068 markings, 73733 edges, 315 markings/sec, 130 secs
lola: 45649 markings, 75919 edges, 316 markings/sec, 135 secs
lola: 47229 markings, 78230 edges, 316 markings/sec, 140 secs
lola: 48806 markings, 80309 edges, 315 markings/sec, 145 secs
lola: 50389 markings, 82498 edges, 317 markings/sec, 150 secs
lola: 52051 markings, 84909 edges, 332 markings/sec, 155 secs
lola: 53709 markings, 87089 edges, 332 markings/sec, 160 secs
lola: 55370 markings, 89374 edges, 332 markings/sec, 165 secs
lola: 57033 markings, 91784 edges, 333 markings/sec, 170 secs
lola: 58691 markings, 93969 edges, 332 markings/sec, 175 secs
lola: 60353 markings, 96371 edges, 332 markings/sec, 180 secs
lola: 62016 markings, 98658 edges, 333 markings/sec, 185 secs
lola: 63677 markings, 101069 edges, 332 markings/sec, 190 secs
lola: 65338 markings, 103252 edges, 332 markings/sec, 195 secs
lola: 66999 markings, 105651 edges, 332 markings/sec, 200 secs
lola: 68661 markings, 107941 edges, 332 markings/sec, 205 secs
lola: 70320 markings, 110261 edges, 332 markings/sec, 210 secs
lola: 71980 markings, 112528 edges, 332 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p677)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2161 markings, 7808 edges, 432 markings/sec, 0 secs
lola: 4403 markings, 13558 edges, 448 markings/sec, 5 secs
lola: 6567 markings, 21448 edges, 433 markings/sec, 10 secs
lola: 8888 markings, 25460 edges, 464 markings/sec, 15 secs
lola: 11256 markings, 28485 edges, 474 markings/sec, 20 secs
lola: 13611 markings, 31505 edges, 471 markings/sec, 25 secs
lola: 15965 markings, 34581 edges, 471 markings/sec, 30 secs
lola: 18316 markings, 37413 edges, 470 markings/sec, 35 secs
lola: 20671 markings, 40488 edges, 471 markings/sec, 40 secs
lola: 23015 markings, 43555 edges, 469 markings/sec, 45 secs
lola: 25358 markings, 46621 edges, 469 markings/sec, 50 secs
lola: 27692 markings, 49676 edges, 467 markings/sec, 55 secs
lola: 30029 markings, 52733 edges, 467 markings/sec, 60 secs
lola: 32269 markings, 55670 edges, 448 markings/sec, 65 secs
lola: 34445 markings, 58538 edges, 435 markings/sec, 70 secs
lola: 36622 markings, 61404 edges, 435 markings/sec, 75 secs
lola: 38801 markings, 64272 edges, 436 markings/sec, 80 secs
lola: 40974 markings, 67137 edges, 435 markings/sec, 85 secs
lola: 43156 markings, 70000 edges, 436 markings/sec, 90 secs
lola: 45373 markings, 72804 edges, 443 markings/sec, 95 secs
lola: 47586 markings, 75603 edges, 443 markings/sec, 100 secs
lola: 49814 markings, 78167 edges, 446 markings/sec, 105 secs
lola: 52039 markings, 81233 edges, 445 markings/sec, 110 secs
lola: 54264 markings, 83858 edges, 445 markings/sec, 115 secs
lola: 56491 markings, 86861 edges, 445 markings/sec, 120 secs
lola: 58715 markings, 89676 edges, 445 markings/sec, 125 secs
lola: 60942 markings, 92493 edges, 445 markings/sec, 130 secs
lola: 63164 markings, 95310 edges, 444 markings/sec, 135 secs
lola: 65390 markings, 98126 edges, 445 markings/sec, 140 secs
lola: 67612 markings, 100941 edges, 444 markings/sec, 145 secs
lola: 69764 markings, 103675 edges, 430 markings/sec, 150 secs
lola: 71847 markings, 106335 edges, 417 markings/sec, 155 secs
lola: 73923 markings, 108986 edges, 415 markings/sec, 160 secs
lola: 76008 markings, 111648 edges, 417 markings/sec, 165 secs
lola: 78093 markings, 114310 edges, 417 markings/sec, 170 secs
lola: 80185 markings, 116995 edges, 418 markings/sec, 175 secs
lola: 82321 markings, 119729 edges, 427 markings/sec, 180 secs
lola: 84416 markings, 122428 edges, 419 markings/sec, 185 secs
lola: 86464 markings, 125061 edges, 410 markings/sec, 190 secs
lola: 88574 markings, 128034 edges, 422 markings/sec, 195 secs
lola: 89899 markings, 129630 edges, 265 markings/sec, 200 secs
lola: 91056 markings, 131219 edges, 231 markings/sec, 205 secs
lola: 92216 markings, 132851 edges, 232 markings/sec, 210 secs
lola: 93382 markings, 134181 edges, 233 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1016)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2022 markings, 7301 edges, 404 markings/sec, 0 secs
lola: 3870 markings, 12096 edges, 370 markings/sec, 5 secs
lola: 5870 markings, 18895 edges, 400 markings/sec, 10 secs
lola: 7718 markings, 24085 edges, 370 markings/sec, 15 secs
lola: 9304 markings, 26116 edges, 317 markings/sec, 20 secs
lola: 10911 markings, 28299 edges, 321 markings/sec, 25 secs
lola: 12517 markings, 30354 edges, 321 markings/sec, 30 secs
lola: 14117 markings, 32567 edges, 320 markings/sec, 35 secs
lola: 15687 markings, 34646 edges, 314 markings/sec, 40 secs
lola: 17244 markings, 36803 edges, 311 markings/sec, 45 secs
lola: 18847 markings, 39131 edges, 321 markings/sec, 50 secs
lola: 20453 markings, 41265 edges, 321 markings/sec, 55 secs
lola: 22054 markings, 43476 edges, 320 markings/sec, 60 secs
lola: 23656 markings, 45594 edges, 320 markings/sec, 65 secs
lola: 25260 markings, 47803 edges, 321 markings/sec, 70 secs
lola: 26866 markings, 50153 edges, 321 markings/sec, 75 secs
lola: 28466 markings, 52266 edges, 320 markings/sec, 80 secs
lola: 30070 markings, 54476 edges, 321 markings/sec, 85 secs
lola: 31675 markings, 56606 edges, 321 markings/sec, 90 secs
lola: 33280 markings, 58938 edges, 321 markings/sec, 95 secs
lola: 34886 markings, 61156 edges, 321 markings/sec, 100 secs
lola: 36489 markings, 63278 edges, 321 markings/sec, 105 secs
lola: 38094 markings, 65484 edges, 321 markings/sec, 110 secs
lola: 39699 markings, 67827 edges, 321 markings/sec, 115 secs
lola: 41302 markings, 69951 edges, 321 markings/sec, 120 secs
lola: 42907 markings, 72155 edges, 321 markings/sec, 125 secs
lola: 44512 markings, 74371 edges, 321 markings/sec, 130 secs
lola: 46117 markings, 76623 edges, 321 markings/sec, 135 secs
lola: 47723 markings, 78825 edges, 321 markings/sec, 140 secs
lola: 49326 markings, 80985 edges, 321 markings/sec, 145 secs
lola: 50930 markings, 83291 edges, 321 markings/sec, 150 secs
lola: 52535 markings, 85492 edges, 321 markings/sec, 155 secs
lola: 54138 markings, 87664 edges, 321 markings/sec, 160 secs
lola: 55742 markings, 89958 edges, 321 markings/sec, 165 secs
lola: 57346 markings, 92154 edges, 321 markings/sec, 170 secs
lola: 58951 markings, 94412 edges, 321 markings/sec, 175 secs
lola: 60569 markings, 96641 edges, 324 markings/sec, 180 secs
lola: 62186 markings, 98850 edges, 323 markings/sec, 185 secs
lola: 63801 markings, 101202 edges, 323 markings/sec, 190 secs
lola: 65404 markings, 103336 edges, 321 markings/sec, 195 secs
lola: 67009 markings, 105666 edges, 321 markings/sec, 200 secs
lola: 68614 markings, 107862 edges, 321 markings/sec, 205 secs
lola: 70217 markings, 110055 edges, 321 markings/sec, 210 secs
lola: 71815 markings, 112322 edges, 320 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1002)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2164 markings, 7820 edges, 433 markings/sec, 0 secs
lola: 4238 markings, 12947 edges, 415 markings/sec, 5 secs
lola: 6432 markings, 20949 edges, 439 markings/sec, 10 secs
lola: 8395 markings, 24706 edges, 393 markings/sec, 15 secs
lola: 10707 markings, 27409 edges, 462 markings/sec, 20 secs
lola: 13025 markings, 30120 edges, 464 markings/sec, 25 secs
lola: 15312 markings, 32744 edges, 457 markings/sec, 30 secs
lola: 17573 markings, 35310 edges, 452 markings/sec, 35 secs
lola: 19846 markings, 37973 edges, 455 markings/sec, 40 secs
lola: 22126 markings, 40644 edges, 456 markings/sec, 45 secs
lola: 24404 markings, 43314 edges, 456 markings/sec, 50 secs
lola: 26688 markings, 45991 edges, 457 markings/sec, 55 secs
lola: 28969 markings, 48667 edges, 456 markings/sec, 60 secs
lola: 31258 markings, 51350 edges, 458 markings/sec, 65 secs
lola: 33553 markings, 54044 edges, 459 markings/sec, 70 secs
lola: 35846 markings, 56734 edges, 459 markings/sec, 75 secs
lola: 38145 markings, 59434 edges, 460 markings/sec, 80 secs
lola: 40441 markings, 62129 edges, 459 markings/sec, 85 secs
lola: 42742 markings, 64833 edges, 460 markings/sec, 90 secs
lola: 45041 markings, 67533 edges, 460 markings/sec, 95 secs
lola: 47346 markings, 70243 edges, 461 markings/sec, 100 secs
lola: 49660 markings, 72963 edges, 463 markings/sec, 105 secs
lola: 51968 markings, 75678 edges, 462 markings/sec, 110 secs
lola: 54274 markings, 78389 edges, 461 markings/sec, 115 secs
lola: 56594 markings, 81184 edges, 464 markings/sec, 120 secs
lola: 58895 markings, 83960 edges, 460 markings/sec, 125 secs
lola: 61150 markings, 86603 edges, 451 markings/sec, 130 secs
lola: 63403 markings, 89246 edges, 451 markings/sec, 135 secs
lola: 65651 markings, 91881 edges, 450 markings/sec, 140 secs
lola: 67966 markings, 94620 edges, 463 markings/sec, 145 secs
lola: 70294 markings, 97364 edges, 466 markings/sec, 150 secs
lola: 72622 markings, 100111 edges, 466 markings/sec, 155 secs
lola: 74934 markings, 102965 edges, 462 markings/sec, 160 secs
lola: 77159 markings, 105572 edges, 445 markings/sec, 165 secs
lola: 79417 markings, 108241 edges, 452 markings/sec, 170 secs
lola: 81761 markings, 111009 edges, 469 markings/sec, 175 secs
lola: 84112 markings, 113891 edges, 470 markings/sec, 180 secs
lola: 86334 markings, 116523 edges, 444 markings/sec, 185 secs
lola: 88602 markings, 119209 edges, 454 markings/sec, 190 secs
lola: 90956 markings, 121993 edges, 471 markings/sec, 195 secs
lola: 93227 markings, 124795 edges, 454 markings/sec, 200 secs
lola: 95485 markings, 127470 edges, 452 markings/sec, 205 secs
lola: 97858 markings, 130347 edges, 475 markings/sec, 210 secs
lola: 100072 markings, 133007 edges, 443 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1284 + p1285 + p1286 + p1287 + p1288 + p1289 + p1290 + p1291 + p1292 + p1293)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4568 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: 2011 markings, 7257 edges, 402 markings/sec, 0 secs
lola: 3378 markings, 11571 edges, 273 markings/sec, 5 secs
lola: 4497 markings, 13885 edges, 224 markings/sec, 10 secs
lola: 5670 markings, 18154 edges, 235 markings/sec, 15 secs
lola: 7180 markings, 23448 edges, 302 markings/sec, 20 secs
lola: 9218 markings, 25846 edges, 408 markings/sec, 25 secs
lola: 11313 markings, 28551 edges, 419 markings/sec, 30 secs
lola: 13495 markings, 31369 edges, 436 markings/sec, 35 secs
lola: 15704 markings, 34028 edges, 442 markings/sec, 40 secs
lola: 17919 markings, 36935 edges, 443 markings/sec, 45 secs
lola: 20022 markings, 39711 edges, 421 markings/sec, 50 secs
lola: 22225 markings, 42606 edges, 441 markings/sec, 55 secs
lola: 24447 markings, 45521 edges, 444 markings/sec, 60 secs
lola: 26567 markings, 48318 edges, 424 markings/sec, 65 secs
lola: 28770 markings, 51213 edges, 441 markings/sec, 70 secs
lola: 30844 markings, 53712 edges, 415 markings/sec, 75 secs
lola: 32784 markings, 56293 edges, 388 markings/sec, 80 secs
lola: 34637 markings, 58768 edges, 371 markings/sec, 85 secs
lola: 36505 markings, 61260 edges, 374 markings/sec, 90 secs
lola: 38356 markings, 63734 edges, 370 markings/sec, 95 secs
lola: 40387 markings, 66183 edges, 406 markings/sec, 100 secs
lola: 42122 markings, 68519 edges, 347 markings/sec, 105 secs
lola: 44165 markings, 71133 edges, 409 markings/sec, 110 secs
lola: 46235 markings, 73772 edges, 414 markings/sec, 115 secs
lola: 48265 markings, 76366 edges, 406 markings/sec, 120 secs
lola: 50317 markings, 78987 edges, 410 markings/sec, 125 secs
lola: 52376 markings, 81610 edges, 412 markings/sec, 130 secs
lola: 54431 markings, 84232 edges, 411 markings/sec, 135 secs
lola: 56491 markings, 86861 edges, 412 markings/sec, 140 secs
lola: 58490 markings, 89163 edges, 400 markings/sec, 145 secs
lola: 60553 markings, 91793 edges, 413 markings/sec, 150 secs
lola: 62618 markings, 94422 edges, 413 markings/sec, 155 secs
lola: 64694 markings, 97075 edges, 415 markings/sec, 160 secs
lola: 66773 markings, 99723 edges, 416 markings/sec, 165 secs
lola: 68850 markings, 102384 edges, 415 markings/sec, 170 secs
lola: 70929 markings, 105035 edges, 416 markings/sec, 175 secs
lola: 73008 markings, 107698 edges, 416 markings/sec, 180 secs
lola: 75085 markings, 110479 edges, 415 markings/sec, 185 secs
lola: 77165 markings, 113268 edges, 416 markings/sec, 190 secs
lola: 79240 markings, 115924 edges, 415 markings/sec, 195 secs
lola: 81318 markings, 118581 edges, 416 markings/sec, 200 secs
lola: 83395 markings, 121236 edges, 415 markings/sec, 205 secs
lola: 85474 markings, 123892 edges, 416 markings/sec, 210 secs
lola: 87540 markings, 126538 edges, 413 markings/sec, 215 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
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 PolyORBNT-COL-S10J60-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J60-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496306885566
--------------------
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_PolyORBNT-COL-S10J60"
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_PolyORBNT-COL-S10J60.tgz
mv S_PolyORBNT-COL-S10J60 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_PolyORBNT-COL-S10J60, 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 r138-smll-149479231500074"
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 '
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 ;