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

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

=== Now, execution of the tool begins

BK_START 1494613708241


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ CloudDeployment-PT-2b @ 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: 1240/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 556 places, 684 transitions, 547 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 665 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-2b-UpperBounds.task
lola: MAX(p135) : MAX(p15) : MAX(p540) : MAX(p26) : MAX(p334) : MAX(p124) : MAX(p321) : MAX(p424) : MAX(p419) : MAX(p218) : MAX(p441) : MAX(p304) : MAX(p341) : MAX(p57) : MAX(p416) : MAX(p333)
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(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 237444 markings, 370210 edges, 47489 markings/sec, 0 secs
lola: 476259 markings, 809847 edges, 47763 markings/sec, 5 secs
lola: 690447 markings, 1233734 edges, 42838 markings/sec, 10 secs
lola: 890188 markings, 1618847 edges, 39948 markings/sec, 15 secs
lola: 1110317 markings, 2005423 edges, 44026 markings/sec, 20 secs
lola: 1344214 markings, 2433644 edges, 46779 markings/sec, 25 secs
lola: 1558900 markings, 2905408 edges, 42937 markings/sec, 30 secs
lola: 1770286 markings, 3372121 edges, 42277 markings/sec, 35 secs
lola: 1982759 markings, 3832588 edges, 42495 markings/sec, 40 secs
lola: 2204144 markings, 4233350 edges, 44277 markings/sec, 45 secs
lola: 2399885 markings, 4611030 edges, 39148 markings/sec, 50 secs
lola: 2626015 markings, 5001263 edges, 45226 markings/sec, 55 secs
lola: 2834826 markings, 5451694 edges, 41762 markings/sec, 60 secs
lola: 3044316 markings, 5902510 edges, 41898 markings/sec, 65 secs
lola: 3252921 markings, 6349598 edges, 41721 markings/sec, 70 secs
lola: 3464714 markings, 6767297 edges, 42359 markings/sec, 75 secs
lola: 3682898 markings, 7192567 edges, 43637 markings/sec, 80 secs
lola: 3883614 markings, 7664111 edges, 40143 markings/sec, 85 secs
lola: 4095951 markings, 8077429 edges, 42467 markings/sec, 90 secs
lola: 4304341 markings, 8478883 edges, 41678 markings/sec, 95 secs
lola: 4501761 markings, 8848879 edges, 39484 markings/sec, 100 secs
lola: 4691852 markings, 9218692 edges, 38018 markings/sec, 105 secs
lola: 4874533 markings, 9629580 edges, 36536 markings/sec, 110 secs
lola: 5063456 markings, 9998798 edges, 37785 markings/sec, 115 secs
lola: 5235084 markings, 10393446 edges, 34326 markings/sec, 120 secs
lola: 5413420 markings, 10747374 edges, 35667 markings/sec, 125 secs
lola: 5590293 markings, 11109450 edges, 35375 markings/sec, 130 secs
lola: 5764020 markings, 11473742 edges, 34745 markings/sec, 135 secs
lola: 5934215 markings, 11817831 edges, 34039 markings/sec, 140 secs
lola: 6091772 markings, 12151208 edges, 31511 markings/sec, 145 secs
lola: 6256284 markings, 12490753 edges, 32902 markings/sec, 150 secs
lola: 6428028 markings, 12838048 edges, 34349 markings/sec, 155 secs
lola: 6597296 markings, 13185126 edges, 33854 markings/sec, 160 secs
lola: 6763276 markings, 13580043 edges, 33196 markings/sec, 165 secs
lola: 6924887 markings, 13968603 edges, 32322 markings/sec, 170 secs
lola: 7101654 markings, 14318357 edges, 35353 markings/sec, 175 secs
lola: 7284856 markings, 14676537 edges, 36640 markings/sec, 180 secs
lola: 7479288 markings, 15041800 edges, 38886 markings/sec, 185 secs
lola: 7640600 markings, 15386070 edges, 32262 markings/sec, 190 secs
lola: 7790790 markings, 15696915 edges, 30038 markings/sec, 195 secs
lola: 7984650 markings, 16046261 edges, 38772 markings/sec, 200 secs
lola: 8155705 markings, 16407049 edges, 34211 markings/sec, 205 secs
lola: 8300063 markings, 16691220 edges, 28872 markings/sec, 210 secs
lola: 8461029 markings, 17005099 edges, 32193 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(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 361545 markings, 570475 edges, 72309 markings/sec, 0 secs
lola: 712365 markings, 1142376 edges, 70164 markings/sec, 5 secs
lola: 1033554 markings, 1721635 edges, 64238 markings/sec, 10 secs
lola: 1349954 markings, 2245871 edges, 63280 markings/sec, 15 secs
lola: 1646956 markings, 2818960 edges, 59400 markings/sec, 20 secs
lola: 1963540 markings, 3392862 edges, 63317 markings/sec, 25 secs
lola: 2341513 markings, 4003904 edges, 75595 markings/sec, 30 secs
lola: 2708281 markings, 4586237 edges, 73354 markings/sec, 35 secs
lola: 3061914 markings, 5150165 edges, 70727 markings/sec, 40 secs
lola: 3484394 markings, 5785024 edges, 84496 markings/sec, 45 secs
lola: 3903804 markings, 6412289 edges, 83882 markings/sec, 50 secs
lola: 4314002 markings, 7003517 edges, 82040 markings/sec, 55 secs
lola: 4722401 markings, 7601716 edges, 81680 markings/sec, 60 secs
lola: 5130301 markings, 8192637 edges, 81580 markings/sec, 65 secs
lola: 5483754 markings, 8822490 edges, 70691 markings/sec, 70 secs
lola: 5783956 markings, 9387911 edges, 60040 markings/sec, 75 secs
lola: 6214878 markings, 9998976 edges, 86184 markings/sec, 80 secs
lola: 6513334 markings, 10739675 edges, 59691 markings/sec, 85 secs
lola: 6898880 markings, 11344903 edges, 77109 markings/sec, 90 secs
lola: 7185532 markings, 12034183 edges, 57330 markings/sec, 95 secs
lola: 7495847 markings, 12647823 edges, 62063 markings/sec, 100 secs
lola: 7763759 markings, 13191813 edges, 53582 markings/sec, 105 secs
lola: 7928128 markings, 13755941 edges, 32874 markings/sec, 110 secs
lola: 8109667 markings, 14411975 edges, 36308 markings/sec, 115 secs
lola: 8300651 markings, 15003557 edges, 38197 markings/sec, 120 secs
lola: 8614918 markings, 15630736 edges, 62853 markings/sec, 125 secs
lola: 8948998 markings, 16267762 edges, 66816 markings/sec, 130 secs
lola: 9280719 markings, 16889477 edges, 66344 markings/sec, 135 secs
lola: 9602645 markings, 17511794 edges, 64385 markings/sec, 140 secs
lola: 9961942 markings, 18106125 edges, 71859 markings/sec, 145 secs
lola: 10282102 markings, 18731613 edges, 64032 markings/sec, 150 secs
lola: 10586646 markings, 19329193 edges, 60909 markings/sec, 155 secs
lola: 10845534 markings, 19942669 edges, 51778 markings/sec, 160 secs
lola: 11172988 markings, 20568425 edges, 65491 markings/sec, 165 secs
lola: 11474571 markings, 21150927 edges, 60317 markings/sec, 170 secs
lola: 11790978 markings, 21732193 edges, 63281 markings/sec, 175 secs
lola: 12129870 markings, 22347116 edges, 67778 markings/sec, 180 secs
lola: 12488476 markings, 22927998 edges, 71721 markings/sec, 185 secs
lola: 12817702 markings, 23554277 edges, 65845 markings/sec, 190 secs
lola: 13086117 markings, 24175475 edges, 53683 markings/sec, 195 secs
lola: 13413742 markings, 24784010 edges, 65525 markings/sec, 200 secs
lola: 13727955 markings, 25393624 edges, 62843 markings/sec, 205 secs
lola: 14074901 markings, 25978258 edges, 69389 markings/sec, 210 secs
lola: 14403596 markings, 26593585 edges, 65739 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(p540)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 354986 markings, 554033 edges, 70997 markings/sec, 0 secs
lola: 680362 markings, 1128114 edges, 65075 markings/sec, 5 secs
lola: 1006537 markings, 1689067 edges, 65235 markings/sec, 10 secs
lola: 1331825 markings, 2277651 edges, 65058 markings/sec, 15 secs
lola: 1706801 markings, 2883323 edges, 74995 markings/sec, 20 secs
lola: 2052766 markings, 3435091 edges, 69193 markings/sec, 25 secs
lola: 2434987 markings, 4009004 edges, 76444 markings/sec, 30 secs
lola: 2836915 markings, 4644014 edges, 80386 markings/sec, 35 secs
lola: 3253154 markings, 5254271 edges, 83248 markings/sec, 40 secs
lola: 3659148 markings, 5837457 edges, 81199 markings/sec, 45 secs
lola: 4064724 markings, 6418806 edges, 81115 markings/sec, 50 secs
lola: 4463976 markings, 7011423 edges, 79850 markings/sec, 55 secs
lola: 4788728 markings, 7635924 edges, 64950 markings/sec, 60 secs
lola: 5141062 markings, 8221465 edges, 70467 markings/sec, 65 secs
lola: 5546775 markings, 8838752 edges, 81143 markings/sec, 70 secs
lola: 5836435 markings, 9576813 edges, 57932 markings/sec, 75 secs
lola: 6219043 markings, 10164288 edges, 76522 markings/sec, 80 secs
lola: 6486700 markings, 10809265 edges, 53531 markings/sec, 85 secs
lola: 6774533 markings, 11426773 edges, 57567 markings/sec, 90 secs
lola: 7027451 markings, 11927115 edges, 50584 markings/sec, 95 secs
lola: 7171207 markings, 12496702 edges, 28751 markings/sec, 100 secs
lola: 7374921 markings, 13140026 edges, 40743 markings/sec, 105 secs
lola: 7539591 markings, 13709136 edges, 32934 markings/sec, 110 secs
lola: 7859596 markings, 14323346 edges, 64001 markings/sec, 115 secs
lola: 8185874 markings, 14940278 edges, 65256 markings/sec, 120 secs
lola: 8510395 markings, 15550556 edges, 64904 markings/sec, 125 secs
lola: 8825838 markings, 16162943 edges, 63089 markings/sec, 130 secs
lola: 9174415 markings, 16740076 edges, 69715 markings/sec, 135 secs
lola: 9488807 markings, 17343402 edges, 62878 markings/sec, 140 secs
lola: 9792557 markings, 17932609 edges, 60750 markings/sec, 145 secs
lola: 10009123 markings, 18489717 edges, 43313 markings/sec, 150 secs
lola: 10319816 markings, 19096478 edges, 62139 markings/sec, 155 secs
lola: 10635607 markings, 19659963 edges, 63158 markings/sec, 160 secs
lola: 10932368 markings, 20230764 edges, 59352 markings/sec, 165 secs
lola: 11232552 markings, 20811988 edges, 60037 markings/sec, 170 secs
lola: 11598262 markings, 21374026 edges, 73142 markings/sec, 175 secs
lola: 11929658 markings, 21964638 edges, 66279 markings/sec, 180 secs
lola: 12164850 markings, 22572604 edges, 47038 markings/sec, 185 secs
lola: 12490777 markings, 23165534 edges, 65185 markings/sec, 190 secs
lola: 12806781 markings, 23756445 edges, 63201 markings/sec, 195 secs
lola: 13122429 markings, 24357769 edges, 63130 markings/sec, 200 secs
lola: 13465725 markings, 24934326 edges, 68659 markings/sec, 205 secs
lola: 13777759 markings, 25476869 edges, 62407 markings/sec, 210 secs
lola: 13980860 markings, 26003259 edges, 40620 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(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 305869 markings, 570360 edges, 61174 markings/sec, 0 secs
lola: 605856 markings, 1152856 edges, 59997 markings/sec, 5 secs
lola: 867208 markings, 1796593 edges, 52270 markings/sec, 10 secs
lola: 1122035 markings, 2462593 edges, 50965 markings/sec, 15 secs
lola: 1410522 markings, 3046767 edges, 57697 markings/sec, 20 secs
lola: 1682826 markings, 3619888 edges, 54461 markings/sec, 25 secs
lola: 1966648 markings, 4196858 edges, 56764 markings/sec, 30 secs
lola: 2223267 markings, 4828761 edges, 51324 markings/sec, 35 secs
lola: 2463831 markings, 5471235 edges, 48113 markings/sec, 40 secs
lola: 2731255 markings, 6040453 edges, 53485 markings/sec, 45 secs
lola: 3017001 markings, 6691976 edges, 57149 markings/sec, 50 secs
lola: 3317547 markings, 7352416 edges, 60109 markings/sec, 55 secs
lola: 3594492 markings, 7938346 edges, 55389 markings/sec, 60 secs
lola: 3836604 markings, 8571714 edges, 48422 markings/sec, 65 secs
lola: 4084567 markings, 9193649 edges, 49593 markings/sec, 70 secs
lola: 4334468 markings, 9787739 edges, 49980 markings/sec, 75 secs
lola: 4576693 markings, 10405045 edges, 48445 markings/sec, 80 secs
lola: 4817584 markings, 11003931 edges, 48178 markings/sec, 85 secs
lola: 5100433 markings, 11624033 edges, 56570 markings/sec, 90 secs
lola: 5389076 markings, 12264183 edges, 57729 markings/sec, 95 secs
lola: 5682283 markings, 12856778 edges, 58641 markings/sec, 100 secs
lola: 5954486 markings, 13413820 edges, 54441 markings/sec, 105 secs
lola: 6217483 markings, 13970618 edges, 52599 markings/sec, 110 secs
lola: 6489079 markings, 14549194 edges, 54319 markings/sec, 115 secs
lola: 6755600 markings, 15130956 edges, 53304 markings/sec, 120 secs
lola: 7042741 markings, 15701136 edges, 57428 markings/sec, 125 secs
lola: 7314655 markings, 16329114 edges, 54383 markings/sec, 130 secs
lola: 7563819 markings, 16982880 edges, 49833 markings/sec, 135 secs
lola: 7826618 markings, 17597571 edges, 52560 markings/sec, 140 secs
lola: 8102688 markings, 18198564 edges, 55214 markings/sec, 145 secs
lola: 8381202 markings, 18758735 edges, 55703 markings/sec, 150 secs
lola: 8637431 markings, 19369441 edges, 51246 markings/sec, 155 secs
lola: 8888322 markings, 19993959 edges, 50178 markings/sec, 160 secs
lola: 9125820 markings, 20634340 edges, 47500 markings/sec, 165 secs
lola: 9390505 markings, 21191919 edges, 52937 markings/sec, 170 secs
lola: 9683465 markings, 21855998 edges, 58592 markings/sec, 175 secs
lola: 9973778 markings, 22499254 edges, 58063 markings/sec, 180 secs
lola: 10234003 markings, 23102783 edges, 52045 markings/sec, 185 secs
lola: 10471364 markings, 23731760 edges, 47472 markings/sec, 190 secs
lola: 10709728 markings, 24356757 edges, 47673 markings/sec, 195 secs
lola: 10936277 markings, 24943212 edges, 45310 markings/sec, 200 secs
lola: 11175447 markings, 25550248 edges, 47834 markings/sec, 205 secs
lola: 11405806 markings, 26164278 edges, 46072 markings/sec, 210 secs
lola: 11661136 markings, 26741082 edges, 51066 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(p334)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 255119 markings, 458852 edges, 51024 markings/sec, 0 secs
lola: 488116 markings, 1015533 edges, 46599 markings/sec, 5 secs
lola: 699240 markings, 1441353 edges, 42225 markings/sec, 10 secs
lola: 895274 markings, 1821625 edges, 39207 markings/sec, 15 secs
lola: 1060278 markings, 2268830 edges, 33001 markings/sec, 20 secs
lola: 1219242 markings, 2750914 edges, 31793 markings/sec, 25 secs
lola: 1374636 markings, 3235065 edges, 31079 markings/sec, 30 secs
lola: 1539431 markings, 3687328 edges, 32959 markings/sec, 35 secs
lola: 1698306 markings, 4168737 edges, 31775 markings/sec, 40 secs
lola: 1856242 markings, 4662537 edges, 31587 markings/sec, 45 secs
lola: 2022771 markings, 5121170 edges, 33306 markings/sec, 50 secs
lola: 2183075 markings, 5616538 edges, 32061 markings/sec, 55 secs
lola: 2344846 markings, 6120005 edges, 32354 markings/sec, 60 secs
lola: 2521404 markings, 6569935 edges, 35312 markings/sec, 65 secs
lola: 2697888 markings, 6994592 edges, 35297 markings/sec, 70 secs
lola: 2869595 markings, 7409279 edges, 34341 markings/sec, 75 secs
lola: 3034650 markings, 7842589 edges, 33011 markings/sec, 80 secs
lola: 3183109 markings, 8333307 edges, 29692 markings/sec, 85 secs
lola: 3335245 markings, 8797596 edges, 30427 markings/sec, 90 secs
lola: 3472583 markings, 9249952 edges, 27468 markings/sec, 95 secs
lola: 3602845 markings, 9762568 edges, 26052 markings/sec, 100 secs
lola: 3762971 markings, 10222925 edges, 32025 markings/sec, 105 secs
lola: 3910319 markings, 10742245 edges, 29470 markings/sec, 110 secs
lola: 4058459 markings, 11227639 edges, 29628 markings/sec, 115 secs
lola: 4215429 markings, 11707160 edges, 31394 markings/sec, 120 secs
lola: 4373627 markings, 12199517 edges, 31640 markings/sec, 125 secs
lola: 4506723 markings, 12730593 edges, 26619 markings/sec, 130 secs
lola: 4594191 markings, 13420979 edges, 17494 markings/sec, 135 secs
lola: 4737542 markings, 13935514 edges, 28670 markings/sec, 140 secs
lola: 4891657 markings, 14431139 edges, 30823 markings/sec, 145 secs
lola: 5045726 markings, 14938738 edges, 30814 markings/sec, 150 secs
lola: 5201831 markings, 15420833 edges, 31221 markings/sec, 155 secs
lola: 5360473 markings, 15903768 edges, 31728 markings/sec, 160 secs
lola: 5519964 markings, 16404314 edges, 31898 markings/sec, 165 secs
lola: 5684764 markings, 16885983 edges, 32960 markings/sec, 170 secs
lola: 5851481 markings, 17365894 edges, 33343 markings/sec, 175 secs
lola: 6024956 markings, 17822716 edges, 34695 markings/sec, 180 secs
lola: 6199178 markings, 18233096 edges, 34844 markings/sec, 185 secs
lola: 6366814 markings, 18634086 edges, 33527 markings/sec, 190 secs
lola: 6523697 markings, 19102083 edges, 31377 markings/sec, 195 secs
lola: 6669173 markings, 19614667 edges, 29095 markings/sec, 200 secs
lola: 6821413 markings, 20031757 edges, 30448 markings/sec, 205 secs
lola: 6939747 markings, 20548584 edges, 23667 markings/sec, 210 secs
lola: 7090984 markings, 21018001 edges, 30247 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(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 249535 markings, 389267 edges, 49907 markings/sec, 0 secs
lola: 488551 markings, 838898 edges, 47803 markings/sec, 5 secs
lola: 701305 markings, 1251872 edges, 42551 markings/sec, 10 secs
lola: 899999 markings, 1636101 edges, 39739 markings/sec, 15 secs
lola: 1116865 markings, 2019723 edges, 43373 markings/sec, 20 secs
lola: 1350223 markings, 2443260 edges, 46672 markings/sec, 25 secs
lola: 1564307 markings, 2914411 edges, 42817 markings/sec, 30 secs
lola: 1777288 markings, 3383707 edges, 42596 markings/sec, 35 secs
lola: 1991492 markings, 3844576 edges, 42841 markings/sec, 40 secs
lola: 2212339 markings, 4247252 edges, 44169 markings/sec, 45 secs
lola: 2412519 markings, 4629342 edges, 40036 markings/sec, 50 secs
lola: 2639546 markings, 5025031 edges, 45405 markings/sec, 55 secs
lola: 2847028 markings, 5482905 edges, 41496 markings/sec, 60 secs
lola: 3053619 markings, 5938218 edges, 41318 markings/sec, 65 secs
lola: 3259505 markings, 6388341 edges, 41177 markings/sec, 70 secs
lola: 3478922 markings, 6799016 edges, 43883 markings/sec, 75 secs
lola: 3700460 markings, 7230023 edges, 44308 markings/sec, 80 secs
lola: 3898869 markings, 7705961 edges, 39682 markings/sec, 85 secs
lola: 4117840 markings, 8121971 edges, 43794 markings/sec, 90 secs
lola: 4328280 markings, 8525440 edges, 42088 markings/sec, 95 secs
lola: 4530355 markings, 8888713 edges, 40415 markings/sec, 100 secs
lola: 4721414 markings, 9278801 edges, 38212 markings/sec, 105 secs
lola: 4907711 markings, 9675545 edges, 37259 markings/sec, 110 secs
lola: 5088208 markings, 10058742 edges, 36099 markings/sec, 115 secs
lola: 5268347 markings, 10446361 edges, 36028 markings/sec, 120 secs
lola: 5444717 markings, 10809196 edges, 35274 markings/sec, 125 secs
lola: 5623706 markings, 11175204 edges, 35798 markings/sec, 130 secs
lola: 5800470 markings, 11535741 edges, 35353 markings/sec, 135 secs
lola: 5970896 markings, 11894559 edges, 34085 markings/sec, 140 secs
lola: 6139425 markings, 12243974 edges, 33706 markings/sec, 145 secs
lola: 6302495 markings, 12593758 edges, 32614 markings/sec, 150 secs
lola: 6476065 markings, 12945092 edges, 34714 markings/sec, 155 secs
lola: 6648689 markings, 13313819 edges, 34525 markings/sec, 160 secs
lola: 6815638 markings, 13704901 edges, 33390 markings/sec, 165 secs
lola: 6981121 markings, 14090235 edges, 33097 markings/sec, 170 secs
lola: 7156772 markings, 14433357 edges, 35130 markings/sec, 175 secs
lola: 7356104 markings, 14800846 edges, 39866 markings/sec, 180 secs
lola: 7535367 markings, 15181669 edges, 35853 markings/sec, 185 secs
lola: 7693511 markings, 15490917 edges, 31629 markings/sec, 190 secs
lola: 7866119 markings, 15832213 edges, 34522 markings/sec, 195 secs
lola: 8061813 markings, 16195193 edges, 39139 markings/sec, 200 secs
lola: 8224369 markings, 16542762 edges, 32511 markings/sec, 205 secs
lola: 8371447 markings, 16844170 edges, 29416 markings/sec, 210 secs
lola: 8615665 markings, 17245610 edges, 48844 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(p321)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 168942 markings, 500704 edges, 33788 markings/sec, 0 secs
lola: 376933 markings, 1044428 edges, 41598 markings/sec, 5 secs
lola: 602872 markings, 1554652 edges, 45188 markings/sec, 10 secs
lola: 803154 markings, 2048555 edges, 40056 markings/sec, 15 secs
lola: 980313 markings, 2576762 edges, 35432 markings/sec, 20 secs
lola: 1120420 markings, 3222930 edges, 28021 markings/sec, 25 secs
lola: 1310332 markings, 3719380 edges, 37982 markings/sec, 30 secs
lola: 1485312 markings, 4230295 edges, 34996 markings/sec, 35 secs
lola: 1618951 markings, 4869580 edges, 26728 markings/sec, 40 secs
lola: 1806937 markings, 5322502 edges, 37597 markings/sec, 45 secs
lola: 1974641 markings, 5846025 edges, 33541 markings/sec, 50 secs
lola: 2110175 markings, 6468205 edges, 27107 markings/sec, 55 secs
lola: 2292989 markings, 6944338 edges, 36563 markings/sec, 60 secs
lola: 2461753 markings, 7445741 edges, 33753 markings/sec, 65 secs
lola: 2593856 markings, 8091741 edges, 26421 markings/sec, 70 secs
lola: 2815363 markings, 8646068 edges, 44301 markings/sec, 75 secs
lola: 3037152 markings, 9151048 edges, 44358 markings/sec, 80 secs
lola: 3231161 markings, 9700050 edges, 38802 markings/sec, 85 secs
lola: 3440406 markings, 10195304 edges, 41849 markings/sec, 90 secs
lola: 3658007 markings, 10640684 edges, 43520 markings/sec, 95 secs
lola: 3837574 markings, 11182638 edges, 35913 markings/sec, 100 secs
lola: 4000027 markings, 11849197 edges, 32491 markings/sec, 105 secs
lola: 4193123 markings, 12452447 edges, 38619 markings/sec, 110 secs
lola: 4289894 markings, 13217077 edges, 19354 markings/sec, 115 secs
lola: 4402073 markings, 13976467 edges, 22436 markings/sec, 120 secs
lola: 4586061 markings, 14595299 edges, 36798 markings/sec, 125 secs
lola: 4798906 markings, 15116898 edges, 42569 markings/sec, 130 secs
lola: 5002603 markings, 15611812 edges, 40739 markings/sec, 135 secs
lola: 5182616 markings, 16193298 edges, 36003 markings/sec, 140 secs
lola: 5383733 markings, 16687944 edges, 40223 markings/sec, 145 secs
lola: 5588978 markings, 17154269 edges, 41049 markings/sec, 150 secs
lola: 5787872 markings, 17640021 edges, 39779 markings/sec, 155 secs
lola: 5947418 markings, 18244005 edges, 31909 markings/sec, 160 secs
lola: 6117398 markings, 18879886 edges, 33996 markings/sec, 165 secs
lola: 6305936 markings, 19485338 edges, 37708 markings/sec, 170 secs
lola: 6372715 markings, 20287244 edges, 13356 markings/sec, 175 secs
lola: 6493950 markings, 21040970 edges, 24247 markings/sec, 180 secs
lola: 6713712 markings, 21576381 edges, 43952 markings/sec, 185 secs
lola: 6899807 markings, 22203590 edges, 37219 markings/sec, 190 secs
lola: 7075272 markings, 22875155 edges, 35093 markings/sec, 195 secs
lola: 7278379 markings, 23409367 edges, 40621 markings/sec, 200 secs
lola: 7438689 markings, 24095550 edges, 32062 markings/sec, 205 secs
lola: 7637355 markings, 24707906 edges, 39733 markings/sec, 210 secs
lola: 7834404 markings, 25286655 edges, 39410 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(p424)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 268443 markings, 481061 edges, 53689 markings/sec, 0 secs
lola: 507624 markings, 1039157 edges, 47836 markings/sec, 5 secs
lola: 739112 markings, 1530997 edges, 46298 markings/sec, 10 secs
lola: 942736 markings, 2097453 edges, 40725 markings/sec, 15 secs
lola: 1149762 markings, 2645737 edges, 41405 markings/sec, 20 secs
lola: 1354693 markings, 3190817 edges, 40986 markings/sec, 25 secs
lola: 1575150 markings, 3733940 edges, 44091 markings/sec, 30 secs
lola: 1816086 markings, 4246766 edges, 48187 markings/sec, 35 secs
lola: 2026471 markings, 4760930 edges, 42077 markings/sec, 40 secs
lola: 2216133 markings, 5252362 edges, 37932 markings/sec, 45 secs
lola: 2368905 markings, 5818522 edges, 30554 markings/sec, 50 secs
lola: 2570662 markings, 6382866 edges, 40351 markings/sec, 55 secs
lola: 2749849 markings, 6994402 edges, 35837 markings/sec, 60 secs
lola: 2908193 markings, 7552962 edges, 31669 markings/sec, 65 secs
lola: 3068477 markings, 8195837 edges, 32057 markings/sec, 70 secs
lola: 3274851 markings, 8752470 edges, 41275 markings/sec, 75 secs
lola: 3453310 markings, 9228725 edges, 35692 markings/sec, 80 secs
lola: 3626264 markings, 9718518 edges, 34591 markings/sec, 85 secs
lola: 3812256 markings, 10154004 edges, 37198 markings/sec, 90 secs
lola: 3970302 markings, 10621636 edges, 31609 markings/sec, 95 secs
lola: 4099652 markings, 11194022 edges, 25870 markings/sec, 100 secs
lola: 4279354 markings, 11694075 edges, 35940 markings/sec, 105 secs
lola: 4450794 markings, 12154183 edges, 34288 markings/sec, 110 secs
lola: 4599091 markings, 12589533 edges, 29659 markings/sec, 115 secs
lola: 4798827 markings, 13172470 edges, 39947 markings/sec, 120 secs
lola: 4983421 markings, 13652893 edges, 36919 markings/sec, 125 secs
lola: 5140943 markings, 14107882 edges, 31504 markings/sec, 130 secs
lola: 5285584 markings, 14542945 edges, 28928 markings/sec, 135 secs
lola: 5436753 markings, 14969666 edges, 30234 markings/sec, 140 secs
lola: 5576370 markings, 15404660 edges, 27923 markings/sec, 145 secs
lola: 5777274 markings, 15908420 edges, 40181 markings/sec, 150 secs
lola: 5961579 markings, 16381272 edges, 36861 markings/sec, 155 secs
lola: 6208163 markings, 16818809 edges, 49317 markings/sec, 160 secs
lola: 6396984 markings, 17324002 edges, 37764 markings/sec, 165 secs
lola: 6599581 markings, 17862255 edges, 40519 markings/sec, 170 secs
lola: 6807090 markings, 18386008 edges, 41502 markings/sec, 175 secs
lola: 7017620 markings, 18930609 edges, 42106 markings/sec, 180 secs
lola: 7230886 markings, 19465687 edges, 42653 markings/sec, 185 secs
lola: 7456168 markings, 19994057 edges, 45056 markings/sec, 190 secs
lola: 7679098 markings, 20531083 edges, 44586 markings/sec, 195 secs
lola: 7910232 markings, 21049349 edges, 46227 markings/sec, 200 secs
lola: 8126665 markings, 21565196 edges, 43287 markings/sec, 205 secs
lola: 8327074 markings, 22035147 edges, 40082 markings/sec, 210 secs
lola: 8515021 markings, 22541022 edges, 37589 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(p419)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 179250 markings, 433270 edges, 35850 markings/sec, 0 secs
lola: 341983 markings, 905860 edges, 32547 markings/sec, 5 secs
lola: 524776 markings, 1394843 edges, 36559 markings/sec, 10 secs
lola: 701359 markings, 1859596 edges, 35317 markings/sec, 15 secs
lola: 856892 markings, 2391618 edges, 31107 markings/sec, 20 secs
lola: 1014464 markings, 2864666 edges, 31514 markings/sec, 25 secs
lola: 1156927 markings, 3388337 edges, 28493 markings/sec, 30 secs
lola: 1298046 markings, 3940052 edges, 28224 markings/sec, 35 secs
lola: 1437621 markings, 4497388 edges, 27915 markings/sec, 40 secs
lola: 1582235 markings, 5036856 edges, 28923 markings/sec, 45 secs
lola: 1742126 markings, 5519164 edges, 31978 markings/sec, 50 secs
lola: 1921079 markings, 6031626 edges, 35791 markings/sec, 55 secs
lola: 2111737 markings, 6546132 edges, 38132 markings/sec, 60 secs
lola: 2280613 markings, 7001624 edges, 33775 markings/sec, 65 secs
lola: 2423835 markings, 7514013 edges, 28644 markings/sec, 70 secs
lola: 2561652 markings, 8053399 edges, 27563 markings/sec, 75 secs
lola: 2701164 markings, 8593474 edges, 27902 markings/sec, 80 secs
lola: 2836162 markings, 9136503 edges, 27000 markings/sec, 85 secs
lola: 2971441 markings, 9668728 edges, 27056 markings/sec, 90 secs
lola: 3157379 markings, 10210044 edges, 37188 markings/sec, 95 secs
lola: 3294009 markings, 10764892 edges, 27326 markings/sec, 100 secs
lola: 3461962 markings, 11262105 edges, 33591 markings/sec, 105 secs
lola: 3663558 markings, 11760454 edges, 40319 markings/sec, 110 secs
lola: 3862885 markings, 12246851 edges, 39865 markings/sec, 115 secs
lola: 4036248 markings, 12724466 edges, 34673 markings/sec, 120 secs
lola: 4203365 markings, 13249651 edges, 33423 markings/sec, 125 secs
lola: 4374887 markings, 13763819 edges, 34304 markings/sec, 130 secs
lola: 4549462 markings, 14221566 edges, 34915 markings/sec, 135 secs
lola: 4728155 markings, 14686472 edges, 35739 markings/sec, 140 secs
lola: 4890412 markings, 15170628 edges, 32451 markings/sec, 145 secs
lola: 5049357 markings, 15666967 edges, 31789 markings/sec, 150 secs
lola: 5231786 markings, 16126446 edges, 36486 markings/sec, 155 secs
lola: 5374644 markings, 16657228 edges, 28572 markings/sec, 160 secs
lola: 5526658 markings, 17149959 edges, 30403 markings/sec, 165 secs
lola: 5678677 markings, 17670182 edges, 30404 markings/sec, 170 secs
lola: 5847910 markings, 18128748 edges, 33847 markings/sec, 175 secs
lola: 6015165 markings, 18548024 edges, 33451 markings/sec, 180 secs
lola: 6160006 markings, 18993831 edges, 28968 markings/sec, 185 secs
lola: 6317771 markings, 19487621 edges, 31553 markings/sec, 190 secs
lola: 6433798 markings, 19964038 edges, 23205 markings/sec, 195 secs
lola: 6566846 markings, 20452091 edges, 26610 markings/sec, 200 secs
lola: 6703949 markings, 20948345 edges, 27421 markings/sec, 205 secs
lola: 6857431 markings, 21432250 edges, 30696 markings/sec, 210 secs
lola: 7008353 markings, 21979115 edges, 30184 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(p218)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 251149 markings, 460727 edges, 50230 markings/sec, 0 secs
lola: 533112 markings, 1102893 edges, 56393 markings/sec, 5 secs
lola: 817920 markings, 1732202 edges, 56962 markings/sec, 10 secs
lola: 1097363 markings, 2383825 edges, 55889 markings/sec, 15 secs
lola: 1359502 markings, 3020175 edges, 52428 markings/sec, 20 secs
lola: 1626971 markings, 3638412 edges, 53494 markings/sec, 25 secs
lola: 1904126 markings, 4198138 edges, 55431 markings/sec, 30 secs
lola: 2179965 markings, 4785221 edges, 55168 markings/sec, 35 secs
lola: 2443498 markings, 5449214 edges, 52707 markings/sec, 40 secs
lola: 2717132 markings, 6060295 edges, 54727 markings/sec, 45 secs
lola: 2988815 markings, 6693378 edges, 54337 markings/sec, 50 secs
lola: 3251569 markings, 7333645 edges, 52551 markings/sec, 55 secs
lola: 3512639 markings, 7936960 edges, 52214 markings/sec, 60 secs
lola: 3783346 markings, 8545607 edges, 54141 markings/sec, 65 secs
lola: 4015447 markings, 9074704 edges, 46420 markings/sec, 70 secs
lola: 4300616 markings, 9695328 edges, 57034 markings/sec, 75 secs
lola: 4536705 markings, 10264845 edges, 47218 markings/sec, 80 secs
lola: 4766029 markings, 10834960 edges, 45865 markings/sec, 85 secs
lola: 5056606 markings, 11409627 edges, 58115 markings/sec, 90 secs
lola: 5328658 markings, 12005377 edges, 54410 markings/sec, 95 secs
lola: 5604376 markings, 12583534 edges, 55144 markings/sec, 100 secs
lola: 5850093 markings, 13149857 edges, 49143 markings/sec, 105 secs
lola: 6113127 markings, 13755407 edges, 52607 markings/sec, 110 secs
lola: 6319987 markings, 14408669 edges, 41372 markings/sec, 115 secs
lola: 6513593 markings, 15036372 edges, 38721 markings/sec, 120 secs
lola: 6740985 markings, 15668650 edges, 45478 markings/sec, 125 secs
lola: 7006363 markings, 16335089 edges, 53076 markings/sec, 130 secs
lola: 7265346 markings, 17007005 edges, 51797 markings/sec, 135 secs
lola: 7535908 markings, 17707165 edges, 54112 markings/sec, 140 secs
lola: 7788110 markings, 18363916 edges, 50440 markings/sec, 145 secs
lola: 8046396 markings, 19029921 edges, 51657 markings/sec, 150 secs
lola: 8287819 markings, 19671594 edges, 48285 markings/sec, 155 secs
lola: 8548020 markings, 20217077 edges, 52040 markings/sec, 160 secs
lola: 8818875 markings, 20753919 edges, 54171 markings/sec, 165 secs
lola: 9088637 markings, 21389643 edges, 53952 markings/sec, 170 secs
lola: 9353133 markings, 22027147 edges, 52899 markings/sec, 175 secs
lola: 9615030 markings, 22665236 edges, 52379 markings/sec, 180 secs
lola: 9873079 markings, 23278697 edges, 51610 markings/sec, 185 secs
lola: 10136257 markings, 23878880 edges, 52636 markings/sec, 190 secs
lola: 10408589 markings, 24432044 edges, 54466 markings/sec, 195 secs
lola: 10677851 markings, 25008432 edges, 53852 markings/sec, 200 secs
lola: 10932235 markings, 25650426 edges, 50877 markings/sec, 205 secs
lola: 11182485 markings, 26270057 edges, 50050 markings/sec, 210 secs
lola: 11437297 markings, 26879946 edges, 50962 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(p441)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 325479 markings, 461164 edges, 65096 markings/sec, 0 secs
lola: 585711 markings, 961366 edges, 52046 markings/sec, 5 secs
lola: 845226 markings, 1463946 edges, 51903 markings/sec, 10 secs
lola: 1036092 markings, 1966289 edges, 38173 markings/sec, 15 secs
lola: 1296549 markings, 2531047 edges, 52091 markings/sec, 20 secs
lola: 1563554 markings, 3122918 edges, 53401 markings/sec, 25 secs
lola: 1777904 markings, 3663265 edges, 42870 markings/sec, 30 secs
lola: 2003694 markings, 4225100 edges, 45158 markings/sec, 35 secs
lola: 2288546 markings, 4775180 edges, 56970 markings/sec, 40 secs
lola: 2548964 markings, 5290250 edges, 52084 markings/sec, 45 secs
lola: 2757307 markings, 5836015 edges, 41669 markings/sec, 50 secs
lola: 3071527 markings, 6432102 edges, 62844 markings/sec, 55 secs
lola: 3363431 markings, 7001501 edges, 58381 markings/sec, 60 secs
lola: 3586433 markings, 7586246 edges, 44600 markings/sec, 65 secs
lola: 3842584 markings, 8128369 edges, 51230 markings/sec, 70 secs
lola: 4041034 markings, 8726123 edges, 39690 markings/sec, 75 secs
lola: 4257542 markings, 9282682 edges, 43302 markings/sec, 80 secs
lola: 4482819 markings, 9830443 edges, 45055 markings/sec, 85 secs
lola: 4679139 markings, 10417477 edges, 39264 markings/sec, 90 secs
lola: 4893355 markings, 10954206 edges, 42843 markings/sec, 95 secs
lola: 5102904 markings, 11521127 edges, 41910 markings/sec, 100 secs
lola: 5312153 markings, 12081718 edges, 41850 markings/sec, 105 secs
lola: 5528622 markings, 12631161 edges, 43294 markings/sec, 110 secs
lola: 5723908 markings, 13222557 edges, 39057 markings/sec, 115 secs
lola: 5995047 markings, 13731256 edges, 54228 markings/sec, 120 secs
lola: 6226417 markings, 14251291 edges, 46274 markings/sec, 125 secs
lola: 6439055 markings, 14813707 edges, 42528 markings/sec, 130 secs
lola: 6647088 markings, 15361346 edges, 41607 markings/sec, 135 secs
lola: 6866425 markings, 15883081 edges, 43867 markings/sec, 140 secs
lola: 7075540 markings, 16464869 edges, 41823 markings/sec, 145 secs
lola: 7384867 markings, 17047836 edges, 61865 markings/sec, 150 secs
lola: 7668155 markings, 17621400 edges, 56658 markings/sec, 155 secs
lola: 7922572 markings, 18208410 edges, 50883 markings/sec, 160 secs
lola: 8210135 markings, 18785313 edges, 57513 markings/sec, 165 secs
lola: 8515856 markings, 19394582 edges, 61144 markings/sec, 170 secs
lola: 8731629 markings, 19916608 edges, 43155 markings/sec, 175 secs
lola: 8952480 markings, 20448208 edges, 44170 markings/sec, 180 secs
lola: 9163851 markings, 21027387 edges, 42274 markings/sec, 185 secs
lola: 9429811 markings, 21670862 edges, 53192 markings/sec, 190 secs
lola: 9652961 markings, 22192348 edges, 44630 markings/sec, 195 secs
lola: 9960656 markings, 22775222 edges, 61539 markings/sec, 200 secs
lola: 10188082 markings, 23316146 edges, 45485 markings/sec, 205 secs
lola: 10470523 markings, 23848346 edges, 56488 markings/sec, 210 secs
lola: 10755441 markings, 24440040 edges, 56984 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(p304)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 368806 markings, 647571 edges, 73761 markings/sec, 0 secs
lola: 765963 markings, 1327224 edges, 79431 markings/sec, 5 secs
lola: 1161932 markings, 2014462 edges, 79194 markings/sec, 10 secs
lola: 1547382 markings, 2676278 edges, 77090 markings/sec, 15 secs
lola: 1931431 markings, 3341114 edges, 76810 markings/sec, 20 secs
lola: 2284847 markings, 4009521 edges, 70683 markings/sec, 25 secs
lola: 2526357 markings, 4733314 edges, 48302 markings/sec, 30 secs
lola: 2790074 markings, 5407358 edges, 52743 markings/sec, 35 secs
lola: 3067606 markings, 6074440 edges, 55506 markings/sec, 40 secs
lola: 3390617 markings, 6733506 edges, 64602 markings/sec, 45 secs
lola: 3657053 markings, 7441727 edges, 53287 markings/sec, 50 secs
lola: 3937540 markings, 8157813 edges, 56097 markings/sec, 55 secs
lola: 4182616 markings, 8904690 edges, 49015 markings/sec, 60 secs
lola: 4405889 markings, 9709124 edges, 44655 markings/sec, 65 secs
lola: 4663655 markings, 10459991 edges, 51553 markings/sec, 70 secs
lola: 4907462 markings, 11202857 edges, 48761 markings/sec, 75 secs
lola: 5125544 markings, 12007478 edges, 43616 markings/sec, 80 secs
lola: 5381932 markings, 12759805 edges, 51278 markings/sec, 85 secs
lola: 5634811 markings, 13492724 edges, 50576 markings/sec, 90 secs
lola: 5835466 markings, 14284362 edges, 40131 markings/sec, 95 secs
lola: 6109512 markings, 15000823 edges, 54809 markings/sec, 100 secs
lola: 6438498 markings, 15671851 edges, 65797 markings/sec, 105 secs
lola: 6683823 markings, 16366589 edges, 49065 markings/sec, 110 secs
lola: 6987984 markings, 17044471 edges, 60832 markings/sec, 115 secs
lola: 7223531 markings, 17756113 edges, 47109 markings/sec, 120 secs
lola: 7502596 markings, 18431268 edges, 55813 markings/sec, 125 secs
lola: 7762639 markings, 19095090 edges, 52009 markings/sec, 130 secs
lola: 8017052 markings, 19742112 edges, 50883 markings/sec, 135 secs
lola: 8287839 markings, 20408796 edges, 54157 markings/sec, 140 secs
lola: 8603427 markings, 21057939 edges, 63118 markings/sec, 145 secs
lola: 8828280 markings, 21743774 edges, 44971 markings/sec, 150 secs
lola: 9105153 markings, 22442134 edges, 55375 markings/sec, 155 secs
lola: 9368493 markings, 23177540 edges, 52668 markings/sec, 160 secs
lola: 9559238 markings, 23946478 edges, 38149 markings/sec, 165 secs
lola: 9807742 markings, 24701923 edges, 49701 markings/sec, 170 secs
lola: 10081693 markings, 25441713 edges, 54790 markings/sec, 175 secs
lola: 10272074 markings, 26189242 edges, 38076 markings/sec, 180 secs
lola: 10507908 markings, 26946116 edges, 47167 markings/sec, 185 secs
lola: 10783523 markings, 27677327 edges, 55123 markings/sec, 190 secs
lola: 10998783 markings, 28404061 edges, 43052 markings/sec, 195 secs
lola: 11200825 markings, 29175655 edges, 40408 markings/sec, 200 secs
lola: 11525826 markings, 29842563 edges, 65000 markings/sec, 205 secs
lola: 11761618 markings, 30535414 edges, 47158 markings/sec, 210 secs
lola: 12025848 markings, 31192395 edges, 52846 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(p341)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 274079 markings, 485751 edges, 54816 markings/sec, 0 secs
lola: 560838 markings, 1086746 edges, 57352 markings/sec, 5 secs
lola: 799360 markings, 1650523 edges, 47704 markings/sec, 10 secs
lola: 1035562 markings, 2247502 edges, 47240 markings/sec, 15 secs
lola: 1285114 markings, 2846817 edges, 49910 markings/sec, 20 secs
lola: 1528049 markings, 3400098 edges, 48587 markings/sec, 25 secs
lola: 1794278 markings, 3937554 edges, 53246 markings/sec, 30 secs
lola: 2002731 markings, 4441674 edges, 41691 markings/sec, 35 secs
lola: 2181640 markings, 5009237 edges, 35782 markings/sec, 40 secs
lola: 2353781 markings, 5618437 edges, 34428 markings/sec, 45 secs
lola: 2651194 markings, 6299364 edges, 59483 markings/sec, 50 secs
lola: 2846192 markings, 6960400 edges, 39000 markings/sec, 55 secs
lola: 3047201 markings, 7575825 edges, 40202 markings/sec, 60 secs
lola: 3253837 markings, 8112148 edges, 41327 markings/sec, 65 secs
lola: 3433310 markings, 8624238 edges, 35895 markings/sec, 70 secs
lola: 3628257 markings, 9102707 edges, 38989 markings/sec, 75 secs
lola: 3809183 markings, 9578380 edges, 36185 markings/sec, 80 secs
lola: 3937069 markings, 10183859 edges, 25577 markings/sec, 85 secs
lola: 4125266 markings, 10708333 edges, 37639 markings/sec, 90 secs
lola: 4302968 markings, 11181566 edges, 35540 markings/sec, 95 secs
lola: 4458273 markings, 11637844 edges, 31061 markings/sec, 100 secs
lola: 4658540 markings, 12222285 edges, 40053 markings/sec, 105 secs
lola: 4846210 markings, 12710555 edges, 37534 markings/sec, 110 secs
lola: 5008514 markings, 13181297 edges, 32461 markings/sec, 115 secs
lola: 5156608 markings, 13628511 edges, 29619 markings/sec, 120 secs
lola: 5309764 markings, 14092300 edges, 30631 markings/sec, 125 secs
lola: 5471452 markings, 14547134 edges, 32338 markings/sec, 130 secs
lola: 5679489 markings, 15062842 edges, 41607 markings/sec, 135 secs
lola: 5874994 markings, 15558453 edges, 39101 markings/sec, 140 secs
lola: 6116925 markings, 16032781 edges, 48386 markings/sec, 145 secs
lola: 6344497 markings, 16601479 edges, 45514 markings/sec, 150 secs
lola: 6583522 markings, 17180093 edges, 47805 markings/sec, 155 secs
lola: 6845708 markings, 17772378 edges, 52437 markings/sec, 160 secs
lola: 7134283 markings, 18367181 edges, 57715 markings/sec, 165 secs
lola: 7363650 markings, 18916580 edges, 45873 markings/sec, 170 secs
lola: 7621600 markings, 19451801 edges, 51590 markings/sec, 175 secs
lola: 7847146 markings, 19948790 edges, 45109 markings/sec, 180 secs
lola: 8044763 markings, 20446824 edges, 39523 markings/sec, 185 secs
lola: 8241826 markings, 20974796 edges, 39413 markings/sec, 190 secs
lola: 8416342 markings, 21549814 edges, 34903 markings/sec, 195 secs
lola: 8577186 markings, 22154537 edges, 32169 markings/sec, 200 secs
lola: 8898403 markings, 22804522 edges, 64243 markings/sec, 205 secs
lola: 9144053 markings, 23457703 edges, 49130 markings/sec, 210 secs
lola: 9357018 markings, 24116042 edges, 42593 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(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 368249 markings, 581591 edges, 73650 markings/sec, 0 secs
lola: 720549 markings, 1154052 edges, 70460 markings/sec, 5 secs
lola: 1040030 markings, 1734236 edges, 63896 markings/sec, 10 secs
lola: 1362453 markings, 2270896 edges, 64485 markings/sec, 15 secs
lola: 1664508 markings, 2849801 edges, 60411 markings/sec, 20 secs
lola: 1982924 markings, 3419179 edges, 63683 markings/sec, 25 secs
lola: 2365349 markings, 4049370 edges, 76485 markings/sec, 30 secs
lola: 2732687 markings, 4624175 edges, 73468 markings/sec, 35 secs
lola: 3092496 markings, 5197733 edges, 71962 markings/sec, 40 secs
lola: 3515299 markings, 5853383 edges, 84561 markings/sec, 45 secs
lola: 3954163 markings, 6481955 edges, 87773 markings/sec, 50 secs
lola: 4371339 markings, 7088195 edges, 83435 markings/sec, 55 secs
lola: 4789632 markings, 7694615 edges, 83659 markings/sec, 60 secs
lola: 5205031 markings, 8306593 edges, 83080 markings/sec, 65 secs
lola: 5547610 markings, 8947310 edges, 68516 markings/sec, 70 secs
lola: 5901105 markings, 9548129 edges, 70699 markings/sec, 75 secs
lola: 6320408 markings, 10183092 edges, 83861 markings/sec, 80 secs
lola: 6618067 markings, 10933344 edges, 59532 markings/sec, 85 secs
lola: 7011685 markings, 11547363 edges, 78724 markings/sec, 90 secs
lola: 7296237 markings, 12218496 edges, 56910 markings/sec, 95 secs
lola: 7604608 markings, 12857895 edges, 61674 markings/sec, 100 secs
lola: 7853433 markings, 13428334 edges, 49765 markings/sec, 105 secs
lola: 8002690 markings, 14117808 edges, 29851 markings/sec, 110 secs
lola: 8246429 markings, 14764432 edges, 48748 markings/sec, 115 secs
lola: 8491619 markings, 15424224 edges, 49038 markings/sec, 120 secs
lola: 8834633 markings, 16074096 edges, 68603 markings/sec, 125 secs
lola: 9175175 markings, 16722328 edges, 68108 markings/sec, 130 secs
lola: 9510959 markings, 17337937 edges, 67157 markings/sec, 135 secs
lola: 9866387 markings, 17962271 edges, 71086 markings/sec, 140 secs
lola: 10215231 markings, 18568051 edges, 69769 markings/sec, 145 secs
lola: 10529666 markings, 19213866 edges, 62887 markings/sec, 150 secs
lola: 10769342 markings, 19815338 edges, 47935 markings/sec, 155 secs
lola: 11094932 markings, 20444357 edges, 65118 markings/sec, 160 secs
lola: 11419564 markings, 21027773 edges, 64926 markings/sec, 165 secs
lola: 11727368 markings, 21614004 edges, 61561 markings/sec, 170 secs
lola: 12043945 markings, 22216783 edges, 63315 markings/sec, 175 secs
lola: 12414528 markings, 22801291 edges, 74117 markings/sec, 180 secs
lola: 12749481 markings, 23416918 edges, 66991 markings/sec, 185 secs
lola: 13005107 markings, 24023957 edges, 51125 markings/sec, 190 secs
lola: 13321444 markings, 24631724 edges, 63267 markings/sec, 195 secs
lola: 13646226 markings, 25240178 edges, 64956 markings/sec, 200 secs
lola: 13982755 markings, 25844884 edges, 67306 markings/sec, 205 secs
lola: 14330139 markings, 26449612 edges, 69477 markings/sec, 210 secs
lola: 14632139 markings, 27015282 edges, 60400 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(p416)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 265406 markings, 472566 edges, 53081 markings/sec, 0 secs
lola: 498319 markings, 1024300 edges, 46583 markings/sec, 5 secs
lola: 716202 markings, 1519544 edges, 43577 markings/sec, 10 secs
lola: 917595 markings, 2062364 edges, 40279 markings/sec, 15 secs
lola: 1121729 markings, 2603415 edges, 40827 markings/sec, 20 secs
lola: 1339200 markings, 3143709 edges, 43494 markings/sec, 25 secs
lola: 1550253 markings, 3688928 edges, 42211 markings/sec, 30 secs
lola: 1797152 markings, 4191731 edges, 49380 markings/sec, 35 secs
lola: 1998162 markings, 4668497 edges, 40202 markings/sec, 40 secs
lola: 2173173 markings, 5193533 edges, 35002 markings/sec, 45 secs
lola: 2370068 markings, 5758333 edges, 39379 markings/sec, 50 secs
lola: 2557448 markings, 6347097 edges, 37476 markings/sec, 55 secs
lola: 2739877 markings, 6938476 edges, 36486 markings/sec, 60 secs
lola: 2883899 markings, 7529216 edges, 28804 markings/sec, 65 secs
lola: 3058103 markings, 8155479 edges, 34841 markings/sec, 70 secs
lola: 3261365 markings, 8707098 edges, 40652 markings/sec, 75 secs
lola: 3437207 markings, 9171900 edges, 35168 markings/sec, 80 secs
lola: 3607982 markings, 9658376 edges, 34155 markings/sec, 85 secs
lola: 3792068 markings, 10086649 edges, 36817 markings/sec, 90 secs
lola: 3947366 markings, 10558069 edges, 31060 markings/sec, 95 secs
lola: 4081304 markings, 11135243 edges, 26788 markings/sec, 100 secs
lola: 4254180 markings, 11616768 edges, 34575 markings/sec, 105 secs
lola: 4422991 markings, 12068560 edges, 33762 markings/sec, 110 secs
lola: 4573859 markings, 12511449 edges, 30174 markings/sec, 115 secs
lola: 4771646 markings, 13089875 edges, 39557 markings/sec, 120 secs
lola: 4954311 markings, 13559315 edges, 36533 markings/sec, 125 secs
lola: 5105920 markings, 14007722 edges, 30322 markings/sec, 130 secs
lola: 5250377 markings, 14439945 edges, 28891 markings/sec, 135 secs
lola: 5402572 markings, 14869768 edges, 30439 markings/sec, 140 secs
lola: 5544161 markings, 15309006 edges, 28318 markings/sec, 145 secs
lola: 5743536 markings, 15804781 edges, 39875 markings/sec, 150 secs
lola: 5932337 markings, 16286004 edges, 37760 markings/sec, 155 secs
lola: 6174932 markings, 16722616 edges, 48519 markings/sec, 160 secs
lola: 6360159 markings, 17219370 edges, 37045 markings/sec, 165 secs
lola: 6562337 markings, 17748016 edges, 40436 markings/sec, 170 secs
lola: 6765436 markings, 18271006 edges, 40620 markings/sec, 175 secs
lola: 6983744 markings, 18812254 edges, 43662 markings/sec, 180 secs
lola: 7195809 markings, 19355820 edges, 42413 markings/sec, 185 secs
lola: 7407970 markings, 19887400 edges, 42432 markings/sec, 190 secs
lola: 7633994 markings, 20415926 edges, 45205 markings/sec, 195 secs
lola: 7869017 markings, 20921693 edges, 47005 markings/sec, 200 secs
lola: 8081020 markings, 21382603 edges, 42401 markings/sec, 205 secs
lola: 8265635 markings, 21873284 edges, 36923 markings/sec, 210 secs
lola: 8453775 markings, 22390011 edges, 37628 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(p333)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 371247 markings, 646052 edges, 74249 markings/sec, 0 secs
lola: 688219 markings, 1292545 edges, 63394 markings/sec, 5 secs
lola: 999087 markings, 1912188 edges, 62174 markings/sec, 10 secs
lola: 1331672 markings, 2481031 edges, 66517 markings/sec, 15 secs
lola: 1624213 markings, 3085142 edges, 58508 markings/sec, 20 secs
lola: 1942763 markings, 3754653 edges, 63710 markings/sec, 25 secs
lola: 2197897 markings, 4445523 edges, 51027 markings/sec, 30 secs
lola: 2443160 markings, 5118699 edges, 49053 markings/sec, 35 secs
lola: 2710849 markings, 5654769 edges, 53538 markings/sec, 40 secs
lola: 2996337 markings, 6168809 edges, 57098 markings/sec, 45 secs
lola: 3193785 markings, 6746348 edges, 39490 markings/sec, 50 secs
lola: 3448639 markings, 7267156 edges, 50971 markings/sec, 55 secs
lola: 3686935 markings, 7828661 edges, 47659 markings/sec, 60 secs
lola: 3929488 markings, 8336664 edges, 48511 markings/sec, 65 secs
lola: 4156211 markings, 8823772 edges, 45345 markings/sec, 70 secs
lola: 4359863 markings, 9263698 edges, 40730 markings/sec, 75 secs
lola: 4576184 markings, 9790449 edges, 43264 markings/sec, 80 secs
lola: 4927286 markings, 10410451 edges, 70220 markings/sec, 85 secs
lola: 5260575 markings, 10997827 edges, 66658 markings/sec, 90 secs
lola: 5572824 markings, 11614230 edges, 62450 markings/sec, 95 secs
lola: 5925306 markings, 12224926 edges, 70496 markings/sec, 100 secs
lola: 6296326 markings, 12815363 edges, 74204 markings/sec, 105 secs
lola: 6621355 markings, 13376247 edges, 65006 markings/sec, 110 secs
lola: 6986419 markings, 13984528 edges, 73013 markings/sec, 115 secs
lola: 7343954 markings, 14651243 edges, 71507 markings/sec, 120 secs
lola: 7664139 markings, 15324873 edges, 64037 markings/sec, 125 secs
lola: 7887033 markings, 16034821 edges, 44579 markings/sec, 130 secs
lola: 8173531 markings, 16553487 edges, 57300 markings/sec, 135 secs
lola: 8453146 markings, 17059033 edges, 55923 markings/sec, 140 secs
lola: 8751326 markings, 17598102 edges, 59636 markings/sec, 145 secs
lola: 9034348 markings, 18106885 edges, 56604 markings/sec, 150 secs
lola: 9323671 markings, 18610584 edges, 57865 markings/sec, 155 secs
lola: 9540284 markings, 19159608 edges, 43323 markings/sec, 160 secs
lola: 9819638 markings, 19671754 edges, 55871 markings/sec, 165 secs
lola: 10064669 markings, 20160459 edges, 49006 markings/sec, 170 secs
lola: 10294606 markings, 20620449 edges, 45987 markings/sec, 175 secs
lola: 10518420 markings, 21062563 edges, 44763 markings/sec, 180 secs
lola: 10813791 markings, 21655599 edges, 59074 markings/sec, 185 secs
lola: 11072861 markings, 22179455 edges, 51814 markings/sec, 190 secs
lola: 11365707 markings, 22779995 edges, 58569 markings/sec, 195 secs
lola: 11688232 markings, 23383976 edges, 64505 markings/sec, 200 secs
lola: 12032940 markings, 24008050 edges, 68942 markings/sec, 205 secs
lola: 12351283 markings, 24578706 edges, 63669 markings/sec, 210 secs
lola: 12668272 markings, 25205168 edges, 63398 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA CloudDeployment-PT-2b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494617248453

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