About the Execution of LoLA for CloudReconfiguration-PT-303
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1227.770 | 3539985.00 | 3550305.00 | 262.60 | ? ? ? ? 1 ? ? ? ? ? ? ? ? ? ? ? | 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 CloudReconfiguration-PT-303, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961200020
=====================================================================
--------------------
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 CloudReconfiguration-PT-303-UpperBounds-0
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-1
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-10
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-11
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-12
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-13
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-14
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-15
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-2
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-3
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-4
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-5
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-6
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-7
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-8
FORMULA_NAME CloudReconfiguration-PT-303-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496529515703
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
CloudReconfiguration-PT-303: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-303: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-303 @ 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: 5678/65536 symbol table entries, 638 collisions
lola: preprocessing...
lola: finding significant places
lola: 2584 places, 3094 transitions, 2580 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2707 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-303-UpperBounds.task
lola: MAX(p569) : MAX(p2258) : MAX(p1834) : MAX(p2305) : MAX(p1271) : MAX(p990) : MAX(p1516) : MAX(p2251) : MAX(p2075) : MAX(p2149) : MAX(p933) : MAX(p574) : MAX(p1906) : MAX(p1856) : MAX(p2008) : MAX(p2540)
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(p569)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 126214 markings, 152863 edges, 25243 markings/sec, 0 secs
lola: 246289 markings, 301154 edges, 24015 markings/sec, 5 secs
lola: 357408 markings, 438207 edges, 22224 markings/sec, 10 secs
lola: 460948 markings, 565450 edges, 20708 markings/sec, 15 secs
lola: 563630 markings, 692867 edges, 20536 markings/sec, 20 secs
lola: 667648 markings, 822357 edges, 20804 markings/sec, 25 secs
lola: 773656 markings, 954347 edges, 21202 markings/sec, 30 secs
lola: 874952 markings, 1078192 edges, 20259 markings/sec, 35 secs
lola: 978914 markings, 1204971 edges, 20792 markings/sec, 40 secs
lola: 1084858 markings, 1336568 edges, 21189 markings/sec, 45 secs
lola: 1185413 markings, 1463955 edges, 20111 markings/sec, 50 secs
lola: 1298529 markings, 1606238 edges, 22623 markings/sec, 55 secs
lola: 1407776 markings, 1742295 edges, 21849 markings/sec, 60 secs
lola: 1515364 markings, 1875599 edges, 21518 markings/sec, 65 secs
lola: 1622634 markings, 2007162 edges, 21454 markings/sec, 70 secs
lola: 1703987 markings, 2159179 edges, 16271 markings/sec, 75 secs
lola: 1802317 markings, 2307067 edges, 19666 markings/sec, 80 secs
lola: 1886539 markings, 2457294 edges, 16844 markings/sec, 85 secs
lola: 1971328 markings, 2623421 edges, 16958 markings/sec, 90 secs
lola: 2076075 markings, 2751864 edges, 20949 markings/sec, 95 secs
lola: 2180091 markings, 2888024 edges, 20803 markings/sec, 100 secs
lola: 2259880 markings, 3060407 edges, 15958 markings/sec, 105 secs
lola: 2356124 markings, 3257044 edges, 19249 markings/sec, 110 secs
lola: 2442184 markings, 3433163 edges, 17212 markings/sec, 115 secs
lola: 2521235 markings, 3596164 edges, 15810 markings/sec, 120 secs
lola: 2586838 markings, 3735757 edges, 13121 markings/sec, 125 secs
lola: 2644283 markings, 3854503 edges, 11489 markings/sec, 130 secs
lola: 2698472 markings, 3968172 edges, 10838 markings/sec, 135 secs
lola: 2745926 markings, 4064820 edges, 9491 markings/sec, 140 secs
lola: 2788903 markings, 4155375 edges, 8595 markings/sec, 145 secs
lola: 2831655 markings, 4242856 edges, 8550 markings/sec, 150 secs
lola: 2881251 markings, 4350428 edges, 9919 markings/sec, 155 secs
lola: 2957355 markings, 4515284 edges, 15221 markings/sec, 160 secs
lola: 3028630 markings, 4685446 edges, 14255 markings/sec, 165 secs
lola: 3132741 markings, 4813199 edges, 20822 markings/sec, 170 secs
lola: 3238169 markings, 4942504 edges, 21086 markings/sec, 175 secs
lola: 3342595 markings, 5070022 edges, 20885 markings/sec, 180 secs
lola: 3447619 markings, 5198901 edges, 21005 markings/sec, 185 secs
lola: 3554280 markings, 5328806 edges, 21332 markings/sec, 190 secs
lola: 3660938 markings, 5459641 edges, 21332 markings/sec, 195 secs
lola: 3766982 markings, 5589710 edges, 21209 markings/sec, 200 secs
lola: 3870382 markings, 5715922 edges, 20680 markings/sec, 205 secs
lola: 3975741 markings, 5846832 edges, 21072 markings/sec, 210 secs
lola: 4075297 markings, 5971551 edges, 19911 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(p2258)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 144071 markings, 174658 edges, 28814 markings/sec, 0 secs
lola: 284650 markings, 351963 edges, 28116 markings/sec, 5 secs
lola: 413584 markings, 514177 edges, 25787 markings/sec, 10 secs
lola: 536205 markings, 668736 edges, 24524 markings/sec, 15 secs
lola: 646936 markings, 802911 edges, 22146 markings/sec, 20 secs
lola: 755978 markings, 934666 edges, 21808 markings/sec, 25 secs
lola: 866315 markings, 1067745 edges, 22067 markings/sec, 30 secs
lola: 978112 markings, 1202891 edges, 22359 markings/sec, 35 secs
lola: 1092091 markings, 1340869 edges, 22796 markings/sec, 40 secs
lola: 1217676 markings, 1493894 edges, 25117 markings/sec, 45 secs
lola: 1357385 markings, 1671808 edges, 27942 markings/sec, 50 secs
lola: 1487964 markings, 1834841 edges, 26116 markings/sec, 55 secs
lola: 1632091 markings, 2018474 edges, 28825 markings/sec, 60 secs
lola: 1780214 markings, 2201335 edges, 29625 markings/sec, 65 secs
lola: 1933108 markings, 2397888 edges, 30579 markings/sec, 70 secs
lola: 2083033 markings, 2585860 edges, 29985 markings/sec, 75 secs
lola: 2226014 markings, 2765821 edges, 28596 markings/sec, 80 secs
lola: 2362891 markings, 2937087 edges, 27375 markings/sec, 85 secs
lola: 2509376 markings, 3124616 edges, 29297 markings/sec, 90 secs
lola: 2657208 markings, 3313809 edges, 29566 markings/sec, 95 secs
lola: 2797442 markings, 3489606 edges, 28047 markings/sec, 100 secs
lola: 2932673 markings, 3659047 edges, 27046 markings/sec, 105 secs
lola: 3047490 markings, 3801382 edges, 22963 markings/sec, 110 secs
lola: 3146465 markings, 3921819 edges, 19795 markings/sec, 115 secs
lola: 3260453 markings, 4061098 edges, 22798 markings/sec, 120 secs
lola: 3381667 markings, 4211031 edges, 24243 markings/sec, 125 secs
lola: 3488228 markings, 4344206 edges, 21312 markings/sec, 130 secs
lola: 3598960 markings, 4481196 edges, 22146 markings/sec, 135 secs
lola: 3719967 markings, 4632761 edges, 24201 markings/sec, 140 secs
lola: 3837454 markings, 4776338 edges, 23497 markings/sec, 145 secs
lola: 3943688 markings, 4910048 edges, 21247 markings/sec, 150 secs
lola: 4056013 markings, 5050330 edges, 22465 markings/sec, 155 secs
lola: 4171216 markings, 5194007 edges, 23041 markings/sec, 160 secs
lola: 4288160 markings, 5337084 edges, 23389 markings/sec, 165 secs
lola: 4385123 markings, 5455209 edges, 19393 markings/sec, 170 secs
lola: 4506810 markings, 5606207 edges, 24337 markings/sec, 175 secs
lola: 4622495 markings, 5747726 edges, 23137 markings/sec, 180 secs
lola: 4735851 markings, 5886375 edges, 22671 markings/sec, 185 secs
lola: 4863733 markings, 6044146 edges, 25576 markings/sec, 190 secs
lola: 4987224 markings, 6196158 edges, 24698 markings/sec, 195 secs
lola: 5096107 markings, 6332537 edges, 21777 markings/sec, 200 secs
lola: 5217448 markings, 6485832 edges, 24268 markings/sec, 205 secs
lola: 5334917 markings, 6630550 edges, 23494 markings/sec, 210 secs
lola: 5439143 markings, 6762911 edges, 20845 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(p1834)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 106135 markings, 127344 edges, 21227 markings/sec, 0 secs
lola: 214536 markings, 257751 edges, 21680 markings/sec, 5 secs
lola: 332122 markings, 399232 edges, 23517 markings/sec, 10 secs
lola: 461464 markings, 554970 edges, 25868 markings/sec, 15 secs
lola: 588490 markings, 708062 edges, 25405 markings/sec, 20 secs
lola: 717397 markings, 864104 edges, 25781 markings/sec, 25 secs
lola: 849255 markings, 1025252 edges, 26372 markings/sec, 30 secs
lola: 969336 markings, 1175765 edges, 24016 markings/sec, 35 secs
lola: 1090546 markings, 1327630 edges, 24242 markings/sec, 40 secs
lola: 1227650 markings, 1498868 edges, 27421 markings/sec, 45 secs
lola: 1364453 markings, 1670333 edges, 27361 markings/sec, 50 secs
lola: 1504799 markings, 1846707 edges, 28069 markings/sec, 55 secs
lola: 1632565 markings, 2007229 edges, 25553 markings/sec, 60 secs
lola: 1757108 markings, 2159701 edges, 24909 markings/sec, 65 secs
lola: 1871095 markings, 2302934 edges, 22797 markings/sec, 70 secs
lola: 1982315 markings, 2442320 edges, 22244 markings/sec, 75 secs
lola: 2103950 markings, 2597899 edges, 24327 markings/sec, 80 secs
lola: 2235390 markings, 2764184 edges, 26288 markings/sec, 85 secs
lola: 2369453 markings, 2933294 edges, 26813 markings/sec, 90 secs
lola: 2502443 markings, 3104083 edges, 26598 markings/sec, 95 secs
lola: 2630874 markings, 3265427 edges, 25686 markings/sec, 100 secs
lola: 2756674 markings, 3418775 edges, 25160 markings/sec, 105 secs
lola: 2919345 markings, 3622733 edges, 32534 markings/sec, 110 secs
lola: 3055296 markings, 3794074 edges, 27190 markings/sec, 115 secs
lola: 3167977 markings, 3935433 edges, 22536 markings/sec, 120 secs
lola: 3274296 markings, 4067747 edges, 21264 markings/sec, 125 secs
lola: 3392097 markings, 4216157 edges, 23560 markings/sec, 130 secs
lola: 3532819 markings, 4395005 edges, 28144 markings/sec, 135 secs
lola: 3686067 markings, 4588431 edges, 30650 markings/sec, 140 secs
lola: 3818034 markings, 4757214 edges, 26393 markings/sec, 145 secs
lola: 3920452 markings, 4887457 edges, 20484 markings/sec, 150 secs
lola: 4029957 markings, 5022332 edges, 21901 markings/sec, 155 secs
lola: 4158367 markings, 5182938 edges, 25682 markings/sec, 160 secs
lola: 4297575 markings, 5358243 edges, 27842 markings/sec, 165 secs
lola: 4434371 markings, 5534437 edges, 27359 markings/sec, 170 secs
lola: 4565853 markings, 5702312 edges, 26296 markings/sec, 175 secs
lola: 4678769 markings, 5845733 edges, 22583 markings/sec, 180 secs
lola: 4781488 markings, 5974256 edges, 20544 markings/sec, 185 secs
lola: 4882728 markings, 6101348 edges, 20248 markings/sec, 190 secs
lola: 4995564 markings, 6247767 edges, 22567 markings/sec, 195 secs
lola: 5116837 markings, 6403273 edges, 24255 markings/sec, 200 secs
lola: 5227929 markings, 6546345 edges, 22218 markings/sec, 205 secs
lola: 5332716 markings, 6679124 edges, 20957 markings/sec, 210 secs
lola: 5434727 markings, 6811965 edges, 20402 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(p2305)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 109929 markings, 132116 edges, 21986 markings/sec, 0 secs
lola: 219195 markings, 264034 edges, 21853 markings/sec, 5 secs
lola: 327617 markings, 394990 edges, 21684 markings/sec, 10 secs
lola: 437038 markings, 527362 edges, 21884 markings/sec, 15 secs
lola: 571028 markings, 692480 edges, 26798 markings/sec, 20 secs
lola: 703980 markings, 861372 edges, 26590 markings/sec, 25 secs
lola: 820429 markings, 1005692 edges, 23290 markings/sec, 30 secs
lola: 941661 markings, 1158694 edges, 24246 markings/sec, 35 secs
lola: 1047554 markings, 1288347 edges, 21179 markings/sec, 40 secs
lola: 1166283 markings, 1438864 edges, 23746 markings/sec, 45 secs
lola: 1288786 markings, 1594399 edges, 24501 markings/sec, 50 secs
lola: 1386781 markings, 1713533 edges, 19599 markings/sec, 55 secs
lola: 1485878 markings, 1833602 edges, 19819 markings/sec, 60 secs
lola: 1589186 markings, 1959526 edges, 20662 markings/sec, 65 secs
lola: 1698543 markings, 2092148 edges, 21871 markings/sec, 70 secs
lola: 1824349 markings, 2244503 edges, 25161 markings/sec, 75 secs
lola: 1979876 markings, 2443401 edges, 31105 markings/sec, 80 secs
lola: 2129978 markings, 2632004 edges, 30020 markings/sec, 85 secs
lola: 2268151 markings, 2804536 edges, 27635 markings/sec, 90 secs
lola: 2398610 markings, 2964612 edges, 26092 markings/sec, 95 secs
lola: 2527425 markings, 3123959 edges, 25763 markings/sec, 100 secs
lola: 2658531 markings, 3294283 edges, 26221 markings/sec, 105 secs
lola: 2787120 markings, 3455251 edges, 25718 markings/sec, 110 secs
lola: 2912889 markings, 3611842 edges, 25154 markings/sec, 115 secs
lola: 3041607 markings, 3776568 edges, 25744 markings/sec, 120 secs
lola: 3175302 markings, 3941205 edges, 26739 markings/sec, 125 secs
lola: 3275682 markings, 4064813 edges, 20076 markings/sec, 130 secs
lola: 3406768 markings, 4235388 edges, 26217 markings/sec, 135 secs
lola: 3544731 markings, 4406918 edges, 27593 markings/sec, 140 secs
lola: 3639641 markings, 4522459 edges, 18982 markings/sec, 145 secs
lola: 3752668 markings, 4660680 edges, 22605 markings/sec, 150 secs
lola: 3867349 markings, 4803259 edges, 22936 markings/sec, 155 secs
lola: 3989683 markings, 4955415 edges, 24467 markings/sec, 160 secs
lola: 4090435 markings, 5082045 edges, 20150 markings/sec, 165 secs
lola: 4196189 markings, 5211840 edges, 21151 markings/sec, 170 secs
lola: 4309105 markings, 5353028 edges, 22583 markings/sec, 175 secs
lola: 4435106 markings, 5514300 edges, 25200 markings/sec, 180 secs
lola: 4530857 markings, 5631053 edges, 19150 markings/sec, 185 secs
lola: 4637110 markings, 5761156 edges, 21251 markings/sec, 190 secs
lola: 4733568 markings, 5878951 edges, 19292 markings/sec, 195 secs
lola: 4842879 markings, 6014692 edges, 21862 markings/sec, 200 secs
lola: 4947793 markings, 6146730 edges, 20983 markings/sec, 205 secs
lola: 5063684 markings, 6289701 edges, 23178 markings/sec, 210 secs
lola: 5177046 markings, 6428335 edges, 22672 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(p1271)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 154227 markings, 187903 edges, 30845 markings/sec, 0 secs
lola: 305013 markings, 372308 edges, 30157 markings/sec, 5 secs
lola: 466688 markings, 570253 edges, 32335 markings/sec, 10 secs
lola: 637490 markings, 779553 edges, 34160 markings/sec, 15 secs
lola: 777665 markings, 952171 edges, 28035 markings/sec, 20 secs
lola: 910148 markings, 1115471 edges, 26497 markings/sec, 25 secs
lola: 1061318 markings, 1302038 edges, 30234 markings/sec, 30 secs
lola: 1229365 markings, 1509227 edges, 33609 markings/sec, 35 secs
lola: 1361718 markings, 1670420 edges, 26471 markings/sec, 40 secs
lola: 1478272 markings, 1810511 edges, 23311 markings/sec, 45 secs
lola: 1587219 markings, 1941718 edges, 21789 markings/sec, 50 secs
lola: 1706464 markings, 2087905 edges, 23849 markings/sec, 55 secs
lola: 1832520 markings, 2242667 edges, 25211 markings/sec, 60 secs
lola: 1958507 markings, 2397100 edges, 25197 markings/sec, 65 secs
lola: 2089636 markings, 2557897 edges, 26226 markings/sec, 70 secs
lola: 2228498 markings, 2728417 edges, 27772 markings/sec, 75 secs
lola: 2364897 markings, 2896173 edges, 27280 markings/sec, 80 secs
lola: 2498087 markings, 3060168 edges, 26638 markings/sec, 85 secs
lola: 2635234 markings, 3227718 edges, 27429 markings/sec, 90 secs
lola: 2776287 markings, 3400497 edges, 28211 markings/sec, 95 secs
lola: 2908524 markings, 3563290 edges, 26447 markings/sec, 100 secs
lola: 3046249 markings, 3730661 edges, 27545 markings/sec, 105 secs
lola: 3182155 markings, 3897310 edges, 27181 markings/sec, 110 secs
lola: 3322028 markings, 4068614 edges, 27975 markings/sec, 115 secs
lola: 3463737 markings, 4241954 edges, 28342 markings/sec, 120 secs
lola: 3613689 markings, 4423936 edges, 29990 markings/sec, 125 secs
lola: 3764905 markings, 4609444 edges, 30243 markings/sec, 130 secs
lola: 3917204 markings, 4797979 edges, 30460 markings/sec, 135 secs
lola: 4067118 markings, 4983616 edges, 29983 markings/sec, 140 secs
lola: 4222562 markings, 5175160 edges, 31089 markings/sec, 145 secs
lola: 4370390 markings, 5356670 edges, 29566 markings/sec, 150 secs
lola: 4510439 markings, 5528623 edges, 28010 markings/sec, 155 secs
lola: 4646075 markings, 5694682 edges, 27127 markings/sec, 160 secs
lola: 4777407 markings, 5856134 edges, 26266 markings/sec, 165 secs
lola: 4909790 markings, 6018167 edges, 26477 markings/sec, 170 secs
lola: 5034127 markings, 6171335 edges, 24867 markings/sec, 175 secs
lola: 5166619 markings, 6333620 edges, 26498 markings/sec, 180 secs
lola: 5320578 markings, 6523496 edges, 30792 markings/sec, 185 secs
lola: 5467751 markings, 6705379 edges, 29435 markings/sec, 190 secs
lola: 5600485 markings, 6867995 edges, 26547 markings/sec, 195 secs
lola: 5743828 markings, 7043322 edges, 28669 markings/sec, 200 secs
lola: 5871591 markings, 7200174 edges, 25553 markings/sec, 205 secs
lola: 5993744 markings, 7348619 edges, 24431 markings/sec, 210 secs
lola: 6125046 markings, 7508983 edges, 26260 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(p990)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 103445 markings, 124890 edges, 20689 markings/sec, 0 secs
lola: 202347 markings, 244369 edges, 19780 markings/sec, 5 secs
lola: 320852 markings, 389183 edges, 23701 markings/sec, 10 secs
lola: 438336 markings, 534239 edges, 23497 markings/sec, 15 secs
lola: 549342 markings, 671106 edges, 22201 markings/sec, 20 secs
lola: 661143 markings, 810775 edges, 22360 markings/sec, 25 secs
lola: 764195 markings, 936795 edges, 20610 markings/sec, 30 secs
lola: 863771 markings, 1059065 edges, 19915 markings/sec, 35 secs
lola: 976892 markings, 1201060 edges, 22624 markings/sec, 40 secs
lola: 1085798 markings, 1337637 edges, 21781 markings/sec, 45 secs
lola: 1181035 markings, 1453683 edges, 19047 markings/sec, 50 secs
lola: 1275574 markings, 1568809 edges, 18908 markings/sec, 55 secs
lola: 1380267 markings, 1695799 edges, 20939 markings/sec, 60 secs
lola: 1508683 markings, 1858575 edges, 25683 markings/sec, 65 secs
lola: 1628401 markings, 2010953 edges, 23944 markings/sec, 70 secs
lola: 1747761 markings, 2161904 edges, 23872 markings/sec, 75 secs
lola: 1858145 markings, 2299941 edges, 22077 markings/sec, 80 secs
lola: 1967660 markings, 2438197 edges, 21903 markings/sec, 85 secs
lola: 2083288 markings, 2588562 edges, 23126 markings/sec, 90 secs
lola: 2198442 markings, 2733186 edges, 23031 markings/sec, 95 secs
lola: 2310989 markings, 2876820 edges, 22509 markings/sec, 100 secs
lola: 2410804 markings, 2999453 edges, 19963 markings/sec, 105 secs
lola: 2516113 markings, 3127465 edges, 21062 markings/sec, 110 secs
lola: 2672078 markings, 3327120 edges, 31193 markings/sec, 115 secs
lola: 2824354 markings, 3518393 edges, 30455 markings/sec, 120 secs
lola: 2957834 markings, 3685296 edges, 26696 markings/sec, 125 secs
lola: 3075093 markings, 3829049 edges, 23452 markings/sec, 130 secs
lola: 3187885 markings, 3968322 edges, 22558 markings/sec, 135 secs
lola: 3328049 markings, 4150301 edges, 28033 markings/sec, 140 secs
lola: 3466587 markings, 4324002 edges, 27708 markings/sec, 145 secs
lola: 3591046 markings, 4479021 edges, 24892 markings/sec, 150 secs
lola: 3715758 markings, 4638658 edges, 24942 markings/sec, 155 secs
lola: 3826606 markings, 4775915 edges, 22170 markings/sec, 160 secs
lola: 3928912 markings, 4900877 edges, 20461 markings/sec, 165 secs
lola: 4031851 markings, 5032756 edges, 20588 markings/sec, 170 secs
lola: 4140995 markings, 5166236 edges, 21829 markings/sec, 175 secs
lola: 4238211 markings, 5289099 edges, 19443 markings/sec, 180 secs
lola: 4370357 markings, 5454482 edges, 26429 markings/sec, 185 secs
lola: 4461067 markings, 5565159 edges, 18142 markings/sec, 190 secs
lola: 4567908 markings, 5698333 edges, 21368 markings/sec, 195 secs
lola: 4674866 markings, 5831893 edges, 21392 markings/sec, 200 secs
lola: 4762611 markings, 5941887 edges, 17549 markings/sec, 205 secs
lola: 4857135 markings, 6057169 edges, 18905 markings/sec, 210 secs
lola: 4963228 markings, 6189361 edges, 21219 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(p1516)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 110099 markings, 140031 edges, 22020 markings/sec, 0 secs
lola: 202719 markings, 251847 edges, 18524 markings/sec, 5 secs
lola: 317739 markings, 401831 edges, 23004 markings/sec, 10 secs
lola: 436909 markings, 549797 edges, 23834 markings/sec, 15 secs
lola: 558460 markings, 699884 edges, 24310 markings/sec, 20 secs
lola: 683643 markings, 856458 edges, 25037 markings/sec, 25 secs
lola: 804656 markings, 1004976 edges, 24203 markings/sec, 30 secs
lola: 929492 markings, 1161635 edges, 24967 markings/sec, 35 secs
lola: 1049081 markings, 1309091 edges, 23918 markings/sec, 40 secs
lola: 1148731 markings, 1429943 edges, 19930 markings/sec, 45 secs
lola: 1248632 markings, 1551895 edges, 19980 markings/sec, 50 secs
lola: 1359940 markings, 1688947 edges, 22262 markings/sec, 55 secs
lola: 1491150 markings, 1856574 edges, 26242 markings/sec, 60 secs
lola: 1618177 markings, 2016738 edges, 25405 markings/sec, 65 secs
lola: 1734578 markings, 2165350 edges, 23280 markings/sec, 70 secs
lola: 1839167 markings, 2293755 edges, 20918 markings/sec, 75 secs
lola: 1963618 markings, 2455555 edges, 24890 markings/sec, 80 secs
lola: 2089585 markings, 2615695 edges, 25193 markings/sec, 85 secs
lola: 2207547 markings, 2767145 edges, 23592 markings/sec, 90 secs
lola: 2310994 markings, 2896028 edges, 20689 markings/sec, 95 secs
lola: 2425239 markings, 3035389 edges, 22849 markings/sec, 100 secs
lola: 2576879 markings, 3229979 edges, 30328 markings/sec, 105 secs
lola: 2720110 markings, 3410742 edges, 28646 markings/sec, 110 secs
lola: 2855356 markings, 3581176 edges, 27049 markings/sec, 115 secs
lola: 2977332 markings, 3734494 edges, 24395 markings/sec, 120 secs
lola: 3086255 markings, 3867982 edges, 21785 markings/sec, 125 secs
lola: 3227327 markings, 4051959 edges, 28214 markings/sec, 130 secs
lola: 3361412 markings, 4221197 edges, 26817 markings/sec, 135 secs
lola: 3472344 markings, 4360977 edges, 22186 markings/sec, 140 secs
lola: 3581517 markings, 4500840 edges, 21835 markings/sec, 145 secs
lola: 3698466 markings, 4647415 edges, 23390 markings/sec, 150 secs
lola: 3820378 markings, 4799394 edges, 24382 markings/sec, 155 secs
lola: 3904362 markings, 4908003 edges, 16797 markings/sec, 160 secs
lola: 4020210 markings, 5051039 edges, 23170 markings/sec, 165 secs
lola: 4112242 markings, 5171086 edges, 18406 markings/sec, 170 secs
lola: 4232281 markings, 5319772 edges, 24008 markings/sec, 175 secs
lola: 4337760 markings, 5454082 edges, 21096 markings/sec, 180 secs
lola: 4449611 markings, 5594567 edges, 22370 markings/sec, 185 secs
lola: 4560698 markings, 5733851 edges, 22217 markings/sec, 190 secs
lola: 4641659 markings, 5835877 edges, 16192 markings/sec, 195 secs
lola: 4750369 markings, 5970212 edges, 21742 markings/sec, 200 secs
lola: 4853448 markings, 6098173 edges, 20616 markings/sec, 205 secs
lola: 4945772 markings, 6221831 edges, 18465 markings/sec, 210 secs
lola: 5069430 markings, 6377934 edges, 24732 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(p2251)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 106455 markings, 138104 edges, 21291 markings/sec, 0 secs
lola: 206585 markings, 258814 edges, 20026 markings/sec, 5 secs
lola: 326864 markings, 428111 edges, 24056 markings/sec, 10 secs
lola: 454941 markings, 598278 edges, 25615 markings/sec, 15 secs
lola: 573338 markings, 747709 edges, 23679 markings/sec, 20 secs
lola: 690369 markings, 905990 edges, 23406 markings/sec, 25 secs
lola: 797232 markings, 1040293 edges, 21373 markings/sec, 30 secs
lola: 906221 markings, 1186479 edges, 21798 markings/sec, 35 secs
lola: 1019827 markings, 1330522 edges, 22721 markings/sec, 40 secs
lola: 1125177 markings, 1462104 edges, 21070 markings/sec, 45 secs
lola: 1219079 markings, 1577970 edges, 18780 markings/sec, 50 secs
lola: 1313626 markings, 1694378 edges, 18909 markings/sec, 55 secs
lola: 1408290 markings, 1810891 edges, 18933 markings/sec, 60 secs
lola: 1502397 markings, 1926269 edges, 18821 markings/sec, 65 secs
lola: 1617296 markings, 2066246 edges, 22980 markings/sec, 70 secs
lola: 1747873 markings, 2231178 edges, 26115 markings/sec, 75 secs
lola: 1888523 markings, 2409552 edges, 28130 markings/sec, 80 secs
lola: 2028311 markings, 2584250 edges, 27958 markings/sec, 85 secs
lola: 2156973 markings, 2744552 edges, 25732 markings/sec, 90 secs
lola: 2275573 markings, 2890657 edges, 23720 markings/sec, 95 secs
lola: 2396447 markings, 3041190 edges, 24175 markings/sec, 100 secs
lola: 2516289 markings, 3197248 edges, 23968 markings/sec, 105 secs
lola: 2640435 markings, 3352955 edges, 24829 markings/sec, 110 secs
lola: 2760004 markings, 3502135 edges, 23914 markings/sec, 115 secs
lola: 2881960 markings, 3658233 edges, 24391 markings/sec, 120 secs
lola: 3018144 markings, 3829949 edges, 27237 markings/sec, 125 secs
lola: 3153930 markings, 4007089 edges, 27157 markings/sec, 130 secs
lola: 3263338 markings, 4142598 edges, 21882 markings/sec, 135 secs
lola: 3377531 markings, 4289113 edges, 22839 markings/sec, 140 secs
lola: 3472580 markings, 4410533 edges, 19010 markings/sec, 145 secs
lola: 3580057 markings, 4543160 edges, 21495 markings/sec, 150 secs
lola: 3703193 markings, 4703356 edges, 24627 markings/sec, 155 secs
lola: 3814795 markings, 4846119 edges, 22320 markings/sec, 160 secs
lola: 3912070 markings, 4969904 edges, 19455 markings/sec, 165 secs
lola: 4021150 markings, 5108987 edges, 21816 markings/sec, 170 secs
lola: 4127096 markings, 5242677 edges, 21189 markings/sec, 175 secs
lola: 4228176 markings, 5371613 edges, 20216 markings/sec, 180 secs
lola: 4344763 markings, 5520856 edges, 23317 markings/sec, 185 secs
lola: 4448308 markings, 5649043 edges, 20709 markings/sec, 190 secs
lola: 4558972 markings, 5788460 edges, 22133 markings/sec, 195 secs
lola: 4666464 markings, 5924119 edges, 21498 markings/sec, 200 secs
lola: 4782268 markings, 6072445 edges, 23161 markings/sec, 205 secs
lola: 4877521 markings, 6195104 edges, 19051 markings/sec, 210 secs
lola: 4990266 markings, 6337350 edges, 22549 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(p2075)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 150278 markings, 248810 edges, 30056 markings/sec, 0 secs
lola: 291015 markings, 480487 edges, 28147 markings/sec, 5 secs
lola: 428028 markings, 728698 edges, 27403 markings/sec, 10 secs
lola: 560363 markings, 975981 edges, 26467 markings/sec, 15 secs
lola: 701136 markings, 1178260 edges, 28155 markings/sec, 20 secs
lola: 812528 markings, 1378982 edges, 22278 markings/sec, 25 secs
lola: 944088 markings, 1579361 edges, 26312 markings/sec, 30 secs
lola: 1053302 markings, 1753953 edges, 21843 markings/sec, 35 secs
lola: 1146502 markings, 1926774 edges, 18640 markings/sec, 40 secs
lola: 1263410 markings, 2114285 edges, 23382 markings/sec, 45 secs
lola: 1386601 markings, 2281278 edges, 24638 markings/sec, 50 secs
lola: 1491544 markings, 2445977 edges, 20989 markings/sec, 55 secs
lola: 1591854 markings, 2598139 edges, 20062 markings/sec, 60 secs
lola: 1694357 markings, 2747020 edges, 20501 markings/sec, 65 secs
lola: 1794675 markings, 2898971 edges, 20064 markings/sec, 70 secs
lola: 1894888 markings, 3044471 edges, 20043 markings/sec, 75 secs
lola: 1993213 markings, 3187443 edges, 19665 markings/sec, 80 secs
lola: 2090411 markings, 3327984 edges, 19440 markings/sec, 85 secs
lola: 2190957 markings, 3468676 edges, 20109 markings/sec, 90 secs
lola: 2298837 markings, 3617463 edges, 21576 markings/sec, 95 secs
lola: 2424233 markings, 3781745 edges, 25079 markings/sec, 100 secs
lola: 2545946 markings, 3937090 edges, 24343 markings/sec, 105 secs
lola: 2670835 markings, 4092996 edges, 24978 markings/sec, 110 secs
lola: 2780404 markings, 4229425 edges, 21914 markings/sec, 115 secs
lola: 2893125 markings, 4379505 edges, 22544 markings/sec, 120 secs
lola: 2996462 markings, 4517372 edges, 20667 markings/sec, 125 secs
lola: 3115313 markings, 4673950 edges, 23770 markings/sec, 130 secs
lola: 3233559 markings, 4824341 edges, 23649 markings/sec, 135 secs
lola: 3341989 markings, 4960189 edges, 21686 markings/sec, 140 secs
lola: 3447073 markings, 5091621 edges, 21017 markings/sec, 145 secs
lola: 3568556 markings, 5247105 edges, 24297 markings/sec, 150 secs
lola: 3699394 markings, 5411680 edges, 26168 markings/sec, 155 secs
lola: 3830138 markings, 5576522 edges, 26149 markings/sec, 160 secs
lola: 3956415 markings, 5747300 edges, 25255 markings/sec, 165 secs
lola: 4043484 markings, 5890012 edges, 17414 markings/sec, 170 secs
lola: 4145877 markings, 6040553 edges, 20479 markings/sec, 175 secs
lola: 4270761 markings, 6209166 edges, 24977 markings/sec, 180 secs
lola: 4355385 markings, 6348083 edges, 16925 markings/sec, 185 secs
lola: 4460203 markings, 6504876 edges, 20964 markings/sec, 190 secs
lola: 4552777 markings, 6647968 edges, 18515 markings/sec, 195 secs
lola: 4663421 markings, 6808757 edges, 22129 markings/sec, 200 secs
lola: 4781469 markings, 6959919 edges, 23610 markings/sec, 205 secs
lola: 4895579 markings, 7121521 edges, 22822 markings/sec, 210 secs
lola: 4986774 markings, 7273500 edges, 18239 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(p2149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 106817 markings, 220300 edges, 21363 markings/sec, 0 secs
lola: 209566 markings, 464497 edges, 20550 markings/sec, 5 secs
lola: 308251 markings, 694611 edges, 19737 markings/sec, 10 secs
lola: 404122 markings, 910174 edges, 19174 markings/sec, 15 secs
lola: 488411 markings, 1110044 edges, 16858 markings/sec, 20 secs
lola: 572534 markings, 1310218 edges, 16825 markings/sec, 25 secs
lola: 667645 markings, 1519561 edges, 19022 markings/sec, 30 secs
lola: 748637 markings, 1701470 edges, 16198 markings/sec, 35 secs
lola: 818767 markings, 1867868 edges, 14026 markings/sec, 40 secs
lola: 885081 markings, 2026316 edges, 13263 markings/sec, 45 secs
lola: 955009 markings, 2188589 edges, 13986 markings/sec, 50 secs
lola: 1036256 markings, 2374482 edges, 16249 markings/sec, 55 secs
lola: 1102361 markings, 2523456 edges, 13221 markings/sec, 60 secs
lola: 1164581 markings, 2671389 edges, 12444 markings/sec, 65 secs
lola: 1222805 markings, 2808992 edges, 11645 markings/sec, 70 secs
lola: 1308168 markings, 3004709 edges, 17073 markings/sec, 75 secs
lola: 1411338 markings, 3251530 edges, 20634 markings/sec, 80 secs
lola: 1509234 markings, 3487403 edges, 19579 markings/sec, 85 secs
lola: 1598440 markings, 3695870 edges, 17841 markings/sec, 90 secs
lola: 1681178 markings, 3894291 edges, 16548 markings/sec, 95 secs
lola: 1756356 markings, 4076669 edges, 15036 markings/sec, 100 secs
lola: 1833820 markings, 4261819 edges, 15493 markings/sec, 105 secs
lola: 1904256 markings, 4423916 edges, 14087 markings/sec, 110 secs
lola: 1972669 markings, 4588038 edges, 13683 markings/sec, 115 secs
lola: 2035804 markings, 4741673 edges, 12627 markings/sec, 120 secs
lola: 2101296 markings, 4897606 edges, 13098 markings/sec, 125 secs
lola: 2165403 markings, 5045769 edges, 12821 markings/sec, 130 secs
lola: 2226129 markings, 5189035 edges, 12145 markings/sec, 135 secs
lola: 2281068 markings, 5324158 edges, 10988 markings/sec, 140 secs
lola: 2333798 markings, 5451236 edges, 10546 markings/sec, 145 secs
lola: 2388697 markings, 5579061 edges, 10980 markings/sec, 150 secs
lola: 2445410 markings, 5714105 edges, 11343 markings/sec, 155 secs
lola: 2508563 markings, 5862000 edges, 12631 markings/sec, 160 secs
lola: 2575855 markings, 6020317 edges, 13458 markings/sec, 165 secs
lola: 2635718 markings, 6158456 edges, 11973 markings/sec, 170 secs
lola: 2688375 markings, 6280817 edges, 10531 markings/sec, 175 secs
lola: 2742550 markings, 6407316 edges, 10835 markings/sec, 180 secs
lola: 2830586 markings, 6615720 edges, 17607 markings/sec, 185 secs
lola: 2933701 markings, 6860642 edges, 20623 markings/sec, 190 secs
lola: 3018805 markings, 7063109 edges, 17021 markings/sec, 195 secs
lola: 3102723 markings, 7261453 edges, 16784 markings/sec, 200 secs
lola: 3174949 markings, 7433249 edges, 14445 markings/sec, 205 secs
lola: 3250139 markings, 7611617 edges, 15038 markings/sec, 210 secs
lola: 3310839 markings, 7756100 edges, 12140 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(p933)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 131982 markings, 167190 edges, 26396 markings/sec, 0 secs
lola: 253700 markings, 315509 edges, 24344 markings/sec, 5 secs
lola: 376263 markings, 465557 edges, 24513 markings/sec, 10 secs
lola: 499935 markings, 619069 edges, 24734 markings/sec, 15 secs
lola: 614472 markings, 760792 edges, 22907 markings/sec, 20 secs
lola: 727790 markings, 900604 edges, 22664 markings/sec, 25 secs
lola: 837056 markings, 1034721 edges, 21853 markings/sec, 30 secs
lola: 957400 markings, 1185576 edges, 24069 markings/sec, 35 secs
lola: 1069959 markings, 1326572 edges, 22512 markings/sec, 40 secs
lola: 1161782 markings, 1438257 edges, 18365 markings/sec, 45 secs
lola: 1257806 markings, 1555324 edges, 19205 markings/sec, 50 secs
lola: 1360381 markings, 1679783 edges, 20515 markings/sec, 55 secs
lola: 1481431 markings, 1834125 edges, 24210 markings/sec, 60 secs
lola: 1596968 markings, 1980814 edges, 23107 markings/sec, 65 secs
lola: 1714923 markings, 2130244 edges, 23591 markings/sec, 70 secs
lola: 1826389 markings, 2269392 edges, 22293 markings/sec, 75 secs
lola: 1939295 markings, 2412462 edges, 22581 markings/sec, 80 secs
lola: 2056534 markings, 2564348 edges, 23448 markings/sec, 85 secs
lola: 2172652 markings, 2709966 edges, 23224 markings/sec, 90 secs
lola: 2287065 markings, 2856198 edges, 22883 markings/sec, 95 secs
lola: 2386533 markings, 2977899 edges, 19894 markings/sec, 100 secs
lola: 2495675 markings, 3112027 edges, 21828 markings/sec, 105 secs
lola: 2637498 markings, 3292973 edges, 28365 markings/sec, 110 secs
lola: 2774534 markings, 3465397 edges, 27407 markings/sec, 115 secs
lola: 2905238 markings, 3628866 edges, 26141 markings/sec, 120 secs
lola: 3012118 markings, 3760656 edges, 21376 markings/sec, 125 secs
lola: 3117101 markings, 3888655 edges, 20997 markings/sec, 130 secs
lola: 3241494 markings, 4048358 edges, 24879 markings/sec, 135 secs
lola: 3362889 markings, 4202795 edges, 24279 markings/sec, 140 secs
lola: 3476272 markings, 4345228 edges, 22677 markings/sec, 145 secs
lola: 3580910 markings, 4475517 edges, 20928 markings/sec, 150 secs
lola: 3699661 markings, 4627707 edges, 23750 markings/sec, 155 secs
lola: 3813346 markings, 4768060 edges, 22737 markings/sec, 160 secs
lola: 3907925 markings, 4883506 edges, 18916 markings/sec, 165 secs
lola: 4013382 markings, 5018513 edges, 21091 markings/sec, 170 secs
lola: 4113586 markings, 5140940 edges, 20041 markings/sec, 175 secs
lola: 4210599 markings, 5264455 edges, 19403 markings/sec, 180 secs
lola: 4334599 markings, 5419025 edges, 24800 markings/sec, 185 secs
lola: 4421268 markings, 5524726 edges, 17334 markings/sec, 190 secs
lola: 4522709 markings, 5651168 edges, 20288 markings/sec, 195 secs
lola: 4629504 markings, 5784188 edges, 21359 markings/sec, 200 secs
lola: 4711971 markings, 5888168 edges, 16493 markings/sec, 205 secs
lola: 4814185 markings, 6013032 edges, 20443 markings/sec, 210 secs
lola: 4920975 markings, 6145132 edges, 21358 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(p574)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 85292 markings, 133224 edges, 17058 markings/sec, 0 secs
lola: 169969 markings, 251498 edges, 16935 markings/sec, 5 secs
lola: 268230 markings, 386252 edges, 19652 markings/sec, 10 secs
lola: 371463 markings, 522401 edges, 20647 markings/sec, 15 secs
lola: 470996 markings, 697971 edges, 19907 markings/sec, 20 secs
lola: 564057 markings, 821432 edges, 18612 markings/sec, 25 secs
lola: 672195 markings, 959210 edges, 21628 markings/sec, 30 secs
lola: 757398 markings, 1077570 edges, 17041 markings/sec, 35 secs
lola: 858215 markings, 1204560 edges, 20163 markings/sec, 40 secs
lola: 957136 markings, 1344655 edges, 19784 markings/sec, 45 secs
lola: 1053549 markings, 1505683 edges, 19283 markings/sec, 50 secs
lola: 1139702 markings, 1619913 edges, 17231 markings/sec, 55 secs
lola: 1240587 markings, 1749801 edges, 20177 markings/sec, 60 secs
lola: 1343372 markings, 1893137 edges, 20557 markings/sec, 65 secs
lola: 1435510 markings, 2053735 edges, 18428 markings/sec, 70 secs
lola: 1543212 markings, 2195665 edges, 21540 markings/sec, 75 secs
lola: 1633250 markings, 2333009 edges, 18008 markings/sec, 80 secs
lola: 1747695 markings, 2480910 edges, 22889 markings/sec, 85 secs
lola: 1863030 markings, 2629930 edges, 23067 markings/sec, 90 secs
lola: 1967511 markings, 2767432 edges, 20896 markings/sec, 95 secs
lola: 2064578 markings, 2891467 edges, 19413 markings/sec, 100 secs
lola: 2198582 markings, 3064055 edges, 26801 markings/sec, 105 secs
lola: 2316390 markings, 3216148 edges, 23562 markings/sec, 110 secs
lola: 2427329 markings, 3360922 edges, 22188 markings/sec, 115 secs
lola: 2546684 markings, 3512708 edges, 23871 markings/sec, 120 secs
lola: 2653726 markings, 3651451 edges, 21408 markings/sec, 125 secs
lola: 2745207 markings, 3770056 edges, 18296 markings/sec, 130 secs
lola: 2844153 markings, 3900784 edges, 19789 markings/sec, 135 secs
lola: 2941415 markings, 4042562 edges, 19452 markings/sec, 140 secs
lola: 3039287 markings, 4169355 edges, 19574 markings/sec, 145 secs
lola: 3162216 markings, 4328516 edges, 24586 markings/sec, 150 secs
lola: 3281403 markings, 4480440 edges, 23837 markings/sec, 155 secs
lola: 3389103 markings, 4621431 edges, 21540 markings/sec, 160 secs
lola: 3474408 markings, 4745045 edges, 17061 markings/sec, 165 secs
lola: 3579083 markings, 4889772 edges, 20935 markings/sec, 170 secs
lola: 3685841 markings, 5024368 edges, 21352 markings/sec, 175 secs
lola: 3750455 markings, 5113875 edges, 12923 markings/sec, 180 secs
lola: 3842636 markings, 5232420 edges, 18436 markings/sec, 185 secs
lola: 3928704 markings, 5360435 edges, 17214 markings/sec, 190 secs
lola: 3993303 markings, 5451988 edges, 12920 markings/sec, 195 secs
lola: 4062132 markings, 5558492 edges, 13766 markings/sec, 200 secs
lola: 4167264 markings, 5691274 edges, 21026 markings/sec, 205 secs
lola: 4276299 markings, 5839717 edges, 21807 markings/sec, 210 secs
lola: 4341680 markings, 5929231 edges, 13076 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(p1906)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 56668 markings, 144815 edges, 11334 markings/sec, 0 secs
lola: 106541 markings, 310825 edges, 9975 markings/sec, 5 secs
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 291 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1856)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 108690 markings, 130415 edges, 21738 markings/sec, 0 secs
lola: 217730 markings, 261218 edges, 21808 markings/sec, 5 secs
lola: 337279 markings, 404880 edges, 23910 markings/sec, 10 secs
lola: 466521 markings, 560880 edges, 25848 markings/sec, 15 secs
lola: 589671 markings, 709411 edges, 24630 markings/sec, 20 secs
lola: 714615 markings, 860445 edges, 24989 markings/sec, 25 secs
lola: 849161 markings, 1025362 edges, 26909 markings/sec, 30 secs
lola: 968917 markings, 1176009 edges, 23951 markings/sec, 35 secs
lola: 1093682 markings, 1331488 edges, 24953 markings/sec, 40 secs
lola: 1234593 markings, 1507515 edges, 28182 markings/sec, 45 secs
lola: 1379913 markings, 1689418 edges, 29064 markings/sec, 50 secs
lola: 1516771 markings, 1861800 edges, 27372 markings/sec, 55 secs
lola: 1655569 markings, 2034265 edges, 27760 markings/sec, 60 secs
lola: 1774080 markings, 2181118 edges, 23702 markings/sec, 65 secs
lola: 1883540 markings, 2318976 edges, 21892 markings/sec, 70 secs
lola: 1996402 markings, 2461452 edges, 22572 markings/sec, 75 secs
lola: 2113204 markings, 2609747 edges, 23360 markings/sec, 80 secs
lola: 2247356 markings, 2778415 edges, 26830 markings/sec, 85 secs
lola: 2376867 markings, 2942126 edges, 25902 markings/sec, 90 secs
lola: 2507480 markings, 3109751 edges, 26123 markings/sec, 95 secs
lola: 2633477 markings, 3267492 edges, 25199 markings/sec, 100 secs
lola: 2755067 markings, 3414504 edges, 24318 markings/sec, 105 secs
lola: 2926126 markings, 3628584 edges, 34212 markings/sec, 110 secs
lola: 3090549 markings, 3835882 edges, 32885 markings/sec, 115 secs
lola: 3235621 markings, 4021317 edges, 29014 markings/sec, 120 secs
lola: 3351442 markings, 4166794 edges, 23164 markings/sec, 125 secs
lola: 3451598 markings, 4291327 edges, 20031 markings/sec, 130 secs
lola: 3563247 markings, 4430343 edges, 22330 markings/sec, 135 secs
lola: 3692066 markings, 4595394 edges, 25764 markings/sec, 140 secs
lola: 3817709 markings, 4755191 edges, 25129 markings/sec, 145 secs
lola: 3920476 markings, 4886011 edges, 20553 markings/sec, 150 secs
lola: 4030764 markings, 5021719 edges, 22058 markings/sec, 155 secs
lola: 4172436 markings, 5199407 edges, 28334 markings/sec, 160 secs
lola: 4312798 markings, 5376467 edges, 28072 markings/sec, 165 secs
lola: 4446104 markings, 5548963 edges, 26661 markings/sec, 170 secs
lola: 4574496 markings, 5713262 edges, 25678 markings/sec, 175 secs
lola: 4692273 markings, 5860477 edges, 23555 markings/sec, 180 secs
lola: 4798459 markings, 5993478 edges, 21237 markings/sec, 185 secs
lola: 4908916 markings, 6132437 edges, 22091 markings/sec, 190 secs
lola: 5033416 markings, 6294315 edges, 24900 markings/sec, 195 secs
lola: 5142091 markings, 6432956 edges, 21735 markings/sec, 200 secs
lola: 5247332 markings, 6569594 edges, 21048 markings/sec, 205 secs
lola: 5363665 markings, 6718443 edges, 23267 markings/sec, 210 secs
lola: 5454050 markings, 6833619 edges, 18077 markings/sec, 215 secs
lola: 5585859 markings, 6998967 edges, 26362 markings/sec, 220 secs
lola: 5692802 markings, 7135620 edges, 21389 markings/sec, 225 secs
lola: 5808504 markings, 7282890 edges, 23140 markings/sec, 230 secs
lola: 5933869 markings, 7442044 edges, 25073 markings/sec, 235 secs
lola: 6032863 markings, 7565710 edges, 19799 markings/sec, 240 secs
lola: 6141896 markings, 7701439 edges, 21807 markings/sec, 245 secs
lola: 6229987 markings, 7811677 edges, 17618 markings/sec, 250 secs
lola: 6333813 markings, 7940795 edges, 20765 markings/sec, 255 secs
lola: 6436439 markings, 8067365 edges, 20525 markings/sec, 260 secs
lola: 6540410 markings, 8194554 edges, 20794 markings/sec, 265 secs
lola: 6624348 markings, 8299490 edges, 16788 markings/sec, 270 secs
lola: 6710274 markings, 8405374 edges, 17185 markings/sec, 275 secs
lola: 6811386 markings, 8531218 edges, 20222 markings/sec, 280 secs
lola: 6892780 markings, 8633010 edges, 16279 markings/sec, 285 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 291 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2008)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 152301 markings, 303977 edges, 30460 markings/sec, 0 secs
lola: 305916 markings, 616256 edges, 30723 markings/sec, 5 secs
lola: 454795 markings, 925353 edges, 29776 markings/sec, 10 secs
lola: 594033 markings, 1217712 edges, 27848 markings/sec, 15 secs
lola: 719201 markings, 1478812 edges, 25034 markings/sec, 20 secs
lola: 839945 markings, 1723936 edges, 24149 markings/sec, 25 secs
lola: 945876 markings, 1953492 edges, 21186 markings/sec, 30 secs
lola: 1055882 markings, 2183419 edges, 22001 markings/sec, 35 secs
lola: 1157970 markings, 2396476 edges, 20418 markings/sec, 40 secs
lola: 1253251 markings, 2590403 edges, 19056 markings/sec, 45 secs
lola: 1345204 markings, 2782487 edges, 18391 markings/sec, 50 secs
lola: 1429818 markings, 2962599 edges, 16923 markings/sec, 55 secs
lola: 1519819 markings, 3149320 edges, 18000 markings/sec, 60 secs
lola: 1601117 markings, 3320482 edges, 16260 markings/sec, 65 secs
lola: 1678430 markings, 3479724 edges, 15463 markings/sec, 70 secs
lola: 1760288 markings, 3642813 edges, 16372 markings/sec, 75 secs
lola: 1830879 markings, 3798596 edges, 14118 markings/sec, 80 secs
lola: 1901699 markings, 3947583 edges, 14164 markings/sec, 85 secs
lola: 1964614 markings, 4078150 edges, 12583 markings/sec, 90 secs
lola: 2024047 markings, 4205299 edges, 11887 markings/sec, 95 secs
lola: 2081015 markings, 4323258 edges, 11394 markings/sec, 100 secs
lola: 2134432 markings, 4433878 edges, 10683 markings/sec, 105 secs
lola: 2187563 markings, 4542361 edges, 10626 markings/sec, 110 secs
lola: 2236859 markings, 4646253 edges, 9859 markings/sec, 115 secs
lola: 2287654 markings, 4750886 edges, 10159 markings/sec, 120 secs
lola: 2336515 markings, 4852393 edges, 9772 markings/sec, 125 secs
lola: 2387093 markings, 4956128 edges, 10116 markings/sec, 130 secs
lola: 2434310 markings, 5055960 edges, 9443 markings/sec, 135 secs
lola: 2484427 markings, 5159276 edges, 10023 markings/sec, 140 secs
lola: 2534987 markings, 5262587 edges, 10112 markings/sec, 145 secs
lola: 2580764 markings, 5360407 edges, 9155 markings/sec, 150 secs
lola: 2627655 markings, 5457815 edges, 9378 markings/sec, 155 secs
lola: 2676812 markings, 5558926 edges, 9831 markings/sec, 160 secs
lola: 2724386 markings, 5657973 edges, 9515 markings/sec, 165 secs
lola: 2769727 markings, 5753741 edges, 9068 markings/sec, 170 secs
lola: 2814733 markings, 5848229 edges, 9001 markings/sec, 175 secs
lola: 2858168 markings, 5936877 edges, 8687 markings/sec, 180 secs
lola: 2899605 markings, 6022886 edges, 8287 markings/sec, 185 secs
lola: 2941316 markings, 6109308 edges, 8342 markings/sec, 190 secs
lola: 2982044 markings, 6193728 edges, 8146 markings/sec, 195 secs
lola: 3020147 markings, 6274400 edges, 7621 markings/sec, 200 secs
lola: 3060402 markings, 6356423 edges, 8051 markings/sec, 205 secs
lola: 3100230 markings, 6439536 edges, 7966 markings/sec, 210 secs
lola: 3140789 markings, 6523310 edges, 8112 markings/sec, 215 secs
lola: 3178746 markings, 6602368 edges, 7591 markings/sec, 220 secs
lola: 3216021 markings, 6680770 edges, 7455 markings/sec, 225 secs
lola: 3253859 markings, 6759740 edges, 7568 markings/sec, 230 secs
lola: 3292603 markings, 6838915 edges, 7749 markings/sec, 235 secs
lola: 3329046 markings, 6914884 edges, 7289 markings/sec, 240 secs
lola: 3369593 markings, 6995652 edges, 8109 markings/sec, 245 secs
lola: 3405055 markings, 7072530 edges, 7092 markings/sec, 250 secs
lola: 3440800 markings, 7147850 edges, 7149 markings/sec, 255 secs
lola: 3477959 markings, 7223327 edges, 7432 markings/sec, 260 secs
lola: 3513795 markings, 7298069 edges, 7167 markings/sec, 265 secs
lola: 3551320 markings, 7375756 edges, 7505 markings/sec, 270 secs
lola: 3592328 markings, 7460782 edges, 8202 markings/sec, 275 secs
lola: 3624208 markings, 7527466 edges, 6376 markings/sec, 280 secs
lola: 3662712 markings, 7607693 edges, 7701 markings/sec, 285 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 292 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2540)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 103285 markings, 123216 edges, 20657 markings/sec, 0 secs
lola: 234007 markings, 283649 edges, 26144 markings/sec, 5 secs
lola: 362702 markings, 441879 edges, 25739 markings/sec, 10 secs
lola: 498058 markings, 608836 edges, 27071 markings/sec, 15 secs
lola: 599954 markings, 734228 edges, 20379 markings/sec, 20 secs
lola: 706761 markings, 866797 edges, 21361 markings/sec, 25 secs
lola: 810222 markings, 994352 edges, 20692 markings/sec, 30 secs
lola: 903808 markings, 1109737 edges, 18717 markings/sec, 35 secs
lola: 1003605 markings, 1234118 edges, 19959 markings/sec, 40 secs
lola: 1112338 markings, 1369444 edges, 21747 markings/sec, 45 secs
lola: 1227978 markings, 1512414 edges, 23128 markings/sec, 50 secs
lola: 1337452 markings, 1645610 edges, 21895 markings/sec, 55 secs
lola: 1456540 markings, 1791247 edges, 23818 markings/sec, 60 secs
lola: 1575530 markings, 1936233 edges, 23798 markings/sec, 65 secs
lola: 1703217 markings, 2094343 edges, 25537 markings/sec, 70 secs
lola: 1830203 markings, 2257130 edges, 25397 markings/sec, 75 secs
lola: 1951723 markings, 2409680 edges, 24304 markings/sec, 80 secs
lola: 2063882 markings, 2550421 edges, 22432 markings/sec, 85 secs
lola: 2174848 markings, 2689494 edges, 22193 markings/sec, 90 secs
lola: 2290423 markings, 2839901 edges, 23115 markings/sec, 95 secs
lola: 2410966 markings, 2990564 edges, 24109 markings/sec, 100 secs
lola: 2520995 markings, 3131069 edges, 22006 markings/sec, 105 secs
lola: 2635379 markings, 3270321 edges, 22877 markings/sec, 110 secs
lola: 2762331 markings, 3425622 edges, 25390 markings/sec, 115 secs
lola: 2904587 markings, 3604652 edges, 28451 markings/sec, 120 secs
lola: 3042605 markings, 3780457 edges, 27604 markings/sec, 125 secs
lola: 3170550 markings, 3940373 edges, 25589 markings/sec, 130 secs
lola: 3288984 markings, 4086179 edges, 23687 markings/sec, 135 secs
lola: 3416292 markings, 4241876 edges, 25462 markings/sec, 140 secs
lola: 3540258 markings, 4393550 edges, 24793 markings/sec, 145 secs
lola: 3671940 markings, 4562062 edges, 26336 markings/sec, 150 secs
lola: 3808101 markings, 4734807 edges, 27232 markings/sec, 155 secs
lola: 3930116 markings, 4887695 edges, 24403 markings/sec, 160 secs
lola: 4045962 markings, 5035593 edges, 23169 markings/sec, 165 secs
lola: 4162930 markings, 5178400 edges, 23394 markings/sec, 170 secs
lola: 4275433 markings, 5316161 edges, 22501 markings/sec, 175 secs
lola: 4340672 markings, 5395180 edges, 13048 markings/sec, 180 secs
lola: 4446165 markings, 5526057 edges, 21099 markings/sec, 185 secs
lola: 4526634 markings, 5627350 edges, 16094 markings/sec, 190 secs
lola: 4598050 markings, 5716795 edges, 14283 markings/sec, 195 secs
lola: 4715558 markings, 5860809 edges, 23502 markings/sec, 200 secs
lola: 4817233 markings, 5985225 edges, 20335 markings/sec, 205 secs
lola: 4890661 markings, 6074831 edges, 14686 markings/sec, 210 secs
lola: 4999480 markings, 6208088 edges, 21764 markings/sec, 215 secs
lola: 5066068 markings, 6288797 edges, 13318 markings/sec, 220 secs
lola: 5161009 markings, 6405834 edges, 18988 markings/sec, 225 secs
lola: 5252883 markings, 6517883 edges, 18375 markings/sec, 230 secs
lola: 5322682 markings, 6605946 edges, 13960 markings/sec, 235 secs
lola: 5391845 markings, 6693615 edges, 13833 markings/sec, 240 secs
lola: 5457051 markings, 6776116 edges, 13041 markings/sec, 245 secs
lola: 5523605 markings, 6856768 edges, 13311 markings/sec, 250 secs
lola: 5610629 markings, 6965100 edges, 17405 markings/sec, 255 secs
lola: 5731999 markings, 7121419 edges, 24274 markings/sec, 260 secs
lola: 5842718 markings, 7259907 edges, 22144 markings/sec, 265 secs
lola: 5910786 markings, 7345789 edges, 13614 markings/sec, 270 secs
lola: 5985009 markings, 7437389 edges, 14845 markings/sec, 275 secs
lola: 6077410 markings, 7558881 edges, 18480 markings/sec, 280 secs
lola: 6165250 markings, 7670641 edges, 17568 markings/sec, 285 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown
FORMULA CloudReconfiguration-PT-303-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-303-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496533055688
--------------------
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="CloudReconfiguration-PT-303"
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/CloudReconfiguration-PT-303.tgz
mv CloudReconfiguration-PT-303 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 CloudReconfiguration-PT-303, 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 r178-csrt-149580961200020"
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 ;