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-5b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436308800029
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494613757351


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ CloudDeployment-PT-5b @ 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: 4657/65536 symbol table entries, 459 collisions
lola: preprocessing...
lola: finding significant places
lola: 1525 places, 3132 transitions, 1504 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2183 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-5b-UpperBounds.task
lola: MAX(p670) : MAX(p667) : MAX(p433) : MAX(p1197) : MAX(p1431) : MAX(p1060) : MAX(p310) : MAX(p1031) : MAX(p970) : MAX(p890) : MAX(p282) : MAX(p763) : MAX(p788) : MAX(p276) : MAX(p1333) : MAX(p136)
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(p670)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 99895 markings, 137910 edges, 19979 markings/sec, 0 secs
lola: 184899 markings, 343891 edges, 17001 markings/sec, 5 secs
lola: 283472 markings, 486305 edges, 19715 markings/sec, 10 secs
lola: 369421 markings, 687818 edges, 17190 markings/sec, 15 secs
lola: 466908 markings, 843358 edges, 19497 markings/sec, 20 secs
lola: 553194 markings, 1040065 edges, 17257 markings/sec, 25 secs
lola: 644932 markings, 1219762 edges, 18348 markings/sec, 30 secs
lola: 735542 markings, 1398698 edges, 18122 markings/sec, 35 secs
lola: 820663 markings, 1609327 edges, 17024 markings/sec, 40 secs
lola: 917602 markings, 1767933 edges, 19388 markings/sec, 45 secs
lola: 1004430 markings, 1963787 edges, 17366 markings/sec, 50 secs
lola: 1093228 markings, 2150609 edges, 17760 markings/sec, 55 secs
lola: 1186260 markings, 2323428 edges, 18606 markings/sec, 60 secs
lola: 1274084 markings, 2535643 edges, 17565 markings/sec, 65 secs
lola: 1374062 markings, 2717709 edges, 19996 markings/sec, 70 secs
lola: 1471469 markings, 2897235 edges, 19481 markings/sec, 75 secs
lola: 1563522 markings, 3090342 edges, 18411 markings/sec, 80 secs
lola: 1657314 markings, 3287160 edges, 18758 markings/sec, 85 secs
lola: 1754136 markings, 3459143 edges, 19364 markings/sec, 90 secs
lola: 1860402 markings, 3629145 edges, 21253 markings/sec, 95 secs
lola: 1969266 markings, 3786135 edges, 21773 markings/sec, 100 secs
lola: 2077784 markings, 3943090 edges, 21704 markings/sec, 105 secs
lola: 2190001 markings, 4098829 edges, 22443 markings/sec, 110 secs
lola: 2301899 markings, 4253307 edges, 22380 markings/sec, 115 secs
lola: 2413745 markings, 4409888 edges, 22369 markings/sec, 120 secs
lola: 2524021 markings, 4567400 edges, 22055 markings/sec, 125 secs
lola: 2632865 markings, 4726448 edges, 21769 markings/sec, 130 secs
lola: 2741034 markings, 4887775 edges, 21634 markings/sec, 135 secs
lola: 2847977 markings, 5050805 edges, 21389 markings/sec, 140 secs
lola: 2953600 markings, 5214773 edges, 21125 markings/sec, 145 secs
lola: 3057902 markings, 5381164 edges, 20860 markings/sec, 150 secs
lola: 3161162 markings, 5545911 edges, 20652 markings/sec, 155 secs
lola: 3263035 markings, 5711297 edges, 20375 markings/sec, 160 secs
lola: 3364088 markings, 5878033 edges, 20211 markings/sec, 165 secs
lola: 3463325 markings, 6046699 edges, 19847 markings/sec, 170 secs
lola: 3561563 markings, 6218237 edges, 19648 markings/sec, 175 secs
lola: 3655195 markings, 6394348 edges, 18726 markings/sec, 180 secs
lola: 3748425 markings, 6571952 edges, 18646 markings/sec, 185 secs
lola: 3835364 markings, 6766433 edges, 17388 markings/sec, 190 secs
lola: 3924484 markings, 6959796 edges, 17824 markings/sec, 195 secs
lola: 4014026 markings, 7146973 edges, 17908 markings/sec, 200 secs
lola: 4103066 markings, 7327287 edges, 17808 markings/sec, 205 secs
lola: 4193179 markings, 7511463 edges, 18023 markings/sec, 210 secs
lola: 4276425 markings, 7722294 edges, 16649 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(p667)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 90449 markings, 154138 edges, 18090 markings/sec, 0 secs
lola: 174093 markings, 328788 edges, 16729 markings/sec, 5 secs
lola: 261077 markings, 505027 edges, 17397 markings/sec, 10 secs
lola: 348559 markings, 679676 edges, 17496 markings/sec, 15 secs
lola: 434321 markings, 854557 edges, 17152 markings/sec, 20 secs
lola: 522614 markings, 1020137 edges, 17659 markings/sec, 25 secs
lola: 608957 markings, 1201397 edges, 17269 markings/sec, 30 secs
lola: 700363 markings, 1355769 edges, 18281 markings/sec, 35 secs
lola: 786307 markings, 1543037 edges, 17189 markings/sec, 40 secs
lola: 879555 markings, 1711964 edges, 18650 markings/sec, 45 secs
lola: 971515 markings, 1879158 edges, 18392 markings/sec, 50 secs
lola: 1062646 markings, 2054067 edges, 18226 markings/sec, 55 secs
lola: 1152762 markings, 2232718 edges, 18023 markings/sec, 60 secs
lola: 1244043 markings, 2408266 edges, 18256 markings/sec, 65 secs
lola: 1335638 markings, 2582926 edges, 18319 markings/sec, 70 secs
lola: 1425714 markings, 2757957 edges, 18015 markings/sec, 75 secs
lola: 1516909 markings, 2936443 edges, 18239 markings/sec, 80 secs
lola: 1606536 markings, 3115145 edges, 17925 markings/sec, 85 secs
lola: 1697294 markings, 3291788 edges, 18152 markings/sec, 90 secs
lola: 1787323 markings, 3468507 edges, 18006 markings/sec, 95 secs
lola: 1879545 markings, 3643204 edges, 18444 markings/sec, 100 secs
lola: 1980585 markings, 3786683 edges, 20208 markings/sec, 105 secs
lola: 2072552 markings, 3959458 edges, 18393 markings/sec, 110 secs
lola: 2174992 markings, 4097394 edges, 20488 markings/sec, 115 secs
lola: 2266779 markings, 4263814 edges, 18357 markings/sec, 120 secs
lola: 2363219 markings, 4415182 edges, 19288 markings/sec, 125 secs
lola: 2454277 markings, 4583872 edges, 18212 markings/sec, 130 secs
lola: 2553227 markings, 4730703 edges, 19790 markings/sec, 135 secs
lola: 2650807 markings, 4883141 edges, 19516 markings/sec, 140 secs
lola: 2743752 markings, 5042029 edges, 18589 markings/sec, 145 secs
lola: 2841401 markings, 5193110 edges, 19530 markings/sec, 150 secs
lola: 2940534 markings, 5336377 edges, 19827 markings/sec, 155 secs
lola: 3038368 markings, 5483935 edges, 19567 markings/sec, 160 secs
lola: 3132515 markings, 5637411 edges, 18829 markings/sec, 165 secs
lola: 3226075 markings, 5791009 edges, 18712 markings/sec, 170 secs
lola: 3317159 markings, 5949290 edges, 18217 markings/sec, 175 secs
lola: 3407837 markings, 6110428 edges, 18136 markings/sec, 180 secs
lola: 3506309 markings, 6263422 edges, 19694 markings/sec, 185 secs
lola: 3596937 markings, 6430509 edges, 18126 markings/sec, 190 secs
lola: 3684608 markings, 6594104 edges, 17534 markings/sec, 195 secs
lola: 3772278 markings, 6761208 edges, 17534 markings/sec, 200 secs
lola: 3857804 markings, 6924472 edges, 17105 markings/sec, 205 secs
lola: 3939791 markings, 7095101 edges, 16397 markings/sec, 210 secs
lola: 4022931 markings, 7269623 edges, 16628 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(p433)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 102000 markings, 107060 edges, 20400 markings/sec, 0 secs
lola: 205685 markings, 213977 edges, 20737 markings/sec, 5 secs
lola: 310138 markings, 320772 edges, 20891 markings/sec, 10 secs
lola: 415020 markings, 427983 edges, 20976 markings/sec, 15 secs
lola: 519844 markings, 535141 edges, 20965 markings/sec, 20 secs
lola: 624778 markings, 642423 edges, 20987 markings/sec, 25 secs
lola: 728521 markings, 748974 edges, 20749 markings/sec, 30 secs
lola: 830475 markings, 854677 edges, 20391 markings/sec, 35 secs
lola: 934093 markings, 960392 edges, 20724 markings/sec, 40 secs
lola: 1038316 markings, 1066788 edges, 20845 markings/sec, 45 secs
lola: 1142840 markings, 1173445 edges, 20905 markings/sec, 50 secs
lola: 1247064 markings, 1280129 edges, 20845 markings/sec, 55 secs
lola: 1349111 markings, 1388263 edges, 20409 markings/sec, 60 secs
lola: 1447573 markings, 1502597 edges, 19692 markings/sec, 65 secs
lola: 1546575 markings, 1615998 edges, 19800 markings/sec, 70 secs
lola: 1645029 markings, 1729720 edges, 19691 markings/sec, 75 secs
lola: 1743466 markings, 1844899 edges, 19687 markings/sec, 80 secs
lola: 1841146 markings, 1962124 edges, 19536 markings/sec, 85 secs
lola: 1937163 markings, 2086528 edges, 19203 markings/sec, 90 secs
lola: 2031309 markings, 2219775 edges, 18829 markings/sec, 95 secs
lola: 2126381 markings, 2347960 edges, 19014 markings/sec, 100 secs
lola: 2224582 markings, 2469192 edges, 19640 markings/sec, 105 secs
lola: 2322229 markings, 2591394 edges, 19529 markings/sec, 110 secs
lola: 2420372 markings, 2714995 edges, 19629 markings/sec, 115 secs
lola: 2517604 markings, 2841261 edges, 19446 markings/sec, 120 secs
lola: 2614494 markings, 2969118 edges, 19378 markings/sec, 125 secs
lola: 2709147 markings, 3104711 edges, 18931 markings/sec, 130 secs
lola: 2805059 markings, 3234479 edges, 19182 markings/sec, 135 secs
lola: 2903288 markings, 3355271 edges, 19646 markings/sec, 140 secs
lola: 3000902 markings, 3477672 edges, 19523 markings/sec, 145 secs
lola: 3095648 markings, 3598808 edges, 18949 markings/sec, 150 secs
lola: 3192588 markings, 3723954 edges, 19388 markings/sec, 155 secs
lola: 3288991 markings, 3851340 edges, 19281 markings/sec, 160 secs
lola: 3382175 markings, 3990075 edges, 18637 markings/sec, 165 secs
lola: 3479225 markings, 4108135 edges, 19410 markings/sec, 170 secs
lola: 3577309 markings, 4217176 edges, 19617 markings/sec, 175 secs
lola: 3675120 markings, 4327554 edges, 19562 markings/sec, 180 secs
lola: 3772642 markings, 4440781 edges, 19504 markings/sec, 185 secs
lola: 3870195 markings, 4556476 edges, 19511 markings/sec, 190 secs
lola: 3966780 markings, 4674186 edges, 19317 markings/sec, 195 secs
lola: 4060062 markings, 4800798 edges, 18656 markings/sec, 200 secs
lola: 4156341 markings, 4929608 edges, 19256 markings/sec, 205 secs
lola: 4252339 markings, 5059469 edges, 19200 markings/sec, 210 secs
lola: 4348612 markings, 5189978 edges, 19255 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(p1197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 70438 markings, 143694 edges, 14088 markings/sec, 0 secs
lola: 138461 markings, 301107 edges, 13605 markings/sec, 5 secs
lola: 201533 markings, 475635 edges, 12614 markings/sec, 10 secs
lola: 265526 markings, 650436 edges, 12799 markings/sec, 15 secs
lola: 330620 markings, 815177 edges, 13019 markings/sec, 20 secs
lola: 394817 markings, 977342 edges, 12839 markings/sec, 25 secs
lola: 457804 markings, 1139545 edges, 12597 markings/sec, 30 secs
lola: 523017 markings, 1301690 edges, 13043 markings/sec, 35 secs
lola: 589114 markings, 1456274 edges, 13219 markings/sec, 40 secs
lola: 655967 markings, 1609124 edges, 13371 markings/sec, 45 secs
lola: 711402 markings, 1771715 edges, 11087 markings/sec, 50 secs
lola: 769644 markings, 1926758 edges, 11648 markings/sec, 55 secs
lola: 828470 markings, 2073085 edges, 11765 markings/sec, 60 secs
lola: 892762 markings, 2229291 edges, 12858 markings/sec, 65 secs
lola: 953015 markings, 2398245 edges, 12051 markings/sec, 70 secs
lola: 1012216 markings, 2559087 edges, 11840 markings/sec, 75 secs
lola: 1082956 markings, 2714383 edges, 14148 markings/sec, 80 secs
lola: 1160282 markings, 2830842 edges, 15465 markings/sec, 85 secs
lola: 1238386 markings, 2942137 edges, 15621 markings/sec, 90 secs
lola: 1314820 markings, 3055536 edges, 15287 markings/sec, 95 secs
lola: 1379529 markings, 3215127 edges, 12942 markings/sec, 100 secs
lola: 1434965 markings, 3375587 edges, 11087 markings/sec, 105 secs
lola: 1492607 markings, 3527386 edges, 11528 markings/sec, 110 secs
lola: 1555774 markings, 3683078 edges, 12633 markings/sec, 115 secs
lola: 1625469 markings, 3839925 edges, 13939 markings/sec, 120 secs
lola: 1695114 markings, 3996205 edges, 13929 markings/sec, 125 secs
lola: 1761656 markings, 4148302 edges, 13308 markings/sec, 130 secs
lola: 1828910 markings, 4313457 edges, 13451 markings/sec, 135 secs
lola: 1894241 markings, 4497463 edges, 13066 markings/sec, 140 secs
lola: 1961319 markings, 4663110 edges, 13416 markings/sec, 145 secs
lola: 2029053 markings, 4826204 edges, 13547 markings/sec, 150 secs
lola: 2097907 markings, 4982468 edges, 13771 markings/sec, 155 secs
lola: 2166207 markings, 5153277 edges, 13660 markings/sec, 160 secs
lola: 2232319 markings, 5327434 edges, 13222 markings/sec, 165 secs
lola: 2301366 markings, 5486225 edges, 13809 markings/sec, 170 secs
lola: 2367646 markings, 5668432 edges, 13256 markings/sec, 175 secs
lola: 2438258 markings, 5836923 edges, 14122 markings/sec, 180 secs
lola: 2509726 markings, 6003400 edges, 14294 markings/sec, 185 secs
lola: 2579882 markings, 6171897 edges, 14031 markings/sec, 190 secs
lola: 2648979 markings, 6342430 edges, 13819 markings/sec, 195 secs
lola: 2717520 markings, 6511040 edges, 13708 markings/sec, 200 secs
lola: 2788861 markings, 6671354 edges, 14268 markings/sec, 205 secs
lola: 2862009 markings, 6800265 edges, 14630 markings/sec, 210 secs
lola: 2931059 markings, 6957566 edges, 13810 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(p1431)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 87040 markings, 200288 edges, 17408 markings/sec, 0 secs
lola: 159153 markings, 421333 edges, 14423 markings/sec, 5 secs
lola: 234268 markings, 632183 edges, 15023 markings/sec, 10 secs
lola: 320860 markings, 825546 edges, 17318 markings/sec, 15 secs
lola: 408225 markings, 1003320 edges, 17473 markings/sec, 20 secs
lola: 513252 markings, 1185789 edges, 21005 markings/sec, 25 secs
lola: 615202 markings, 1357473 edges, 20390 markings/sec, 30 secs
lola: 687039 markings, 1517159 edges, 14367 markings/sec, 35 secs
lola: 744932 markings, 1703738 edges, 11579 markings/sec, 40 secs
lola: 801518 markings, 1906223 edges, 11317 markings/sec, 45 secs
lola: 863722 markings, 2116088 edges, 12441 markings/sec, 50 secs
lola: 915937 markings, 2393388 edges, 10443 markings/sec, 55 secs
lola: 956055 markings, 2748116 edges, 8024 markings/sec, 60 secs
lola: 1022606 markings, 2940620 edges, 13310 markings/sec, 65 secs
lola: 1094126 markings, 3128519 edges, 14304 markings/sec, 70 secs
lola: 1155036 markings, 3351124 edges, 12182 markings/sec, 75 secs
lola: 1228130 markings, 3534903 edges, 14619 markings/sec, 80 secs
lola: 1308640 markings, 3708647 edges, 16102 markings/sec, 85 secs
lola: 1400962 markings, 3883812 edges, 18464 markings/sec, 90 secs
lola: 1490244 markings, 4060134 edges, 17856 markings/sec, 95 secs
lola: 1586040 markings, 4254469 edges, 19159 markings/sec, 100 secs
lola: 1691243 markings, 4444538 edges, 21041 markings/sec, 105 secs
lola: 1772573 markings, 4634518 edges, 16266 markings/sec, 110 secs
lola: 1829604 markings, 4890034 edges, 11406 markings/sec, 115 secs
lola: 1903765 markings, 5101416 edges, 14832 markings/sec, 120 secs
lola: 1983648 markings, 5315879 edges, 15977 markings/sec, 125 secs
lola: 2053752 markings, 5516523 edges, 14021 markings/sec, 130 secs
lola: 2120246 markings, 5720966 edges, 13299 markings/sec, 135 secs
lola: 2191639 markings, 5915002 edges, 14279 markings/sec, 140 secs
lola: 2285113 markings, 6091143 edges, 18695 markings/sec, 145 secs
lola: 2375118 markings, 6261616 edges, 18001 markings/sec, 150 secs
lola: 2464586 markings, 6451301 edges, 17894 markings/sec, 155 secs
lola: 2567960 markings, 6632993 edges, 20675 markings/sec, 160 secs
lola: 2645714 markings, 6816995 edges, 15551 markings/sec, 165 secs
lola: 2698637 markings, 7062680 edges, 10585 markings/sec, 170 secs
lola: 2772885 markings, 7257870 edges, 14850 markings/sec, 175 secs
lola: 2853887 markings, 7465288 edges, 16200 markings/sec, 180 secs
lola: 2919611 markings, 7680904 edges, 13145 markings/sec, 185 secs
lola: 2985912 markings, 7880402 edges, 13260 markings/sec, 190 secs
lola: 3057348 markings, 8082083 edges, 14287 markings/sec, 195 secs
lola: 3142394 markings, 8259492 edges, 17009 markings/sec, 200 secs
lola: 3233217 markings, 8433965 edges, 18165 markings/sec, 205 secs
lola: 3324270 markings, 8630286 edges, 18211 markings/sec, 210 secs
lola: 3403300 markings, 8851190 edges, 15806 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(p1060)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 102755 markings, 139107 edges, 20551 markings/sec, 0 secs
lola: 193177 markings, 299388 edges, 18084 markings/sec, 5 secs
lola: 286809 markings, 449927 edges, 18726 markings/sec, 10 secs
lola: 392668 markings, 597308 edges, 21172 markings/sec, 15 secs
lola: 488750 markings, 767905 edges, 19216 markings/sec, 20 secs
lola: 588340 markings, 926753 edges, 19918 markings/sec, 25 secs
lola: 691400 markings, 1095757 edges, 20612 markings/sec, 30 secs
lola: 780573 markings, 1299462 edges, 17835 markings/sec, 35 secs
lola: 873403 markings, 1489953 edges, 18566 markings/sec, 40 secs
lola: 972909 markings, 1637964 edges, 19901 markings/sec, 45 secs
lola: 1063512 markings, 1794451 edges, 18121 markings/sec, 50 secs
lola: 1156621 markings, 1943062 edges, 18622 markings/sec, 55 secs
lola: 1251881 markings, 2119643 edges, 19052 markings/sec, 60 secs
lola: 1336947 markings, 2343412 edges, 17013 markings/sec, 65 secs
lola: 1422787 markings, 2559259 edges, 17168 markings/sec, 70 secs
lola: 1513301 markings, 2751988 edges, 18103 markings/sec, 75 secs
lola: 1605080 markings, 2924423 edges, 18356 markings/sec, 80 secs
lola: 1688247 markings, 3113084 edges, 16633 markings/sec, 85 secs
lola: 1775610 markings, 3286762 edges, 17473 markings/sec, 90 secs
lola: 1873902 markings, 3429822 edges, 19658 markings/sec, 95 secs
lola: 1964020 markings, 3584469 edges, 18024 markings/sec, 100 secs
lola: 2056380 markings, 3731446 edges, 18472 markings/sec, 105 secs
lola: 2156497 markings, 3870211 edges, 20023 markings/sec, 110 secs
lola: 2246945 markings, 4028618 edges, 18090 markings/sec, 115 secs
lola: 2340412 markings, 4179340 edges, 18693 markings/sec, 120 secs
lola: 2436360 markings, 4337856 edges, 19190 markings/sec, 125 secs
lola: 2522317 markings, 4526307 edges, 17191 markings/sec, 130 secs
lola: 2609359 markings, 4706545 edges, 17408 markings/sec, 135 secs
lola: 2701730 markings, 4873326 edges, 18474 markings/sec, 140 secs
lola: 2793020 markings, 5047508 edges, 18258 markings/sec, 145 secs
lola: 2877805 markings, 5237868 edges, 16957 markings/sec, 150 secs
lola: 2966360 markings, 5411507 edges, 17711 markings/sec, 155 secs
lola: 3059988 markings, 5581631 edges, 18726 markings/sec, 160 secs
lola: 3144120 markings, 5771457 edges, 16826 markings/sec, 165 secs
lola: 3231951 markings, 5947624 edges, 17566 markings/sec, 170 secs
lola: 3328158 markings, 6108969 edges, 19241 markings/sec, 175 secs
lola: 3412665 markings, 6299866 edges, 16901 markings/sec, 180 secs
lola: 3499756 markings, 6480016 edges, 17418 markings/sec, 185 secs
lola: 3592884 markings, 6645845 edges, 18626 markings/sec, 190 secs
lola: 3680951 markings, 6826140 edges, 17613 markings/sec, 195 secs
lola: 3767495 markings, 7010631 edges, 17309 markings/sec, 200 secs
lola: 3857027 markings, 7182883 edges, 17906 markings/sec, 205 secs
lola: 3951217 markings, 7357582 edges, 18838 markings/sec, 210 secs
lola: 4036430 markings, 7548372 edges, 17043 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(p310)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 134660 markings, 177310 edges, 26932 markings/sec, 0 secs
lola: 255441 markings, 383148 edges, 24156 markings/sec, 5 secs
lola: 375718 markings, 585309 edges, 24055 markings/sec, 10 secs
lola: 500008 markings, 770012 edges, 24858 markings/sec, 15 secs
lola: 622020 markings, 981941 edges, 24402 markings/sec, 20 secs
lola: 743557 markings, 1181662 edges, 24307 markings/sec, 25 secs
lola: 867895 markings, 1366026 edges, 24868 markings/sec, 30 secs
lola: 988984 markings, 1580744 edges, 24218 markings/sec, 35 secs
lola: 1107446 markings, 1787144 edges, 23692 markings/sec, 40 secs
lola: 1240525 markings, 1985994 edges, 26616 markings/sec, 45 secs
lola: 1364788 markings, 2183460 edges, 24853 markings/sec, 50 secs
lola: 1497931 markings, 2387931 edges, 26629 markings/sec, 55 secs
lola: 1611646 markings, 2600114 edges, 22743 markings/sec, 60 secs
lola: 1710079 markings, 2877750 edges, 19687 markings/sec, 65 secs
lola: 1824694 markings, 3163641 edges, 22923 markings/sec, 70 secs
lola: 1945637 markings, 3379637 edges, 24189 markings/sec, 75 secs
lola: 2058277 markings, 3614564 edges, 22528 markings/sec, 80 secs
lola: 2177271 markings, 3825527 edges, 23799 markings/sec, 85 secs
lola: 2295190 markings, 4032058 edges, 23584 markings/sec, 90 secs
lola: 2415950 markings, 4236838 edges, 24152 markings/sec, 95 secs
lola: 2539172 markings, 4432721 edges, 24644 markings/sec, 100 secs
lola: 2652910 markings, 4662054 edges, 22748 markings/sec, 105 secs
lola: 2771315 markings, 4874250 edges, 23681 markings/sec, 110 secs
lola: 2892091 markings, 5071111 edges, 24155 markings/sec, 115 secs
lola: 3008772 markings, 5277138 edges, 23336 markings/sec, 120 secs
lola: 3126553 markings, 5501169 edges, 23556 markings/sec, 125 secs
lola: 3243774 markings, 5710164 edges, 23444 markings/sec, 130 secs
lola: 3361640 markings, 5922018 edges, 23573 markings/sec, 135 secs
lola: 3470826 markings, 6161069 edges, 21837 markings/sec, 140 secs
lola: 3590853 markings, 6362003 edges, 24005 markings/sec, 145 secs
lola: 3708988 markings, 6561898 edges, 23627 markings/sec, 150 secs
lola: 3827997 markings, 6755059 edges, 23802 markings/sec, 155 secs
lola: 3953987 markings, 6943248 edges, 25198 markings/sec, 160 secs
lola: 4072872 markings, 7142033 edges, 23777 markings/sec, 165 secs
lola: 4195453 markings, 7332396 edges, 24516 markings/sec, 170 secs
lola: 4302970 markings, 7576393 edges, 21503 markings/sec, 175 secs
lola: 4413071 markings, 7798667 edges, 22020 markings/sec, 180 secs
lola: 4531488 markings, 8000423 edges, 23683 markings/sec, 185 secs
lola: 4640030 markings, 8246729 edges, 21708 markings/sec, 190 secs
lola: 4755716 markings, 8459260 edges, 23137 markings/sec, 195 secs
lola: 4865261 markings, 8694589 edges, 21909 markings/sec, 200 secs
lola: 4976228 markings, 8915955 edges, 22193 markings/sec, 205 secs
lola: 5093263 markings, 9121040 edges, 23407 markings/sec, 210 secs
lola: 5200070 markings, 9365337 edges, 21361 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(p1031)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 84875 markings, 191907 edges, 16975 markings/sec, 0 secs
lola: 167920 markings, 394056 edges, 16609 markings/sec, 5 secs
lola: 259369 markings, 564076 edges, 18290 markings/sec, 10 secs
lola: 353898 markings, 745338 edges, 18906 markings/sec, 15 secs
lola: 446129 markings, 936373 edges, 18446 markings/sec, 20 secs
lola: 528411 markings, 1170635 edges, 16456 markings/sec, 25 secs
lola: 624271 markings, 1344713 edges, 19172 markings/sec, 30 secs
lola: 708392 markings, 1564516 edges, 16824 markings/sec, 35 secs
lola: 789170 markings, 1799542 edges, 16156 markings/sec, 40 secs
lola: 885938 markings, 1964091 edges, 19354 markings/sec, 45 secs
lola: 965632 markings, 2199728 edges, 15939 markings/sec, 50 secs
lola: 1059588 markings, 2376181 edges, 18791 markings/sec, 55 secs
lola: 1144899 markings, 2592539 edges, 17062 markings/sec, 60 secs
lola: 1224409 markings, 2839738 edges, 15902 markings/sec, 65 secs
lola: 1320965 markings, 3009094 edges, 19311 markings/sec, 70 secs
lola: 1402007 markings, 3245527 edges, 16208 markings/sec, 75 secs
lola: 1491219 markings, 3450958 edges, 17842 markings/sec, 80 secs
lola: 1571401 markings, 3689150 edges, 16036 markings/sec, 85 secs
lola: 1653454 markings, 3916568 edges, 16411 markings/sec, 90 secs
lola: 1738993 markings, 4132840 edges, 17108 markings/sec, 95 secs
lola: 1813406 markings, 4396944 edges, 14883 markings/sec, 100 secs
lola: 1906221 markings, 4576720 edges, 18563 markings/sec, 105 secs
lola: 1979908 markings, 4838363 edges, 14737 markings/sec, 110 secs
lola: 2072552 markings, 5025823 edges, 18529 markings/sec, 115 secs
lola: 2146722 markings, 5276912 edges, 14834 markings/sec, 120 secs
lola: 2233979 markings, 5483004 edges, 17451 markings/sec, 125 secs
lola: 2314054 markings, 5706052 edges, 16015 markings/sec, 130 secs
lola: 2394840 markings, 5938405 edges, 16157 markings/sec, 135 secs
lola: 2486128 markings, 6121462 edges, 18258 markings/sec, 140 secs
lola: 2560296 markings, 6380586 edges, 14834 markings/sec, 145 secs
lola: 2650977 markings, 6562826 edges, 18136 markings/sec, 150 secs
lola: 2725050 markings, 6814719 edges, 14815 markings/sec, 155 secs
lola: 2813479 markings, 7007383 edges, 17686 markings/sec, 160 secs
lola: 2890537 markings, 7247782 edges, 15412 markings/sec, 165 secs
lola: 2973263 markings, 7462817 edges, 16545 markings/sec, 170 secs
lola: 3055611 markings, 7686910 edges, 16470 markings/sec, 175 secs
lola: 3128713 markings, 7942145 edges, 14620 markings/sec, 180 secs
lola: 3220876 markings, 8126595 edges, 18433 markings/sec, 185 secs
lola: 3292911 markings, 8393948 edges, 14407 markings/sec, 190 secs
lola: 3390205 markings, 8559533 edges, 19459 markings/sec, 195 secs
lola: 3468752 markings, 8795916 edges, 15709 markings/sec, 200 secs
lola: 3555884 markings, 9001129 edges, 17426 markings/sec, 205 secs
lola: 3635546 markings, 9233750 edges, 15932 markings/sec, 210 secs
lola: 3713873 markings, 9471273 edges, 15665 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(p970)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 124374 markings, 177192 edges, 24875 markings/sec, 0 secs
lola: 235905 markings, 388626 edges, 22306 markings/sec, 5 secs
lola: 360522 markings, 566227 edges, 24923 markings/sec, 10 secs
lola: 471110 markings, 782655 edges, 22118 markings/sec, 15 secs
lola: 589408 markings, 964239 edges, 23660 markings/sec, 20 secs
lola: 706954 markings, 1171961 edges, 23509 markings/sec, 25 secs
lola: 828881 markings, 1364278 edges, 24385 markings/sec, 30 secs
lola: 948955 markings, 1565052 edges, 24015 markings/sec, 35 secs
lola: 1071193 markings, 1767866 edges, 24448 markings/sec, 40 secs
lola: 1189589 markings, 2014723 edges, 23679 markings/sec, 45 secs
lola: 1311781 markings, 2217718 edges, 24438 markings/sec, 50 secs
lola: 1445336 markings, 2396856 edges, 26711 markings/sec, 55 secs
lola: 1569489 markings, 2576450 edges, 24831 markings/sec, 60 secs
lola: 1707604 markings, 2759392 edges, 27623 markings/sec, 65 secs
lola: 1845093 markings, 2937047 edges, 27498 markings/sec, 70 secs
lola: 1979164 markings, 3111408 edges, 26814 markings/sec, 75 secs
lola: 2118948 markings, 3290879 edges, 27957 markings/sec, 80 secs
lola: 2257561 markings, 3470492 edges, 27723 markings/sec, 85 secs
lola: 2397888 markings, 3655251 edges, 28065 markings/sec, 90 secs
lola: 2542441 markings, 3847388 edges, 28911 markings/sec, 95 secs
lola: 2685989 markings, 4040229 edges, 28710 markings/sec, 100 secs
lola: 2827608 markings, 4231539 edges, 28324 markings/sec, 105 secs
lola: 2962681 markings, 4423365 edges, 27015 markings/sec, 110 secs
lola: 3096118 markings, 4616368 edges, 26687 markings/sec, 115 secs
lola: 3227051 markings, 4812938 edges, 26187 markings/sec, 120 secs
lola: 3357020 markings, 5016255 edges, 25994 markings/sec, 125 secs
lola: 3488674 markings, 5229478 edges, 26331 markings/sec, 130 secs
lola: 3613912 markings, 5441966 edges, 25048 markings/sec, 135 secs
lola: 3738163 markings, 5659639 edges, 24850 markings/sec, 140 secs
lola: 3872055 markings, 5883153 edges, 26778 markings/sec, 145 secs
lola: 3989204 markings, 6120540 edges, 23430 markings/sec, 150 secs
lola: 4111165 markings, 6361279 edges, 24392 markings/sec, 155 secs
lola: 4225731 markings, 6591640 edges, 22913 markings/sec, 160 secs
lola: 4339499 markings, 6827214 edges, 22754 markings/sec, 165 secs
lola: 4442697 markings, 7071985 edges, 20640 markings/sec, 170 secs
lola: 4521976 markings, 7314627 edges, 15856 markings/sec, 175 secs
lola: 4591439 markings, 7588550 edges, 13893 markings/sec, 180 secs
lola: 4654265 markings, 7898583 edges, 12565 markings/sec, 185 secs
lola: 4711777 markings, 8216269 edges, 11502 markings/sec, 190 secs
lola: 4769468 markings, 8547788 edges, 11538 markings/sec, 195 secs
lola: 4822626 markings, 8930723 edges, 10632 markings/sec, 200 secs
lola: 4879171 markings, 9347140 edges, 11309 markings/sec, 205 secs
lola: 4957838 markings, 9756971 edges, 15733 markings/sec, 210 secs
lola: 5070309 markings, 10034598 edges, 22494 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(p890)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 132545 markings, 200495 edges, 26509 markings/sec, 0 secs
lola: 256629 markings, 418925 edges, 24817 markings/sec, 5 secs
lola: 385325 markings, 633096 edges, 25739 markings/sec, 10 secs
lola: 492087 markings, 901560 edges, 21352 markings/sec, 15 secs
lola: 609477 markings, 1110876 edges, 23478 markings/sec, 20 secs
lola: 725899 markings, 1318345 edges, 23284 markings/sec, 25 secs
lola: 838908 markings, 1513203 edges, 22602 markings/sec, 30 secs
lola: 960215 markings, 1756422 edges, 24261 markings/sec, 35 secs
lola: 1057035 markings, 2051746 edges, 19364 markings/sec, 40 secs
lola: 1163511 markings, 2289954 edges, 21295 markings/sec, 45 secs
lola: 1270140 markings, 2529781 edges, 21326 markings/sec, 50 secs
lola: 1376304 markings, 2753965 edges, 21233 markings/sec, 55 secs
lola: 1496615 markings, 2936683 edges, 24062 markings/sec, 60 secs
lola: 1605291 markings, 3150203 edges, 21735 markings/sec, 65 secs
lola: 1723203 markings, 3328049 edges, 23582 markings/sec, 70 secs
lola: 1839287 markings, 3535102 edges, 23217 markings/sec, 75 secs
lola: 1952206 markings, 3729699 edges, 22584 markings/sec, 80 secs
lola: 2072495 markings, 3928370 edges, 24058 markings/sec, 85 secs
lola: 2170352 markings, 4176721 edges, 19571 markings/sec, 90 secs
lola: 2278295 markings, 4385551 edges, 21589 markings/sec, 95 secs
lola: 2384966 markings, 4626150 edges, 21334 markings/sec, 100 secs
lola: 2491202 markings, 4850859 edges, 21247 markings/sec, 105 secs
lola: 2607704 markings, 5047930 edges, 23300 markings/sec, 110 secs
lola: 2704739 markings, 5303502 edges, 19407 markings/sec, 115 secs
lola: 2810588 markings, 5518629 edges, 21170 markings/sec, 120 secs
lola: 2920956 markings, 5740365 edges, 22074 markings/sec, 125 secs
lola: 3024151 markings, 5975276 edges, 20639 markings/sec, 130 secs
lola: 3138836 markings, 6174259 edges, 22937 markings/sec, 135 secs
lola: 3240426 markings, 6417702 edges, 20318 markings/sec, 140 secs
lola: 3342539 markings, 6647038 edges, 20423 markings/sec, 145 secs
lola: 3464200 markings, 6847920 edges, 24332 markings/sec, 150 secs
lola: 3562388 markings, 7100018 edges, 19638 markings/sec, 155 secs
lola: 3671693 markings, 7310886 edges, 21861 markings/sec, 160 secs
lola: 3779094 markings, 7554703 edges, 21480 markings/sec, 165 secs
lola: 3886146 markings, 7781981 edges, 21410 markings/sec, 170 secs
lola: 4002027 markings, 7957865 edges, 23176 markings/sec, 175 secs
lola: 4097041 markings, 8147381 edges, 19003 markings/sec, 180 secs
lola: 4208782 markings, 8305104 edges, 22348 markings/sec, 185 secs
lola: 4305601 markings, 8495855 edges, 19364 markings/sec, 190 secs
lola: 4408257 markings, 8692381 edges, 20531 markings/sec, 195 secs
lola: 4520102 markings, 8862320 edges, 22369 markings/sec, 200 secs
lola: 4628701 markings, 9046632 edges, 21720 markings/sec, 205 secs
lola: 4759802 markings, 9204584 edges, 26220 markings/sec, 210 secs
lola: 4891937 markings, 9369637 edges, 26427 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(p282)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 123413 markings, 177299 edges, 24683 markings/sec, 0 secs
lola: 233770 markings, 362330 edges, 22071 markings/sec, 5 secs
lola: 352690 markings, 542924 edges, 23784 markings/sec, 10 secs
lola: 474978 markings, 742334 edges, 24458 markings/sec, 15 secs
lola: 595133 markings, 937023 edges, 24031 markings/sec, 20 secs
lola: 718628 markings, 1151368 edges, 24699 markings/sec, 25 secs
lola: 825871 markings, 1387238 edges, 21449 markings/sec, 30 secs
lola: 940081 markings, 1599939 edges, 22842 markings/sec, 35 secs
lola: 1056824 markings, 1779118 edges, 23349 markings/sec, 40 secs
lola: 1166559 markings, 1964730 edges, 21947 markings/sec, 45 secs
lola: 1283536 markings, 2171745 edges, 23395 markings/sec, 50 secs
lola: 1385114 markings, 2435461 edges, 20316 markings/sec, 55 secs
lola: 1487493 markings, 2690914 edges, 20476 markings/sec, 60 secs
lola: 1600929 markings, 2904239 edges, 22687 markings/sec, 65 secs
lola: 1700090 markings, 3126739 edges, 19832 markings/sec, 70 secs
lola: 1803440 markings, 3336491 edges, 20670 markings/sec, 75 secs
lola: 1921749 markings, 3518224 edges, 23662 markings/sec, 80 secs
lola: 2030541 markings, 3702785 edges, 21758 markings/sec, 85 secs
lola: 2144754 markings, 3878569 edges, 22843 markings/sec, 90 secs
lola: 2263133 markings, 4055091 edges, 23676 markings/sec, 95 secs
lola: 2371303 markings, 4242067 edges, 21634 markings/sec, 100 secs
lola: 2486884 markings, 4428090 edges, 23116 markings/sec, 105 secs
lola: 2589914 markings, 4646517 edges, 20606 markings/sec, 110 secs
lola: 2693462 markings, 4855941 edges, 20710 markings/sec, 115 secs
lola: 2804916 markings, 5057312 edges, 22291 markings/sec, 120 secs
lola: 2905734 markings, 5277248 edges, 20164 markings/sec, 125 secs
lola: 3008591 markings, 5488781 edges, 20571 markings/sec, 130 secs
lola: 3123931 markings, 5685378 edges, 23068 markings/sec, 135 secs
lola: 3221155 markings, 5910719 edges, 19445 markings/sec, 140 secs
lola: 3324694 markings, 6118682 edges, 20708 markings/sec, 145 secs
lola: 3438318 markings, 6320742 edges, 22725 markings/sec, 150 secs
lola: 3537427 markings, 6540852 edges, 19822 markings/sec, 155 secs
lola: 3642237 markings, 6747916 edges, 20962 markings/sec, 160 secs
lola: 3754769 markings, 6951692 edges, 22506 markings/sec, 165 secs
lola: 3854328 markings, 7170531 edges, 19912 markings/sec, 170 secs
lola: 3960659 markings, 7375501 edges, 21266 markings/sec, 175 secs
lola: 4073222 markings, 7582446 edges, 22513 markings/sec, 180 secs
lola: 4173284 markings, 7806331 edges, 20012 markings/sec, 185 secs
lola: 4283585 markings, 8011207 edges, 22060 markings/sec, 190 secs
lola: 4389524 markings, 8230174 edges, 21188 markings/sec, 195 secs
lola: 4492396 markings, 8443893 edges, 20574 markings/sec, 200 secs
lola: 4606949 markings, 8632636 edges, 22911 markings/sec, 205 secs
lola: 4717394 markings, 8815718 edges, 22089 markings/sec, 210 secs
lola: 4827236 markings, 8994050 edges, 21968 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(p763)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 132763 markings, 167078 edges, 26553 markings/sec, 0 secs
lola: 268151 markings, 339187 edges, 27078 markings/sec, 5 secs
lola: 384779 markings, 493214 edges, 23326 markings/sec, 10 secs
lola: 487571 markings, 657080 edges, 20558 markings/sec, 15 secs
lola: 575952 markings, 839326 edges, 17676 markings/sec, 20 secs
lola: 667999 markings, 1011999 edges, 18409 markings/sec, 25 secs
lola: 787651 markings, 1174895 edges, 23930 markings/sec, 30 secs
lola: 952043 markings, 1371549 edges, 32878 markings/sec, 35 secs
lola: 1116349 markings, 1567946 edges, 32861 markings/sec, 40 secs
lola: 1280677 markings, 1763752 edges, 32866 markings/sec, 45 secs
lola: 1445184 markings, 1961369 edges, 32901 markings/sec, 50 secs
lola: 1606896 markings, 2157008 edges, 32342 markings/sec, 55 secs
lola: 1766492 markings, 2355110 edges, 31919 markings/sec, 60 secs
lola: 1882184 markings, 2579621 edges, 23138 markings/sec, 65 secs
lola: 2017976 markings, 2756544 edges, 27158 markings/sec, 70 secs
lola: 2150767 markings, 2925660 edges, 26558 markings/sec, 75 secs
lola: 2279796 markings, 3087507 edges, 25806 markings/sec, 80 secs
lola: 2388205 markings, 3244548 edges, 21682 markings/sec, 85 secs
lola: 2482755 markings, 3414007 edges, 18910 markings/sec, 90 secs
lola: 2571319 markings, 3586952 edges, 17713 markings/sec, 95 secs
lola: 2680021 markings, 3766613 edges, 21740 markings/sec, 100 secs
lola: 2826887 markings, 3951437 edges, 29373 markings/sec, 105 secs
lola: 2991434 markings, 4147983 edges, 32909 markings/sec, 110 secs
lola: 3156499 markings, 4344654 edges, 33013 markings/sec, 115 secs
lola: 3320875 markings, 4541380 edges, 32875 markings/sec, 120 secs
lola: 3484585 markings, 4738345 edges, 32742 markings/sec, 125 secs
lola: 3644395 markings, 4933886 edges, 31962 markings/sec, 130 secs
lola: 3767623 markings, 5161539 edges, 24646 markings/sec, 135 secs
lola: 3900283 markings, 5343534 edges, 26532 markings/sec, 140 secs
lola: 4035238 markings, 5513932 edges, 26991 markings/sec, 145 secs
lola: 4172881 markings, 5686103 edges, 27529 markings/sec, 150 secs
lola: 4285093 markings, 5844381 edges, 22442 markings/sec, 155 secs
lola: 4383731 markings, 6016216 edges, 19728 markings/sec, 160 secs
lola: 4473853 markings, 6183944 edges, 18024 markings/sec, 165 secs
lola: 4574097 markings, 6362544 edges, 20049 markings/sec, 170 secs
lola: 4706264 markings, 6535641 edges, 26433 markings/sec, 175 secs
lola: 4870319 markings, 6732094 edges, 32811 markings/sec, 180 secs
lola: 5033652 markings, 6927280 edges, 32667 markings/sec, 185 secs
lola: 5197009 markings, 7122297 edges, 32671 markings/sec, 190 secs
lola: 5360299 markings, 7318618 edges, 32658 markings/sec, 195 secs
lola: 5519697 markings, 7513429 edges, 31880 markings/sec, 200 secs
lola: 5673582 markings, 7713803 edges, 30777 markings/sec, 205 secs
lola: 5785454 markings, 7929833 edges, 22374 markings/sec, 210 secs
lola: 5921383 markings, 8103771 edges, 27186 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(p788)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 109242 markings, 160996 edges, 21848 markings/sec, 0 secs
lola: 203221 markings, 372895 edges, 18796 markings/sec, 5 secs
lola: 305144 markings, 560883 edges, 20385 markings/sec, 10 secs
lola: 404526 markings, 755268 edges, 19876 markings/sec, 15 secs
lola: 498286 markings, 981412 edges, 18752 markings/sec, 20 secs
lola: 609225 markings, 1176431 edges, 22188 markings/sec, 25 secs
lola: 712981 markings, 1380024 edges, 20751 markings/sec, 30 secs
lola: 819699 markings, 1580633 edges, 21344 markings/sec, 35 secs
lola: 919561 markings, 1785783 edges, 19972 markings/sec, 40 secs
lola: 1019237 markings, 1990440 edges, 19935 markings/sec, 45 secs
lola: 1140346 markings, 2154467 edges, 24222 markings/sec, 50 secs
lola: 1258125 markings, 2326201 edges, 23556 markings/sec, 55 secs
lola: 1379615 markings, 2492407 edges, 24298 markings/sec, 60 secs
lola: 1500917 markings, 2662614 edges, 24260 markings/sec, 65 secs
lola: 1621708 markings, 2831841 edges, 24158 markings/sec, 70 secs
lola: 1740938 markings, 3001443 edges, 23846 markings/sec, 75 secs
lola: 1859302 markings, 3173266 edges, 23673 markings/sec, 80 secs
lola: 1976123 markings, 3347045 edges, 23364 markings/sec, 85 secs
lola: 2091644 markings, 3524076 edges, 23104 markings/sec, 90 secs
lola: 2206542 markings, 3701375 edges, 22980 markings/sec, 95 secs
lola: 2319751 markings, 3879950 edges, 22642 markings/sec, 100 secs
lola: 2432035 markings, 4058788 edges, 22457 markings/sec, 105 secs
lola: 2542623 markings, 4239116 edges, 22118 markings/sec, 110 secs
lola: 2651558 markings, 4421556 edges, 21787 markings/sec, 115 secs
lola: 2757466 markings, 4607285 edges, 21182 markings/sec, 120 secs
lola: 2861003 markings, 4797499 edges, 20707 markings/sec, 125 secs
lola: 2963248 markings, 4990667 edges, 20449 markings/sec, 130 secs
lola: 3060714 markings, 5192971 edges, 19493 markings/sec, 135 secs
lola: 3156359 markings, 5405506 edges, 19129 markings/sec, 140 secs
lola: 3251886 markings, 5613009 edges, 19105 markings/sec, 145 secs
lola: 3349565 markings, 5815350 edges, 19536 markings/sec, 150 secs
lola: 3444901 markings, 6021134 edges, 19067 markings/sec, 155 secs
lola: 3544441 markings, 6217498 edges, 19908 markings/sec, 160 secs
lola: 3638122 markings, 6427383 edges, 18736 markings/sec, 165 secs
lola: 3714747 markings, 6681521 edges, 15325 markings/sec, 170 secs
lola: 3805323 markings, 6901974 edges, 18115 markings/sec, 175 secs
lola: 3889993 markings, 7127517 edges, 16934 markings/sec, 180 secs
lola: 3977333 markings, 7360631 edges, 17468 markings/sec, 185 secs
lola: 4036827 markings, 7680935 edges, 11899 markings/sec, 190 secs
lola: 4082213 markings, 8066109 edges, 9077 markings/sec, 195 secs
lola: 4125879 markings, 8461785 edges, 8733 markings/sec, 200 secs
lola: 4172474 markings, 8863065 edges, 9319 markings/sec, 205 secs
lola: 4231940 markings, 9237549 edges, 11893 markings/sec, 210 secs
lola: 4328676 markings, 9438852 edges, 19347 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p276)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 73615 markings, 143334 edges, 14723 markings/sec, 0 secs
lola: 144909 markings, 267470 edges, 14259 markings/sec, 5 secs
lola: 215658 markings, 391711 edges, 14150 markings/sec, 10 secs
lola: 285276 markings, 522523 edges, 13924 markings/sec, 15 secs
lola: 344617 markings, 692773 edges, 11868 markings/sec, 20 secs
lola: 400597 markings, 875875 edges, 11196 markings/sec, 25 secs
lola: 452804 markings, 1084317 edges, 10441 markings/sec, 30 secs
lola: 508095 markings, 1284408 edges, 11058 markings/sec, 35 secs
lola: 570857 markings, 1432150 edges, 12552 markings/sec, 40 secs
lola: 642837 markings, 1551589 edges, 14396 markings/sec, 45 secs
lola: 712386 markings, 1679242 edges, 13910 markings/sec, 50 secs
lola: 782045 markings, 1808849 edges, 13932 markings/sec, 55 secs
lola: 841948 markings, 1975974 edges, 11981 markings/sec, 60 secs
lola: 897645 markings, 2158386 edges, 11139 markings/sec, 65 secs
lola: 951430 markings, 2355833 edges, 10757 markings/sec, 70 secs
lola: 1005013 markings, 2562847 edges, 10717 markings/sec, 75 secs
lola: 1065665 markings, 2720438 edges, 12130 markings/sec, 80 secs
lola: 1137679 markings, 2838861 edges, 14403 markings/sec, 85 secs
lola: 1207516 markings, 2964509 edges, 13967 markings/sec, 90 secs
lola: 1277064 markings, 3093978 edges, 13910 markings/sec, 95 secs
lola: 1339064 markings, 3251358 edges, 12400 markings/sec, 100 secs
lola: 1394474 markings, 3436314 edges, 11082 markings/sec, 105 secs
lola: 1450283 markings, 3618723 edges, 11162 markings/sec, 110 secs
lola: 1501940 markings, 3839935 edges, 10331 markings/sec, 115 secs
lola: 1573275 markings, 3960660 edges, 14267 markings/sec, 120 secs
lola: 1643224 markings, 4087711 edges, 13990 markings/sec, 125 secs
lola: 1711107 markings, 4221216 edges, 13577 markings/sec, 130 secs
lola: 1767755 markings, 4401239 edges, 11330 markings/sec, 135 secs
lola: 1824507 markings, 4578080 edges, 11350 markings/sec, 140 secs
lola: 1871073 markings, 4817827 edges, 9313 markings/sec, 145 secs
lola: 1942602 markings, 4940419 edges, 14306 markings/sec, 150 secs
lola: 2011662 markings, 5069451 edges, 13812 markings/sec, 155 secs
lola: 2081451 markings, 5197005 edges, 13958 markings/sec, 160 secs
lola: 2140485 markings, 5365791 edges, 11807 markings/sec, 165 secs
lola: 2196700 markings, 5543538 edges, 11243 markings/sec, 170 secs
lola: 2250660 markings, 5735404 edges, 10792 markings/sec, 175 secs
lola: 2311476 markings, 5919938 edges, 12163 markings/sec, 180 secs
lola: 2379060 markings, 6055368 edges, 13517 markings/sec, 185 secs
lola: 2451249 markings, 6175499 edges, 14438 markings/sec, 190 secs
lola: 2515005 markings, 6327417 edges, 12751 markings/sec, 195 secs
lola: 2570922 markings, 6510047 edges, 11183 markings/sec, 200 secs
lola: 2627437 markings, 6690294 edges, 11303 markings/sec, 205 secs
lola: 2678404 markings, 6917291 edges, 10193 markings/sec, 210 secs
lola: 2751434 markings, 7036510 edges, 14606 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1333)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 83936 markings, 150223 edges, 16787 markings/sec, 0 secs
lola: 164312 markings, 322429 edges, 16075 markings/sec, 5 secs
lola: 239909 markings, 518060 edges, 15119 markings/sec, 10 secs
lola: 321057 markings, 689875 edges, 16230 markings/sec, 15 secs
lola: 396609 markings, 881239 edges, 15110 markings/sec, 20 secs
lola: 476828 markings, 1063500 edges, 16044 markings/sec, 25 secs
lola: 556403 markings, 1248781 edges, 15915 markings/sec, 30 secs
lola: 636408 markings, 1433930 edges, 16001 markings/sec, 35 secs
lola: 713628 markings, 1627275 edges, 15444 markings/sec, 40 secs
lola: 793857 markings, 1803842 edges, 16046 markings/sec, 45 secs
lola: 871070 markings, 1996147 edges, 15443 markings/sec, 50 secs
lola: 950125 markings, 2183570 edges, 15811 markings/sec, 55 secs
lola: 1029119 markings, 2367587 edges, 15799 markings/sec, 60 secs
lola: 1108042 markings, 2531680 edges, 15785 markings/sec, 65 secs
lola: 1178430 markings, 2712492 edges, 14078 markings/sec, 70 secs
lola: 1258862 markings, 2879133 edges, 16086 markings/sec, 75 secs
lola: 1342000 markings, 3048138 edges, 16628 markings/sec, 80 secs
lola: 1424332 markings, 3218056 edges, 16466 markings/sec, 85 secs
lola: 1505371 markings, 3391706 edges, 16208 markings/sec, 90 secs
lola: 1586607 markings, 3564191 edges, 16247 markings/sec, 95 secs
lola: 1666770 markings, 3742534 edges, 16033 markings/sec, 100 secs
lola: 1747247 markings, 3920650 edges, 16095 markings/sec, 105 secs
lola: 1826399 markings, 4100795 edges, 15830 markings/sec, 110 secs
lola: 1905474 markings, 4280674 edges, 15815 markings/sec, 115 secs
lola: 1982783 markings, 4462877 edges, 15462 markings/sec, 120 secs
lola: 2056969 markings, 4651268 edges, 14837 markings/sec, 125 secs
lola: 2131790 markings, 4836901 edges, 14964 markings/sec, 130 secs
lola: 2203465 markings, 5031109 edges, 14335 markings/sec, 135 secs
lola: 2277175 markings, 5226588 edges, 14742 markings/sec, 140 secs
lola: 2348956 markings, 5426179 edges, 14356 markings/sec, 145 secs
lola: 2421078 markings, 5622043 edges, 14424 markings/sec, 150 secs
lola: 2495955 markings, 5815608 edges, 14975 markings/sec, 155 secs
lola: 2572954 markings, 5997645 edges, 15400 markings/sec, 160 secs
lola: 2646160 markings, 6188618 edges, 14641 markings/sec, 165 secs
lola: 2722560 markings, 6373306 edges, 15280 markings/sec, 170 secs
lola: 2792222 markings, 6562541 edges, 13932 markings/sec, 175 secs
lola: 2858623 markings, 6754915 edges, 13280 markings/sec, 180 secs
lola: 2930906 markings, 6943071 edges, 14457 markings/sec, 185 secs
lola: 3007171 markings, 7126815 edges, 15253 markings/sec, 190 secs
lola: 3080902 markings, 7316362 edges, 14746 markings/sec, 195 secs
lola: 3157033 markings, 7498846 edges, 15226 markings/sec, 200 secs
lola: 3229297 markings, 7690099 edges, 14453 markings/sec, 205 secs
lola: 3295731 markings, 7880698 edges, 13287 markings/sec, 210 secs
lola: 3362111 markings, 8083459 edges, 13276 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p136)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 94350 markings, 215353 edges, 18870 markings/sec, 0 secs
lola: 186026 markings, 439743 edges, 18335 markings/sec, 5 secs
lola: 294569 markings, 614186 edges, 21709 markings/sec, 10 secs
lola: 393460 markings, 845033 edges, 19778 markings/sec, 15 secs
lola: 495236 markings, 1066491 edges, 20355 markings/sec, 20 secs
lola: 597503 markings, 1285617 edges, 20453 markings/sec, 25 secs
lola: 689302 markings, 1537102 edges, 18360 markings/sec, 30 secs
lola: 786334 markings, 1771062 edges, 19406 markings/sec, 35 secs
lola: 891678 markings, 1975759 edges, 21069 markings/sec, 40 secs
lola: 982079 markings, 2222795 edges, 18080 markings/sec, 45 secs
lola: 1074300 markings, 2466047 edges, 18444 markings/sec, 50 secs
lola: 1182041 markings, 2662965 edges, 21548 markings/sec, 55 secs
lola: 1270503 markings, 2917629 edges, 17692 markings/sec, 60 secs
lola: 1364531 markings, 3158178 edges, 18806 markings/sec, 65 secs
lola: 1466086 markings, 3378760 edges, 20311 markings/sec, 70 secs
lola: 1551280 markings, 3650907 edges, 17039 markings/sec, 75 secs
lola: 1647431 markings, 3884895 edges, 19230 markings/sec, 80 secs
lola: 1738920 markings, 4132536 edges, 18298 markings/sec, 85 secs
lola: 1821218 markings, 4413050 edges, 16460 markings/sec, 90 secs
lola: 1924607 markings, 4623821 edges, 20678 markings/sec, 95 secs
lola: 2005679 markings, 4884721 edges, 16214 markings/sec, 100 secs
lola: 2095741 markings, 5133726 edges, 18012 markings/sec, 105 secs
lola: 2193530 markings, 5366432 edges, 19558 markings/sec, 110 secs
lola: 2276023 markings, 5643468 edges, 16499 markings/sec, 115 secs
lola: 2379957 markings, 5850960 edges, 20787 markings/sec, 120 secs
lola: 2474324 markings, 6092860 edges, 18873 markings/sec, 125 secs
lola: 2557259 markings, 6375896 edges, 16587 markings/sec, 130 secs
lola: 2660461 markings, 6587642 edges, 20640 markings/sec, 135 secs
lola: 2744835 markings, 6853576 edges, 16875 markings/sec, 140 secs
lola: 2832770 markings, 7112760 edges, 17587 markings/sec, 145 secs
lola: 2932580 markings, 7333848 edges, 19962 markings/sec, 150 secs
lola: 3014422 markings, 7613521 edges, 16368 markings/sec, 155 secs
lola: 3113857 markings, 7834909 edges, 19887 markings/sec, 160 secs
lola: 3202965 markings, 8090251 edges, 17822 markings/sec, 165 secs
lola: 3284187 markings, 8378159 edges, 16244 markings/sec, 170 secs
lola: 3393179 markings, 8566040 edges, 21798 markings/sec, 175 secs
lola: 3480854 markings, 8816975 edges, 17535 markings/sec, 180 secs
lola: 3567777 markings, 9078007 edges, 17385 markings/sec, 185 secs
lola: 3666998 markings, 9295912 edges, 19844 markings/sec, 190 secs
lola: 3748475 markings, 9572420 edges, 16295 markings/sec, 195 secs
lola: 3846956 markings, 9786100 edges, 19696 markings/sec, 200 secs
lola: 3932180 markings, 10041471 edges, 17045 markings/sec, 205 secs
lola: 4011950 markings, 10322585 edges, 15954 markings/sec, 210 secs
lola: 4116216 markings, 10518495 edges, 20853 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA CloudDeployment-PT-5b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494617297565

--------------------
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-5b"
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-5b.tgz
mv CloudDeployment-PT-5b 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-5b, 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-149436308800029"
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 ;