About the Execution of LoLA for HexagonalGrid-PT-226
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11259.320 | 3540176.00 | 3546639.00 | 1585.00 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 HexagonalGrid-PT-226, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034500200
=====================================================================
--------------------
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 HexagonalGrid-PT-226-UpperBounds-0
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-1
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-10
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-11
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-12
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-13
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-14
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-15
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-2
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-3
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-4
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-5
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-6
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-7
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-8
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496502150822
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
HexagonalGrid-PT-226: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
HexagonalGrid-PT-226: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ HexagonalGrid-PT-226 @ 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: 439/65536 symbol table entries, 9 collisions
lola: preprocessing...
lola: finding significant places
lola: 169 places, 270 transitions, 101 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 337 transition conflict sets
lola: TASK
lola: reading formula from HexagonalGrid-PT-226-UpperBounds.task
lola: MAX(pbl_3_2) : MAX(pil2_3_1) : MAX(pol3_3_1) : MAX(pol2_1_1) : MAX(pi6_1_2) : MAX(pb5_2_3) : MAX(pil3_1_1) : MAX(pi3_2_1) : MAX(pbl_2_3) : MAX(pb4_3_1) : MAX(pb5_2_1) : MAX(pb3_2_2) : MAX(pil2_1_1) : MAX(pil4_3_2) : MAX(pi3_3_2) : MAX(pol5_1_1)
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(pbl_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 487230 markings, 3399345 edges, 97446 markings/sec, 0 secs
lola: 1002813 markings, 6465603 edges, 103117 markings/sec, 5 secs
lola: 1459149 markings, 9362257 edges, 91267 markings/sec, 10 secs
lola: 1906812 markings, 12568107 edges, 89533 markings/sec, 15 secs
lola: 2403031 markings, 15398703 edges, 99244 markings/sec, 20 secs
lola: 2812248 markings, 18428877 edges, 81843 markings/sec, 25 secs
lola: 3299298 markings, 21217475 edges, 97410 markings/sec, 30 secs
lola: 3751056 markings, 23811922 edges, 90352 markings/sec, 35 secs
lola: 3951059 markings, 26537957 edges, 40001 markings/sec, 40 secs
lola: 4158898 markings, 29384545 edges, 41568 markings/sec, 45 secs
lola: 4555730 markings, 32197680 edges, 79366 markings/sec, 50 secs
lola: 5020931 markings, 34948754 edges, 93040 markings/sec, 55 secs
lola: 5455390 markings, 38044543 edges, 86892 markings/sec, 60 secs
lola: 5956075 markings, 41073452 edges, 100137 markings/sec, 65 secs
lola: 6435556 markings, 44046123 edges, 95896 markings/sec, 70 secs
lola: 6889943 markings, 47041439 edges, 90877 markings/sec, 75 secs
lola: 7349547 markings, 50025906 edges, 91921 markings/sec, 80 secs
lola: 7820318 markings, 52774967 edges, 94154 markings/sec, 85 secs
lola: 8023430 markings, 55553866 edges, 40622 markings/sec, 90 secs
lola: 8237128 markings, 58346200 edges, 42740 markings/sec, 95 secs
lola: 8661124 markings, 61253887 edges, 84799 markings/sec, 100 secs
lola: 9124540 markings, 64074004 edges, 92683 markings/sec, 105 secs
lola: 9550724 markings, 67088020 edges, 85237 markings/sec, 110 secs
lola: 10034107 markings, 70028500 edges, 96677 markings/sec, 115 secs
lola: 10506875 markings, 72775859 edges, 94554 markings/sec, 120 secs
lola: 10922428 markings, 75802255 edges, 83111 markings/sec, 125 secs
lola: 11377310 markings, 78568863 edges, 90976 markings/sec, 130 secs
lola: 11785712 markings, 81433710 edges, 81680 markings/sec, 135 secs
lola: 12136170 markings, 83895882 edges, 70092 markings/sec, 140 secs
lola: 12363656 markings, 86687305 edges, 45497 markings/sec, 145 secs
lola: 12653765 markings, 89670667 edges, 58022 markings/sec, 150 secs
lola: 13083079 markings, 92229754 edges, 85863 markings/sec, 155 secs
lola: 13469525 markings, 94966567 edges, 77289 markings/sec, 160 secs
lola: 13951933 markings, 97763345 edges, 96482 markings/sec, 165 secs
lola: 14405306 markings, 100803234 edges, 90675 markings/sec, 170 secs
lola: 14866795 markings, 103825638 edges, 92298 markings/sec, 175 secs
lola: 15264559 markings, 106263308 edges, 79553 markings/sec, 180 secs
lola: 15725812 markings, 109249354 edges, 92251 markings/sec, 185 secs
lola: 16197909 markings, 111780673 edges, 94419 markings/sec, 190 secs
lola: 16418176 markings, 114612480 edges, 44053 markings/sec, 195 secs
lola: 16617394 markings, 117681987 edges, 39844 markings/sec, 200 secs
lola: 17033290 markings, 120451644 edges, 83179 markings/sec, 205 secs
lola: 17494691 markings, 123273128 edges, 92280 markings/sec, 210 secs
lola: 17928025 markings, 126089345 edges, 86667 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(pil2_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 1029666 markings, 2313607 edges, 205933 markings/sec, 0 secs
lola: 1800414 markings, 4754888 edges, 154150 markings/sec, 5 secs
lola: 2191826 markings, 7632660 edges, 78282 markings/sec, 10 secs
lola: 2510258 markings, 10387574 edges, 63686 markings/sec, 15 secs
lola: 3243936 markings, 12724879 edges, 146736 markings/sec, 20 secs
lola: 3589387 markings, 15606107 edges, 69090 markings/sec, 25 secs
lola: 4018477 markings, 17997327 edges, 85818 markings/sec, 30 secs
lola: 4624785 markings, 20351257 edges, 121262 markings/sec, 35 secs
lola: 4966888 markings, 23061292 edges, 68421 markings/sec, 40 secs
lola: 5347761 markings, 25220681 edges, 76175 markings/sec, 45 secs
lola: 6031250 markings, 27224349 edges, 136698 markings/sec, 50 secs
lola: 6829577 markings, 29275697 edges, 159665 markings/sec, 55 secs
lola: 7450665 markings, 31676014 edges, 124218 markings/sec, 60 secs
lola: 7994341 markings, 34492521 edges, 108735 markings/sec, 65 secs
lola: 8422182 markings, 37377258 edges, 85568 markings/sec, 70 secs
lola: 9212432 markings, 39611852 edges, 158050 markings/sec, 75 secs
lola: 9626111 markings, 42416122 edges, 82736 markings/sec, 80 secs
lola: 9904430 markings, 44995149 edges, 55664 markings/sec, 85 secs
lola: 10782746 markings, 46898137 edges, 175663 markings/sec, 90 secs
lola: 11616815 markings, 48731091 edges, 166814 markings/sec, 95 secs
lola: 12369389 markings, 50551385 edges, 150515 markings/sec, 100 secs
lola: 13072654 markings, 52473323 edges, 140653 markings/sec, 105 secs
lola: 13761257 markings, 54259466 edges, 137721 markings/sec, 110 secs
lola: 14369012 markings, 56066713 edges, 121551 markings/sec, 115 secs
lola: 14965449 markings, 57897582 edges, 119287 markings/sec, 120 secs
lola: 15521534 markings, 59651124 edges, 111217 markings/sec, 125 secs
lola: 16006872 markings, 61446650 edges, 97068 markings/sec, 130 secs
lola: 16431604 markings, 63334756 edges, 84946 markings/sec, 135 secs
lola: 16438358 markings, 65834100 edges, 1351 markings/sec, 140 secs
lola: 16441926 markings, 68396021 edges, 714 markings/sec, 145 secs
lola: 16445663 markings, 70921697 edges, 747 markings/sec, 150 secs
lola: 16448464 markings, 73404808 edges, 560 markings/sec, 155 secs
lola: 16451479 markings, 76017580 edges, 603 markings/sec, 160 secs
lola: 16457839 markings, 78545458 edges, 1272 markings/sec, 165 secs
lola: 16466589 markings, 81096026 edges, 1750 markings/sec, 170 secs
lola: 16479573 markings, 83781684 edges, 2597 markings/sec, 175 secs
lola: 16762568 markings, 86259920 edges, 56599 markings/sec, 180 secs
lola: 17499135 markings, 87922647 edges, 147313 markings/sec, 185 secs
lola: 18166419 markings, 89625873 edges, 133457 markings/sec, 190 secs
lola: 18823338 markings, 91366781 edges, 131384 markings/sec, 195 secs
lola: 19456572 markings, 93023960 edges, 126647 markings/sec, 200 secs
lola: 20009166 markings, 94663401 edges, 110519 markings/sec, 205 secs
lola: 20563522 markings, 96367542 edges, 110871 markings/sec, 210 secs
lola: 21097446 markings, 98027659 edges, 106785 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(pol3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 783967 markings, 2620053 edges, 156793 markings/sec, 0 secs
lola: 1269283 markings, 5752332 edges, 97063 markings/sec, 5 secs
lola: 1761768 markings, 8377958 edges, 98497 markings/sec, 10 secs
lola: 2411700 markings, 10900012 edges, 129986 markings/sec, 15 secs
lola: 2864114 markings, 13601035 edges, 90483 markings/sec, 20 secs
lola: 3476404 markings, 16329383 edges, 122458 markings/sec, 25 secs
lola: 4059317 markings, 18819187 edges, 116583 markings/sec, 30 secs
lola: 4473210 markings, 21384651 edges, 82779 markings/sec, 35 secs
lola: 5302262 markings, 23279968 edges, 165810 markings/sec, 40 secs
lola: 6070720 markings, 25124087 edges, 153692 markings/sec, 45 secs
lola: 6777617 markings, 27085349 edges, 141379 markings/sec, 50 secs
lola: 7456147 markings, 28944050 edges, 135706 markings/sec, 55 secs
lola: 8118128 markings, 30827703 edges, 132396 markings/sec, 60 secs
lola: 8727719 markings, 32709146 edges, 121918 markings/sec, 65 secs
lola: 9286311 markings, 34559239 edges, 111718 markings/sec, 70 secs
lola: 9786717 markings, 36447132 edges, 100081 markings/sec, 75 secs
lola: 10071815 markings, 38830084 edges, 57020 markings/sec, 80 secs
lola: 10079292 markings, 41397078 edges, 1495 markings/sec, 85 secs
lola: 10085771 markings, 43978531 edges, 1296 markings/sec, 90 secs
lola: 10094491 markings, 46567635 edges, 1744 markings/sec, 95 secs
lola: 10103168 markings, 49116649 edges, 1735 markings/sec, 100 secs
lola: 10117111 markings, 51723239 edges, 2789 markings/sec, 105 secs
lola: 10138932 markings, 54296670 edges, 4364 markings/sec, 110 secs
lola: 10166873 markings, 56970804 edges, 5588 markings/sec, 115 secs
lola: 10295534 markings, 59679451 edges, 25732 markings/sec, 120 secs
lola: 11219881 markings, 61723973 edges, 184869 markings/sec, 125 secs
lola: 11862311 markings, 63822998 edges, 128486 markings/sec, 130 secs
lola: 12734669 markings, 65673799 edges, 174472 markings/sec, 135 secs
lola: 13325984 markings, 67714801 edges, 118263 markings/sec, 140 secs
lola: 14058952 markings, 70010422 edges, 146594 markings/sec, 145 secs
lola: 14406528 markings, 72765884 edges, 69515 markings/sec, 150 secs
lola: 14924393 markings, 75169450 edges, 103573 markings/sec, 155 secs
lola: 15555339 markings, 77640146 edges, 126189 markings/sec, 160 secs
lola: 15916226 markings, 80430735 edges, 72177 markings/sec, 165 secs
lola: 16377894 markings, 82828812 edges, 92334 markings/sec, 170 secs
lola: 17052122 markings, 84915136 edges, 134846 markings/sec, 175 secs
lola: 17864268 markings, 86777063 edges, 162429 markings/sec, 180 secs
lola: 18604346 markings, 88644681 edges, 148016 markings/sec, 185 secs
lola: 19311816 markings, 90598017 edges, 141494 markings/sec, 190 secs
lola: 19975276 markings, 92416935 edges, 132692 markings/sec, 195 secs
lola: 20603338 markings, 94252296 edges, 125612 markings/sec, 200 secs
lola: 21196373 markings, 96065913 edges, 118607 markings/sec, 205 secs
lola: 21725850 markings, 97874042 edges, 105895 markings/sec, 210 secs
lola: 22206597 markings, 99712858 edges, 96149 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(pol2_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 1145170 markings, 2253867 edges, 229034 markings/sec, 0 secs
lola: 1807791 markings, 4656154 edges, 132524 markings/sec, 5 secs
lola: 2462539 markings, 7003345 edges, 130950 markings/sec, 10 secs
lola: 3161755 markings, 9336102 edges, 139843 markings/sec, 15 secs
lola: 3673423 markings, 11925097 edges, 102334 markings/sec, 20 secs
lola: 4565932 markings, 13636008 edges, 178502 markings/sec, 25 secs
lola: 5376764 markings, 15316692 edges, 162166 markings/sec, 30 secs
lola: 6163001 markings, 17034008 edges, 157247 markings/sec, 35 secs
lola: 6927813 markings, 18804663 edges, 152962 markings/sec, 40 secs
lola: 7629457 markings, 20591351 edges, 140329 markings/sec, 45 secs
lola: 7824405 markings, 23223536 edges, 38990 markings/sec, 50 secs
lola: 7833457 markings, 25998800 edges, 1810 markings/sec, 55 secs
lola: 7840971 markings, 28770816 edges, 1503 markings/sec, 60 secs
lola: 8314391 markings, 31011539 edges, 94684 markings/sec, 65 secs
lola: 8869916 markings, 33129231 edges, 111105 markings/sec, 70 secs
lola: 9482574 markings, 35252435 edges, 122532 markings/sec, 75 secs
lola: 10094405 markings, 37396127 edges, 122366 markings/sec, 80 secs
lola: 10686948 markings, 39295850 edges, 118509 markings/sec, 85 secs
lola: 11489949 markings, 40844907 edges, 160600 markings/sec, 90 secs
lola: 12231493 markings, 42432790 edges, 148309 markings/sec, 95 secs
lola: 12959584 markings, 44043736 edges, 145618 markings/sec, 100 secs
lola: 13657157 markings, 45692771 edges, 139515 markings/sec, 105 secs
lola: 14318539 markings, 47409687 edges, 132276 markings/sec, 110 secs
lola: 14384755 markings, 49932283 edges, 13243 markings/sec, 115 secs
lola: 14392935 markings, 52430070 edges, 1636 markings/sec, 120 secs
lola: 14400137 markings, 54909664 edges, 1440 markings/sec, 125 secs
lola: 14761880 markings, 57173387 edges, 72349 markings/sec, 130 secs
lola: 15335596 markings, 59245747 edges, 114743 markings/sec, 135 secs
lola: 15960461 markings, 61385391 edges, 124973 markings/sec, 140 secs
lola: 16539097 markings, 63298117 edges, 115727 markings/sec, 145 secs
lola: 17343179 markings, 64837998 edges, 160816 markings/sec, 150 secs
lola: 18083955 markings, 66409247 edges, 148155 markings/sec, 155 secs
lola: 18814343 markings, 68013689 edges, 146078 markings/sec, 160 secs
lola: 19510900 markings, 69658728 edges, 139311 markings/sec, 165 secs
lola: 20164832 markings, 71338589 edges, 130786 markings/sec, 170 secs
lola: 20299093 markings, 73728669 edges, 26852 markings/sec, 175 secs
lola: 20306443 markings, 76200369 edges, 1470 markings/sec, 180 secs
lola: 20314465 markings, 78536508 edges, 1604 markings/sec, 185 secs
lola: 20563469 markings, 80836922 edges, 49801 markings/sec, 190 secs
lola: 21150355 markings, 83004959 edges, 117377 markings/sec, 195 secs
lola: 21782361 markings, 85051692 edges, 126401 markings/sec, 200 secs
lola: 22638339 markings, 86644004 edges, 171196 markings/sec, 205 secs
lola: 23411613 markings, 88258396 edges, 154655 markings/sec, 210 secs
lola: 24164769 markings, 89924024 edges, 150631 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(pi6_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 553504 markings, 2854445 edges, 110701 markings/sec, 0 secs
lola: 1082015 markings, 5373053 edges, 105702 markings/sec, 5 secs
lola: 1485541 markings, 8080021 edges, 80705 markings/sec, 10 secs
lola: 1968904 markings, 10463499 edges, 96673 markings/sec, 15 secs
lola: 2360034 markings, 12972702 edges, 78226 markings/sec, 20 secs
lola: 2837079 markings, 15350924 edges, 95409 markings/sec, 25 secs
lola: 3355993 markings, 17477587 edges, 103783 markings/sec, 30 secs
lola: 3878271 markings, 19525269 edges, 104456 markings/sec, 35 secs
lola: 3997199 markings, 22525680 edges, 23786 markings/sec, 40 secs
lola: 4443055 markings, 24904440 edges, 89171 markings/sec, 45 secs
lola: 4812675 markings, 27226996 edges, 73924 markings/sec, 50 secs
lola: 5311734 markings, 29280323 edges, 99812 markings/sec, 55 secs
lola: 5701853 markings, 31503070 edges, 78024 markings/sec, 60 secs
lola: 6236468 markings, 33292233 edges, 106923 markings/sec, 65 secs
lola: 6476616 markings, 35750565 edges, 48030 markings/sec, 70 secs
lola: 6789507 markings, 38231432 edges, 62578 markings/sec, 75 secs
lola: 7188400 markings, 40581389 edges, 79779 markings/sec, 80 secs
lola: 7776444 markings, 42404849 edges, 117609 markings/sec, 85 secs
lola: 8156698 markings, 44670721 edges, 76051 markings/sec, 90 secs
lola: 8433710 markings, 47119622 edges, 55402 markings/sec, 95 secs
lola: 9023350 markings, 48870711 edges, 117928 markings/sec, 100 secs
lola: 9573715 markings, 50679667 edges, 110073 markings/sec, 105 secs
lola: 10083986 markings, 52502324 edges, 102054 markings/sec, 110 secs
lola: 10508993 markings, 54627118 edges, 85001 markings/sec, 115 secs
lola: 10513129 markings, 57329912 edges, 827 markings/sec, 120 secs
lola: 10579810 markings, 60106569 edges, 13336 markings/sec, 125 secs
lola: 11002392 markings, 62406574 edges, 84516 markings/sec, 130 secs
lola: 11423695 markings, 64400820 edges, 84261 markings/sec, 135 secs
lola: 11820721 markings, 66714863 edges, 79405 markings/sec, 140 secs
lola: 12185454 markings, 68938743 edges, 72947 markings/sec, 145 secs
lola: 12721098 markings, 70623988 edges, 107129 markings/sec, 150 secs
lola: 13102017 markings, 72713932 edges, 76184 markings/sec, 155 secs
lola: 13244380 markings, 75190381 edges, 28473 markings/sec, 160 secs
lola: 13715025 markings, 77166431 edges, 94129 markings/sec, 165 secs
lola: 14102955 markings, 79264194 edges, 77586 markings/sec, 170 secs
lola: 14600093 markings, 80994528 edges, 99428 markings/sec, 175 secs
lola: 14783698 markings, 83408382 edges, 36721 markings/sec, 180 secs
lola: 15193558 markings, 85352394 edges, 81972 markings/sec, 185 secs
lola: 15736166 markings, 86984764 edges, 108522 markings/sec, 190 secs
lola: 16250114 markings, 88701945 edges, 102790 markings/sec, 195 secs
lola: 16736244 markings, 90451553 edges, 97226 markings/sec, 200 secs
lola: 17135495 markings, 92506739 edges, 79850 markings/sec, 205 secs
lola: 17139758 markings, 95014640 edges, 853 markings/sec, 210 secs
lola: 17140581 markings, 97577146 edges, 165 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(pb5_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 611057 markings, 2637696 edges, 122211 markings/sec, 0 secs
lola: 940542 markings, 5655422 edges, 65897 markings/sec, 5 secs
lola: 1350887 markings, 8256306 edges, 82069 markings/sec, 10 secs
lola: 1646438 markings, 11058839 edges, 59110 markings/sec, 15 secs
lola: 2106473 markings, 13385485 edges, 92007 markings/sec, 20 secs
lola: 2666925 markings, 14955396 edges, 112090 markings/sec, 25 secs
lola: 3103186 markings, 16780029 edges, 87252 markings/sec, 30 secs
lola: 3527236 markings, 18666453 edges, 84810 markings/sec, 35 secs
lola: 3559321 markings, 21190247 edges, 6417 markings/sec, 40 secs
lola: 3565068 markings, 23869804 edges, 1149 markings/sec, 45 secs
lola: 3567749 markings, 26709232 edges, 536 markings/sec, 50 secs
lola: 3569026 markings, 29650964 edges, 255 markings/sec, 55 secs
lola: 3838547 markings, 32308730 edges, 53904 markings/sec, 60 secs
lola: 4229566 markings, 34666240 edges, 78204 markings/sec, 65 secs
lola: 4494317 markings, 36836874 edges, 52950 markings/sec, 70 secs
lola: 4784412 markings, 39409347 edges, 58019 markings/sec, 75 secs
lola: 5083802 markings, 41682698 edges, 59878 markings/sec, 80 secs
lola: 5355861 markings, 44416962 edges, 54412 markings/sec, 85 secs
lola: 5655827 markings, 46851776 edges, 59993 markings/sec, 90 secs
lola: 5956380 markings, 49445874 edges, 60111 markings/sec, 95 secs
lola: 6491707 markings, 51131243 edges, 107065 markings/sec, 100 secs
lola: 6995241 markings, 52661578 edges, 100707 markings/sec, 105 secs
lola: 7370343 markings, 54445732 edges, 75020 markings/sec, 110 secs
lola: 7748544 markings, 56245017 edges, 75640 markings/sec, 115 secs
lola: 7752574 markings, 58529329 edges, 806 markings/sec, 120 secs
lola: 7758231 markings, 60995501 edges, 1131 markings/sec, 125 secs
lola: 7760682 markings, 63544481 edges, 490 markings/sec, 130 secs
lola: 7762056 markings, 66156829 edges, 275 markings/sec, 135 secs
lola: 8019474 markings, 68758496 edges, 51484 markings/sec, 140 secs
lola: 8279078 markings, 71129265 edges, 51921 markings/sec, 145 secs
lola: 8580441 markings, 73386846 edges, 60273 markings/sec, 150 secs
lola: 9039397 markings, 75119495 edges, 91791 markings/sec, 155 secs
lola: 9544467 markings, 76654604 edges, 101014 markings/sec, 160 secs
lola: 9975159 markings, 78374650 edges, 86138 markings/sec, 165 secs
lola: 10324992 markings, 80233273 edges, 69967 markings/sec, 170 secs
lola: 10331815 markings, 82618774 edges, 1365 markings/sec, 175 secs
lola: 10340056 markings, 84805357 edges, 1648 markings/sec, 180 secs
lola: 10346873 markings, 87169403 edges, 1363 markings/sec, 185 secs
lola: 10606118 markings, 89586187 edges, 51849 markings/sec, 190 secs
lola: 10865098 markings, 92048165 edges, 51796 markings/sec, 195 secs
lola: 11123601 markings, 94583921 edges, 51701 markings/sec, 200 secs
lola: 11564411 markings, 96559376 edges, 88162 markings/sec, 205 secs
lola: 12087074 markings, 98160425 edges, 104533 markings/sec, 210 secs
lola: 12508322 markings, 99966626 edges, 84250 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(pil3_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 474943 markings, 2725473 edges, 94989 markings/sec, 0 secs
lola: 967369 markings, 5353429 edges, 98485 markings/sec, 5 secs
lola: 1331450 markings, 8200451 edges, 72816 markings/sec, 10 secs
lola: 1814879 markings, 10949773 edges, 96686 markings/sec, 15 secs
lola: 2266891 markings, 13301984 edges, 90402 markings/sec, 20 secs
lola: 2647217 markings, 16058914 edges, 76065 markings/sec, 25 secs
lola: 3280960 markings, 17873676 edges, 126749 markings/sec, 30 secs
lola: 3855023 markings, 19779259 edges, 114813 markings/sec, 35 secs
lola: 4334279 markings, 21594255 edges, 95851 markings/sec, 40 secs
lola: 4606808 markings, 24115791 edges, 54506 markings/sec, 45 secs
lola: 4610846 markings, 27000523 edges, 808 markings/sec, 50 secs
lola: 4615691 markings, 29870593 edges, 969 markings/sec, 55 secs
lola: 4842536 markings, 32249973 edges, 45369 markings/sec, 60 secs
lola: 5177583 markings, 34582349 edges, 67009 markings/sec, 65 secs
lola: 5699706 markings, 36378841 edges, 104425 markings/sec, 70 secs
lola: 6249135 markings, 38144453 edges, 109886 markings/sec, 75 secs
lola: 6777609 markings, 40013296 edges, 105695 markings/sec, 80 secs
lola: 7239949 markings, 41931157 edges, 92468 markings/sec, 85 secs
lola: 7263462 markings, 44639026 edges, 4703 markings/sec, 90 secs
lola: 7268527 markings, 47337353 edges, 1013 markings/sec, 95 secs
lola: 7271369 markings, 50003813 edges, 568 markings/sec, 100 secs
lola: 7593167 markings, 52421971 edges, 64360 markings/sec, 105 secs
lola: 7916448 markings, 54754877 edges, 64656 markings/sec, 110 secs
lola: 8368303 markings, 57072590 edges, 90371 markings/sec, 115 secs
lola: 8781019 markings, 59004194 edges, 82543 markings/sec, 120 secs
lola: 9330953 markings, 60690737 edges, 109987 markings/sec, 125 secs
lola: 9852072 markings, 62463335 edges, 104224 markings/sec, 130 secs
lola: 10323341 markings, 64290959 edges, 94254 markings/sec, 135 secs
lola: 10541457 markings, 66630128 edges, 43623 markings/sec, 140 secs
lola: 10545020 markings, 69217081 edges, 713 markings/sec, 145 secs
lola: 10549815 markings, 71755940 edges, 959 markings/sec, 150 secs
lola: 10627335 markings, 74270952 edges, 15504 markings/sec, 155 secs
lola: 11001604 markings, 76353942 edges, 74854 markings/sec, 160 secs
lola: 11410710 markings, 78514797 edges, 81821 markings/sec, 165 secs
lola: 11866248 markings, 80519868 edges, 91108 markings/sec, 170 secs
lola: 12398977 markings, 82210021 edges, 106546 markings/sec, 175 secs
lola: 12868211 markings, 83848548 edges, 93847 markings/sec, 180 secs
lola: 13327013 markings, 85641394 edges, 91760 markings/sec, 185 secs
lola: 13499582 markings, 87977933 edges, 34514 markings/sec, 190 secs
lola: 13502845 markings, 90488173 edges, 653 markings/sec, 195 secs
lola: 13507483 markings, 92975001 edges, 928 markings/sec, 200 secs
lola: 13600781 markings, 95492405 edges, 18660 markings/sec, 205 secs
lola: 14020765 markings, 97835197 edges, 83997 markings/sec, 210 secs
lola: 14446055 markings, 100083299 edges, 85058 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(pi3_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 531538 markings, 2132048 edges, 106308 markings/sec, 0 secs
lola: 952381 markings, 4329567 edges, 84169 markings/sec, 5 secs
lola: 1060917 markings, 7165666 edges, 21707 markings/sec, 10 secs
lola: 1522811 markings, 9149184 edges, 92379 markings/sec, 15 secs
lola: 1669904 markings, 11583643 edges, 29419 markings/sec, 20 secs
lola: 1988971 markings, 14009183 edges, 63813 markings/sec, 25 secs
lola: 2340138 markings, 16128252 edges, 70233 markings/sec, 30 secs
lola: 2461861 markings, 18752242 edges, 24345 markings/sec, 35 secs
lola: 2794960 markings, 21141260 edges, 66620 markings/sec, 40 secs
lola: 3179353 markings, 23193826 edges, 76879 markings/sec, 45 secs
lola: 3248113 markings, 25847115 edges, 13752 markings/sec, 50 secs
lola: 3574361 markings, 27996627 edges, 65250 markings/sec, 55 secs
lola: 4123550 markings, 29945005 edges, 109838 markings/sec, 60 secs
lola: 4537237 markings, 31942669 edges, 82737 markings/sec, 65 secs
lola: 5035325 markings, 33554725 edges, 99618 markings/sec, 70 secs
lola: 5494060 markings, 35171273 edges, 91747 markings/sec, 75 secs
lola: 5937184 markings, 36777898 edges, 88625 markings/sec, 80 secs
lola: 6365269 markings, 38412776 edges, 85617 markings/sec, 85 secs
lola: 6780218 markings, 40011502 edges, 82990 markings/sec, 90 secs
lola: 7176317 markings, 41598785 edges, 79220 markings/sec, 95 secs
lola: 7501605 markings, 43024859 edges, 65058 markings/sec, 100 secs
lola: 7863203 markings, 44623789 edges, 72320 markings/sec, 105 secs
lola: 8204578 markings, 46243389 edges, 68275 markings/sec, 110 secs
lola: 8529360 markings, 47885724 edges, 64956 markings/sec, 115 secs
lola: 8824516 markings, 49533905 edges, 59031 markings/sec, 120 secs
lola: 9110951 markings, 51234967 edges, 57287 markings/sec, 125 secs
lola: 9385884 markings, 53063606 edges, 54987 markings/sec, 130 secs
lola: 9647956 markings, 54936408 edges, 52414 markings/sec, 135 secs
lola: 9743320 markings, 56754443 edges, 19073 markings/sec, 140 secs
lola: 9747933 markings, 58893476 edges, 923 markings/sec, 145 secs
lola: 9748857 markings, 60847342 edges, 185 markings/sec, 150 secs
lola: 9749361 markings, 62837357 edges, 101 markings/sec, 155 secs
lola: 9750055 markings, 64951896 edges, 139 markings/sec, 160 secs
lola: 9751226 markings, 67088018 edges, 234 markings/sec, 165 secs
lola: 9752351 markings, 69195931 edges, 225 markings/sec, 170 secs
lola: 9754812 markings, 71276547 edges, 492 markings/sec, 175 secs
lola: 9756689 markings, 73184326 edges, 375 markings/sec, 180 secs
lola: 9758562 markings, 75320045 edges, 375 markings/sec, 185 secs
lola: 9760255 markings, 77442665 edges, 339 markings/sec, 190 secs
lola: 9761870 markings, 79578419 edges, 323 markings/sec, 195 secs
lola: 9763120 markings, 81733301 edges, 250 markings/sec, 200 secs
lola: 9764228 markings, 83878407 edges, 222 markings/sec, 205 secs
lola: 9765141 markings, 86032779 edges, 183 markings/sec, 210 secs
lola: 9765760 markings, 88195617 edges, 124 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(pbl_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 487567 markings, 3066108 edges, 97513 markings/sec, 0 secs
lola: 915062 markings, 5880435 edges, 85499 markings/sec, 5 secs
lola: 1278711 markings, 8874707 edges, 72730 markings/sec, 10 secs
lola: 1630164 markings, 11346559 edges, 70291 markings/sec, 15 secs
lola: 2205283 markings, 13129949 edges, 115024 markings/sec, 20 secs
lola: 2722193 markings, 14879812 edges, 103382 markings/sec, 25 secs
lola: 3205483 markings, 16818886 edges, 96658 markings/sec, 30 secs
lola: 3395326 markings, 19310288 edges, 37969 markings/sec, 35 secs
lola: 3408269 markings, 22182241 edges, 2589 markings/sec, 40 secs
lola: 3417388 markings, 25213250 edges, 1824 markings/sec, 45 secs
lola: 3489638 markings, 28569701 edges, 14450 markings/sec, 50 secs
lola: 3921620 markings, 31181976 edges, 86396 markings/sec, 55 secs
lola: 4265908 markings, 33876887 edges, 68858 markings/sec, 60 secs
lola: 4599235 markings, 36434664 edges, 66665 markings/sec, 65 secs
lola: 5045586 markings, 38422553 edges, 89270 markings/sec, 70 secs
lola: 5628018 markings, 39971420 edges, 116486 markings/sec, 75 secs
lola: 6098393 markings, 41853095 edges, 94075 markings/sec, 80 secs
lola: 6479675 markings, 43860825 edges, 76256 markings/sec, 85 secs
lola: 6492895 markings, 46586130 edges, 2644 markings/sec, 90 secs
lola: 6503390 markings, 49370806 edges, 2099 markings/sec, 95 secs
lola: 6510803 markings, 52411257 edges, 1483 markings/sec, 100 secs
lola: 6791142 markings, 55166040 edges, 56068 markings/sec, 105 secs
lola: 7052525 markings, 57691261 edges, 52277 markings/sec, 110 secs
lola: 7421350 markings, 60205895 edges, 73765 markings/sec, 115 secs
lola: 7917260 markings, 62274256 edges, 99182 markings/sec, 120 secs
lola: 8481507 markings, 63848064 edges, 112849 markings/sec, 125 secs
lola: 8925873 markings, 65690502 edges, 88873 markings/sec, 130 secs
lola: 9265550 markings, 67780572 edges, 67935 markings/sec, 135 secs
lola: 9280165 markings, 70535419 edges, 2923 markings/sec, 140 secs
lola: 9290089 markings, 73274995 edges, 1985 markings/sec, 145 secs
lola: 9296857 markings, 76241988 edges, 1354 markings/sec, 150 secs
lola: 9554800 markings, 78933527 edges, 51589 markings/sec, 155 secs
lola: 9795215 markings, 81407471 edges, 48083 markings/sec, 160 secs
lola: 10306378 markings, 83628709 edges, 102233 markings/sec, 165 secs
lola: 10888039 markings, 85149556 edges, 116332 markings/sec, 170 secs
lola: 11363575 markings, 87014684 edges, 95107 markings/sec, 175 secs
lola: 11769596 markings, 89022935 edges, 81204 markings/sec, 180 secs
lola: 11782842 markings, 91813599 edges, 2649 markings/sec, 185 secs
lola: 11793510 markings, 94638994 edges, 2134 markings/sec, 190 secs
lola: 11800873 markings, 97658124 edges, 1473 markings/sec, 195 secs
lola: 12020372 markings, 100089935 edges, 43900 markings/sec, 200 secs
lola: 12257453 markings, 102320490 edges, 47416 markings/sec, 205 secs
lola: 12804725 markings, 103860907 edges, 109454 markings/sec, 210 secs
lola: 13276699 markings, 105400481 edges, 94395 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(pb4_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 768047 markings, 2356962 edges, 153609 markings/sec, 0 secs
lola: 1046853 markings, 4599119 edges, 55761 markings/sec, 5 secs
lola: 1493641 markings, 6925821 edges, 89358 markings/sec, 10 secs
lola: 1793276 markings, 8981518 edges, 59927 markings/sec, 15 secs
lola: 2212045 markings, 11355543 edges, 83754 markings/sec, 20 secs
lola: 2513953 markings, 13471585 edges, 60382 markings/sec, 25 secs
lola: 2922889 markings, 15681953 edges, 81787 markings/sec, 30 secs
lola: 3170480 markings, 18103160 edges, 49518 markings/sec, 35 secs
lola: 3679557 markings, 20131897 edges, 101815 markings/sec, 40 secs
lola: 3838058 markings, 22552908 edges, 31700 markings/sec, 45 secs
lola: 4350382 markings, 24341962 edges, 102465 markings/sec, 50 secs
lola: 4572792 markings, 26477519 edges, 44482 markings/sec, 55 secs
lola: 5225471 markings, 28004078 edges, 130536 markings/sec, 60 secs
lola: 5817535 markings, 29545534 edges, 118413 markings/sec, 65 secs
lola: 6368076 markings, 31083389 edges, 110108 markings/sec, 70 secs
lola: 6874392 markings, 32587147 edges, 101263 markings/sec, 75 secs
lola: 7345918 markings, 34082986 edges, 94305 markings/sec, 80 secs
lola: 7796137 markings, 35573739 edges, 90044 markings/sec, 85 secs
lola: 8248415 markings, 37175304 edges, 90456 markings/sec, 90 secs
lola: 8681028 markings, 38754998 edges, 86523 markings/sec, 95 secs
lola: 9103197 markings, 40368632 edges, 84434 markings/sec, 100 secs
lola: 9491544 markings, 42052760 edges, 77669 markings/sec, 105 secs
lola: 9874103 markings, 43845683 edges, 76512 markings/sec, 110 secs
lola: 10231522 markings, 45663344 edges, 71484 markings/sec, 115 secs
lola: 10265659 markings, 47697522 edges, 6827 markings/sec, 120 secs
lola: 10277227 markings, 49423934 edges, 2314 markings/sec, 125 secs
lola: 10284710 markings, 51132684 edges, 1497 markings/sec, 130 secs
lola: 10292283 markings, 53224341 edges, 1515 markings/sec, 135 secs
lola: 10299454 markings, 55275210 edges, 1434 markings/sec, 140 secs
lola: 10307490 markings, 57279480 edges, 1607 markings/sec, 145 secs
lola: 10317994 markings, 59266589 edges, 2101 markings/sec, 150 secs
lola: 10324698 markings, 60905374 edges, 1341 markings/sec, 155 secs
lola: 10331703 markings, 62704304 edges, 1401 markings/sec, 160 secs
lola: 10344493 markings, 64802314 edges, 2558 markings/sec, 165 secs
lola: 10353393 markings, 66698625 edges, 1780 markings/sec, 170 secs
lola: 10357155 markings, 68530136 edges, 752 markings/sec, 175 secs
lola: 10580873 markings, 70758361 edges, 44744 markings/sec, 180 secs
lola: 11082882 markings, 72460699 edges, 100402 markings/sec, 185 secs
lola: 11131517 markings, 74384193 edges, 9727 markings/sec, 190 secs
lola: 11675347 markings, 76348399 edges, 108766 markings/sec, 195 secs
lola: 11825461 markings, 78525631 edges, 30023 markings/sec, 200 secs
lola: 12328596 markings, 80495604 edges, 100627 markings/sec, 205 secs
lola: 12480666 markings, 82826639 edges, 30414 markings/sec, 210 secs
lola: 12994673 markings, 84630895 edges, 102801 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(pb5_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 1247233 markings, 1946686 edges, 249447 markings/sec, 0 secs
lola: 2123977 markings, 4048878 edges, 175349 markings/sec, 5 secs
lola: 2967357 markings, 5979990 edges, 168676 markings/sec, 10 secs
lola: 4066739 markings, 7745985 edges, 219876 markings/sec, 15 secs
lola: 4852319 markings, 9636655 edges, 157116 markings/sec, 20 secs
lola: 5634385 markings, 11546722 edges, 156413 markings/sec, 25 secs
lola: 6596560 markings, 13672820 edges, 192435 markings/sec, 30 secs
lola: 7394708 markings, 15537797 edges, 159630 markings/sec, 35 secs
lola: 8384930 markings, 16836151 edges, 198044 markings/sec, 40 secs
lola: 9495590 markings, 18431314 edges, 222132 markings/sec, 45 secs
lola: 10610633 markings, 20065166 edges, 223009 markings/sec, 50 secs
lola: 11679283 markings, 21697209 edges, 213730 markings/sec, 55 secs
lola: 12738091 markings, 23375551 edges, 211762 markings/sec, 60 secs
lola: 13792477 markings, 25057412 edges, 210877 markings/sec, 65 secs
lola: 14865116 markings, 26752736 edges, 214528 markings/sec, 70 secs
lola: 14984207 markings, 28939537 edges, 23818 markings/sec, 75 secs
lola: 15162063 markings, 30775654 edges, 35571 markings/sec, 80 secs
lola: 15179917 markings, 32790038 edges, 3571 markings/sec, 85 secs
lola: 15610922 markings, 35165120 edges, 86201 markings/sec, 90 secs
lola: 16605431 markings, 37051967 edges, 198902 markings/sec, 95 secs
lola: 17737155 markings, 39009765 edges, 226345 markings/sec, 100 secs
lola: 18747137 markings, 41104176 edges, 201996 markings/sec, 105 secs
lola: 19749273 markings, 43193283 edges, 200427 markings/sec, 110 secs
lola: 20530201 markings, 44936763 edges, 156186 markings/sec, 115 secs
lola: 21396989 markings, 46707494 edges, 173358 markings/sec, 120 secs
lola: 22587599 markings, 48354255 edges, 238122 markings/sec, 125 secs
lola: 23754768 markings, 50070341 edges, 233434 markings/sec, 130 secs
lola: 24794859 markings, 51613540 edges, 208018 markings/sec, 135 secs
lola: 25884198 markings, 53279759 edges, 217868 markings/sec, 140 secs
lola: 26992613 markings, 54922597 edges, 221683 markings/sec, 145 secs
lola: 28099877 markings, 56596106 edges, 221453 markings/sec, 150 secs
lola: 28633560 markings, 58716427 edges, 106737 markings/sec, 155 secs
lola: 28654162 markings, 60870092 edges, 4120 markings/sec, 160 secs
lola: 28686642 markings, 63160317 edges, 6496 markings/sec, 165 secs
lola: 29696954 markings, 65018604 edges, 202062 markings/sec, 170 secs
lola: 30442082 markings, 66906658 edges, 149026 markings/sec, 175 secs
lola: 31397666 markings, 68456429 edges, 191117 markings/sec, 180 secs
lola: 32160284 markings, 70304881 edges, 152524 markings/sec, 185 secs
lola: 32997455 markings, 72307870 edges, 167434 markings/sec, 190 secs
lola: 33813739 markings, 74235436 edges, 163257 markings/sec, 195 secs
lola: 34572528 markings, 76050046 edges, 151758 markings/sec, 200 secs
lola: 35725477 markings, 77621464 edges, 230590 markings/sec, 205 secs
lola: 36776472 markings, 79238837 edges, 210199 markings/sec, 210 secs
lola: 37828702 markings, 80796146 edges, 210446 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(pb3_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 615033 markings, 3062200 edges, 123007 markings/sec, 0 secs
lola: 1149616 markings, 5644795 edges, 106917 markings/sec, 5 secs
lola: 1548932 markings, 8315478 edges, 79863 markings/sec, 10 secs
lola: 2067017 markings, 10839309 edges, 103617 markings/sec, 15 secs
lola: 2421107 markings, 13523359 edges, 70818 markings/sec, 20 secs
lola: 2880489 markings, 16094242 edges, 91876 markings/sec, 25 secs
lola: 3567903 markings, 18318930 edges, 137483 markings/sec, 30 secs
lola: 3895182 markings, 20581068 edges, 65456 markings/sec, 35 secs
lola: 4174632 markings, 23295890 edges, 55890 markings/sec, 40 secs
lola: 4694940 markings, 25776485 edges, 104062 markings/sec, 45 secs
lola: 5007682 markings, 28340235 edges, 62548 markings/sec, 50 secs
lola: 5429499 markings, 30646937 edges, 84363 markings/sec, 55 secs
lola: 6063975 markings, 32762607 edges, 126895 markings/sec, 60 secs
lola: 6481205 markings, 35119963 edges, 83446 markings/sec, 65 secs
lola: 6688233 markings, 37721708 edges, 41406 markings/sec, 70 secs
lola: 7110137 markings, 40030638 edges, 84381 markings/sec, 75 secs
lola: 7700465 markings, 42232562 edges, 118066 markings/sec, 80 secs
lola: 8161741 markings, 44558163 edges, 92255 markings/sec, 85 secs
lola: 8393990 markings, 47076801 edges, 46450 markings/sec, 90 secs
lola: 9071909 markings, 49179795 edges, 135584 markings/sec, 95 secs
lola: 9696803 markings, 51324606 edges, 124979 markings/sec, 100 secs
lola: 10243915 markings, 53409472 edges, 109422 markings/sec, 105 secs
lola: 10517334 markings, 55733967 edges, 54684 markings/sec, 110 secs
lola: 10519981 markings, 58149260 edges, 529 markings/sec, 115 secs
lola: 10731650 markings, 60835475 edges, 42334 markings/sec, 120 secs
lola: 11215177 markings, 63242731 edges, 96705 markings/sec, 125 secs
lola: 11585641 markings, 65668739 edges, 74093 markings/sec, 130 secs
lola: 12054651 markings, 68154565 edges, 93802 markings/sec, 135 secs
lola: 12636715 markings, 70424563 edges, 116413 markings/sec, 140 secs
lola: 13106220 markings, 72724170 edges, 93901 markings/sec, 145 secs
lola: 13257017 markings, 75261207 edges, 30159 markings/sec, 150 secs
lola: 13735042 markings, 77453693 edges, 95605 markings/sec, 155 secs
lola: 14180328 markings, 79587074 edges, 89057 markings/sec, 160 secs
lola: 14736692 markings, 81699128 edges, 111273 markings/sec, 165 secs
lola: 14788196 markings, 84239220 edges, 10301 markings/sec, 170 secs
lola: 15469174 markings, 86300100 edges, 136196 markings/sec, 175 secs
lola: 16076799 markings, 88311442 edges, 121525 markings/sec, 180 secs
lola: 16646488 markings, 90389970 edges, 113938 markings/sec, 185 secs
lola: 17140686 markings, 92541294 edges, 98840 markings/sec, 190 secs
lola: 17144486 markings, 94954700 edges, 760 markings/sec, 195 secs
lola: 17145610 markings, 97075033 edges, 225 markings/sec, 200 secs
lola: 17467158 markings, 99223907 edges, 64310 markings/sec, 205 secs
lola: 17774181 markings, 101298845 edges, 61405 markings/sec, 210 secs
lola: 18412953 markings, 103323314 edges, 127754 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(pil2_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 607412 markings, 3387327 edges, 121482 markings/sec, 0 secs
lola: 1163143 markings, 6702497 edges, 111146 markings/sec, 5 secs
lola: 1667485 markings, 9907821 edges, 100868 markings/sec, 10 secs
lola: 2138739 markings, 12600149 edges, 94251 markings/sec, 15 secs
lola: 2532674 markings, 15714007 edges, 78787 markings/sec, 20 secs
lola: 2999405 markings, 18473051 edges, 93346 markings/sec, 25 secs
lola: 3446366 markings, 21326751 edges, 89392 markings/sec, 30 secs
lola: 3718901 markings, 24033961 edges, 54507 markings/sec, 35 secs
lola: 4202175 markings, 27189717 edges, 96655 markings/sec, 40 secs
lola: 4625319 markings, 30069852 edges, 84629 markings/sec, 45 secs
lola: 5219257 markings, 32762773 edges, 118788 markings/sec, 50 secs
lola: 5539297 markings, 35596389 edges, 64008 markings/sec, 55 secs
lola: 6083989 markings, 38133743 edges, 108938 markings/sec, 60 secs
lola: 6260048 markings, 41320121 edges, 35212 markings/sec, 65 secs
lola: 6639938 markings, 44443474 edges, 75978 markings/sec, 70 secs
lola: 6981869 markings, 47527820 edges, 68386 markings/sec, 75 secs
lola: 7414675 markings, 50445191 edges, 86561 markings/sec, 80 secs
lola: 7830853 markings, 53403917 edges, 83236 markings/sec, 85 secs
lola: 8035464 markings, 56410074 edges, 40922 markings/sec, 90 secs
lola: 8436101 markings, 59037808 edges, 80127 markings/sec, 95 secs
lola: 8838664 markings, 61804682 edges, 80513 markings/sec, 100 secs
lola: 9050933 markings, 64738415 edges, 42454 markings/sec, 105 secs
lola: 9604041 markings, 67495742 edges, 110622 markings/sec, 110 secs
lola: 9766808 markings, 70333732 edges, 32553 markings/sec, 115 secs
lola: 10217289 markings, 73585427 edges, 90096 markings/sec, 120 secs
lola: 10696520 markings, 76768840 edges, 95846 markings/sec, 125 secs
lola: 11239727 markings, 79740957 edges, 108641 markings/sec, 130 secs
lola: 11630880 markings, 82862128 edges, 78231 markings/sec, 135 secs
lola: 12138099 markings, 85751342 edges, 101444 markings/sec, 140 secs
lola: 12591378 markings, 88633340 edges, 90656 markings/sec, 145 secs
lola: 12928431 markings, 91257531 edges, 67411 markings/sec, 150 secs
lola: 13362287 markings, 94425755 edges, 86771 markings/sec, 155 secs
lola: 13790441 markings, 97236937 edges, 85631 markings/sec, 160 secs
lola: 14215221 markings, 100246916 edges, 84956 markings/sec, 165 secs
lola: 14546101 markings, 103181998 edges, 66176 markings/sec, 170 secs
lola: 15124341 markings, 106180558 edges, 115648 markings/sec, 175 secs
lola: 15609001 markings, 108697643 edges, 96932 markings/sec, 180 secs
lola: 15868826 markings, 111260561 edges, 51965 markings/sec, 185 secs
lola: 15967859 markings, 114377228 edges, 19807 markings/sec, 190 secs
lola: 16474497 markings, 117083505 edges, 101328 markings/sec, 195 secs
lola: 16774041 markings, 120040253 edges, 59909 markings/sec, 200 secs
lola: 17301313 markings, 122940518 edges, 105454 markings/sec, 205 secs
lola: 17775682 markings, 125194007 edges, 94874 markings/sec, 210 secs
lola: 17968550 markings, 127797245 edges, 38574 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(pil4_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 661762 markings, 2386478 edges, 132352 markings/sec, 0 secs
lola: 864994 markings, 4926782 edges, 40646 markings/sec, 5 secs
lola: 1486785 markings, 7093146 edges, 124358 markings/sec, 10 secs
lola: 1704330 markings, 9769597 edges, 43509 markings/sec, 15 secs
lola: 2232059 markings, 11708466 edges, 105546 markings/sec, 20 secs
lola: 2539579 markings, 14134034 edges, 61504 markings/sec, 25 secs
lola: 2887401 markings, 16402447 edges, 69564 markings/sec, 30 secs
lola: 3379826 markings, 18532383 edges, 98485 markings/sec, 35 secs
lola: 3609993 markings, 21054674 edges, 46033 markings/sec, 40 secs
lola: 4066695 markings, 23056349 edges, 91340 markings/sec, 45 secs
lola: 4560594 markings, 25071056 edges, 98780 markings/sec, 50 secs
lola: 5327539 markings, 26641765 edges, 153389 markings/sec, 55 secs
lola: 6009465 markings, 28213541 edges, 136385 markings/sec, 60 secs
lola: 6638100 markings, 29841099 edges, 125727 markings/sec, 65 secs
lola: 7237507 markings, 31478411 edges, 119881 markings/sec, 70 secs
lola: 7788098 markings, 33162433 edges, 110118 markings/sec, 75 secs
lola: 8298284 markings, 34848910 edges, 102037 markings/sec, 80 secs
lola: 8782010 markings, 36578323 edges, 96745 markings/sec, 85 secs
lola: 9227580 markings, 38327854 edges, 89114 markings/sec, 90 secs
lola: 9607677 markings, 40131364 edges, 76019 markings/sec, 95 secs
lola: 9945243 markings, 42130029 edges, 67513 markings/sec, 100 secs
lola: 9953893 markings, 44414573 edges, 1730 markings/sec, 105 secs
lola: 9959263 markings, 46588905 edges, 1074 markings/sec, 110 secs
lola: 9965458 markings, 48741671 edges, 1239 markings/sec, 115 secs
lola: 9972214 markings, 51000382 edges, 1351 markings/sec, 120 secs
lola: 9982339 markings, 53141726 edges, 2025 markings/sec, 125 secs
lola: 9995546 markings, 55433547 edges, 2641 markings/sec, 130 secs
lola: 10011045 markings, 57794180 edges, 3100 markings/sec, 135 secs
lola: 10031590 markings, 60242857 edges, 4109 markings/sec, 140 secs
lola: 10048019 markings, 62845462 edges, 3286 markings/sec, 145 secs
lola: 10371784 markings, 65386809 edges, 64753 markings/sec, 150 secs
lola: 10792276 markings, 67336888 edges, 84098 markings/sec, 155 secs
lola: 11140163 markings, 69681471 edges, 69577 markings/sec, 160 secs
lola: 11490432 markings, 71690584 edges, 70054 markings/sec, 165 secs
lola: 11869520 markings, 73790132 edges, 75818 markings/sec, 170 secs
lola: 12143605 markings, 75735275 edges, 54817 markings/sec, 175 secs
lola: 12569563 markings, 77751188 edges, 85192 markings/sec, 180 secs
lola: 12758627 markings, 80070218 edges, 37813 markings/sec, 185 secs
lola: 13296644 markings, 81869371 edges, 107603 markings/sec, 190 secs
lola: 13551040 markings, 84034401 edges, 50879 markings/sec, 195 secs
lola: 14299812 markings, 85496020 edges, 149754 markings/sec, 200 secs
lola: 14986182 markings, 87001426 edges, 137274 markings/sec, 205 secs
lola: 15617036 markings, 88558625 edges, 126171 markings/sec, 210 secs
lola: 16194880 markings, 90100913 edges, 115569 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(pi3_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 568522 markings, 3402491 edges, 113704 markings/sec, 0 secs
lola: 1148450 markings, 6872843 edges, 115986 markings/sec, 5 secs
lola: 1706608 markings, 10297425 edges, 111632 markings/sec, 10 secs
lola: 2328460 markings, 12749608 edges, 124370 markings/sec, 15 secs
lola: 2573180 markings, 15702982 edges, 48944 markings/sec, 20 secs
lola: 3138553 markings, 17839166 edges, 113075 markings/sec, 25 secs
lola: 3316587 markings, 20513647 edges, 35607 markings/sec, 30 secs
lola: 3833743 markings, 22366798 edges, 103431 markings/sec, 35 secs
lola: 4004923 markings, 24970640 edges, 34236 markings/sec, 40 secs
lola: 4523558 markings, 26881289 edges, 103727 markings/sec, 45 secs
lola: 4666918 markings, 29235933 edges, 28672 markings/sec, 50 secs
lola: 5142486 markings, 31346944 edges, 95114 markings/sec, 55 secs
lola: 5480636 markings, 33740590 edges, 67630 markings/sec, 60 secs
lola: 5713306 markings, 35975731 edges, 46534 markings/sec, 65 secs
lola: 6272889 markings, 38057051 edges, 111917 markings/sec, 70 secs
lola: 6953151 markings, 39771837 edges, 136052 markings/sec, 75 secs
lola: 7589338 markings, 41437544 edges, 127237 markings/sec, 80 secs
lola: 8184806 markings, 43110844 edges, 119094 markings/sec, 85 secs
lola: 8718412 markings, 44825488 edges, 106721 markings/sec, 90 secs
lola: 9220908 markings, 46546838 edges, 100499 markings/sec, 95 secs
lola: 9674383 markings, 48268471 edges, 90695 markings/sec, 100 secs
lola: 10107999 markings, 50027468 edges, 86723 markings/sec, 105 secs
lola: 10495709 markings, 51689791 edges, 77542 markings/sec, 110 secs
lola: 10867817 markings, 53479807 edges, 74422 markings/sec, 115 secs
lola: 11248788 markings, 55391747 edges, 76194 markings/sec, 120 secs
lola: 11569031 markings, 57193921 edges, 64049 markings/sec, 125 secs
lola: 11645001 markings, 59455190 edges, 15194 markings/sec, 130 secs
lola: 11650390 markings, 61765394 edges, 1078 markings/sec, 135 secs
lola: 11653934 markings, 63948807 edges, 709 markings/sec, 140 secs
lola: 11657095 markings, 66261638 edges, 632 markings/sec, 145 secs
lola: 11660926 markings, 68458126 edges, 766 markings/sec, 150 secs
lola: 11666007 markings, 70796478 edges, 1016 markings/sec, 155 secs
lola: 11672749 markings, 73183012 edges, 1348 markings/sec, 160 secs
lola: 11680375 markings, 75647089 edges, 1525 markings/sec, 165 secs
lola: 11686735 markings, 78128601 edges, 1272 markings/sec, 170 secs
lola: 11692942 markings, 80798649 edges, 1241 markings/sec, 175 secs
lola: 12096199 markings, 83419406 edges, 80651 markings/sec, 180 secs
lola: 12437795 markings, 85615218 edges, 68319 markings/sec, 185 secs
lola: 12849698 markings, 88120189 edges, 82381 markings/sec, 190 secs
lola: 13135414 markings, 90216028 edges, 57143 markings/sec, 195 secs
lola: 13521375 markings, 92470133 edges, 77192 markings/sec, 200 secs
lola: 13788377 markings, 94582679 edges, 53400 markings/sec, 205 secs
lola: 14170745 markings, 96673238 edges, 76474 markings/sec, 210 secs
lola: 14403713 markings, 98885453 edges, 46594 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(pol5_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 404 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: 1336844 markings, 1814491 edges, 267369 markings/sec, 0 secs
lola: 2602069 markings, 3652847 edges, 253045 markings/sec, 5 secs
lola: 3707905 markings, 5195792 edges, 221167 markings/sec, 10 secs
lola: 4951519 markings, 7029295 edges, 248723 markings/sec, 15 secs
lola: 6237111 markings, 9024087 edges, 257118 markings/sec, 20 secs
lola: 7465453 markings, 10967794 edges, 245668 markings/sec, 25 secs
lola: 8623988 markings, 12686535 edges, 231707 markings/sec, 30 secs
lola: 9778722 markings, 14434721 edges, 230947 markings/sec, 35 secs
lola: 10965366 markings, 16232452 edges, 237329 markings/sec, 40 secs
lola: 12107654 markings, 17941650 edges, 228458 markings/sec, 45 secs
lola: 13199806 markings, 19620310 edges, 218430 markings/sec, 50 secs
lola: 14333827 markings, 21252894 edges, 226804 markings/sec, 55 secs
lola: 15471821 markings, 23008648 edges, 227599 markings/sec, 60 secs
lola: 16579249 markings, 24714438 edges, 221486 markings/sec, 65 secs
lola: 17682336 markings, 26321954 edges, 220617 markings/sec, 70 secs
lola: 18826865 markings, 28089668 edges, 228906 markings/sec, 75 secs
lola: 19947124 markings, 29742257 edges, 224052 markings/sec, 80 secs
lola: 21038962 markings, 31417010 edges, 218368 markings/sec, 85 secs
lola: 22114491 markings, 32975979 edges, 215106 markings/sec, 90 secs
lola: 23239703 markings, 34709239 edges, 225042 markings/sec, 95 secs
lola: 24342682 markings, 36411484 edges, 220596 markings/sec, 100 secs
lola: 25449262 markings, 38015610 edges, 221316 markings/sec, 105 secs
lola: 26533337 markings, 39703018 edges, 216815 markings/sec, 110 secs
lola: 27631352 markings, 41315255 edges, 219603 markings/sec, 115 secs
lola: 28715070 markings, 42983652 edges, 216744 markings/sec, 120 secs
lola: 29808880 markings, 44555033 edges, 218762 markings/sec, 125 secs
lola: 30917562 markings, 46265118 edges, 221736 markings/sec, 130 secs
lola: 32004486 markings, 47918000 edges, 217385 markings/sec, 135 secs
lola: 33077430 markings, 49525549 edges, 214589 markings/sec, 140 secs
lola: 34174809 markings, 51177920 edges, 219476 markings/sec, 145 secs
lola: 35281997 markings, 52836307 edges, 221438 markings/sec, 150 secs
lola: 36381155 markings, 54537224 edges, 219832 markings/sec, 155 secs
lola: 37486681 markings, 56102802 edges, 221105 markings/sec, 160 secs
lola: 38616175 markings, 57854936 edges, 225899 markings/sec, 165 secs
lola: 39723052 markings, 59537148 edges, 221375 markings/sec, 170 secs
lola: 40796125 markings, 61148437 edges, 214615 markings/sec, 175 secs
lola: 41919709 markings, 62842587 edges, 224717 markings/sec, 180 secs
lola: 43018805 markings, 64486081 edges, 219819 markings/sec, 185 secs
lola: 44095794 markings, 66160547 edges, 215398 markings/sec, 190 secs
lola: 45173880 markings, 67683076 edges, 215617 markings/sec, 195 secs
lola: 46202178 markings, 69298934 edges, 205660 markings/sec, 200 secs
lola: 47299944 markings, 70931992 edges, 219553 markings/sec, 205 secs
lola: 48367947 markings, 72535760 edges, 213601 markings/sec, 210 secs
lola: 49448869 markings, 74165894 edges, 216184 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
FORMULA HexagonalGrid-PT-226-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-226-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496505690998
--------------------
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="HexagonalGrid-PT-226"
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/HexagonalGrid-PT-226.tgz
mv HexagonalGrid-PT-226 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 HexagonalGrid-PT-226, 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 r188-blw3-149581034500200"
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 ;