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 PolyORBLF-COL-S06J04T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869900389
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494660721635


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S06J04T08 @ 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: 14824/65536 symbol table entries, 5181 collisions
lola: preprocessing...
lola: finding significant places
lola: 810 places, 14014 transitions, 752 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3639 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T08-UpperBounds.task
lola: MAX(p292) : MAX(p784 + p785 + p786 + p787 + p788 + p789 + p790 + p791) : MAX(p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332) : MAX(p419) : MAX(p153) : MAX(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162) : MAX(p143) : MAX(p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774) : MAX(p390 + p391 + p392 + p393 + p394 + p395) : MAX(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) : MAX(p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151) : MAX(p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195) : MAX(p154) : MAX(p746) : MAX(p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612) : MAX(p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548)
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(p292)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 5928 markings, 6045 edges, 1186 markings/sec, 0 secs
lola: 11875 markings, 12210 edges, 1189 markings/sec, 5 secs
lola: 17721 markings, 18132 edges, 1169 markings/sec, 10 secs
lola: 23439 markings, 24271 edges, 1144 markings/sec, 15 secs
lola: 29245 markings, 31312 edges, 1161 markings/sec, 20 secs
lola: 35029 markings, 37614 edges, 1157 markings/sec, 25 secs
lola: 40794 markings, 44277 edges, 1153 markings/sec, 30 secs
lola: 46594 markings, 50532 edges, 1160 markings/sec, 35 secs
lola: 52301 markings, 56736 edges, 1141 markings/sec, 40 secs
lola: 57949 markings, 63648 edges, 1130 markings/sec, 45 secs
lola: 63671 markings, 70112 edges, 1144 markings/sec, 50 secs
lola: 69530 markings, 76952 edges, 1172 markings/sec, 55 secs
lola: 75291 markings, 83338 edges, 1152 markings/sec, 60 secs
lola: 80974 markings, 90225 edges, 1137 markings/sec, 65 secs
lola: 86724 markings, 97170 edges, 1150 markings/sec, 70 secs
lola: 92595 markings, 103921 edges, 1174 markings/sec, 75 secs
lola: 98424 markings, 110690 edges, 1166 markings/sec, 80 secs
lola: 104096 markings, 117027 edges, 1134 markings/sec, 85 secs
lola: 109857 markings, 124097 edges, 1152 markings/sec, 90 secs
lola: 115503 markings, 130796 edges, 1129 markings/sec, 95 secs
lola: 121314 markings, 137350 edges, 1162 markings/sec, 100 secs
lola: 127065 markings, 143917 edges, 1150 markings/sec, 105 secs
lola: 132697 markings, 150349 edges, 1126 markings/sec, 110 secs
lola: 138324 markings, 156877 edges, 1125 markings/sec, 115 secs
lola: 144163 markings, 163896 edges, 1168 markings/sec, 120 secs
lola: 150050 markings, 170712 edges, 1177 markings/sec, 125 secs
lola: 155811 markings, 176621 edges, 1152 markings/sec, 130 secs
lola: 161484 markings, 182942 edges, 1135 markings/sec, 135 secs
lola: 167286 markings, 189674 edges, 1160 markings/sec, 140 secs
lola: 173027 markings, 195634 edges, 1148 markings/sec, 145 secs
lola: 178782 markings, 202116 edges, 1151 markings/sec, 150 secs
lola: 184434 markings, 209244 edges, 1130 markings/sec, 155 secs
lola: 190029 markings, 215189 edges, 1119 markings/sec, 160 secs
lola: 195702 markings, 221646 edges, 1135 markings/sec, 165 secs
lola: 201462 markings, 228333 edges, 1152 markings/sec, 170 secs
lola: 207204 markings, 234757 edges, 1148 markings/sec, 175 secs
lola: 212868 markings, 241796 edges, 1133 markings/sec, 180 secs
lola: 218694 markings, 248520 edges, 1165 markings/sec, 185 secs
lola: 224524 markings, 255141 edges, 1166 markings/sec, 190 secs
lola: 230045 markings, 261417 edges, 1104 markings/sec, 195 secs
lola: 235837 markings, 268000 edges, 1158 markings/sec, 200 secs
lola: 241446 markings, 274759 edges, 1122 markings/sec, 205 secs
lola: 247096 markings, 280943 edges, 1130 markings/sec, 210 secs
lola: 252766 markings, 287920 edges, 1134 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(p784 + p785 + p786 + p787 + p788 + p789 + p790 + p791)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 5263 markings, 5442 edges, 1053 markings/sec, 0 secs
lola: 10629 markings, 10883 edges, 1073 markings/sec, 5 secs
lola: 16021 markings, 16457 edges, 1078 markings/sec, 10 secs
lola: 21414 markings, 21944 edges, 1079 markings/sec, 15 secs
lola: 26792 markings, 27497 edges, 1076 markings/sec, 20 secs
lola: 32100 markings, 33035 edges, 1062 markings/sec, 25 secs
lola: 37446 markings, 38528 edges, 1069 markings/sec, 30 secs
lola: 42792 markings, 44067 edges, 1069 markings/sec, 35 secs
lola: 48231 markings, 49676 edges, 1088 markings/sec, 40 secs
lola: 52876 markings, 54850 edges, 929 markings/sec, 45 secs
lola: 56061 markings, 58922 edges, 637 markings/sec, 50 secs
lola: 59243 markings, 62969 edges, 636 markings/sec, 55 secs
lola: 62395 markings, 68481 edges, 630 markings/sec, 60 secs
lola: 65543 markings, 75875 edges, 630 markings/sec, 65 secs
lola: 68730 markings, 79956 edges, 637 markings/sec, 70 secs
lola: 71914 markings, 83842 edges, 637 markings/sec, 75 secs
lola: 75065 markings, 89113 edges, 630 markings/sec, 80 secs
lola: 78207 markings, 95791 edges, 628 markings/sec, 85 secs
lola: 81398 markings, 99891 edges, 638 markings/sec, 90 secs
lola: 84578 markings, 103773 edges, 636 markings/sec, 95 secs
lola: 87735 markings, 108734 edges, 631 markings/sec, 100 secs
lola: 90872 markings, 115680 edges, 627 markings/sec, 105 secs
lola: 94063 markings, 119809 edges, 638 markings/sec, 110 secs
lola: 97246 markings, 123709 edges, 637 markings/sec, 115 secs
lola: 100411 markings, 128365 edges, 633 markings/sec, 120 secs
lola: 103542 markings, 135514 edges, 626 markings/sec, 125 secs
lola: 106732 markings, 139730 edges, 638 markings/sec, 130 secs
lola: 109915 markings, 143646 edges, 637 markings/sec, 135 secs
lola: 113082 markings, 147962 edges, 633 markings/sec, 140 secs
lola: 116214 markings, 155146 edges, 626 markings/sec, 145 secs
lola: 119402 markings, 159651 edges, 638 markings/sec, 150 secs
lola: 122589 markings, 163598 edges, 637 markings/sec, 155 secs
lola: 125760 markings, 167564 edges, 634 markings/sec, 160 secs
lola: 128888 markings, 174786 edges, 626 markings/sec, 165 secs
lola: 132066 markings, 179569 edges, 636 markings/sec, 170 secs
lola: 135244 markings, 183623 edges, 636 markings/sec, 175 secs
lola: 138415 markings, 187603 edges, 634 markings/sec, 180 secs
lola: 141622 markings, 191491 edges, 641 markings/sec, 185 secs
lola: 144816 markings, 195333 edges, 639 markings/sec, 190 secs
lola: 147943 markings, 201922 edges, 625 markings/sec, 195 secs
lola: 151035 markings, 205885 edges, 618 markings/sec, 200 secs
lola: 154088 markings, 211978 edges, 611 markings/sec, 205 secs
lola: 157176 markings, 216115 edges, 618 markings/sec, 210 secs
lola: 160230 markings, 221443 edges, 611 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(p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 5743 markings, 5850 edges, 1149 markings/sec, 0 secs
lola: 11338 markings, 11808 edges, 1119 markings/sec, 5 secs
lola: 16964 markings, 18158 edges, 1125 markings/sec, 10 secs
lola: 22644 markings, 24716 edges, 1136 markings/sec, 15 secs
lola: 28392 markings, 31754 edges, 1150 markings/sec, 20 secs
lola: 33913 markings, 38240 edges, 1104 markings/sec, 25 secs
lola: 39685 markings, 44624 edges, 1154 markings/sec, 30 secs
lola: 45330 markings, 50858 edges, 1129 markings/sec, 35 secs
lola: 50992 markings, 57343 edges, 1132 markings/sec, 40 secs
lola: 56727 markings, 64146 edges, 1147 markings/sec, 45 secs
lola: 62260 markings, 70502 edges, 1107 markings/sec, 50 secs
lola: 67944 markings, 76757 edges, 1137 markings/sec, 55 secs
lola: 73643 markings, 83309 edges, 1140 markings/sec, 60 secs
lola: 79374 markings, 90177 edges, 1146 markings/sec, 65 secs
lola: 85023 markings, 96791 edges, 1130 markings/sec, 70 secs
lola: 90708 markings, 103255 edges, 1137 markings/sec, 75 secs
lola: 96323 markings, 109537 edges, 1123 markings/sec, 80 secs
lola: 102013 markings, 115887 edges, 1138 markings/sec, 85 secs
lola: 107657 markings, 122485 edges, 1129 markings/sec, 90 secs
lola: 113456 markings, 129489 edges, 1160 markings/sec, 95 secs
lola: 119165 markings, 136457 edges, 1142 markings/sec, 100 secs
lola: 124978 markings, 142754 edges, 1163 markings/sec, 105 secs
lola: 130723 markings, 149325 edges, 1149 markings/sec, 110 secs
lola: 136382 markings, 155734 edges, 1132 markings/sec, 115 secs
lola: 142054 markings, 162098 edges, 1134 markings/sec, 120 secs
lola: 147717 markings, 168708 edges, 1133 markings/sec, 125 secs
lola: 153444 markings, 175599 edges, 1145 markings/sec, 130 secs
lola: 159059 markings, 182261 edges, 1123 markings/sec, 135 secs
lola: 164750 markings, 188683 edges, 1138 markings/sec, 140 secs
lola: 170471 markings, 195550 edges, 1144 markings/sec, 145 secs
lola: 176127 markings, 202803 edges, 1131 markings/sec, 150 secs
lola: 181750 markings, 209062 edges, 1125 markings/sec, 155 secs
lola: 187336 markings, 216054 edges, 1117 markings/sec, 160 secs
lola: 193196 markings, 222887 edges, 1172 markings/sec, 165 secs
lola: 199078 markings, 229601 edges, 1176 markings/sec, 170 secs
lola: 204853 markings, 236394 edges, 1155 markings/sec, 175 secs
lola: 210489 markings, 242962 edges, 1127 markings/sec, 180 secs
lola: 216142 markings, 249271 edges, 1131 markings/sec, 185 secs
lola: 221871 markings, 256146 edges, 1146 markings/sec, 190 secs
lola: 227625 markings, 262960 edges, 1151 markings/sec, 195 secs
lola: 233376 markings, 269889 edges, 1150 markings/sec, 200 secs
lola: 239148 markings, 276585 edges, 1154 markings/sec, 205 secs
lola: 244787 markings, 283109 edges, 1128 markings/sec, 210 secs
lola: 250562 markings, 290174 edges, 1155 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(p419)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 20797 markings, 50914 edges, 4159 markings/sec, 0 secs
lola: 41967 markings, 102698 edges, 4234 markings/sec, 5 secs
lola: 65510 markings, 162030 edges, 4709 markings/sec, 10 secs
lola: 83023 markings, 207725 edges, 3503 markings/sec, 15 secs
lola: 106356 markings, 265860 edges, 4667 markings/sec, 20 secs
lola: 127235 markings, 317173 edges, 4176 markings/sec, 25 secs
lola: 142948 markings, 358947 edges, 3143 markings/sec, 30 secs
lola: 146445 markings, 372537 edges, 699 markings/sec, 35 secs
lola: 154257 markings, 384079 edges, 1562 markings/sec, 40 secs
lola: 163326 markings, 395091 edges, 1814 markings/sec, 45 secs
lola: 172347 markings, 405908 edges, 1804 markings/sec, 50 secs
lola: 181438 markings, 417199 edges, 1818 markings/sec, 55 secs
lola: 190381 markings, 428022 edges, 1789 markings/sec, 60 secs
lola: 199352 markings, 438979 edges, 1794 markings/sec, 65 secs
lola: 208329 markings, 449981 edges, 1795 markings/sec, 70 secs
lola: 217334 markings, 460792 edges, 1801 markings/sec, 75 secs
lola: 226490 markings, 472110 edges, 1831 markings/sec, 80 secs
lola: 235564 markings, 483114 edges, 1815 markings/sec, 85 secs
lola: 244786 markings, 494831 edges, 1844 markings/sec, 90 secs
lola: 253855 markings, 505797 edges, 1814 markings/sec, 95 secs
lola: 262927 markings, 516790 edges, 1814 markings/sec, 100 secs
lola: 272083 markings, 528085 edges, 1831 markings/sec, 105 secs
lola: 281120 markings, 539014 edges, 1807 markings/sec, 110 secs
lola: 290023 markings, 549831 edges, 1781 markings/sec, 115 secs
lola: 299063 markings, 560757 edges, 1808 markings/sec, 120 secs
lola: 308088 markings, 571660 edges, 1805 markings/sec, 125 secs
lola: 317151 markings, 582748 edges, 1813 markings/sec, 130 secs
lola: 326530 markings, 594809 edges, 1876 markings/sec, 135 secs
lola: 335811 markings, 606606 edges, 1856 markings/sec, 140 secs
lola: 345067 markings, 618296 edges, 1851 markings/sec, 145 secs
lola: 354217 markings, 629708 edges, 1830 markings/sec, 150 secs
lola: 363315 markings, 641294 edges, 1820 markings/sec, 155 secs
lola: 372407 markings, 652369 edges, 1818 markings/sec, 160 secs
lola: 381539 markings, 663586 edges, 1826 markings/sec, 165 secs
lola: 390833 markings, 675330 edges, 1859 markings/sec, 170 secs
lola: 400063 markings, 686945 edges, 1846 markings/sec, 175 secs
lola: 409406 markings, 699516 edges, 1869 markings/sec, 180 secs
lola: 418558 markings, 710830 edges, 1830 markings/sec, 185 secs
lola: 427698 markings, 722177 edges, 1828 markings/sec, 190 secs
lola: 436814 markings, 733292 edges, 1823 markings/sec, 195 secs
lola: 445992 markings, 744797 edges, 1836 markings/sec, 200 secs
lola: 455317 markings, 756849 edges, 1865 markings/sec, 205 secs
lola: 464414 markings, 768435 edges, 1819 markings/sec, 210 secs
lola: 473747 markings, 780295 edges, 1867 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p153)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 6823 markings, 7041 edges, 1365 markings/sec, 0 secs
lola: 13802 markings, 14290 edges, 1396 markings/sec, 5 secs
lola: 20824 markings, 21650 edges, 1404 markings/sec, 10 secs
lola: 27785 markings, 28895 edges, 1392 markings/sec, 15 secs
lola: 34792 markings, 36164 edges, 1401 markings/sec, 20 secs
lola: 41771 markings, 43426 edges, 1396 markings/sec, 25 secs
lola: 48760 markings, 50698 edges, 1398 markings/sec, 30 secs
lola: 55730 markings, 57972 edges, 1394 markings/sec, 35 secs
lola: 62720 markings, 65259 edges, 1398 markings/sec, 40 secs
lola: 69746 markings, 72600 edges, 1405 markings/sec, 45 secs
lola: 76765 markings, 80037 edges, 1404 markings/sec, 50 secs
lola: 83775 markings, 87405 edges, 1402 markings/sec, 55 secs
lola: 90752 markings, 94726 edges, 1395 markings/sec, 60 secs
lola: 97706 markings, 102291 edges, 1391 markings/sec, 65 secs
lola: 105058 markings, 110001 edges, 1470 markings/sec, 70 secs
lola: 112445 markings, 117781 edges, 1477 markings/sec, 75 secs
lola: 119814 markings, 125557 edges, 1474 markings/sec, 80 secs
lola: 127165 markings, 133233 edges, 1470 markings/sec, 85 secs
lola: 134454 markings, 140939 edges, 1458 markings/sec, 90 secs
lola: 141789 markings, 148748 edges, 1467 markings/sec, 95 secs
lola: 149097 markings, 156390 edges, 1462 markings/sec, 100 secs
lola: 156465 markings, 164216 edges, 1474 markings/sec, 105 secs
lola: 163837 markings, 171946 edges, 1474 markings/sec, 110 secs
lola: 171179 markings, 179650 edges, 1468 markings/sec, 115 secs
lola: 178656 markings, 187713 edges, 1495 markings/sec, 120 secs
lola: 185861 markings, 195398 edges, 1441 markings/sec, 125 secs
lola: 191879 markings, 201659 edges, 1204 markings/sec, 130 secs
lola: 197478 markings, 207356 edges, 1120 markings/sec, 135 secs
lola: 202949 markings, 213045 edges, 1094 markings/sec, 140 secs
lola: 207448 markings, 219280 edges, 900 markings/sec, 145 secs
lola: 211703 markings, 225302 edges, 851 markings/sec, 150 secs
lola: 216979 markings, 231454 edges, 1055 markings/sec, 155 secs
lola: 222573 markings, 237110 edges, 1119 markings/sec, 160 secs
lola: 228168 markings, 242851 edges, 1119 markings/sec, 165 secs
lola: 233780 markings, 248660 edges, 1122 markings/sec, 170 secs
lola: 239380 markings, 254375 edges, 1120 markings/sec, 175 secs
lola: 244986 markings, 260368 edges, 1121 markings/sec, 180 secs
lola: 250575 markings, 266433 edges, 1118 markings/sec, 185 secs
lola: 256189 markings, 272300 edges, 1123 markings/sec, 190 secs
lola: 261775 markings, 277938 edges, 1117 markings/sec, 195 secs
lola: 267368 markings, 283684 edges, 1119 markings/sec, 200 secs
lola: 272969 markings, 289385 edges, 1120 markings/sec, 205 secs
lola: 278553 markings, 295017 edges, 1117 markings/sec, 210 secs
lola: 284153 markings, 300731 edges, 1120 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(p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 17588 markings, 32290 edges, 3518 markings/sec, 0 secs
lola: 33413 markings, 69497 edges, 3165 markings/sec, 5 secs
lola: 51463 markings, 115140 edges, 3610 markings/sec, 10 secs
lola: 72472 markings, 162884 edges, 4202 markings/sec, 15 secs
lola: 98918 markings, 222189 edges, 5289 markings/sec, 20 secs
lola: 125337 markings, 281393 edges, 5284 markings/sec, 25 secs
lola: 137871 markings, 316736 edges, 2507 markings/sec, 30 secs
lola: 158353 markings, 363732 edges, 4096 markings/sec, 35 secs
lola: 175356 markings, 405240 edges, 3401 markings/sec, 40 secs
lola: 189924 markings, 442141 edges, 2914 markings/sec, 45 secs
lola: 216302 markings, 501207 edges, 5276 markings/sec, 50 secs
lola: 242345 markings, 559491 edges, 5209 markings/sec, 55 secs
lola: 262582 markings, 606689 edges, 4047 markings/sec, 60 secs
lola: 278352 markings, 648638 edges, 3154 markings/sec, 65 secs
lola: 297383 markings, 691614 edges, 3806 markings/sec, 70 secs
lola: 317226 markings, 740562 edges, 3969 markings/sec, 75 secs
lola: 331631 markings, 775780 edges, 2881 markings/sec, 80 secs
lola: 357982 markings, 835316 edges, 5270 markings/sec, 85 secs
lola: 383921 markings, 893721 edges, 5188 markings/sec, 90 secs
lola: 398304 markings, 928076 edges, 2877 markings/sec, 95 secs
lola: 421330 markings, 984678 edges, 4605 markings/sec, 100 secs
lola: 437030 markings, 1021726 edges, 3140 markings/sec, 105 secs
lola: 455003 markings, 1067215 edges, 3595 markings/sec, 110 secs
lola: 475899 markings, 1114748 edges, 4179 markings/sec, 115 secs
lola: 502182 markings, 1173642 edges, 5257 markings/sec, 120 secs
lola: 528464 markings, 1232537 edges, 5256 markings/sec, 125 secs
lola: 540879 markings, 1267372 edges, 2483 markings/sec, 130 secs
lola: 546762 markings, 1286320 edges, 1177 markings/sec, 135 secs
lola: 550311 markings, 1298675 edges, 710 markings/sec, 140 secs
lola: 553884 markings, 1311064 edges, 715 markings/sec, 145 secs
lola: 557431 markings, 1323865 edges, 709 markings/sec, 150 secs
lola: 560984 markings, 1336289 edges, 711 markings/sec, 155 secs
lola: 564554 markings, 1348600 edges, 714 markings/sec, 160 secs
lola: 574290 markings, 1364964 edges, 1947 markings/sec, 165 secs
lola: 597940 markings, 1420063 edges, 4730 markings/sec, 170 secs
lola: 613054 markings, 1460447 edges, 3023 markings/sec, 175 secs
lola: 633702 markings, 1516204 edges, 4130 markings/sec, 180 secs
lola: 641965 markings, 1541994 edges, 1653 markings/sec, 185 secs
lola: 663051 markings, 1594825 edges, 4217 markings/sec, 190 secs
lola: 691436 markings, 1662949 edges, 5677 markings/sec, 195 secs
lola: 718366 markings, 1728541 edges, 5386 markings/sec, 200 secs
lola: 741850 markings, 1786347 edges, 4697 markings/sec, 205 secs
lola: 753717 markings, 1819158 edges, 2373 markings/sec, 210 secs
lola: 771331 markings, 1872871 edges, 3523 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(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 7894 markings, 11751 edges, 1579 markings/sec, 0 secs
lola: 15715 markings, 22273 edges, 1564 markings/sec, 5 secs
lola: 23474 markings, 31920 edges, 1552 markings/sec, 10 secs
lola: 31116 markings, 42143 edges, 1528 markings/sec, 15 secs
lola: 38958 markings, 52690 edges, 1568 markings/sec, 20 secs
lola: 46775 markings, 62986 edges, 1563 markings/sec, 25 secs
lola: 54696 markings, 74255 edges, 1584 markings/sec, 30 secs
lola: 62530 markings, 84544 edges, 1567 markings/sec, 35 secs
lola: 70392 markings, 95000 edges, 1572 markings/sec, 40 secs
lola: 78261 markings, 105703 edges, 1574 markings/sec, 45 secs
lola: 86086 markings, 115917 edges, 1565 markings/sec, 50 secs
lola: 93978 markings, 126261 edges, 1578 markings/sec, 55 secs
lola: 101762 markings, 136344 edges, 1557 markings/sec, 60 secs
lola: 109605 markings, 146748 edges, 1569 markings/sec, 65 secs
lola: 117494 markings, 157819 edges, 1578 markings/sec, 70 secs
lola: 125396 markings, 168854 edges, 1580 markings/sec, 75 secs
lola: 133235 markings, 179275 edges, 1568 markings/sec, 80 secs
lola: 141156 markings, 190805 edges, 1584 markings/sec, 85 secs
lola: 149147 markings, 202731 edges, 1598 markings/sec, 90 secs
lola: 156983 markings, 213032 edges, 1567 markings/sec, 95 secs
lola: 164867 markings, 223556 edges, 1577 markings/sec, 100 secs
lola: 172743 markings, 234118 edges, 1575 markings/sec, 105 secs
lola: 180702 markings, 245743 edges, 1592 markings/sec, 110 secs
lola: 188709 markings, 258037 edges, 1601 markings/sec, 115 secs
lola: 196553 markings, 268351 edges, 1569 markings/sec, 120 secs
lola: 204499 markings, 279671 edges, 1589 markings/sec, 125 secs
lola: 212394 markings, 290389 edges, 1579 markings/sec, 130 secs
lola: 220230 markings, 300653 edges, 1567 markings/sec, 135 secs
lola: 228254 markings, 312716 edges, 1605 markings/sec, 140 secs
lola: 236132 markings, 323533 edges, 1576 markings/sec, 145 secs
lola: 244014 markings, 339630 edges, 1576 markings/sec, 150 secs
lola: 254480 markings, 365375 edges, 2093 markings/sec, 155 secs
lola: 262518 markings, 385196 edges, 1608 markings/sec, 160 secs
lola: 272501 markings, 409422 edges, 1997 markings/sec, 165 secs
lola: 282279 markings, 433954 edges, 1956 markings/sec, 170 secs
lola: 287669 markings, 450453 edges, 1078 markings/sec, 175 secs
lola: 295163 markings, 464531 edges, 1499 markings/sec, 180 secs
lola: 303201 markings, 476775 edges, 1608 markings/sec, 185 secs
lola: 311255 markings, 488956 edges, 1611 markings/sec, 190 secs
lola: 319290 markings, 501176 edges, 1607 markings/sec, 195 secs
lola: 327320 markings, 513042 edges, 1606 markings/sec, 200 secs
lola: 335393 markings, 525502 edges, 1615 markings/sec, 205 secs
lola: 343459 markings, 537897 edges, 1613 markings/sec, 210 secs
lola: 351615 markings, 550921 edges, 1631 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(p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 4362 markings, 5843 edges, 872 markings/sec, 0 secs
lola: 9791 markings, 12445 edges, 1086 markings/sec, 5 secs
lola: 18043 markings, 24466 edges, 1650 markings/sec, 10 secs
lola: 25773 markings, 36217 edges, 1546 markings/sec, 15 secs
lola: 30311 markings, 42762 edges, 908 markings/sec, 20 secs
lola: 35139 markings, 48935 edges, 966 markings/sec, 25 secs
lola: 42284 markings, 59599 edges, 1429 markings/sec, 30 secs
lola: 50942 markings, 73680 edges, 1732 markings/sec, 35 secs
lola: 55672 markings, 79720 edges, 946 markings/sec, 40 secs
lola: 60118 markings, 85501 edges, 889 markings/sec, 45 secs
lola: 66733 markings, 95500 edges, 1323 markings/sec, 50 secs
lola: 75285 markings, 108760 edges, 1710 markings/sec, 55 secs
lola: 84429 markings, 124339 edges, 1829 markings/sec, 60 secs
lola: 87975 markings, 129666 edges, 709 markings/sec, 65 secs
lola: 96835 markings, 143648 edges, 1772 markings/sec, 70 secs
lola: 104815 markings, 155806 edges, 1596 markings/sec, 75 secs
lola: 112648 markings, 167969 edges, 1567 markings/sec, 80 secs
lola: 123069 markings, 184972 edges, 2084 markings/sec, 85 secs
lola: 133537 markings, 202507 edges, 2094 markings/sec, 90 secs
lola: 144460 markings, 221485 edges, 2185 markings/sec, 95 secs
lola: 151884 markings, 233103 edges, 1485 markings/sec, 100 secs
lola: 160258 markings, 246700 edges, 1675 markings/sec, 105 secs
lola: 169190 markings, 261355 edges, 1786 markings/sec, 110 secs
lola: 173247 markings, 267279 edges, 811 markings/sec, 115 secs
lola: 182900 markings, 282892 edges, 1931 markings/sec, 120 secs
lola: 193501 markings, 300587 edges, 2120 markings/sec, 125 secs
lola: 204472 markings, 319715 edges, 2194 markings/sec, 130 secs
lola: 213868 markings, 334124 edges, 1879 markings/sec, 135 secs
lola: 218316 markings, 340501 edges, 890 markings/sec, 140 secs
lola: 229161 markings, 359170 edges, 2169 markings/sec, 145 secs
lola: 238953 markings, 374553 edges, 1958 markings/sec, 150 secs
lola: 242719 markings, 380204 edges, 753 markings/sec, 155 secs
lola: 252457 markings, 395886 edges, 1948 markings/sec, 160 secs
lola: 255982 markings, 401245 edges, 705 markings/sec, 165 secs
lola: 260227 markings, 407226 edges, 849 markings/sec, 170 secs
lola: 266317 markings, 416871 edges, 1218 markings/sec, 175 secs
lola: 276069 markings, 433303 edges, 1950 markings/sec, 180 secs
lola: 285516 markings, 449206 edges, 1889 markings/sec, 185 secs
lola: 296497 markings, 468525 edges, 2196 markings/sec, 190 secs
lola: 307586 markings, 488408 edges, 2218 markings/sec, 195 secs
lola: 316894 markings, 502281 edges, 1862 markings/sec, 200 secs
lola: 326593 markings, 517871 edges, 1940 markings/sec, 205 secs
lola: 337151 markings, 535895 edges, 2112 markings/sec, 210 secs
lola: 346604 markings, 552002 edges, 1891 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(p390 + p391 + p392 + p393 + p394 + p395)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 19818 markings, 48669 edges, 3964 markings/sec, 0 secs
lola: 40496 markings, 99510 edges, 4136 markings/sec, 5 secs
lola: 62118 markings, 153723 edges, 4324 markings/sec, 10 secs
lola: 80565 markings, 199440 edges, 3689 markings/sec, 15 secs
lola: 103267 markings, 256672 edges, 4540 markings/sec, 20 secs
lola: 120441 markings, 300944 edges, 3435 markings/sec, 25 secs
lola: 141934 markings, 354990 edges, 4299 markings/sec, 30 secs
lola: 145393 markings, 368400 edges, 692 markings/sec, 35 secs
lola: 151346 markings, 380642 edges, 1191 markings/sec, 40 secs
lola: 160268 markings, 391386 edges, 1784 markings/sec, 45 secs
lola: 169312 markings, 402561 edges, 1809 markings/sec, 50 secs
lola: 178239 markings, 413424 edges, 1785 markings/sec, 55 secs
lola: 187142 markings, 424224 edges, 1781 markings/sec, 60 secs
lola: 196040 markings, 434996 edges, 1780 markings/sec, 65 secs
lola: 204976 markings, 445818 edges, 1787 markings/sec, 70 secs
lola: 213876 markings, 456588 edges, 1780 markings/sec, 75 secs
lola: 222805 markings, 467395 edges, 1786 markings/sec, 80 secs
lola: 231827 markings, 478580 edges, 1804 markings/sec, 85 secs
lola: 240642 markings, 489018 edges, 1763 markings/sec, 90 secs
lola: 249587 markings, 499900 edges, 1789 markings/sec, 95 secs
lola: 258505 markings, 510693 edges, 1784 markings/sec, 100 secs
lola: 267458 markings, 521577 edges, 1791 markings/sec, 105 secs
lola: 276453 markings, 532665 edges, 1799 markings/sec, 110 secs
lola: 285359 markings, 543445 edges, 1781 markings/sec, 115 secs
lola: 294263 markings, 554103 edges, 1781 markings/sec, 120 secs
lola: 303213 markings, 565080 edges, 1790 markings/sec, 125 secs
lola: 312143 markings, 575963 edges, 1786 markings/sec, 130 secs
lola: 321140 markings, 587058 edges, 1799 markings/sec, 135 secs
lola: 330144 markings, 598221 edges, 1801 markings/sec, 140 secs
lola: 339156 markings, 609529 edges, 1802 markings/sec, 145 secs
lola: 348053 markings, 620249 edges, 1779 markings/sec, 150 secs
lola: 356973 markings, 631058 edges, 1784 markings/sec, 155 secs
lola: 366009 markings, 642379 edges, 1807 markings/sec, 160 secs
lola: 374904 markings, 653142 edges, 1779 markings/sec, 165 secs
lola: 383900 markings, 664290 edges, 1799 markings/sec, 170 secs
lola: 392789 markings, 674986 edges, 1778 markings/sec, 175 secs
lola: 401705 markings, 685778 edges, 1783 markings/sec, 180 secs
lola: 410735 markings, 697014 edges, 1806 markings/sec, 185 secs
lola: 419656 markings, 707851 edges, 1784 markings/sec, 190 secs
lola: 428655 markings, 719025 edges, 1800 markings/sec, 195 secs
lola: 437554 markings, 729807 edges, 1780 markings/sec, 200 secs
lola: 446763 markings, 741683 edges, 1842 markings/sec, 205 secs
lola: 455671 markings, 752493 edges, 1782 markings/sec, 210 secs
lola: 464683 markings, 763647 edges, 1802 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(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)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 5107 markings, 5846 edges, 1021 markings/sec, 0 secs
lola: 9856 markings, 11943 edges, 950 markings/sec, 5 secs
lola: 14457 markings, 18247 edges, 920 markings/sec, 10 secs
lola: 19000 markings, 25020 edges, 909 markings/sec, 15 secs
lola: 23510 markings, 31791 edges, 902 markings/sec, 20 secs
lola: 28029 markings, 39294 edges, 904 markings/sec, 25 secs
lola: 32505 markings, 46744 edges, 895 markings/sec, 30 secs
lola: 37060 markings, 55068 edges, 911 markings/sec, 35 secs
lola: 41584 markings, 64019 edges, 905 markings/sec, 40 secs
lola: 46029 markings, 72702 edges, 889 markings/sec, 45 secs
lola: 50550 markings, 81488 edges, 904 markings/sec, 50 secs
lola: 55285 markings, 90404 edges, 947 markings/sec, 55 secs
lola: 59935 markings, 99408 edges, 930 markings/sec, 60 secs
lola: 64438 markings, 108244 edges, 901 markings/sec, 65 secs
lola: 68945 markings, 117088 edges, 901 markings/sec, 70 secs
lola: 73454 markings, 126077 edges, 902 markings/sec, 75 secs
lola: 77976 markings, 134589 edges, 904 markings/sec, 80 secs
lola: 82493 markings, 143453 edges, 903 markings/sec, 85 secs
lola: 87001 markings, 152299 edges, 902 markings/sec, 90 secs
lola: 91513 markings, 161153 edges, 902 markings/sec, 95 secs
lola: 95898 markings, 169722 edges, 877 markings/sec, 100 secs
lola: 100191 markings, 178139 edges, 859 markings/sec, 105 secs
lola: 104418 markings, 186456 edges, 845 markings/sec, 110 secs
lola: 108720 markings, 194806 edges, 860 markings/sec, 115 secs
lola: 113076 markings, 203216 edges, 871 markings/sec, 120 secs
lola: 117379 markings, 211753 edges, 861 markings/sec, 125 secs
lola: 121678 markings, 220181 edges, 860 markings/sec, 130 secs
lola: 125921 markings, 228504 edges, 849 markings/sec, 135 secs
lola: 130228 markings, 236891 edges, 861 markings/sec, 140 secs
lola: 134595 markings, 245334 edges, 873 markings/sec, 145 secs
lola: 138890 markings, 253844 edges, 859 markings/sec, 150 secs
lola: 143188 markings, 262270 edges, 860 markings/sec, 155 secs
lola: 147431 markings, 270573 edges, 849 markings/sec, 160 secs
lola: 151504 markings, 278346 edges, 815 markings/sec, 165 secs
lola: 155977 markings, 287257 edges, 895 markings/sec, 170 secs
lola: 160472 markings, 296077 edges, 899 markings/sec, 175 secs
lola: 164970 markings, 304903 edges, 900 markings/sec, 180 secs
lola: 169532 markings, 313716 edges, 912 markings/sec, 185 secs
lola: 173971 markings, 322478 edges, 888 markings/sec, 190 secs
lola: 178494 markings, 331225 edges, 905 markings/sec, 195 secs
lola: 183001 markings, 340069 edges, 901 markings/sec, 200 secs
lola: 187502 markings, 348901 edges, 900 markings/sec, 205 secs
lola: 192120 markings, 357801 edges, 924 markings/sec, 210 secs
lola: 196684 markings, 366894 edges, 913 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(p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 11237 markings, 13643 edges, 2247 markings/sec, 0 secs
lola: 30580 markings, 50495 edges, 3869 markings/sec, 5 secs
lola: 47016 markings, 93574 edges, 3287 markings/sec, 10 secs
lola: 66959 markings, 141122 edges, 3989 markings/sec, 15 secs
lola: 76963 markings, 168447 edges, 2001 markings/sec, 20 secs
lola: 99567 markings, 218985 edges, 4521 markings/sec, 25 secs
lola: 124086 markings, 272855 edges, 4904 markings/sec, 30 secs
lola: 151894 markings, 334320 edges, 5562 markings/sec, 35 secs
lola: 178016 markings, 393039 edges, 5224 markings/sec, 40 secs
lola: 183265 markings, 409335 edges, 1050 markings/sec, 45 secs
lola: 205112 markings, 464630 edges, 4369 markings/sec, 50 secs
lola: 223073 markings, 505951 edges, 3592 markings/sec, 55 secs
lola: 241111 markings, 550787 edges, 3608 markings/sec, 60 secs
lola: 260055 markings, 596582 edges, 3789 markings/sec, 65 secs
lola: 271508 markings, 624883 edges, 2291 markings/sec, 70 secs
lola: 297549 markings, 682717 edges, 5208 markings/sec, 75 secs
lola: 321717 markings, 735942 edges, 4834 markings/sec, 80 secs
lola: 346045 markings, 790732 edges, 4866 markings/sec, 85 secs
lola: 364716 markings, 833749 edges, 3734 markings/sec, 90 secs
lola: 378971 markings, 873731 edges, 2851 markings/sec, 95 secs
lola: 400022 markings, 919261 edges, 4210 markings/sec, 100 secs
lola: 415095 markings, 959013 edges, 3015 markings/sec, 105 secs
lola: 434829 markings, 1006629 edges, 3947 markings/sec, 110 secs
lola: 446723 markings, 1037209 edges, 2379 markings/sec, 115 secs
lola: 465012 markings, 1079908 edges, 3658 markings/sec, 120 secs
lola: 491561 markings, 1137839 edges, 5310 markings/sec, 125 secs
lola: 517870 markings, 1195704 edges, 5262 markings/sec, 130 secs
lola: 542628 markings, 1250744 edges, 4952 markings/sec, 135 secs
lola: 551371 markings, 1274166 edges, 1749 markings/sec, 140 secs
lola: 569671 markings, 1324743 edges, 3660 markings/sec, 145 secs
lola: 589151 markings, 1365414 edges, 3896 markings/sec, 150 secs
lola: 606174 markings, 1408551 edges, 3405 markings/sec, 155 secs
lola: 627275 markings, 1459362 edges, 4220 markings/sec, 160 secs
lola: 636656 markings, 1484008 edges, 1876 markings/sec, 165 secs
lola: 661471 markings, 1539305 edges, 4963 markings/sec, 170 secs
lola: 685113 markings, 1592500 edges, 4728 markings/sec, 175 secs
lola: 711225 markings, 1649758 edges, 5222 markings/sec, 180 secs
lola: 734299 markings, 1702342 edges, 4615 markings/sec, 185 secs
lola: 743842 markings, 1729979 edges, 1909 markings/sec, 190 secs
lola: 755642 markings, 1764616 edges, 2360 markings/sec, 195 secs
lola: 759239 markings, 1777142 edges, 719 markings/sec, 200 secs
lola: 762802 markings, 1789519 edges, 713 markings/sec, 205 secs
lola: 766390 markings, 1802449 edges, 718 markings/sec, 210 secs
lola: 769982 markings, 1814729 edges, 718 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(p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 11661 markings, 14755 edges, 2332 markings/sec, 0 secs
lola: 31461 markings, 59041 edges, 3960 markings/sec, 5 secs
lola: 50701 markings, 106338 edges, 3848 markings/sec, 10 secs
lola: 65751 markings, 143280 edges, 3010 markings/sec, 15 secs
lola: 91743 markings, 201861 edges, 5198 markings/sec, 20 secs
lola: 118382 markings, 262058 edges, 5328 markings/sec, 25 secs
lola: 133491 markings, 298101 edges, 3022 markings/sec, 30 secs
lola: 156164 markings, 354069 edges, 4535 markings/sec, 35 secs
lola: 172148 markings, 391740 edges, 3197 markings/sec, 40 secs
lola: 190300 markings, 437641 edges, 3630 markings/sec, 45 secs
lola: 211450 markings, 485724 edges, 4230 markings/sec, 50 secs
lola: 238087 markings, 545431 edges, 5327 markings/sec, 55 secs
lola: 261028 markings, 596879 edges, 4588 markings/sec, 60 secs
lola: 273785 markings, 631341 edges, 2551 markings/sec, 65 secs
lola: 296814 markings, 684941 edges, 4606 markings/sec, 70 secs
lola: 312127 markings, 722812 edges, 3063 markings/sec, 75 secs
lola: 326579 markings, 759944 edges, 2890 markings/sec, 80 secs
lola: 352430 markings, 817646 edges, 5170 markings/sec, 85 secs
lola: 378145 markings, 875297 edges, 5143 markings/sec, 90 secs
lola: 401017 markings, 927797 edges, 4574 markings/sec, 95 secs
lola: 414726 markings, 965875 edges, 2742 markings/sec, 100 secs
lola: 434238 markings, 1009357 edges, 3902 markings/sec, 105 secs
lola: 453451 markings, 1056742 edges, 3843 markings/sec, 110 secs
lola: 468312 markings, 1093298 edges, 2972 markings/sec, 115 secs
lola: 493953 markings, 1150664 edges, 5128 markings/sec, 120 secs
lola: 519560 markings, 1207980 edges, 5121 markings/sec, 125 secs
lola: 536682 markings, 1249054 edges, 3424 markings/sec, 130 secs
lola: 549504 markings, 1285763 edges, 2564 markings/sec, 135 secs
lola: 553088 markings, 1298118 edges, 717 markings/sec, 140 secs
lola: 556647 markings, 1310988 edges, 712 markings/sec, 145 secs
lola: 560214 markings, 1323435 edges, 713 markings/sec, 150 secs
lola: 563792 markings, 1335878 edges, 716 markings/sec, 155 secs
lola: 567348 markings, 1348619 edges, 711 markings/sec, 160 secs
lola: 573327 markings, 1363399 edges, 1196 markings/sec, 165 secs
lola: 587872 markings, 1386242 edges, 2909 markings/sec, 170 secs
lola: 611643 markings, 1442450 edges, 4754 markings/sec, 175 secs
lola: 624488 markings, 1478344 edges, 2569 markings/sec, 180 secs
lola: 645052 markings, 1533918 edges, 4113 markings/sec, 185 secs
lola: 654883 markings, 1562943 edges, 1966 markings/sec, 190 secs
lola: 678571 markings, 1621144 edges, 4738 markings/sec, 195 secs
lola: 703008 markings, 1681328 edges, 4887 markings/sec, 200 secs
lola: 731303 markings, 1749038 edges, 5659 markings/sec, 205 secs
lola: 757502 markings, 1812821 edges, 5240 markings/sec, 210 secs
lola: 763449 markings, 1833278 edges, 1189 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(p154)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 10566 markings, 18264 edges, 2113 markings/sec, 0 secs
lola: 19083 markings, 33033 edges, 1703 markings/sec, 5 secs
lola: 28304 markings, 49236 edges, 1844 markings/sec, 10 secs
lola: 38376 markings, 68301 edges, 2014 markings/sec, 15 secs
lola: 48114 markings, 87516 edges, 1948 markings/sec, 20 secs
lola: 58274 markings, 111284 edges, 2032 markings/sec, 25 secs
lola: 67871 markings, 136604 edges, 1919 markings/sec, 30 secs
lola: 76763 markings, 159480 edges, 1778 markings/sec, 35 secs
lola: 88313 markings, 189347 edges, 2310 markings/sec, 40 secs
lola: 97331 markings, 212799 edges, 1804 markings/sec, 45 secs
lola: 101878 markings, 228026 edges, 909 markings/sec, 50 secs
lola: 107084 markings, 240525 edges, 1041 markings/sec, 55 secs
lola: 115772 markings, 255233 edges, 1738 markings/sec, 60 secs
lola: 125319 markings, 273334 edges, 1909 markings/sec, 65 secs
lola: 135751 markings, 293692 edges, 2086 markings/sec, 70 secs
lola: 145911 markings, 315421 edges, 2032 markings/sec, 75 secs
lola: 156513 markings, 343130 edges, 2120 markings/sec, 80 secs
lola: 170268 markings, 378880 edges, 2751 markings/sec, 85 secs
lola: 183684 markings, 414300 edges, 2683 markings/sec, 90 secs
lola: 192959 markings, 441280 edges, 1855 markings/sec, 95 secs
lola: 202150 markings, 460366 edges, 1838 markings/sec, 100 secs
lola: 216313 markings, 486380 edges, 2833 markings/sec, 105 secs
lola: 231049 markings, 515208 edges, 2947 markings/sec, 110 secs
lola: 244080 markings, 547372 edges, 2606 markings/sec, 115 secs
lola: 257549 markings, 582909 edges, 2694 markings/sec, 120 secs
lola: 273099 markings, 622878 edges, 3110 markings/sec, 125 secs
lola: 283204 markings, 651259 edges, 2021 markings/sec, 130 secs
lola: 290134 markings, 667903 edges, 1386 markings/sec, 135 secs
lola: 305008 markings, 696408 edges, 2975 markings/sec, 140 secs
lola: 319273 markings, 724423 edges, 2853 markings/sec, 145 secs
lola: 333262 markings, 761417 edges, 2798 markings/sec, 150 secs
lola: 346595 markings, 795371 edges, 2667 markings/sec, 155 secs
lola: 360013 markings, 830792 edges, 2684 markings/sec, 160 secs
lola: 368716 markings, 856935 edges, 1741 markings/sec, 165 secs
lola: 378233 markings, 875895 edges, 1903 markings/sec, 170 secs
lola: 392843 markings, 903152 edges, 2922 markings/sec, 175 secs
lola: 407887 markings, 932635 edges, 3009 markings/sec, 180 secs
lola: 420734 markings, 964665 edges, 2569 markings/sec, 185 secs
lola: 434134 markings, 1000047 edges, 2680 markings/sec, 190 secs
lola: 448925 markings, 1038839 edges, 2958 markings/sec, 195 secs
lola: 459009 markings, 1067065 edges, 2017 markings/sec, 200 secs
lola: 467204 markings, 1086993 edges, 1639 markings/sec, 205 secs
lola: 481759 markings, 1114938 edges, 2911 markings/sec, 210 secs
lola: 495834 markings, 1140746 edges, 2815 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p746)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 11238 markings, 13645 edges, 2248 markings/sec, 0 secs
lola: 30648 markings, 50718 edges, 3882 markings/sec, 5 secs
lola: 47185 markings, 93928 edges, 3307 markings/sec, 10 secs
lola: 67199 markings, 141621 edges, 4003 markings/sec, 15 secs
lola: 77278 markings, 169464 edges, 2016 markings/sec, 20 secs
lola: 100383 markings, 220742 edges, 4621 markings/sec, 25 secs
lola: 125075 markings, 275232 edges, 4938 markings/sec, 30 secs
lola: 152907 markings, 336911 edges, 5566 markings/sec, 35 secs
lola: 178169 markings, 393514 edges, 5052 markings/sec, 40 secs
lola: 184136 markings, 411774 edges, 1193 markings/sec, 45 secs
lola: 206194 markings, 466673 edges, 4412 markings/sec, 50 secs
lola: 223515 markings, 507295 edges, 3464 markings/sec, 55 secs
lola: 242071 markings, 552779 edges, 3711 markings/sec, 60 secs
lola: 260304 markings, 597373 edges, 3647 markings/sec, 65 secs
lola: 272774 markings, 627753 edges, 2494 markings/sec, 70 secs
lola: 299257 markings, 685978 edges, 5297 markings/sec, 75 secs
lola: 324211 markings, 741401 edges, 4991 markings/sec, 80 secs
lola: 347968 markings, 795055 edges, 4751 markings/sec, 85 secs
lola: 365082 markings, 834865 edges, 3423 markings/sec, 90 secs
lola: 381372 markings, 880256 edges, 3258 markings/sec, 95 secs
lola: 400410 markings, 920459 edges, 3808 markings/sec, 100 secs
lola: 416706 markings, 963453 edges, 3259 markings/sec, 105 secs
lola: 436667 markings, 1011030 edges, 3992 markings/sec, 110 secs
lola: 447187 markings, 1038827 edges, 2104 markings/sec, 115 secs
lola: 468622 markings, 1087425 edges, 4287 markings/sec, 120 secs
lola: 493741 markings, 1142412 edges, 5024 markings/sec, 125 secs
lola: 521224 markings, 1202974 edges, 5497 markings/sec, 130 secs
lola: 547457 markings, 1261826 edges, 5247 markings/sec, 135 secs
lola: 552708 markings, 1278149 edges, 1050 markings/sec, 140 secs
lola: 574794 markings, 1334465 edges, 4417 markings/sec, 145 secs
lola: 593099 markings, 1376156 edges, 3661 markings/sec, 150 secs
lola: 611257 markings, 1421534 edges, 3632 markings/sec, 155 secs
lola: 630347 markings, 1467628 edges, 3818 markings/sec, 160 secs
lola: 641507 markings, 1495409 edges, 2232 markings/sec, 165 secs
lola: 667610 markings, 1553417 edges, 5221 markings/sec, 170 secs
lola: 691651 markings, 1606512 edges, 4808 markings/sec, 175 secs
lola: 716205 markings, 1661559 edges, 4911 markings/sec, 180 secs
lola: 735082 markings, 1705020 edges, 3775 markings/sec, 185 secs
lola: 749402 markings, 1745163 edges, 2864 markings/sec, 190 secs
lola: 756424 markings, 1767236 edges, 1404 markings/sec, 195 secs
lola: 760020 markings, 1779683 edges, 719 markings/sec, 200 secs
lola: 763576 markings, 1792510 edges, 711 markings/sec, 205 secs
lola: 767179 markings, 1804994 edges, 721 markings/sec, 210 secs
lola: 770742 markings, 1817385 edges, 713 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3248 markings, 5207 edges, 650 markings/sec, 0 secs
lola: 6570 markings, 10781 edges, 664 markings/sec, 5 secs
lola: 9965 markings, 16219 edges, 679 markings/sec, 10 secs
lola: 13300 markings, 21782 edges, 667 markings/sec, 15 secs
lola: 16660 markings, 27237 edges, 672 markings/sec, 20 secs
lola: 20014 markings, 32818 edges, 671 markings/sec, 25 secs
lola: 23332 markings, 38218 edges, 664 markings/sec, 30 secs
lola: 26714 markings, 43704 edges, 676 markings/sec, 35 secs
lola: 30042 markings, 49329 edges, 666 markings/sec, 40 secs
lola: 33423 markings, 54706 edges, 676 markings/sec, 45 secs
lola: 36730 markings, 60243 edges, 661 markings/sec, 50 secs
lola: 40088 markings, 65595 edges, 672 markings/sec, 55 secs
lola: 43412 markings, 71148 edges, 665 markings/sec, 60 secs
lola: 46727 markings, 76684 edges, 663 markings/sec, 65 secs
lola: 50133 markings, 82001 edges, 681 markings/sec, 70 secs
lola: 53459 markings, 87227 edges, 665 markings/sec, 75 secs
lola: 56797 markings, 92557 edges, 668 markings/sec, 80 secs
lola: 60059 markings, 97854 edges, 652 markings/sec, 85 secs
lola: 63393 markings, 103142 edges, 667 markings/sec, 90 secs
lola: 66725 markings, 108470 edges, 666 markings/sec, 95 secs
lola: 70045 markings, 113636 edges, 664 markings/sec, 100 secs
lola: 73321 markings, 119077 edges, 655 markings/sec, 105 secs
lola: 79076 markings, 125133 edges, 1151 markings/sec, 110 secs
lola: 85033 markings, 131170 edges, 1191 markings/sec, 115 secs
lola: 91008 markings, 137228 edges, 1195 markings/sec, 120 secs
lola: 96787 markings, 143311 edges, 1156 markings/sec, 125 secs
lola: 102540 markings, 149877 edges, 1151 markings/sec, 130 secs
lola: 108397 markings, 156470 edges, 1171 markings/sec, 135 secs
lola: 114110 markings, 162840 edges, 1143 markings/sec, 140 secs
lola: 120000 markings, 168974 edges, 1178 markings/sec, 145 secs
lola: 125819 markings, 175468 edges, 1164 markings/sec, 150 secs
lola: 131561 markings, 181712 edges, 1148 markings/sec, 155 secs
lola: 137321 markings, 188889 edges, 1152 markings/sec, 160 secs
lola: 143185 markings, 195661 edges, 1173 markings/sec, 165 secs
lola: 148965 markings, 202085 edges, 1156 markings/sec, 170 secs
lola: 154675 markings, 209188 edges, 1142 markings/sec, 175 secs
lola: 160440 markings, 215901 edges, 1153 markings/sec, 180 secs
lola: 166011 markings, 222101 edges, 1114 markings/sec, 185 secs
lola: 171750 markings, 228807 edges, 1148 markings/sec, 190 secs
lola: 177584 markings, 235423 edges, 1167 markings/sec, 195 secs
lola: 183304 markings, 241639 edges, 1144 markings/sec, 200 secs
lola: 189052 markings, 248751 edges, 1150 markings/sec, 205 secs
lola: 194863 markings, 255151 edges, 1162 markings/sec, 210 secs
lola: 200572 markings, 261507 edges, 1142 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 5865 markings, 5900 edges, 1173 markings/sec, 0 secs
lola: 11732 markings, 11935 edges, 1173 markings/sec, 5 secs
lola: 17432 markings, 17990 edges, 1140 markings/sec, 10 secs
lola: 23151 markings, 24887 edges, 1144 markings/sec, 15 secs
lola: 28876 markings, 31031 edges, 1145 markings/sec, 20 secs
lola: 34504 markings, 37869 edges, 1126 markings/sec, 25 secs
lola: 40210 markings, 44008 edges, 1141 markings/sec, 30 secs
lola: 45624 markings, 50301 edges, 1083 markings/sec, 35 secs
lola: 51100 markings, 56501 edges, 1095 markings/sec, 40 secs
lola: 56795 markings, 63096 edges, 1139 markings/sec, 45 secs
lola: 62537 markings, 69471 edges, 1148 markings/sec, 50 secs
lola: 68224 markings, 76017 edges, 1137 markings/sec, 55 secs
lola: 73849 markings, 82767 edges, 1125 markings/sec, 60 secs
lola: 79647 markings, 89043 edges, 1160 markings/sec, 65 secs
lola: 85444 markings, 95514 edges, 1159 markings/sec, 70 secs
lola: 90600 markings, 101700 edges, 1031 markings/sec, 75 secs
lola: 96301 markings, 108190 edges, 1140 markings/sec, 80 secs
lola: 101590 markings, 114124 edges, 1058 markings/sec, 85 secs
lola: 107282 markings, 121009 edges, 1138 markings/sec, 90 secs
lola: 112731 markings, 127248 edges, 1090 markings/sec, 95 secs
lola: 118495 markings, 133769 edges, 1153 markings/sec, 100 secs
lola: 124244 markings, 139840 edges, 1150 markings/sec, 105 secs
lola: 129808 markings, 145893 edges, 1113 markings/sec, 110 secs
lola: 135147 markings, 152579 edges, 1068 markings/sec, 115 secs
lola: 140607 markings, 158414 edges, 1092 markings/sec, 120 secs
lola: 146303 markings, 164704 edges, 1139 markings/sec, 125 secs
lola: 152013 markings, 171533 edges, 1142 markings/sec, 130 secs
lola: 157703 markings, 177968 edges, 1138 markings/sec, 135 secs
lola: 163388 markings, 184478 edges, 1137 markings/sec, 140 secs
lola: 169237 markings, 190828 edges, 1170 markings/sec, 145 secs
lola: 174765 markings, 197099 edges, 1106 markings/sec, 150 secs
lola: 180158 markings, 203622 edges, 1079 markings/sec, 155 secs
lola: 185586 markings, 209724 edges, 1086 markings/sec, 160 secs
lola: 191263 markings, 215910 edges, 1135 markings/sec, 165 secs
lola: 196736 markings, 222375 edges, 1095 markings/sec, 170 secs
lola: 202174 markings, 228856 edges, 1088 markings/sec, 175 secs
lola: 207849 markings, 235109 edges, 1135 markings/sec, 180 secs
lola: 213462 markings, 241925 edges, 1123 markings/sec, 185 secs
lola: 219272 markings, 248710 edges, 1162 markings/sec, 190 secs
lola: 224806 markings, 255111 edges, 1107 markings/sec, 195 secs
lola: 230197 markings, 261619 edges, 1078 markings/sec, 200 secs
lola: 235870 markings, 268227 edges, 1135 markings/sec, 205 secs
lola: 241389 markings, 274927 edges, 1104 markings/sec, 210 secs
lola: 246918 markings, 281500 edges, 1106 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494664261752

--------------------
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="PolyORBLF-COL-S06J04T08"
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/PolyORBLF-COL-S06J04T08.tgz
mv PolyORBLF-COL-S06J04T08 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 PolyORBLF-COL-S06J04T08, 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 r048-smll-149440869900389"
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 ;