Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is CloudDeployment-PT-6a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436308800038
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494614081460


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ CloudDeployment-PT-6a @ 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: 1129/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 221 places, 908 transitions, 185 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 797 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-6a-UpperBounds.task
lola: MAX(p85) : MAX(p211) : MAX(p174) : MAX(p11) : MAX(p36) : MAX(p4) : MAX(p60) : MAX(p7) : MAX(p153) : MAX(p194) : MAX(p35) : MAX(p23) : MAX(p3) : MAX(p182) : MAX(p85) : MAX(p45)
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(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 37502 markings, 2199110 edges, 7500 markings/sec, 0 secs
lola: 76693 markings, 4492178 edges, 7838 markings/sec, 5 secs
lola: 117885 markings, 6751721 edges, 8238 markings/sec, 10 secs
lola: 157740 markings, 8796384 edges, 7971 markings/sec, 15 secs
lola: 191452 markings, 10934374 edges, 6742 markings/sec, 20 secs
lola: 208838 markings, 13259276 edges, 3477 markings/sec, 25 secs
lola: 224621 markings, 15574237 edges, 3157 markings/sec, 30 secs
lola: 237704 markings, 18006610 edges, 2617 markings/sec, 35 secs
lola: 253322 markings, 21143661 edges, 3124 markings/sec, 40 secs
lola: 283203 markings, 23526040 edges, 5976 markings/sec, 45 secs
lola: 317819 markings, 25786588 edges, 6923 markings/sec, 50 secs
lola: 365052 markings, 27798228 edges, 9447 markings/sec, 55 secs
lola: 401957 markings, 29922860 edges, 7381 markings/sec, 60 secs
lola: 436205 markings, 32009384 edges, 6850 markings/sec, 65 secs
lola: 456262 markings, 34286975 edges, 4011 markings/sec, 70 secs
lola: 471299 markings, 36620265 edges, 3007 markings/sec, 75 secs
lola: 486387 markings, 38940014 edges, 3018 markings/sec, 80 secs
lola: 499285 markings, 41780931 edges, 2580 markings/sec, 85 secs
lola: 536291 markings, 44269175 edges, 7401 markings/sec, 90 secs
lola: 570188 markings, 46393559 edges, 6779 markings/sec, 95 secs
lola: 599686 markings, 48571796 edges, 5900 markings/sec, 100 secs
lola: 633544 markings, 50627724 edges, 6772 markings/sec, 105 secs
lola: 675715 markings, 52486884 edges, 8434 markings/sec, 110 secs
lola: 703461 markings, 54537340 edges, 5549 markings/sec, 115 secs
lola: 719418 markings, 56674304 edges, 3191 markings/sec, 120 secs
lola: 733818 markings, 58874143 edges, 2880 markings/sec, 125 secs
lola: 747079 markings, 61124497 edges, 2652 markings/sec, 130 secs
lola: 758705 markings, 63973473 edges, 2325 markings/sec, 135 secs
lola: 799373 markings, 66256031 edges, 8134 markings/sec, 140 secs
lola: 859637 markings, 67949374 edges, 12053 markings/sec, 145 secs
lola: 901682 markings, 70146430 edges, 8409 markings/sec, 150 secs
lola: 946860 markings, 72059697 edges, 9036 markings/sec, 155 secs
lola: 980959 markings, 74150880 edges, 6820 markings/sec, 160 secs
lola: 999704 markings, 76406617 edges, 3749 markings/sec, 165 secs
lola: 1016174 markings, 78693663 edges, 3294 markings/sec, 170 secs
lola: 1030667 markings, 81073791 edges, 2899 markings/sec, 175 secs
lola: 1042398 markings, 84192199 edges, 2346 markings/sec, 180 secs
lola: 1085351 markings, 86480429 edges, 8591 markings/sec, 185 secs
lola: 1141713 markings, 88199682 edges, 11272 markings/sec, 190 secs
lola: 1227438 markings, 90146162 edges, 17145 markings/sec, 195 secs
lola: 1278040 markings, 92220482 edges, 10120 markings/sec, 200 secs
lola: 1305252 markings, 94394059 edges, 5442 markings/sec, 205 secs
lola: 1339409 markings, 96458043 edges, 6831 markings/sec, 210 secs
lola: 1379697 markings, 98387740 edges, 8058 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(p211)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 131338 markings, 2167515 edges, 26268 markings/sec, 0 secs
lola: 251844 markings, 4257230 edges, 24101 markings/sec, 5 secs
lola: 374496 markings, 6337821 edges, 24530 markings/sec, 10 secs
lola: 496217 markings, 8402516 edges, 24344 markings/sec, 15 secs
lola: 616617 markings, 10443180 edges, 24080 markings/sec, 20 secs
lola: 736417 markings, 12476738 edges, 23960 markings/sec, 25 secs
lola: 838188 markings, 14459793 edges, 20354 markings/sec, 30 secs
lola: 935147 markings, 16439963 edges, 19392 markings/sec, 35 secs
lola: 1031802 markings, 18415592 edges, 19331 markings/sec, 40 secs
lola: 1127636 markings, 20372828 edges, 19167 markings/sec, 45 secs
lola: 1220572 markings, 22270475 edges, 18587 markings/sec, 50 secs
lola: 1314667 markings, 24196833 edges, 18819 markings/sec, 55 secs
lola: 1407544 markings, 26106466 edges, 18575 markings/sec, 60 secs
lola: 1499199 markings, 28019961 edges, 18331 markings/sec, 65 secs
lola: 1589911 markings, 29907120 edges, 18142 markings/sec, 70 secs
lola: 1679379 markings, 31799131 edges, 17894 markings/sec, 75 secs
lola: 1770584 markings, 33711237 edges, 18241 markings/sec, 80 secs
lola: 1860460 markings, 35594172 edges, 17975 markings/sec, 85 secs
lola: 1949959 markings, 37468531 edges, 17900 markings/sec, 90 secs
lola: 2042146 markings, 39236894 edges, 18437 markings/sec, 95 secs
lola: 2130635 markings, 40953427 edges, 17698 markings/sec, 100 secs
lola: 2200833 markings, 43138421 edges, 14040 markings/sec, 105 secs
lola: 2251029 markings, 45320982 edges, 10039 markings/sec, 110 secs
lola: 2279162 markings, 47204835 edges, 5627 markings/sec, 115 secs
lola: 2327781 markings, 48994498 edges, 9724 markings/sec, 120 secs
lola: 2350957 markings, 50809818 edges, 4635 markings/sec, 125 secs
lola: 2403793 markings, 53109576 edges, 10567 markings/sec, 130 secs
lola: 2467727 markings, 55327327 edges, 12787 markings/sec, 135 secs
lola: 2524819 markings, 57333123 edges, 11418 markings/sec, 140 secs
lola: 2564628 markings, 59357678 edges, 7962 markings/sec, 145 secs
lola: 2607036 markings, 61507352 edges, 8482 markings/sec, 150 secs
lola: 2649137 markings, 63672733 edges, 8420 markings/sec, 155 secs
lola: 2750505 markings, 65810354 edges, 20274 markings/sec, 160 secs
lola: 2853561 markings, 67963353 edges, 20611 markings/sec, 165 secs
lola: 2948211 markings, 70102948 edges, 18930 markings/sec, 170 secs
lola: 3004243 markings, 72377173 edges, 11206 markings/sec, 175 secs
lola: 3059619 markings, 74604370 edges, 11075 markings/sec, 180 secs
lola: 3101685 markings, 76863114 edges, 8413 markings/sec, 185 secs
lola: 3130719 markings, 79171466 edges, 5807 markings/sec, 190 secs
lola: 3159121 markings, 81428022 edges, 5680 markings/sec, 195 secs
lola: 3188540 markings, 83712161 edges, 5884 markings/sec, 200 secs
lola: 3217281 markings, 85978806 edges, 5748 markings/sec, 205 secs
lola: 3246573 markings, 88224831 edges, 5858 markings/sec, 210 secs
lola: 3275547 markings, 90535270 edges, 5795 markings/sec, 215 secs
lola: 3304099 markings, 92776925 edges, 5710 markings/sec, 220 secs
lola: 3332128 markings, 94993372 edges, 5606 markings/sec, 225 secs
lola: 3359597 markings, 97199528 edges, 5494 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 63541 markings, 977671 edges, 12708 markings/sec, 0 secs
lola: 93633 markings, 3168459 edges, 6018 markings/sec, 5 secs
lola: 124654 markings, 5377266 edges, 6204 markings/sec, 10 secs
lola: 153367 markings, 7686319 edges, 5743 markings/sec, 15 secs
lola: 208311 markings, 8746333 edges, 10989 markings/sec, 20 secs
lola: 256739 markings, 10033100 edges, 9686 markings/sec, 25 secs
lola: 279127 markings, 12065521 edges, 4478 markings/sec, 30 secs
lola: 288521 markings, 14887767 edges, 1879 markings/sec, 35 secs
lola: 296885 markings, 17836525 edges, 1673 markings/sec, 40 secs
lola: 305256 markings, 20815901 edges, 1674 markings/sec, 45 secs
lola: 317691 markings, 23718272 edges, 2487 markings/sec, 50 secs
lola: 347172 markings, 25743398 edges, 5896 markings/sec, 55 secs
lola: 381671 markings, 27827102 edges, 6900 markings/sec, 60 secs
lola: 420557 markings, 29703581 edges, 7777 markings/sec, 65 secs
lola: 459531 markings, 31569249 edges, 7795 markings/sec, 70 secs
lola: 512009 markings, 32766676 edges, 10496 markings/sec, 75 secs
lola: 543738 markings, 34519935 edges, 6346 markings/sec, 80 secs
lola: 554967 markings, 37084004 edges, 2246 markings/sec, 85 secs
lola: 563254 markings, 39988793 edges, 1657 markings/sec, 90 secs
lola: 571353 markings, 42895084 edges, 1620 markings/sec, 95 secs
lola: 579661 markings, 45887631 edges, 1662 markings/sec, 100 secs
lola: 619553 markings, 47791840 edges, 7978 markings/sec, 105 secs
lola: 653537 markings, 49865287 edges, 6797 markings/sec, 110 secs
lola: 678521 markings, 52316605 edges, 4997 markings/sec, 115 secs
lola: 736225 markings, 53417642 edges, 11541 markings/sec, 120 secs
lola: 783503 markings, 54835235 edges, 9456 markings/sec, 125 secs
lola: 799248 markings, 57256155 edges, 3149 markings/sec, 130 secs
lola: 808054 markings, 60329086 edges, 1761 markings/sec, 135 secs
lola: 816671 markings, 63413327 edges, 1723 markings/sec, 140 secs
lola: 825023 markings, 66476956 edges, 1670 markings/sec, 145 secs
lola: 859519 markings, 68565690 edges, 6899 markings/sec, 150 secs
lola: 897295 markings, 70421720 edges, 7555 markings/sec, 155 secs
lola: 932875 markings, 72172739 edges, 7116 markings/sec, 160 secs
lola: 989503 markings, 73211850 edges, 11326 markings/sec, 165 secs
lola: 1036018 markings, 74500353 edges, 9303 markings/sec, 170 secs
lola: 1052987 markings, 76637509 edges, 3394 markings/sec, 175 secs
lola: 1060943 markings, 79376679 edges, 1591 markings/sec, 180 secs
lola: 1068845 markings, 82193342 edges, 1580 markings/sec, 185 secs
lola: 1076869 markings, 85120353 edges, 1605 markings/sec, 190 secs
lola: 1084722 markings, 88049872 edges, 1571 markings/sec, 195 secs
lola: 1147088 markings, 88887159 edges, 12473 markings/sec, 200 secs
lola: 1183281 markings, 90643257 edges, 7239 markings/sec, 205 secs
lola: 1236668 markings, 91692835 edges, 10677 markings/sec, 210 secs
lola: 1278352 markings, 93040366 edges, 8337 markings/sec, 215 secs
lola: 1293764 markings, 95098531 edges, 3082 markings/sec, 220 secs
lola: 1301347 markings, 97733298 edges, 1517 markings/sec, 225 secs
lola: 1308774 markings, 100351522 edges, 1485 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 38317 markings, 1895904 edges, 7663 markings/sec, 0 secs
lola: 59546 markings, 4570987 edges, 4246 markings/sec, 5 secs
lola: 85022 markings, 6859854 edges, 5095 markings/sec, 10 secs
lola: 120192 markings, 9026404 edges, 7034 markings/sec, 15 secs
lola: 157010 markings, 11098579 edges, 7364 markings/sec, 20 secs
lola: 198191 markings, 12799794 edges, 8236 markings/sec, 25 secs
lola: 221919 markings, 15539697 edges, 4746 markings/sec, 30 secs
lola: 269106 markings, 16854163 edges, 9437 markings/sec, 35 secs
lola: 313773 markings, 18371680 edges, 8933 markings/sec, 40 secs
lola: 351359 markings, 20322054 edges, 7517 markings/sec, 45 secs
lola: 387568 markings, 22229967 edges, 7242 markings/sec, 50 secs
lola: 434494 markings, 23484305 edges, 9385 markings/sec, 55 secs
lola: 478542 markings, 24929074 edges, 8810 markings/sec, 60 secs
lola: 504772 markings, 27282430 edges, 5246 markings/sec, 65 secs
lola: 514179 markings, 30393626 edges, 1881 markings/sec, 70 secs
lola: 523359 markings, 33527317 edges, 1836 markings/sec, 75 secs
lola: 532392 markings, 36713764 edges, 1807 markings/sec, 80 secs
lola: 557377 markings, 39209283 edges, 4997 markings/sec, 85 secs
lola: 567867 markings, 42366120 edges, 2098 markings/sec, 90 secs
lola: 577215 markings, 45547182 edges, 1870 markings/sec, 95 secs
lola: 586319 markings, 48759459 edges, 1821 markings/sec, 100 secs
lola: 611470 markings, 51270632 edges, 5030 markings/sec, 105 secs
lola: 652697 markings, 52788228 edges, 8245 markings/sec, 110 secs
lola: 693522 markings, 54328368 edges, 8165 markings/sec, 115 secs
lola: 728694 markings, 56124456 edges, 7034 markings/sec, 120 secs
lola: 737924 markings, 59004358 edges, 1846 markings/sec, 125 secs
lola: 747731 markings, 61962976 edges, 1961 markings/sec, 130 secs
lola: 759724 markings, 64833075 edges, 2399 markings/sec, 135 secs
lola: 791541 markings, 66699382 edges, 6363 markings/sec, 140 secs
lola: 815523 markings, 68937510 edges, 4796 markings/sec, 145 secs
lola: 835414 markings, 71321703 edges, 3978 markings/sec, 150 secs
lola: 870132 markings, 73069061 edges, 6944 markings/sec, 155 secs
lola: 887074 markings, 75589149 edges, 3388 markings/sec, 160 secs
lola: 914429 markings, 77605824 edges, 5471 markings/sec, 165 secs
lola: 941265 markings, 79621506 edges, 5367 markings/sec, 170 secs
lola: 957818 markings, 82044159 edges, 3311 markings/sec, 175 secs
lola: 996298 markings, 83908665 edges, 7696 markings/sec, 180 secs
lola: 1032534 markings, 85802233 edges, 7247 markings/sec, 185 secs
lola: 1042436 markings, 89195840 edges, 1980 markings/sec, 190 secs
lola: 1069259 markings, 91466078 edges, 5365 markings/sec, 195 secs
lola: 1095088 markings, 93728187 edges, 5166 markings/sec, 200 secs
lola: 1124346 markings, 95942806 edges, 5852 markings/sec, 205 secs
lola: 1148679 markings, 98460031 edges, 4867 markings/sec, 210 secs
lola: 1175494 markings, 100919309 edges, 5363 markings/sec, 215 secs
lola: 1204219 markings, 103287155 edges, 5745 markings/sec, 220 secs
lola: 1233986 markings, 105505258 edges, 5953 markings/sec, 225 secs
lola: 1263850 markings, 107895257 edges, 5973 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 6 will run for 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p60)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 289 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 40994 markings, 1443222 edges, 8199 markings/sec, 0 secs
lola: 68546 markings, 3857164 edges, 5510 markings/sec, 5 secs
lola: 95109 markings, 6227596 edges, 5313 markings/sec, 10 secs
lola: 126824 markings, 8183835 edges, 6343 markings/sec, 15 secs
lola: 157525 markings, 10006677 edges, 6140 markings/sec, 20 secs
lola: 194506 markings, 11393427 edges, 7396 markings/sec, 25 secs
lola: 226564 markings, 13231577 edges, 6412 markings/sec, 30 secs
lola: 272254 markings, 15129482 edges, 9138 markings/sec, 35 secs
lola: 296234 markings, 17760912 edges, 4796 markings/sec, 40 secs
lola: 302650 markings, 20817656 edges, 1283 markings/sec, 45 secs
lola: 308728 markings, 23896426 edges, 1216 markings/sec, 50 secs
lola: 327739 markings, 26239973 edges, 3802 markings/sec, 55 secs
lola: 354831 markings, 28146893 edges, 5418 markings/sec, 60 secs
lola: 378993 markings, 30253542 edges, 4832 markings/sec, 65 secs
lola: 412334 markings, 31586130 edges, 6668 markings/sec, 70 secs
lola: 445360 markings, 32918279 edges, 6605 markings/sec, 75 secs
lola: 475312 markings, 34643848 edges, 5990 markings/sec, 80 secs
lola: 515543 markings, 36401620 edges, 8046 markings/sec, 85 secs
lola: 542338 markings, 38608759 edges, 5359 markings/sec, 90 secs
lola: 549388 markings, 41289450 edges, 1410 markings/sec, 95 secs
lola: 554856 markings, 44004418 edges, 1094 markings/sec, 100 secs
lola: 560085 markings, 46667998 edges, 1046 markings/sec, 105 secs
lola: 585395 markings, 48657310 edges, 5062 markings/sec, 110 secs
lola: 615437 markings, 50559463 edges, 6008 markings/sec, 115 secs
lola: 646398 markings, 52432428 edges, 6192 markings/sec, 120 secs
lola: 682516 markings, 53748789 edges, 7224 markings/sec, 125 secs
lola: 712099 markings, 55467812 edges, 5917 markings/sec, 130 secs
lola: 752455 markings, 57289246 edges, 8071 markings/sec, 135 secs
lola: 786591 markings, 59410863 edges, 6827 markings/sec, 140 secs
lola: 795698 markings, 62224893 edges, 1821 markings/sec, 145 secs
lola: 801490 markings, 65139212 edges, 1158 markings/sec, 150 secs
lola: 807228 markings, 68085557 edges, 1148 markings/sec, 155 secs
lola: 842739 markings, 69591005 edges, 7102 markings/sec, 160 secs
lola: 868201 markings, 71492983 edges, 5092 markings/sec, 165 secs
lola: 901732 markings, 72815071 edges, 6706 markings/sec, 170 secs
lola: 933088 markings, 74170863 edges, 6271 markings/sec, 175 secs
lola: 965874 markings, 75867311 edges, 6557 markings/sec, 180 secs
lola: 1005727 markings, 77594649 edges, 7971 markings/sec, 185 secs
lola: 1026927 markings, 79859607 edges, 4240 markings/sec, 190 secs
lola: 1032888 markings, 82433704 edges, 1192 markings/sec, 195 secs
lola: 1038065 markings, 85040909 edges, 1035 markings/sec, 200 secs
lola: 1043200 markings, 87704433 edges, 1027 markings/sec, 205 secs
lola: 1082726 markings, 88902077 edges, 7905 markings/sec, 210 secs
lola: 1113651 markings, 90711526 edges, 6185 markings/sec, 215 secs
lola: 1149140 markings, 92014378 edges, 7098 markings/sec, 220 secs
lola: 1181048 markings, 93741716 edges, 6382 markings/sec, 225 secs
lola: 1224259 markings, 95515463 edges, 8642 markings/sec, 230 secs
lola: 1249221 markings, 97848309 edges, 4992 markings/sec, 235 secs
lola: 1256185 markings, 100655509 edges, 1393 markings/sec, 240 secs
lola: 1261770 markings, 103523430 edges, 1117 markings/sec, 245 secs
lola: 1270709 markings, 106251284 edges, 1788 markings/sec, 250 secs
lola: 1312051 markings, 107324917 edges, 8268 markings/sec, 255 secs
lola: 1347901 markings, 108664864 edges, 7170 markings/sec, 260 secs
lola: 1381547 markings, 110434940 edges, 6729 markings/sec, 265 secs
lola: 1425483 markings, 112271543 edges, 8787 markings/sec, 270 secs
lola: 1448329 markings, 114803770 edges, 4569 markings/sec, 275 secs
lola: 1454518 markings, 117765476 edges, 1238 markings/sec, 280 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 289 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 24 bytes per marking, with 7 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: 38494 markings, 1960951 edges, 7699 markings/sec, 0 secs
lola: 66352 markings, 4102817 edges, 5572 markings/sec, 5 secs
lola: 92604 markings, 6370403 edges, 5250 markings/sec, 10 secs
lola: 124901 markings, 8337305 edges, 6459 markings/sec, 15 secs
lola: 150131 markings, 10569351 edges, 5046 markings/sec, 20 secs
lola: 197509 markings, 11992003 edges, 9476 markings/sec, 25 secs
lola: 247398 markings, 13215428 edges, 9978 markings/sec, 30 secs
lola: 277284 markings, 15035361 edges, 5977 markings/sec, 35 secs
lola: 289028 markings, 17663272 edges, 2349 markings/sec, 40 secs
lola: 299397 markings, 20671312 edges, 2074 markings/sec, 45 secs
lola: 309625 markings, 23630393 edges, 2046 markings/sec, 50 secs
lola: 319786 markings, 26604355 edges, 2032 markings/sec, 55 secs
lola: 348089 markings, 28707184 edges, 5661 markings/sec, 60 secs
lola: 386073 markings, 30310497 edges, 7597 markings/sec, 65 secs
lola: 407757 markings, 32412736 edges, 4337 markings/sec, 70 secs
lola: 417246 markings, 35164784 edges, 1898 markings/sec, 75 secs
lola: 441056 markings, 37291843 edges, 4762 markings/sec, 80 secs
lola: 464528 markings, 39383227 edges, 4694 markings/sec, 85 secs
lola: 488029 markings, 41519815 edges, 4700 markings/sec, 90 secs
lola: 512340 markings, 43598140 edges, 4862 markings/sec, 95 secs
lola: 536250 markings, 45739508 edges, 4782 markings/sec, 100 secs
lola: 570929 markings, 47842054 edges, 6936 markings/sec, 105 secs
lola: 609673 markings, 49723227 edges, 7749 markings/sec, 110 secs
lola: 634178 markings, 52013672 edges, 4901 markings/sec, 115 secs
lola: 648228 markings, 55112448 edges, 2810 markings/sec, 120 secs
lola: 674942 markings, 57321007 edges, 5343 markings/sec, 125 secs
lola: 698893 markings, 59614372 edges, 4790 markings/sec, 130 secs
lola: 725117 markings, 61875094 edges, 5245 markings/sec, 135 secs
lola: 750145 markings, 64214335 edges, 5006 markings/sec, 140 secs
lola: 782137 markings, 66239816 edges, 6398 markings/sec, 145 secs
lola: 802254 markings, 68767775 edges, 4023 markings/sec, 150 secs
lola: 830568 markings, 70991210 edges, 5663 markings/sec, 155 secs
lola: 857162 markings, 73217923 edges, 5319 markings/sec, 160 secs
lola: 883319 markings, 75483546 edges, 5231 markings/sec, 165 secs
lola: 909755 markings, 77714620 edges, 5287 markings/sec, 170 secs
lola: 932099 markings, 79928430 edges, 4469 markings/sec, 175 secs
lola: 963759 markings, 81893686 edges, 6332 markings/sec, 180 secs
lola: 1004454 markings, 83567400 edges, 8139 markings/sec, 185 secs
lola: 1027198 markings, 85786425 edges, 4549 markings/sec, 190 secs
lola: 1037937 markings, 88860984 edges, 2148 markings/sec, 195 secs
lola: 1065645 markings, 90840423 edges, 5542 markings/sec, 200 secs
lola: 1087659 markings, 93078068 edges, 4403 markings/sec, 205 secs
lola: 1115498 markings, 95177500 edges, 5568 markings/sec, 210 secs
lola: 1143315 markings, 97634797 edges, 5563 markings/sec, 215 secs
lola: 1167602 markings, 100089834 edges, 4857 markings/sec, 220 secs
lola: 1194897 markings, 102451529 edges, 5459 markings/sec, 225 secs
lola: 1220853 markings, 104788640 edges, 5191 markings/sec, 230 secs
lola: 1249825 markings, 106878730 edges, 5794 markings/sec, 235 secs
lola: 1274603 markings, 109158429 edges, 4956 markings/sec, 240 secs
lola: 1302076 markings, 111521111 edges, 5495 markings/sec, 245 secs
lola: 1329171 markings, 113798950 edges, 5419 markings/sec, 250 secs
lola: 1353560 markings, 116182774 edges, 4878 markings/sec, 255 secs
lola: 1384261 markings, 118377731 edges, 6140 markings/sec, 260 secs
lola: 1407059 markings, 120754297 edges, 4560 markings/sec, 265 secs
lola: 1434270 markings, 123124924 edges, 5442 markings/sec, 270 secs
lola: 1465974 markings, 125187871 edges, 6341 markings/sec, 275 secs
lola: 1490432 markings, 127594616 edges, 4892 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 126562 markings, 2133148 edges, 25312 markings/sec, 0 secs
lola: 249141 markings, 4210771 edges, 24516 markings/sec, 5 secs
lola: 348719 markings, 6218283 edges, 19916 markings/sec, 10 secs
lola: 445352 markings, 8192100 edges, 19327 markings/sec, 15 secs
lola: 539331 markings, 10146735 edges, 18796 markings/sec, 20 secs
lola: 631491 markings, 12074802 edges, 18432 markings/sec, 25 secs
lola: 722393 markings, 13876167 edges, 18180 markings/sec, 30 secs
lola: 768643 markings, 16009720 edges, 9250 markings/sec, 35 secs
lola: 812329 markings, 18146381 edges, 8737 markings/sec, 40 secs
lola: 866167 markings, 20279586 edges, 10768 markings/sec, 45 secs
lola: 946053 markings, 22507831 edges, 15977 markings/sec, 50 secs
lola: 1018943 markings, 24772736 edges, 14578 markings/sec, 55 secs
lola: 1053098 markings, 27086837 edges, 6831 markings/sec, 60 secs
lola: 1083106 markings, 29428467 edges, 6002 markings/sec, 65 secs
lola: 1112205 markings, 31717670 edges, 5820 markings/sec, 70 secs
lola: 1149394 markings, 33760265 edges, 7438 markings/sec, 75 secs
lola: 1180631 markings, 36165238 edges, 6247 markings/sec, 80 secs
lola: 1209654 markings, 38533781 edges, 5805 markings/sec, 85 secs
lola: 1241635 markings, 40689913 edges, 6396 markings/sec, 90 secs
lola: 1277122 markings, 42786905 edges, 7097 markings/sec, 95 secs
lola: 1309596 markings, 45019639 edges, 6495 markings/sec, 100 secs
lola: 1337932 markings, 47344549 edges, 5667 markings/sec, 105 secs
lola: 1368378 markings, 49527898 edges, 6089 markings/sec, 110 secs
lola: 1403243 markings, 51595719 edges, 6973 markings/sec, 115 secs
lola: 1436941 markings, 53834026 edges, 6740 markings/sec, 120 secs
lola: 1473219 markings, 55981745 edges, 7256 markings/sec, 125 secs
lola: 1509821 markings, 58019700 edges, 7320 markings/sec, 130 secs
lola: 1537415 markings, 60067106 edges, 5519 markings/sec, 135 secs
lola: 1574674 markings, 62034396 edges, 7452 markings/sec, 140 secs
lola: 1611805 markings, 63963328 edges, 7426 markings/sec, 145 secs
lola: 1639951 markings, 65915258 edges, 5629 markings/sec, 150 secs
lola: 1723545 markings, 67837608 edges, 16719 markings/sec, 155 secs
lola: 1776434 markings, 69991432 edges, 10578 markings/sec, 160 secs
lola: 1811303 markings, 72009142 edges, 6974 markings/sec, 165 secs
lola: 1841752 markings, 74259415 edges, 6090 markings/sec, 170 secs
lola: 1877527 markings, 76364482 edges, 7155 markings/sec, 175 secs
lola: 1921605 markings, 78402780 edges, 8816 markings/sec, 180 secs
lola: 1975381 markings, 80283296 edges, 10755 markings/sec, 185 secs
lola: 2024331 markings, 82230069 edges, 9790 markings/sec, 190 secs
lola: 2076487 markings, 84171500 edges, 10431 markings/sec, 195 secs
lola: 2111389 markings, 86228198 edges, 6980 markings/sec, 200 secs
lola: 2136655 markings, 88235497 edges, 5053 markings/sec, 205 secs
lola: 2175143 markings, 90077919 edges, 7698 markings/sec, 210 secs
lola: 2220760 markings, 92029650 edges, 9123 markings/sec, 215 secs
lola: 2269023 markings, 93968564 edges, 9653 markings/sec, 220 secs
lola: 2321221 markings, 95891040 edges, 10440 markings/sec, 225 secs
lola: 2366207 markings, 97823864 edges, 8997 markings/sec, 230 secs
lola: 2414671 markings, 99740888 edges, 9693 markings/sec, 235 secs
lola: 2440723 markings, 101678965 edges, 5210 markings/sec, 240 secs
lola: 2475665 markings, 103611330 edges, 6988 markings/sec, 245 secs
lola: 2507897 markings, 105435695 edges, 6446 markings/sec, 250 secs
lola: 2568875 markings, 106992999 edges, 12196 markings/sec, 255 secs
lola: 2596915 markings, 108965054 edges, 5608 markings/sec, 260 secs
lola: 2631366 markings, 110805687 edges, 6890 markings/sec, 265 secs
lola: 2670095 markings, 112660739 edges, 7746 markings/sec, 270 secs
lola: 2703647 markings, 114513635 edges, 6710 markings/sec, 275 secs
lola: 2740101 markings, 116284900 edges, 7291 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 45596 markings, 1225835 edges, 9119 markings/sec, 0 secs
lola: 76299 markings, 3391275 edges, 6141 markings/sec, 5 secs
lola: 105240 markings, 5884178 edges, 5788 markings/sec, 10 secs
lola: 136038 markings, 8057715 edges, 6160 markings/sec, 15 secs
lola: 174261 markings, 9402641 edges, 7645 markings/sec, 20 secs
lola: 204687 markings, 11124903 edges, 6085 markings/sec, 25 secs
lola: 245869 markings, 13040305 edges, 8236 markings/sec, 30 secs
lola: 282955 markings, 15252433 edges, 7417 markings/sec, 35 secs
lola: 292706 markings, 18270552 edges, 1950 markings/sec, 40 secs
lola: 299192 markings, 21423053 edges, 1297 markings/sec, 45 secs
lola: 312690 markings, 24235689 edges, 2700 markings/sec, 50 secs
lola: 340864 markings, 26372533 edges, 5635 markings/sec, 55 secs
lola: 372813 markings, 28527629 edges, 6390 markings/sec, 60 secs
lola: 398219 markings, 31045718 edges, 5081 markings/sec, 65 secs
lola: 437431 markings, 32345598 edges, 7842 markings/sec, 70 secs
lola: 468947 markings, 33963903 edges, 6303 markings/sec, 75 secs
lola: 506787 markings, 35904924 edges, 7568 markings/sec, 80 secs
lola: 548546 markings, 37903380 edges, 8352 markings/sec, 85 secs
lola: 560866 markings, 40828627 edges, 2464 markings/sec, 90 secs
lola: 567155 markings, 43926583 edges, 1258 markings/sec, 95 secs
lola: 573477 markings, 47092331 edges, 1264 markings/sec, 100 secs
lola: 604578 markings, 49144064 edges, 6220 markings/sec, 105 secs
lola: 638034 markings, 51324452 edges, 6691 markings/sec, 110 secs
lola: 672580 markings, 53099187 edges, 6909 markings/sec, 115 secs
lola: 709257 markings, 54564116 edges, 7335 markings/sec, 120 secs
lola: 744540 markings, 56500155 edges, 7057 markings/sec, 125 secs
lola: 790299 markings, 58473839 edges, 9152 markings/sec, 130 secs
lola: 806904 markings, 61425341 edges, 3321 markings/sec, 135 secs
lola: 813521 markings, 64697290 edges, 1323 markings/sec, 140 secs
lola: 819785 markings, 67928910 edges, 1253 markings/sec, 145 secs
lola: 857263 markings, 69612235 edges, 7496 markings/sec, 150 secs
lola: 891300 markings, 71400129 edges, 6807 markings/sec, 155 secs
lola: 922749 markings, 73223577 edges, 6290 markings/sec, 160 secs
lola: 956747 markings, 74749015 edges, 6800 markings/sec, 165 secs
lola: 995101 markings, 76667715 edges, 7671 markings/sec, 170 secs
lola: 1037252 markings, 78659776 edges, 8430 markings/sec, 175 secs
lola: 1049651 markings, 81653423 edges, 2480 markings/sec, 180 secs
lola: 1056083 markings, 84846709 edges, 1286 markings/sec, 185 secs
lola: 1062370 markings, 88119718 edges, 1257 markings/sec, 190 secs
lola: 1105699 markings, 89189736 edges, 8666 markings/sec, 195 secs
lola: 1141403 markings, 90781636 edges, 7141 markings/sec, 200 secs
lola: 1176975 markings, 92166113 edges, 7114 markings/sec, 205 secs
lola: 1209244 markings, 93589092 edges, 6454 markings/sec, 210 secs
lola: 1242567 markings, 95400306 edges, 6665 markings/sec, 215 secs
lola: 1284430 markings, 97180859 edges, 8373 markings/sec, 220 secs
lola: 1302994 markings, 99683859 edges, 3713 markings/sec, 225 secs
lola: 1308802 markings, 102490417 edges, 1162 markings/sec, 230 secs
lola: 1314409 markings, 105312813 edges, 1121 markings/sec, 235 secs
lola: 1332776 markings, 107559283 edges, 3673 markings/sec, 240 secs
lola: 1374596 markings, 108760700 edges, 8364 markings/sec, 245 secs
lola: 1408909 markings, 110280777 edges, 6863 markings/sec, 250 secs
lola: 1447282 markings, 112167799 edges, 7675 markings/sec, 255 secs
lola: 1489329 markings, 114211157 edges, 8409 markings/sec, 260 secs
lola: 1501133 markings, 117194540 edges, 2361 markings/sec, 265 secs
lola: 1507463 markings, 120332006 edges, 1266 markings/sec, 270 secs
lola: 1513595 markings, 123489481 edges, 1226 markings/sec, 275 secs
lola: 1553821 markings, 124705219 edges, 8045 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 27309 markings, 2260638 edges, 5462 markings/sec, 0 secs
lola: 54936 markings, 4254704 edges, 5525 markings/sec, 5 secs
lola: 104900 markings, 6136051 edges, 9993 markings/sec, 10 secs
lola: 158356 markings, 8024563 edges, 10691 markings/sec, 15 secs
lola: 216729 markings, 10012304 edges, 11675 markings/sec, 20 secs
lola: 244832 markings, 12388549 edges, 5621 markings/sec, 25 secs
lola: 273289 markings, 14840100 edges, 5691 markings/sec, 30 secs
lola: 300854 markings, 17197395 edges, 5513 markings/sec, 35 secs
lola: 322003 markings, 19243663 edges, 4230 markings/sec, 40 secs
lola: 343526 markings, 21235942 edges, 4305 markings/sec, 45 secs
lola: 368714 markings, 23294296 edges, 5038 markings/sec, 50 secs
lola: 393884 markings, 25521438 edges, 5034 markings/sec, 55 secs
lola: 421076 markings, 27815507 edges, 5438 markings/sec, 60 secs
lola: 447289 markings, 30100304 edges, 5243 markings/sec, 65 secs
lola: 467942 markings, 32093593 edges, 4131 markings/sec, 70 secs
lola: 490366 markings, 34085901 edges, 4485 markings/sec, 75 secs
lola: 515456 markings, 36113869 edges, 5018 markings/sec, 80 secs
lola: 540425 markings, 38316663 edges, 4994 markings/sec, 85 secs
lola: 567616 markings, 40610030 edges, 5438 markings/sec, 90 secs
lola: 589458 markings, 42652707 edges, 4368 markings/sec, 95 secs
lola: 609674 markings, 44574376 edges, 4043 markings/sec, 100 secs
lola: 633301 markings, 46484840 edges, 4725 markings/sec, 105 secs
lola: 657180 markings, 48583193 edges, 4776 markings/sec, 110 secs
lola: 682878 markings, 50717748 edges, 5140 markings/sec, 115 secs
lola: 709172 markings, 52913916 edges, 5259 markings/sec, 120 secs
lola: 727667 markings, 54823359 edges, 3699 markings/sec, 125 secs
lola: 748054 markings, 56678535 edges, 4077 markings/sec, 130 secs
lola: 770158 markings, 58542325 edges, 4421 markings/sec, 135 secs
lola: 794770 markings, 60596187 edges, 4922 markings/sec, 140 secs
lola: 819333 markings, 62703032 edges, 4913 markings/sec, 145 secs
lola: 843575 markings, 64795693 edges, 4848 markings/sec, 150 secs
lola: 861927 markings, 66613709 edges, 3670 markings/sec, 155 secs
lola: 882055 markings, 68414564 edges, 4026 markings/sec, 160 secs
lola: 903359 markings, 70212563 edges, 4261 markings/sec, 165 secs
lola: 927298 markings, 72216136 edges, 4788 markings/sec, 170 secs
lola: 951287 markings, 74255707 edges, 4798 markings/sec, 175 secs
lola: 975095 markings, 76301899 edges, 4762 markings/sec, 180 secs
lola: 993154 markings, 78067025 edges, 3612 markings/sec, 185 secs
lola: 1012349 markings, 79801349 edges, 3839 markings/sec, 190 secs
lola: 1033141 markings, 81550026 edges, 4158 markings/sec, 195 secs
lola: 1056515 markings, 83569397 edges, 4675 markings/sec, 200 secs
lola: 1081395 markings, 85666784 edges, 4976 markings/sec, 205 secs
lola: 1107795 markings, 87817136 edges, 5280 markings/sec, 210 secs
lola: 1128580 markings, 89770261 edges, 4157 markings/sec, 215 secs
lola: 1147773 markings, 91678109 edges, 3839 markings/sec, 220 secs
lola: 1170720 markings, 93672137 edges, 4589 markings/sec, 225 secs
lola: 1194971 markings, 95754821 edges, 4850 markings/sec, 230 secs
lola: 1220309 markings, 97864221 edges, 5068 markings/sec, 235 secs
lola: 1239647 markings, 99761210 edges, 3868 markings/sec, 240 secs
lola: 1259678 markings, 101645278 edges, 4006 markings/sec, 245 secs
lola: 1284010 markings, 103665394 edges, 4866 markings/sec, 250 secs
lola: 1308904 markings, 105719749 edges, 4979 markings/sec, 255 secs
lola: 1330031 markings, 107701483 edges, 4225 markings/sec, 260 secs
lola: 1348258 markings, 109493835 edges, 3645 markings/sec, 265 secs
lola: 1370666 markings, 111427011 edges, 4482 markings/sec, 270 secs
lola: 1394361 markings, 113366727 edges, 4739 markings/sec, 275 secs
lola: 1417531 markings, 115375632 edges, 4634 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 37016 markings, 2187211 edges, 7403 markings/sec, 0 secs
lola: 76195 markings, 4477736 edges, 7836 markings/sec, 5 secs
lola: 117623 markings, 6702095 edges, 8286 markings/sec, 10 secs
lola: 156794 markings, 8752559 edges, 7834 markings/sec, 15 secs
lola: 190835 markings, 10871527 edges, 6808 markings/sec, 20 secs
lola: 208262 markings, 13175801 edges, 3485 markings/sec, 25 secs
lola: 224424 markings, 15491288 edges, 3232 markings/sec, 30 secs
lola: 237477 markings, 17903857 edges, 2611 markings/sec, 35 secs
lola: 252418 markings, 21004553 edges, 2988 markings/sec, 40 secs
lola: 282498 markings, 23384113 edges, 6016 markings/sec, 45 secs
lola: 316754 markings, 25753571 edges, 6851 markings/sec, 50 secs
lola: 364779 markings, 27759197 edges, 9605 markings/sec, 55 secs
lola: 401135 markings, 29888838 edges, 7271 markings/sec, 60 secs
lola: 435602 markings, 31959137 edges, 6893 markings/sec, 65 secs
lola: 455813 markings, 34225502 edges, 4042 markings/sec, 70 secs
lola: 470808 markings, 36554891 edges, 2999 markings/sec, 75 secs
lola: 485872 markings, 38872245 edges, 3013 markings/sec, 80 secs
lola: 498773 markings, 41674034 edges, 2580 markings/sec, 85 secs
lola: 534079 markings, 44199799 edges, 7061 markings/sec, 90 secs
lola: 568188 markings, 46331764 edges, 6822 markings/sec, 95 secs
lola: 598270 markings, 48503920 edges, 6016 markings/sec, 100 secs
lola: 630833 markings, 50547352 edges, 6513 markings/sec, 105 secs
lola: 674149 markings, 52401260 edges, 8663 markings/sec, 110 secs
lola: 702553 markings, 54429918 edges, 5681 markings/sec, 115 secs
lola: 718714 markings, 56551546 edges, 3232 markings/sec, 120 secs
lola: 733261 markings, 58734747 edges, 2909 markings/sec, 125 secs
lola: 746891 markings, 60954983 edges, 2726 markings/sec, 130 secs
lola: 757711 markings, 63763884 edges, 2164 markings/sec, 135 secs
lola: 794439 markings, 66136264 edges, 7346 markings/sec, 140 secs
lola: 854716 markings, 67814200 edges, 12055 markings/sec, 145 secs
lola: 900518 markings, 69914125 edges, 9160 markings/sec, 150 secs
lola: 944836 markings, 71963900 edges, 8864 markings/sec, 155 secs
lola: 979534 markings, 74055179 edges, 6940 markings/sec, 160 secs
lola: 998987 markings, 76311216 edges, 3891 markings/sec, 165 secs
lola: 1015502 markings, 78599387 edges, 3303 markings/sec, 170 secs
lola: 1030310 markings, 80978829 edges, 2962 markings/sec, 175 secs
lola: 1041825 markings, 84067154 edges, 2303 markings/sec, 180 secs
lola: 1083169 markings, 86407023 edges, 8269 markings/sec, 185 secs
lola: 1139099 markings, 88118549 edges, 11186 markings/sec, 190 secs
lola: 1222741 markings, 90040299 edges, 16728 markings/sec, 195 secs
lola: 1276473 markings, 92093722 edges, 10746 markings/sec, 200 secs
lola: 1304242 markings, 94256098 edges, 5554 markings/sec, 205 secs
lola: 1338516 markings, 96309430 edges, 6855 markings/sec, 210 secs
lola: 1376489 markings, 98276681 edges, 7595 markings/sec, 215 secs
lola: 1419584 markings, 100102888 edges, 8619 markings/sec, 220 secs
lola: 1448817 markings, 102080758 edges, 5847 markings/sec, 225 secs
lola: 1465321 markings, 104160984 edges, 3301 markings/sec, 230 secs
lola: 1479436 markings, 106329064 edges, 2823 markings/sec, 235 secs
lola: 1492620 markings, 108535411 edges, 2637 markings/sec, 240 secs
lola: 1502885 markings, 111241768 edges, 2053 markings/sec, 245 secs
lola: 1532662 markings, 113754374 edges, 5955 markings/sec, 250 secs
lola: 1583598 markings, 115560158 edges, 10187 markings/sec, 255 secs
lola: 1619847 markings, 117589860 edges, 7250 markings/sec, 260 secs
lola: 1643447 markings, 119796404 edges, 4720 markings/sec, 265 secs
lola: 1659118 markings, 122107673 edges, 3134 markings/sec, 270 secs
lola: 1673906 markings, 124469569 edges, 2958 markings/sec, 275 secs
lola: 1685489 markings, 127242437 edges, 2317 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 127821 markings, 2149852 edges, 25564 markings/sec, 0 secs
lola: 249551 markings, 4216902 edges, 24346 markings/sec, 5 secs
lola: 348719 markings, 6218255 edges, 19834 markings/sec, 10 secs
lola: 444688 markings, 8181363 edges, 19194 markings/sec, 15 secs
lola: 538467 markings, 10129965 edges, 18756 markings/sec, 20 secs
lola: 630091 markings, 12045349 edges, 18325 markings/sec, 25 secs
lola: 720081 markings, 13829944 edges, 17998 markings/sec, 30 secs
lola: 766969 markings, 15970779 edges, 9378 markings/sec, 35 secs
lola: 811092 markings, 18090607 edges, 8825 markings/sec, 40 secs
lola: 864628 markings, 20222960 edges, 10707 markings/sec, 45 secs
lola: 944157 markings, 22422330 edges, 15906 markings/sec, 50 secs
lola: 1016907 markings, 24694137 edges, 14550 markings/sec, 55 secs
lola: 1051988 markings, 26996200 edges, 7016 markings/sec, 60 secs
lola: 1081792 markings, 29315151 edges, 5961 markings/sec, 65 secs
lola: 1110915 markings, 31614627 edges, 5825 markings/sec, 70 secs
lola: 1146511 markings, 33673632 edges, 7119 markings/sec, 75 secs
lola: 1180171 markings, 35988101 edges, 6732 markings/sec, 80 secs
lola: 1208682 markings, 38362137 edges, 5702 markings/sec, 85 secs
lola: 1239566 markings, 40561135 edges, 6177 markings/sec, 90 secs
lola: 1271060 markings, 42760110 edges, 6299 markings/sec, 95 secs
lola: 1304330 markings, 44987095 edges, 6654 markings/sec, 100 secs
lola: 1335559 markings, 47239519 edges, 6246 markings/sec, 105 secs
lola: 1367557 markings, 49376857 edges, 6400 markings/sec, 110 secs
lola: 1397881 markings, 51525452 edges, 6065 markings/sec, 115 secs
lola: 1434587 markings, 53718618 edges, 7341 markings/sec, 120 secs
lola: 1472367 markings, 55861636 edges, 7556 markings/sec, 125 secs
lola: 1508347 markings, 57928317 edges, 7196 markings/sec, 130 secs
lola: 1536550 markings, 59983885 edges, 5641 markings/sec, 135 secs
lola: 1573343 markings, 61964831 edges, 7359 markings/sec, 140 secs
lola: 1610777 markings, 63907428 edges, 7487 markings/sec, 145 secs
lola: 1636080 markings, 65871160 edges, 5061 markings/sec, 150 secs
lola: 1720025 markings, 67762595 edges, 16789 markings/sec, 155 secs
lola: 1775231 markings, 69896715 edges, 11041 markings/sec, 160 secs
lola: 1806224 markings, 71967497 edges, 6199 markings/sec, 165 secs
lola: 1839699 markings, 74137178 edges, 6695 markings/sec, 170 secs
lola: 1875479 markings, 76204674 edges, 7156 markings/sec, 175 secs
lola: 1918281 markings, 78208681 edges, 8560 markings/sec, 180 secs
lola: 1968269 markings, 80118075 edges, 9998 markings/sec, 185 secs
lola: 2021637 markings, 82013755 edges, 10674 markings/sec, 190 secs
lola: 2070002 markings, 83977656 edges, 9673 markings/sec, 195 secs
lola: 2108693 markings, 85989332 edges, 7738 markings/sec, 200 secs
lola: 2133727 markings, 88002317 edges, 5007 markings/sec, 205 secs
lola: 2172409 markings, 89867790 edges, 7736 markings/sec, 210 secs
lola: 2213761 markings, 91796512 edges, 8270 markings/sec, 215 secs
lola: 2262053 markings, 93721559 edges, 9658 markings/sec, 220 secs
lola: 2317522 markings, 95596628 edges, 11094 markings/sec, 225 secs
lola: 2357262 markings, 97552691 edges, 7948 markings/sec, 230 secs
lola: 2410503 markings, 99419672 edges, 10648 markings/sec, 235 secs
lola: 2435603 markings, 101384559 edges, 5020 markings/sec, 240 secs
lola: 2469133 markings, 103275708 edges, 6706 markings/sec, 245 secs
lola: 2503771 markings, 105116246 edges, 6928 markings/sec, 250 secs
lola: 2557777 markings, 106709062 edges, 10801 markings/sec, 255 secs
lola: 2593803 markings, 108568887 edges, 7205 markings/sec, 260 secs
lola: 2626513 markings, 110395612 edges, 6542 markings/sec, 265 secs
lola: 2661892 markings, 112350759 edges, 7076 markings/sec, 270 secs
lola: 2696819 markings, 114169060 edges, 6985 markings/sec, 275 secs
lola: 2732393 markings, 115977625 edges, 7115 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 38150 markings, 2217584 edges, 7630 markings/sec, 0 secs
lola: 77446 markings, 4520931 edges, 7859 markings/sec, 5 secs
lola: 118146 markings, 6798104 edges, 8140 markings/sec, 10 secs
lola: 158265 markings, 8819837 edges, 8024 markings/sec, 15 secs
lola: 191640 markings, 10960440 edges, 6675 markings/sec, 20 secs
lola: 208980 markings, 13279190 edges, 3468 markings/sec, 25 secs
lola: 224726 markings, 15628770 edges, 3149 markings/sec, 30 secs
lola: 237885 markings, 18080561 edges, 2632 markings/sec, 35 secs
lola: 253800 markings, 21209024 edges, 3183 markings/sec, 40 secs
lola: 283540 markings, 23584163 edges, 5948 markings/sec, 45 secs
lola: 320520 markings, 25880391 edges, 7396 markings/sec, 50 secs
lola: 365950 markings, 27925531 edges, 9086 markings/sec, 55 secs
lola: 403566 markings, 29997231 edges, 7523 markings/sec, 60 secs
lola: 437247 markings, 32082093 edges, 6736 markings/sec, 65 secs
lola: 456696 markings, 34348331 edges, 3890 markings/sec, 70 secs
lola: 471574 markings, 36657807 edges, 2976 markings/sec, 75 secs
lola: 486423 markings, 38945177 edges, 2970 markings/sec, 80 secs
lola: 499049 markings, 41726247 edges, 2525 markings/sec, 85 secs
lola: 534888 markings, 44223848 edges, 7168 markings/sec, 90 secs
lola: 568641 markings, 46347413 edges, 6751 markings/sec, 95 secs
lola: 598564 markings, 48516060 edges, 5985 markings/sec, 100 secs
lola: 631180 markings, 50558417 edges, 6523 markings/sec, 105 secs
lola: 674205 markings, 52406964 edges, 8605 markings/sec, 110 secs
lola: 702572 markings, 54432593 edges, 5673 markings/sec, 115 secs
lola: 718707 markings, 56550495 edges, 3227 markings/sec, 120 secs
lola: 733206 markings, 58725740 edges, 2900 markings/sec, 125 secs
lola: 746862 markings, 60935140 edges, 2731 markings/sec, 130 secs
lola: 757485 markings, 63727857 edges, 2125 markings/sec, 135 secs
lola: 793285 markings, 66112656 edges, 7160 markings/sec, 140 secs
lola: 853639 markings, 67778487 edges, 12071 markings/sec, 145 secs
lola: 900242 markings, 69855543 edges, 9321 markings/sec, 150 secs
lola: 944075 markings, 71929294 edges, 8767 markings/sec, 155 secs
lola: 978888 markings, 74019077 edges, 6963 markings/sec, 160 secs
lola: 998735 markings, 76276887 edges, 3969 markings/sec, 165 secs
lola: 1015268 markings, 78566575 edges, 3307 markings/sec, 170 secs
lola: 1030076 markings, 80944709 edges, 2962 markings/sec, 175 secs
lola: 1041576 markings, 84017283 edges, 2300 markings/sec, 180 secs
lola: 1082365 markings, 86385725 edges, 8158 markings/sec, 185 secs
lola: 1138313 markings, 88099072 edges, 11190 markings/sec, 190 secs
lola: 1221966 markings, 90022139 edges, 16731 markings/sec, 195 secs
lola: 1276265 markings, 92078145 edges, 10860 markings/sec, 200 secs
lola: 1304145 markings, 94242984 edges, 5576 markings/sec, 205 secs
lola: 1338426 markings, 96297392 edges, 6856 markings/sec, 210 secs
lola: 1376020 markings, 98258278 edges, 7519 markings/sec, 215 secs
lola: 1418726 markings, 100067336 edges, 8541 markings/sec, 220 secs
lola: 1448358 markings, 102029201 edges, 5926 markings/sec, 225 secs
lola: 1464827 markings, 104094473 edges, 3294 markings/sec, 230 secs
lola: 1478791 markings, 106244980 edges, 2793 markings/sec, 235 secs
lola: 1491908 markings, 108433745 edges, 2623 markings/sec, 240 secs
lola: 1502050 markings, 111073248 edges, 2028 markings/sec, 245 secs
lola: 1528436 markings, 113635606 edges, 5277 markings/sec, 250 secs
lola: 1579727 markings, 115408086 edges, 10258 markings/sec, 255 secs
lola: 1616299 markings, 117408273 edges, 7314 markings/sec, 260 secs
lola: 1641821 markings, 119567656 edges, 5104 markings/sec, 265 secs
lola: 1657366 markings, 121856557 edges, 3109 markings/sec, 270 secs
lola: 1671782 markings, 124198077 edges, 2883 markings/sec, 275 secs
lola: 1683642 markings, 126819289 edges, 2372 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 31446 markings, 2483084 edges, 6289 markings/sec, 0 secs
lola: 59815 markings, 5011639 edges, 5674 markings/sec, 5 secs
lola: 87248 markings, 7360288 edges, 5487 markings/sec, 10 secs
lola: 113141 markings, 9528297 edges, 5179 markings/sec, 15 secs
lola: 138032 markings, 11696691 edges, 4978 markings/sec, 20 secs
lola: 167534 markings, 13771983 edges, 5900 markings/sec, 25 secs
lola: 193394 markings, 16244800 edges, 5172 markings/sec, 30 secs
lola: 220307 markings, 18651930 edges, 5383 markings/sec, 35 secs
lola: 246962 markings, 20924741 edges, 5331 markings/sec, 40 secs
lola: 271706 markings, 23039957 edges, 4949 markings/sec, 45 secs
lola: 295944 markings, 25066883 edges, 4848 markings/sec, 50 secs
lola: 320148 markings, 27219036 edges, 4841 markings/sec, 55 secs
lola: 351672 markings, 29518801 edges, 6305 markings/sec, 60 secs
lola: 376770 markings, 31929983 edges, 5020 markings/sec, 65 secs
lola: 403107 markings, 34271941 edges, 5267 markings/sec, 70 secs
lola: 428104 markings, 36393319 edges, 4999 markings/sec, 75 secs
lola: 451554 markings, 38436126 edges, 4690 markings/sec, 80 secs
lola: 476708 markings, 40580380 edges, 5031 markings/sec, 85 secs
lola: 506115 markings, 42848968 edges, 5881 markings/sec, 90 secs
lola: 532520 markings, 45200156 edges, 5281 markings/sec, 95 secs
lola: 559192 markings, 47568020 edges, 5334 markings/sec, 100 secs
lola: 583672 markings, 49679201 edges, 4896 markings/sec, 105 secs
lola: 607130 markings, 51709129 edges, 4692 markings/sec, 110 secs
lola: 632402 markings, 53864561 edges, 5054 markings/sec, 115 secs
lola: 665271 markings, 55826462 edges, 6574 markings/sec, 120 secs
lola: 688119 markings, 58247046 edges, 4570 markings/sec, 125 secs
lola: 714249 markings, 60674152 edges, 5226 markings/sec, 130 secs
lola: 737261 markings, 62813551 edges, 4602 markings/sec, 135 secs
lola: 760588 markings, 64798592 edges, 4665 markings/sec, 140 secs
lola: 785594 markings, 66938598 edges, 5001 markings/sec, 145 secs
lola: 818837 markings, 68959352 edges, 6649 markings/sec, 150 secs
lola: 869774 markings, 71048722 edges, 10187 markings/sec, 155 secs
lola: 920047 markings, 73117737 edges, 10055 markings/sec, 160 secs
lola: 970018 markings, 75176024 edges, 9994 markings/sec, 165 secs
lola: 1019450 markings, 77211017 edges, 9886 markings/sec, 170 secs
lola: 1065078 markings, 79098686 edges, 9126 markings/sec, 175 secs
lola: 1085133 markings, 81647819 edges, 4011 markings/sec, 180 secs
lola: 1112856 markings, 84056159 edges, 5545 markings/sec, 185 secs
lola: 1138019 markings, 86210431 edges, 5033 markings/sec, 190 secs
lola: 1161593 markings, 88232290 edges, 4715 markings/sec, 195 secs
lola: 1186456 markings, 90351398 edges, 4973 markings/sec, 200 secs
lola: 1225248 markings, 92449343 edges, 7758 markings/sec, 205 secs
lola: 1259490 markings, 94423304 edges, 6848 markings/sec, 210 secs
lola: 1285144 markings, 96456306 edges, 5131 markings/sec, 215 secs
lola: 1310812 markings, 98492249 edges, 5134 markings/sec, 220 secs
lola: 1336306 markings, 100515480 edges, 5099 markings/sec, 225 secs
lola: 1361492 markings, 102511912 edges, 5037 markings/sec, 230 secs
lola: 1386417 markings, 104491791 edges, 4985 markings/sec, 235 secs
lola: 1422858 markings, 106433503 edges, 7288 markings/sec, 240 secs
lola: 1470534 markings, 108378237 edges, 9535 markings/sec, 245 secs
lola: 1518008 markings, 110319692 edges, 9495 markings/sec, 250 secs
lola: 1565326 markings, 112256517 edges, 9464 markings/sec, 255 secs
lola: 1612178 markings, 114173089 edges, 9370 markings/sec, 260 secs
lola: 1658790 markings, 116080876 edges, 9322 markings/sec, 265 secs
lola: 1698279 markings, 117938579 edges, 7898 markings/sec, 270 secs
lola: 1721150 markings, 119867282 edges, 4574 markings/sec, 275 secs
lola: 1752804 markings, 121656221 edges, 6331 markings/sec, 280 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA CloudDeployment-PT-6a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494617621675

--------------------
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="CloudDeployment-PT-6a"
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/CloudDeployment-PT-6a.tgz
mv CloudDeployment-PT-6a execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is CloudDeployment-PT-6a, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r018-ebro-149436308800038"
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 ;