Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is DNAwalker-PT-05track28LR, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440263800038
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494653972269


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DNAwalker-PT-05track28LR @ 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: 284/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 34 places, 250 transitions, 34 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 164 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-05track28LR-UpperBounds.task
lola: MAX(A11) : MAX(A25) : MAX(B9) : MAX(A11) : MAX(B16) : MAX(A18) : MAX(B9) : MAX(A27) : MAX(A17) : MAX(A7) : MAX(B10) : MAX(B16) : MAX(A12) : MAX(A15) : MAX(B10) : MAX(A12)
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(A11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 927250 markings, 2317154 edges, 185450 markings/sec, 0 secs
lola: 1806167 markings, 5085387 edges, 175783 markings/sec, 5 secs
lola: 2644150 markings, 7651377 edges, 167597 markings/sec, 10 secs
lola: 3399858 markings, 9830067 edges, 151142 markings/sec, 15 secs
lola: 4065081 markings, 11711471 edges, 133045 markings/sec, 20 secs
lola: 4690461 markings, 14054343 edges, 125076 markings/sec, 25 secs
lola: 5321493 markings, 16327613 edges, 126206 markings/sec, 30 secs
lola: 5951401 markings, 18473735 edges, 125982 markings/sec, 35 secs
lola: 6539765 markings, 20796452 edges, 117673 markings/sec, 40 secs
lola: 7036073 markings, 22748736 edges, 99262 markings/sec, 45 secs
lola: 7582556 markings, 25075825 edges, 109297 markings/sec, 50 secs
lola: 8113281 markings, 27391298 edges, 106145 markings/sec, 55 secs
lola: 8656753 markings, 29738041 edges, 108694 markings/sec, 60 secs
lola: 9262656 markings, 32097076 edges, 121181 markings/sec, 65 secs
lola: 9945809 markings, 34606190 edges, 136631 markings/sec, 70 secs
lola: 10643258 markings, 37013950 edges, 139490 markings/sec, 75 secs
lola: 11320295 markings, 39623900 edges, 135407 markings/sec, 80 secs
lola: 11993199 markings, 42535518 edges, 134581 markings/sec, 85 secs
lola: 12620445 markings, 44867148 edges, 125449 markings/sec, 90 secs
lola: 13201866 markings, 47049568 edges, 116284 markings/sec, 95 secs
lola: 13781676 markings, 49373174 edges, 115962 markings/sec, 100 secs
lola: 14437244 markings, 51773759 edges, 131114 markings/sec, 105 secs
lola: 14992407 markings, 54006051 edges, 111033 markings/sec, 110 secs
lola: 15531971 markings, 56201864 edges, 107913 markings/sec, 115 secs
lola: 16061314 markings, 58398024 edges, 105869 markings/sec, 120 secs
lola: 16653354 markings, 60895620 edges, 118408 markings/sec, 125 secs
lola: 17204314 markings, 63536803 edges, 110192 markings/sec, 130 secs
lola: 17818520 markings, 66157188 edges, 122841 markings/sec, 135 secs
lola: 18400023 markings, 68755884 edges, 116301 markings/sec, 140 secs
lola: 19092554 markings, 71768845 edges, 138506 markings/sec, 145 secs
lola: 19772640 markings, 75254092 edges, 136017 markings/sec, 150 secs
lola: 20375411 markings, 77987873 edges, 120554 markings/sec, 155 secs
lola: 20932616 markings, 80690106 edges, 111441 markings/sec, 160 secs
lola: 21707405 markings, 82875248 edges, 154958 markings/sec, 165 secs
lola: 22377656 markings, 84872026 edges, 134050 markings/sec, 170 secs
lola: 23077903 markings, 87003657 edges, 140049 markings/sec, 175 secs
lola: 23764742 markings, 89120649 edges, 137368 markings/sec, 180 secs
lola: 24361082 markings, 91032390 edges, 119268 markings/sec, 185 secs
lola: 25054690 markings, 93264399 edges, 138722 markings/sec, 190 secs
lola: 25749304 markings, 95530064 edges, 138923 markings/sec, 195 secs
lola: 26455433 markings, 97810742 edges, 141226 markings/sec, 200 secs
lola: 27152073 markings, 100146630 edges, 139328 markings/sec, 205 secs
lola: 27827096 markings, 102407425 edges, 135005 markings/sec, 210 secs
lola: 28456337 markings, 104603011 edges, 125848 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(A25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 723429 markings, 2112475 edges, 144686 markings/sec, 0 secs
lola: 1236178 markings, 3998300 edges, 102550 markings/sec, 5 secs
lola: 1815286 markings, 6114387 edges, 115822 markings/sec, 10 secs
lola: 2422195 markings, 8164430 edges, 121382 markings/sec, 15 secs
lola: 3002029 markings, 10206682 edges, 115967 markings/sec, 20 secs
lola: 3586912 markings, 11825164 edges, 116977 markings/sec, 25 secs
lola: 4197870 markings, 13975126 edges, 122192 markings/sec, 30 secs
lola: 4795208 markings, 16077218 edges, 119468 markings/sec, 35 secs
lola: 5378974 markings, 18188359 edges, 116753 markings/sec, 40 secs
lola: 5913372 markings, 20288005 edges, 106880 markings/sec, 45 secs
lola: 6418893 markings, 22005041 edges, 101104 markings/sec, 50 secs
lola: 6985287 markings, 24181642 edges, 113279 markings/sec, 55 secs
lola: 7525848 markings, 26356611 edges, 108112 markings/sec, 60 secs
lola: 7936581 markings, 28032519 edges, 82147 markings/sec, 65 secs
lola: 8426860 markings, 30176120 edges, 98056 markings/sec, 70 secs
lola: 8902919 markings, 32300386 edges, 95212 markings/sec, 75 secs
lola: 9382335 markings, 34362451 edges, 95883 markings/sec, 80 secs
lola: 9858845 markings, 36414532 edges, 95302 markings/sec, 85 secs
lola: 10347539 markings, 38548855 edges, 97739 markings/sec, 90 secs
lola: 10838209 markings, 40569901 edges, 98134 markings/sec, 95 secs
lola: 11289469 markings, 42723452 edges, 90252 markings/sec, 100 secs
lola: 11711777 markings, 44491687 edges, 84462 markings/sec, 105 secs
lola: 12178163 markings, 46513560 edges, 93277 markings/sec, 110 secs
lola: 12653964 markings, 48478462 edges, 95160 markings/sec, 115 secs
lola: 13134450 markings, 50413617 edges, 96097 markings/sec, 120 secs
lola: 13617008 markings, 52381936 edges, 96512 markings/sec, 125 secs
lola: 14161855 markings, 54413143 edges, 108969 markings/sec, 130 secs
lola: 14719741 markings, 56375742 edges, 111577 markings/sec, 135 secs
lola: 15271829 markings, 58506199 edges, 110418 markings/sec, 140 secs
lola: 15820091 markings, 60653214 edges, 109652 markings/sec, 145 secs
lola: 16344245 markings, 62659611 edges, 104831 markings/sec, 150 secs
lola: 16843373 markings, 64650824 edges, 99826 markings/sec, 155 secs
lola: 17326731 markings, 66801922 edges, 96672 markings/sec, 160 secs
lola: 17725458 markings, 68587840 edges, 79745 markings/sec, 165 secs
lola: 18187528 markings, 70595385 edges, 92414 markings/sec, 170 secs
lola: 18623318 markings, 72623813 edges, 87158 markings/sec, 175 secs
lola: 19096212 markings, 74612735 edges, 94579 markings/sec, 180 secs
lola: 19523148 markings, 76449321 edges, 85387 markings/sec, 185 secs
lola: 19991753 markings, 78327244 edges, 93721 markings/sec, 190 secs
lola: 20454790 markings, 80241130 edges, 92607 markings/sec, 195 secs
lola: 21020981 markings, 82368739 edges, 113238 markings/sec, 200 secs
lola: 21564970 markings, 84356640 edges, 108798 markings/sec, 205 secs
lola: 22108531 markings, 86534806 edges, 108712 markings/sec, 210 secs
lola: 22620501 markings, 88923762 edges, 102394 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(B9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 916352 markings, 2294205 edges, 183270 markings/sec, 0 secs
lola: 1799870 markings, 5072528 edges, 176704 markings/sec, 5 secs
lola: 2640889 markings, 7638618 edges, 168204 markings/sec, 10 secs
lola: 3410317 markings, 9854312 edges, 153886 markings/sec, 15 secs
lola: 4086723 markings, 11765082 edges, 135281 markings/sec, 20 secs
lola: 4717903 markings, 14144300 edges, 126236 markings/sec, 25 secs
lola: 5350869 markings, 16412710 edges, 126593 markings/sec, 30 secs
lola: 5979804 markings, 18580436 edges, 125787 markings/sec, 35 secs
lola: 6570306 markings, 20905694 edges, 118100 markings/sec, 40 secs
lola: 7153290 markings, 23238745 edges, 116597 markings/sec, 45 secs
lola: 7701766 markings, 25608075 edges, 109695 markings/sec, 50 secs
lola: 8234938 markings, 27933212 edges, 106634 markings/sec, 55 secs
lola: 8776897 markings, 30259966 edges, 108392 markings/sec, 60 secs
lola: 9414833 markings, 32577722 edges, 127587 markings/sec, 65 secs
lola: 10098726 markings, 35081970 edges, 136779 markings/sec, 70 secs
lola: 10776712 markings, 37544476 edges, 135597 markings/sec, 75 secs
lola: 11469069 markings, 40268087 edges, 138471 markings/sec, 80 secs
lola: 12130439 markings, 43027449 edges, 132274 markings/sec, 85 secs
lola: 12754062 markings, 45360186 edges, 124725 markings/sec, 90 secs
lola: 13318139 markings, 47542116 edges, 112815 markings/sec, 95 secs
lola: 13939676 markings, 49884012 edges, 124307 markings/sec, 100 secs
lola: 14566529 markings, 52260007 edges, 125371 markings/sec, 105 secs
lola: 15119773 markings, 54531520 edges, 110649 markings/sec, 110 secs
lola: 15654571 markings, 56744132 edges, 106960 markings/sec, 115 secs
lola: 16200663 markings, 58975594 edges, 109218 markings/sec, 120 secs
lola: 16819691 markings, 61692531 edges, 123806 markings/sec, 125 secs
lola: 17358737 markings, 64202709 edges, 107809 markings/sec, 130 secs
lola: 17976701 markings, 66800377 edges, 123593 markings/sec, 135 secs
lola: 18584380 markings, 69559887 edges, 121536 markings/sec, 140 secs
lola: 19259526 markings, 72579388 edges, 135029 markings/sec, 145 secs
lola: 19934975 markings, 75974064 edges, 135090 markings/sec, 150 secs
lola: 20544342 markings, 78834474 edges, 121873 markings/sec, 155 secs
lola: 21121285 markings, 81460033 edges, 115389 markings/sec, 160 secs
lola: 21892810 markings, 83397982 edges, 154305 markings/sec, 165 secs
lola: 22558635 markings, 85411906 edges, 133165 markings/sec, 170 secs
lola: 23260792 markings, 87564360 edges, 140431 markings/sec, 175 secs
lola: 23949184 markings, 89685161 edges, 137678 markings/sec, 180 secs
lola: 24646892 markings, 91929887 edges, 139542 markings/sec, 185 secs
lola: 25346045 markings, 94226607 edges, 139831 markings/sec, 190 secs
lola: 26036987 markings, 96493029 edges, 138188 markings/sec, 195 secs
lola: 26750056 markings, 98777788 edges, 142614 markings/sec, 200 secs
lola: 27445598 markings, 101096630 edges, 139108 markings/sec, 205 secs
lola: 28090328 markings, 103298568 edges, 128946 markings/sec, 210 secs
lola: 28754542 markings, 105584633 edges, 132843 markings/sec, 215 secs
lola: 29447276 markings, 107891103 edges, 138547 markings/sec, 220 secs
lola: 30114729 markings, 110356118 edges, 133491 markings/sec, 225 secs
lola: 30738439 markings, 112927604 edges, 124742 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 5 will run for 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 750990 markings, 2307289 edges, 150198 markings/sec, 0 secs
lola: 1396215 markings, 4776040 edges, 129045 markings/sec, 5 secs
lola: 2147137 markings, 7102150 edges, 150184 markings/sec, 10 secs
lola: 2920308 markings, 9375162 edges, 154634 markings/sec, 15 secs
lola: 3539012 markings, 11797864 edges, 123741 markings/sec, 20 secs
lola: 4291842 markings, 14096798 edges, 150566 markings/sec, 25 secs
lola: 4925244 markings, 16463031 edges, 126680 markings/sec, 30 secs
lola: 5658996 markings, 18802910 edges, 146750 markings/sec, 35 secs
lola: 6415041 markings, 21066828 edges, 151209 markings/sec, 40 secs
lola: 7089183 markings, 23433168 edges, 134828 markings/sec, 45 secs
lola: 7625148 markings, 25877762 edges, 107193 markings/sec, 50 secs
lola: 8288287 markings, 28276156 edges, 132628 markings/sec, 55 secs
lola: 8996922 markings, 30634091 edges, 141727 markings/sec, 60 secs
lola: 9724591 markings, 32915225 edges, 145534 markings/sec, 65 secs
lola: 10495096 markings, 35127620 edges, 154101 markings/sec, 70 secs
lola: 11108473 markings, 37517254 edges, 122675 markings/sec, 75 secs
lola: 11848392 markings, 39747604 edges, 147984 markings/sec, 80 secs
lola: 12497107 markings, 42068742 edges, 129743 markings/sec, 85 secs
lola: 13222129 markings, 44360692 edges, 145004 markings/sec, 90 secs
lola: 13825621 markings, 46727134 edges, 120698 markings/sec, 95 secs
lola: 14543949 markings, 48983790 edges, 143666 markings/sec, 100 secs
lola: 15279973 markings, 51255766 edges, 147205 markings/sec, 105 secs
lola: 16108665 markings, 53561146 edges, 165738 markings/sec, 110 secs
lola: 16808918 markings, 55842354 edges, 140051 markings/sec, 115 secs
lola: 17347983 markings, 58199277 edges, 107813 markings/sec, 120 secs
lola: 17954422 markings, 60571355 edges, 121288 markings/sec, 125 secs
lola: 18719931 markings, 62776082 edges, 153102 markings/sec, 130 secs
lola: 19488905 markings, 65217190 edges, 153795 markings/sec, 135 secs
lola: 20120363 markings, 67523588 edges, 126292 markings/sec, 140 secs
lola: 20636347 markings, 69885493 edges, 103197 markings/sec, 145 secs
lola: 21221811 markings, 72237115 edges, 117093 markings/sec, 150 secs
lola: 21968591 markings, 74528710 edges, 149356 markings/sec, 155 secs
lola: 22749864 markings, 76718894 edges, 156255 markings/sec, 160 secs
lola: 23348717 markings, 79089982 edges, 119771 markings/sec, 165 secs
lola: 23958752 markings, 81535570 edges, 122007 markings/sec, 170 secs
lola: 24697347 markings, 83832054 edges, 147719 markings/sec, 175 secs
lola: 25381328 markings, 86002725 edges, 136796 markings/sec, 180 secs
lola: 26176918 markings, 88238438 edges, 159118 markings/sec, 185 secs
lola: 26777992 markings, 90576069 edges, 120215 markings/sec, 190 secs
lola: 27480303 markings, 92861283 edges, 140462 markings/sec, 195 secs
lola: 28147380 markings, 95021371 edges, 133415 markings/sec, 200 secs
lola: 28896599 markings, 97320201 edges, 149844 markings/sec, 205 secs
lola: 29468866 markings, 99662554 edges, 114453 markings/sec, 210 secs
lola: 30171511 markings, 101962236 edges, 140529 markings/sec, 215 secs
lola: 30850574 markings, 104276233 edges, 135813 markings/sec, 220 secs
lola: 31502032 markings, 106528124 edges, 130292 markings/sec, 225 secs
lola: 32334532 markings, 108705611 edges, 166500 markings/sec, 230 secs
lola: 33141293 markings, 110969924 edges, 161352 markings/sec, 235 secs
lola: 34041979 markings, 113221733 edges, 180137 markings/sec, 240 secs
lola: 34924881 markings, 115842445 edges, 176580 markings/sec, 245 secs
lola: 35794163 markings, 118252904 edges, 173856 markings/sec, 250 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 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 817307 markings, 1999134 edges, 163461 markings/sec, 0 secs
lola: 1709729 markings, 4039293 edges, 178484 markings/sec, 5 secs
lola: 2659225 markings, 6033756 edges, 189899 markings/sec, 10 secs
lola: 3384905 markings, 8160462 edges, 145136 markings/sec, 15 secs
lola: 4018577 markings, 10380128 edges, 126734 markings/sec, 20 secs
lola: 4583609 markings, 12594332 edges, 113006 markings/sec, 25 secs
lola: 5125704 markings, 14792206 edges, 108419 markings/sec, 30 secs
lola: 5679293 markings, 17051904 edges, 110718 markings/sec, 35 secs
lola: 6237710 markings, 19260612 edges, 111683 markings/sec, 40 secs
lola: 6839951 markings, 21372419 edges, 120448 markings/sec, 45 secs
lola: 7631807 markings, 23460069 edges, 158371 markings/sec, 50 secs
lola: 8339913 markings, 25547116 edges, 141621 markings/sec, 55 secs
lola: 8930072 markings, 27720640 edges, 118032 markings/sec, 60 secs
lola: 9457166 markings, 29855988 edges, 105419 markings/sec, 65 secs
lola: 9985176 markings, 31934433 edges, 105602 markings/sec, 70 secs
lola: 10673124 markings, 34039845 edges, 137590 markings/sec, 75 secs
lola: 11499991 markings, 36221232 edges, 165373 markings/sec, 80 secs
lola: 12206399 markings, 38377009 edges, 141282 markings/sec, 85 secs
lola: 12821028 markings, 40591095 edges, 122926 markings/sec, 90 secs
lola: 13333586 markings, 42735194 edges, 102512 markings/sec, 95 secs
lola: 13842138 markings, 44894690 edges, 101710 markings/sec, 100 secs
lola: 14362241 markings, 46983079 edges, 104021 markings/sec, 105 secs
lola: 15152801 markings, 48983849 edges, 158112 markings/sec, 110 secs
lola: 15918043 markings, 51077066 edges, 153048 markings/sec, 115 secs
lola: 16543539 markings, 53175730 edges, 125099 markings/sec, 120 secs
lola: 17065932 markings, 55317506 edges, 104479 markings/sec, 125 secs
lola: 17599219 markings, 57449933 edges, 106657 markings/sec, 130 secs
lola: 18220770 markings, 59547597 edges, 124310 markings/sec, 135 secs
lola: 18859729 markings, 61634390 edges, 127792 markings/sec, 140 secs
lola: 19398334 markings, 63679350 edges, 107721 markings/sec, 145 secs
lola: 19886871 markings, 65730012 edges, 97707 markings/sec, 150 secs
lola: 20494778 markings, 67859238 edges, 121581 markings/sec, 155 secs
lola: 21138132 markings, 69968939 edges, 128671 markings/sec, 160 secs
lola: 21787611 markings, 72039717 edges, 129896 markings/sec, 165 secs
lola: 22522640 markings, 74150066 edges, 147006 markings/sec, 170 secs
lola: 23220587 markings, 76163283 edges, 139589 markings/sec, 175 secs
lola: 23920354 markings, 78222265 edges, 139953 markings/sec, 180 secs
lola: 24767634 markings, 80626317 edges, 169456 markings/sec, 185 secs
lola: 25624336 markings, 83026430 edges, 171340 markings/sec, 190 secs
lola: 26245050 markings, 85216609 edges, 124143 markings/sec, 195 secs
lola: 26922093 markings, 87497484 edges, 135409 markings/sec, 200 secs
lola: 27689523 markings, 89944203 edges, 153486 markings/sec, 205 secs
lola: 28467972 markings, 92122208 edges, 155690 markings/sec, 210 secs
lola: 29216270 markings, 94531655 edges, 149660 markings/sec, 215 secs
lola: 29979797 markings, 96845863 edges, 152705 markings/sec, 220 secs
lola: 30635788 markings, 99195879 edges, 131198 markings/sec, 225 secs
lola: 31359895 markings, 101521749 edges, 144821 markings/sec, 230 secs
lola: 32091495 markings, 103885813 edges, 146320 markings/sec, 235 secs
lola: 32785551 markings, 106250857 edges, 138811 markings/sec, 240 secs
lola: 33588377 markings, 108548997 edges, 160565 markings/sec, 245 secs
lola: 34326794 markings, 110877882 edges, 147683 markings/sec, 250 secs
lola: 35089375 markings, 113230874 edges, 152516 markings/sec, 255 secs
lola: 35761618 markings, 115559168 edges, 134449 markings/sec, 260 secs
lola: 36532764 markings, 117846422 edges, 154229 markings/sec, 265 secs
lola: 37275935 markings, 120242143 edges, 148634 markings/sec, 270 secs
lola: 38055902 markings, 122576301 edges, 155993 markings/sec, 275 secs
lola: 38892214 markings, 124722566 edges, 167262 markings/sec, 280 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 289 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 674353 markings, 2382836 edges, 134871 markings/sec, 0 secs
lola: 1498224 markings, 4471098 edges, 164774 markings/sec, 5 secs
lola: 2120284 markings, 6812571 edges, 124412 markings/sec, 10 secs
lola: 2820786 markings, 8901453 edges, 140100 markings/sec, 15 secs
lola: 3485406 markings, 11020378 edges, 132924 markings/sec, 20 secs
lola: 4109079 markings, 13198389 edges, 124735 markings/sec, 25 secs
lola: 4664365 markings, 15553838 edges, 111057 markings/sec, 30 secs
lola: 5218061 markings, 17891189 edges, 110739 markings/sec, 35 secs
lola: 5747689 markings, 20278069 edges, 105926 markings/sec, 40 secs
lola: 6276806 markings, 22654935 edges, 105823 markings/sec, 45 secs
lola: 6851304 markings, 24971744 edges, 114900 markings/sec, 50 secs
lola: 7485872 markings, 27157321 edges, 126914 markings/sec, 55 secs
lola: 8050270 markings, 29457499 edges, 112880 markings/sec, 60 secs
lola: 8598257 markings, 31899651 edges, 109597 markings/sec, 65 secs
lola: 9167873 markings, 34264007 edges, 113923 markings/sec, 70 secs
lola: 9727697 markings, 36522207 edges, 111965 markings/sec, 75 secs
lola: 10351349 markings, 38745680 edges, 124730 markings/sec, 80 secs
lola: 10915352 markings, 41053591 edges, 112801 markings/sec, 85 secs
lola: 11507362 markings, 43320383 edges, 118402 markings/sec, 90 secs
lola: 12059696 markings, 45598317 edges, 110467 markings/sec, 95 secs
lola: 12599339 markings, 47953542 edges, 107929 markings/sec, 100 secs
lola: 13147230 markings, 50303571 edges, 109578 markings/sec, 105 secs
lola: 13714842 markings, 52547404 edges, 113522 markings/sec, 110 secs
lola: 14280627 markings, 54715477 edges, 113157 markings/sec, 115 secs
lola: 14837819 markings, 56996564 edges, 111438 markings/sec, 120 secs
lola: 15559777 markings, 58970058 edges, 144392 markings/sec, 125 secs
lola: 16230592 markings, 61121261 edges, 134163 markings/sec, 130 secs
lola: 16818104 markings, 63279517 edges, 117502 markings/sec, 135 secs
lola: 17354858 markings, 65598448 edges, 107351 markings/sec, 140 secs
lola: 17881223 markings, 67941067 edges, 105273 markings/sec, 145 secs
lola: 18399847 markings, 70269389 edges, 103725 markings/sec, 150 secs
lola: 18991398 markings, 72466939 edges, 118310 markings/sec, 155 secs
lola: 19588205 markings, 74684365 edges, 119361 markings/sec, 160 secs
lola: 20127205 markings, 76945995 edges, 107800 markings/sec, 165 secs
lola: 20652102 markings, 79300091 edges, 104979 markings/sec, 170 secs
lola: 21209681 markings, 81581831 edges, 111516 markings/sec, 175 secs
lola: 21760160 markings, 83744326 edges, 110096 markings/sec, 180 secs
lola: 22348756 markings, 85989390 edges, 117719 markings/sec, 185 secs
lola: 22900220 markings, 88233104 edges, 110293 markings/sec, 190 secs
lola: 23546832 markings, 90377858 edges, 129322 markings/sec, 195 secs
lola: 24167084 markings, 92540112 edges, 124050 markings/sec, 200 secs
lola: 24760914 markings, 94909219 edges, 118766 markings/sec, 205 secs
lola: 25320470 markings, 97121300 edges, 111911 markings/sec, 210 secs
lola: 25850982 markings, 99438318 edges, 106102 markings/sec, 215 secs
lola: 26373592 markings, 101757331 edges, 104522 markings/sec, 220 secs
lola: 26878236 markings, 104052782 edges, 100929 markings/sec, 225 secs
lola: 27389053 markings, 106364326 edges, 102163 markings/sec, 230 secs
lola: 28066432 markings, 108457206 edges, 135476 markings/sec, 235 secs
lola: 28664757 markings, 110660473 edges, 119665 markings/sec, 240 secs
lola: 29238511 markings, 113159573 edges, 114751 markings/sec, 245 secs
lola: 29808621 markings, 115321150 edges, 114022 markings/sec, 250 secs
lola: 30316832 markings, 117653051 edges, 101642 markings/sec, 255 secs
lola: 30831147 markings, 119940594 edges, 102863 markings/sec, 260 secs
lola: 31336683 markings, 122220209 edges, 101107 markings/sec, 265 secs
lola: 31826280 markings, 124514269 edges, 97919 markings/sec, 270 secs
lola: 32322056 markings, 126789552 edges, 99155 markings/sec, 275 secs
lola: 32923111 markings, 128967353 edges, 120211 markings/sec, 280 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 289 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 887134 markings, 2131525 edges, 177427 markings/sec, 0 secs
lola: 1620054 markings, 4753044 edges, 146584 markings/sec, 5 secs
lola: 2331425 markings, 7412358 edges, 142274 markings/sec, 10 secs
lola: 2919492 markings, 10426745 edges, 117613 markings/sec, 15 secs
lola: 3572594 markings, 12743825 edges, 130620 markings/sec, 20 secs
lola: 4173467 markings, 15304493 edges, 120175 markings/sec, 25 secs
lola: 4735696 markings, 17865015 edges, 112446 markings/sec, 30 secs
lola: 5285715 markings, 20524836 edges, 110004 markings/sec, 35 secs
lola: 5864663 markings, 22890587 edges, 115790 markings/sec, 40 secs
lola: 6414206 markings, 25577590 edges, 109909 markings/sec, 45 secs
lola: 6934858 markings, 28261022 edges, 104130 markings/sec, 50 secs
lola: 7510536 markings, 30666933 edges, 115136 markings/sec, 55 secs
lola: 8057578 markings, 33336512 edges, 109408 markings/sec, 60 secs
lola: 8573864 markings, 36005344 edges, 103257 markings/sec, 65 secs
lola: 9086366 markings, 38580811 edges, 102500 markings/sec, 70 secs
lola: 9729095 markings, 41017772 edges, 128546 markings/sec, 75 secs
lola: 10363293 markings, 43552352 edges, 126840 markings/sec, 80 secs
lola: 10945926 markings, 46222586 edges, 116527 markings/sec, 85 secs
lola: 11459782 markings, 48835574 edges, 102771 markings/sec, 90 secs
lola: 12034656 markings, 51251010 edges, 114975 markings/sec, 95 secs
lola: 12596173 markings, 53801676 edges, 112303 markings/sec, 100 secs
lola: 13126999 markings, 56553180 edges, 106165 markings/sec, 105 secs
lola: 13626613 markings, 59198684 edges, 99923 markings/sec, 110 secs
lola: 14131505 markings, 61752156 edges, 100978 markings/sec, 115 secs
lola: 14749521 markings, 64013001 edges, 123603 markings/sec, 120 secs
lola: 15306366 markings, 66516179 edges, 111369 markings/sec, 125 secs
lola: 15850449 markings, 68709850 edges, 108817 markings/sec, 130 secs
lola: 16403264 markings, 71133172 edges, 110563 markings/sec, 135 secs
lola: 17002963 markings, 73560714 edges, 119940 markings/sec, 140 secs
lola: 17643173 markings, 75668024 edges, 128042 markings/sec, 145 secs
lola: 18239959 markings, 78234171 edges, 119357 markings/sec, 150 secs
lola: 18775316 markings, 80858497 edges, 107071 markings/sec, 155 secs
lola: 19386421 markings, 83254701 edges, 122221 markings/sec, 160 secs
lola: 19946620 markings, 85860664 edges, 112040 markings/sec, 165 secs
lola: 20476226 markings, 88460060 edges, 105921 markings/sec, 170 secs
lola: 20999625 markings, 91304618 edges, 104680 markings/sec, 175 secs
lola: 21470037 markings, 94238425 edges, 94082 markings/sec, 180 secs
lola: 21978275 markings, 97021268 edges, 101648 markings/sec, 185 secs
lola: 22523133 markings, 99737059 edges, 108972 markings/sec, 190 secs
lola: 23016734 markings, 102523623 edges, 98720 markings/sec, 195 secs
lola: 23521650 markings, 105400228 edges, 100983 markings/sec, 200 secs
lola: 24016740 markings, 108306398 edges, 99018 markings/sec, 205 secs
lola: 24524233 markings, 111007215 edges, 101499 markings/sec, 210 secs
lola: 25176556 markings, 113330031 edges, 130465 markings/sec, 215 secs
lola: 25824995 markings, 115517005 edges, 129688 markings/sec, 220 secs
lola: 26438103 markings, 117651680 edges, 122622 markings/sec, 225 secs
lola: 27047796 markings, 119508526 edges, 121939 markings/sec, 230 secs
lola: 27642212 markings, 121349876 edges, 118883 markings/sec, 235 secs
lola: 28220808 markings, 123704829 edges, 115719 markings/sec, 240 secs
lola: 28771771 markings, 126099108 edges, 110193 markings/sec, 245 secs
lola: 29260013 markings, 128456714 edges, 97648 markings/sec, 250 secs
lola: 29743277 markings, 130977354 edges, 96653 markings/sec, 255 secs
lola: 30211718 markings, 133482588 edges, 93688 markings/sec, 260 secs
lola: 30783922 markings, 135894621 edges, 114441 markings/sec, 265 secs
lola: 31353384 markings, 138197064 edges, 113892 markings/sec, 270 secs
lola: 31893838 markings, 140477485 edges, 108091 markings/sec, 275 secs
lola: 32448929 markings, 142795070 edges, 111018 markings/sec, 280 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 289 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 346 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 12 will run for 433 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 1084460 markings, 2197872 edges, 216892 markings/sec, 0 secs
lola: 2163381 markings, 4401958 edges, 215784 markings/sec, 5 secs
lola: 2822982 markings, 6375071 edges, 131920 markings/sec, 10 secs
lola: 3467891 markings, 8294558 edges, 128982 markings/sec, 15 secs
lola: 4103344 markings, 10182375 edges, 127091 markings/sec, 20 secs
lola: 4727848 markings, 12086749 edges, 124901 markings/sec, 25 secs
lola: 5369877 markings, 14033127 edges, 128406 markings/sec, 30 secs
lola: 6002374 markings, 16008242 edges, 126499 markings/sec, 35 secs
lola: 6621457 markings, 17853328 edges, 123817 markings/sec, 40 secs
lola: 7469852 markings, 20107150 edges, 169679 markings/sec, 45 secs
lola: 8392970 markings, 22403891 edges, 184624 markings/sec, 50 secs
lola: 9265526 markings, 24744284 edges, 174511 markings/sec, 55 secs
lola: 10197526 markings, 27493428 edges, 186400 markings/sec, 60 secs
lola: 11068050 markings, 30365382 edges, 174105 markings/sec, 65 secs
lola: 11981128 markings, 32738813 edges, 182616 markings/sec, 70 secs
lola: 12855224 markings, 35498710 edges, 174819 markings/sec, 75 secs
lola: 13776004 markings, 38095790 edges, 184156 markings/sec, 80 secs
lola: 14354406 markings, 40257778 edges, 115680 markings/sec, 85 secs
lola: 15115106 markings, 42503478 edges, 152140 markings/sec, 90 secs
lola: 15879459 markings, 44855789 edges, 152871 markings/sec, 95 secs
lola: 16658277 markings, 47291744 edges, 155764 markings/sec, 100 secs
lola: 17396436 markings, 49738068 edges, 147632 markings/sec, 105 secs
lola: 17985224 markings, 51936429 edges, 117758 markings/sec, 110 secs
lola: 18711103 markings, 54288939 edges, 145176 markings/sec, 115 secs
lola: 19526600 markings, 56683343 edges, 163099 markings/sec, 120 secs
lola: 20281111 markings, 59077122 edges, 150902 markings/sec, 125 secs
lola: 21062487 markings, 61437636 edges, 156275 markings/sec, 130 secs
lola: 21854871 markings, 63796995 edges, 158477 markings/sec, 135 secs
lola: 22490615 markings, 66212689 edges, 127149 markings/sec, 140 secs
lola: 23248510 markings, 68591206 edges, 151579 markings/sec, 145 secs
lola: 23948647 markings, 71022296 edges, 140027 markings/sec, 150 secs
lola: 24720137 markings, 73431120 edges, 154298 markings/sec, 155 secs
lola: 25470281 markings, 76174261 edges, 150029 markings/sec, 160 secs
lola: 26205113 markings, 78922249 edges, 146966 markings/sec, 165 secs
lola: 26879226 markings, 81623544 edges, 134823 markings/sec, 170 secs
lola: 27527478 markings, 84207989 edges, 129650 markings/sec, 175 secs
lola: 28352465 markings, 86551794 edges, 164997 markings/sec, 180 secs
lola: 29106656 markings, 88916952 edges, 150838 markings/sec, 185 secs
lola: 29863144 markings, 91285969 edges, 151298 markings/sec, 190 secs
lola: 30624867 markings, 93679885 edges, 152345 markings/sec, 195 secs
lola: 31379814 markings, 96419562 edges, 150989 markings/sec, 200 secs
lola: 32045066 markings, 99093914 edges, 133050 markings/sec, 205 secs
lola: 32772566 markings, 101475839 edges, 145500 markings/sec, 210 secs
lola: 33539467 markings, 103856088 edges, 153380 markings/sec, 215 secs
lola: 34238287 markings, 106515502 edges, 139764 markings/sec, 220 secs
lola: 34987436 markings, 108979623 edges, 149830 markings/sec, 225 secs
lola: 35757849 markings, 111376508 edges, 154083 markings/sec, 230 secs
lola: 36500527 markings, 113955123 edges, 148536 markings/sec, 235 secs
lola: 37349490 markings, 116365875 edges, 169793 markings/sec, 240 secs
lola: 38139153 markings, 118995011 edges, 157933 markings/sec, 245 secs
lola: 38751382 markings, 121626673 edges, 122446 markings/sec, 250 secs
lola: 39240744 markings, 124166836 edges, 97872 markings/sec, 255 secs
lola: 39721991 markings, 126653902 edges, 96249 markings/sec, 260 secs
lola: 40191400 markings, 128972139 edges, 93882 markings/sec, 265 secs
lola: 40662078 markings, 131313802 edges, 94136 markings/sec, 270 secs
lola: 41127509 markings, 133617501 edges, 93086 markings/sec, 275 secs
lola: 41578570 markings, 136008520 edges, 90212 markings/sec, 280 secs
lola: 42052583 markings, 138323857 edges, 94803 markings/sec, 285 secs
lola: 42530403 markings, 140709959 edges, 95564 markings/sec, 290 secs
lola: 43001480 markings, 142916197 edges, 94215 markings/sec, 295 secs
lola: 43453659 markings, 145189763 edges, 90436 markings/sec, 300 secs
lola: 43910552 markings, 147525870 edges, 91379 markings/sec, 305 secs
lola: 44374928 markings, 149890950 edges, 92875 markings/sec, 310 secs
lola: 44842145 markings, 152169759 edges, 93443 markings/sec, 315 secs
lola: 45292612 markings, 154457281 edges, 90093 markings/sec, 320 secs
lola: 45792072 markings, 156579403 edges, 99892 markings/sec, 325 secs
lola: 46518758 markings, 158376214 edges, 145337 markings/sec, 330 secs
lola: 47203005 markings, 160409700 edges, 136849 markings/sec, 335 secs
lola: 47742593 markings, 162540839 edges, 107918 markings/sec, 340 secs
lola: 48276902 markings, 164624907 edges, 106862 markings/sec, 345 secs
lola: 48802585 markings, 166748907 edges, 105137 markings/sec, 350 secs
lola: 49321393 markings, 168880601 edges, 103762 markings/sec, 355 secs
lola: 49843648 markings, 170969358 edges, 104451 markings/sec, 360 secs
lola: 50684087 markings, 173277937 edges, 168088 markings/sec, 365 secs
lola: 51557804 markings, 175585975 edges, 174743 markings/sec, 370 secs
lola: 52237926 markings, 177798374 edges, 136024 markings/sec, 375 secs
lola: 53070768 markings, 180107135 edges, 166568 markings/sec, 380 secs
lola: 53751369 markings, 182354974 edges, 136120 markings/sec, 385 secs
lola: 54467490 markings, 184334123 edges, 143224 markings/sec, 390 secs
lola: 55264599 markings, 186570501 edges, 159422 markings/sec, 395 secs
lola: 56049737 markings, 188915974 edges, 157028 markings/sec, 400 secs
lola: 56797586 markings, 191390057 edges, 149570 markings/sec, 405 secs
lola: 57543391 markings, 193861806 edges, 149161 markings/sec, 410 secs
lola: 58259112 markings, 196328364 edges, 143144 markings/sec, 415 secs
lola: 58975154 markings, 198769295 edges, 143208 markings/sec, 420 secs
lola: 59682725 markings, 201187571 edges, 141514 markings/sec, 425 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 433 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 802628 markings, 2100761 edges, 160526 markings/sec, 0 secs
lola: 1527172 markings, 4261459 edges, 144909 markings/sec, 5 secs
lola: 2182468 markings, 6620505 edges, 131059 markings/sec, 10 secs
lola: 2736733 markings, 9054883 edges, 110853 markings/sec, 15 secs
lola: 3295641 markings, 11530370 edges, 111782 markings/sec, 20 secs
lola: 3768210 markings, 13662046 edges, 94514 markings/sec, 25 secs
lola: 4364099 markings, 16043867 edges, 119178 markings/sec, 30 secs
lola: 4956055 markings, 18456689 edges, 118391 markings/sec, 35 secs
lola: 5633673 markings, 20666355 edges, 135524 markings/sec, 40 secs
lola: 6272853 markings, 23011834 edges, 127836 markings/sec, 45 secs
lola: 6831339 markings, 25447787 edges, 111697 markings/sec, 50 secs
lola: 7392366 markings, 27788859 edges, 112205 markings/sec, 55 secs
lola: 8027897 markings, 30134100 edges, 127106 markings/sec, 60 secs
lola: 8681170 markings, 32427792 edges, 130655 markings/sec, 65 secs
lola: 9472614 markings, 34601623 edges, 158289 markings/sec, 70 secs
lola: 10057369 markings, 36933409 edges, 116951 markings/sec, 75 secs
lola: 10600874 markings, 39324349 edges, 108701 markings/sec, 80 secs
lola: 11185052 markings, 41297866 edges, 116836 markings/sec, 85 secs
lola: 11898809 markings, 43409870 edges, 142751 markings/sec, 90 secs
lola: 12567223 markings, 45710240 edges, 133683 markings/sec, 95 secs
lola: 13101678 markings, 48038168 edges, 106891 markings/sec, 100 secs
lola: 13792862 markings, 49852785 edges, 138237 markings/sec, 105 secs
lola: 14514742 markings, 52152849 edges, 144376 markings/sec, 110 secs
lola: 15081588 markings, 54512610 edges, 113369 markings/sec, 115 secs
lola: 15613045 markings, 56923190 edges, 106291 markings/sec, 120 secs
lola: 16162808 markings, 58977882 edges, 109953 markings/sec, 125 secs
lola: 16789284 markings, 61250667 edges, 125295 markings/sec, 130 secs
lola: 17448383 markings, 63558756 edges, 131820 markings/sec, 135 secs
lola: 18124925 markings, 65753311 edges, 135308 markings/sec, 140 secs
lola: 18769939 markings, 67939623 edges, 129003 markings/sec, 145 secs
lola: 19366090 markings, 70406808 edges, 119230 markings/sec, 150 secs
lola: 19951799 markings, 72679007 edges, 117142 markings/sec, 155 secs
lola: 20481161 markings, 75024837 edges, 105872 markings/sec, 160 secs
lola: 21006565 markings, 77303178 edges, 105081 markings/sec, 165 secs
lola: 21523487 markings, 79670269 edges, 103384 markings/sec, 170 secs
lola: 22038818 markings, 82034232 edges, 103066 markings/sec, 175 secs
lola: 22724141 markings, 84233035 edges, 137065 markings/sec, 180 secs
lola: 23313225 markings, 86404005 edges, 117817 markings/sec, 185 secs
lola: 23909099 markings, 89020355 edges, 119175 markings/sec, 190 secs
lola: 24470518 markings, 91329207 edges, 112284 markings/sec, 195 secs
lola: 25001879 markings, 93651140 edges, 106272 markings/sec, 200 secs
lola: 25440420 markings, 95647935 edges, 87708 markings/sec, 205 secs
lola: 25931957 markings, 97881005 edges, 98307 markings/sec, 210 secs
lola: 26437569 markings, 100227781 edges, 101122 markings/sec, 215 secs
lola: 26941874 markings, 102557197 edges, 100861 markings/sec, 220 secs
lola: 27562984 markings, 104405114 edges, 124222 markings/sec, 225 secs
lola: 28194837 markings, 106698064 edges, 126371 markings/sec, 230 secs
lola: 28758437 markings, 109117044 edges, 112720 markings/sec, 235 secs
lola: 29317961 markings, 111601039 edges, 111905 markings/sec, 240 secs
lola: 29941096 markings, 113931485 edges, 124627 markings/sec, 245 secs
lola: 30574286 markings, 116222409 edges, 126638 markings/sec, 250 secs
lola: 31157724 markings, 118606858 edges, 116688 markings/sec, 255 secs
lola: 31906495 markings, 120753968 edges, 149754 markings/sec, 260 secs
lola: 32674479 markings, 123026439 edges, 153597 markings/sec, 265 secs
lola: 33247309 markings, 125355320 edges, 114566 markings/sec, 270 secs
lola: 33777790 markings, 127755280 edges, 106096 markings/sec, 275 secs
lola: 34410681 markings, 130098677 edges, 126578 markings/sec, 280 secs
lola: 35054476 markings, 132351999 edges, 128759 markings/sec, 285 secs
lola: 35700826 markings, 134624125 edges, 129270 markings/sec, 290 secs
lola: 36351181 markings, 136809687 edges, 130071 markings/sec, 295 secs
lola: 36914310 markings, 139216256 edges, 112626 markings/sec, 300 secs
lola: 37451487 markings, 141536742 edges, 107435 markings/sec, 305 secs
lola: 37963779 markings, 143881647 edges, 102458 markings/sec, 310 secs
lola: 38521615 markings, 146229004 edges, 111567 markings/sec, 315 secs
lola: 39068406 markings, 148504456 edges, 109358 markings/sec, 320 secs
lola: 39680726 markings, 150804624 edges, 122464 markings/sec, 325 secs
lola: 40241893 markings, 153153756 edges, 112233 markings/sec, 330 secs
lola: 40776278 markings, 155457702 edges, 106877 markings/sec, 335 secs
lola: 41478762 markings, 157656219 edges, 140497 markings/sec, 340 secs
lola: 42201658 markings, 159777425 edges, 144579 markings/sec, 345 secs
lola: 42881345 markings, 162025494 edges, 135937 markings/sec, 350 secs
lola: 43599822 markings, 164288636 edges, 143695 markings/sec, 355 secs
lola: 44227985 markings, 166613555 edges, 125633 markings/sec, 360 secs
lola: 44924919 markings, 169324691 edges, 139387 markings/sec, 365 secs
lola: 45579802 markings, 171726265 edges, 130977 markings/sec, 370 secs
lola: 46253191 markings, 174037071 edges, 134678 markings/sec, 375 secs
lola: 46807475 markings, 176321021 edges, 110857 markings/sec, 380 secs
lola: 47408285 markings, 178761932 edges, 120162 markings/sec, 385 secs
lola: 48000759 markings, 181289013 edges, 118495 markings/sec, 390 secs
lola: 48647558 markings, 183555902 edges, 129360 markings/sec, 395 secs
lola: 49238204 markings, 185906255 edges, 118129 markings/sec, 400 secs
lola: 49844255 markings, 188170570 edges, 121210 markings/sec, 405 secs
lola: 50450890 markings, 190455149 edges, 121327 markings/sec, 410 secs
lola: 51149527 markings, 192444950 edges, 139727 markings/sec, 415 secs
lola: 51774477 markings, 194632049 edges, 124990 markings/sec, 420 secs
lola: 52419845 markings, 196868263 edges, 129074 markings/sec, 425 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 433 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 867 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 1081777 markings, 2193022 edges, 216355 markings/sec, 0 secs
lola: 2163008 markings, 4401041 edges, 216246 markings/sec, 5 secs
lola: 2824954 markings, 6379353 edges, 132389 markings/sec, 10 secs
lola: 3478978 markings, 8330740 edges, 130805 markings/sec, 15 secs
lola: 4102893 markings, 10180347 edges, 124783 markings/sec, 20 secs
lola: 4712999 markings, 12042829 edges, 122021 markings/sec, 25 secs
lola: 5353656 markings, 13975020 edges, 128131 markings/sec, 30 secs
lola: 5983652 markings, 15953352 edges, 125999 markings/sec, 35 secs
lola: 6602339 markings, 17799609 edges, 123737 markings/sec, 40 secs
lola: 7441748 markings, 20034199 edges, 167882 markings/sec, 45 secs
lola: 8381248 markings, 22373474 edges, 187900 markings/sec, 50 secs
lola: 9255152 markings, 24714704 edges, 174781 markings/sec, 55 secs
lola: 10185877 markings, 27452531 edges, 186145 markings/sec, 60 secs
lola: 11051196 markings, 30321236 edges, 173064 markings/sec, 65 secs
lola: 11965400 markings, 32698779 edges, 182841 markings/sec, 70 secs
lola: 12846689 markings, 35480605 edges, 176258 markings/sec, 75 secs
lola: 13764643 markings, 38056834 edges, 183591 markings/sec, 80 secs
lola: 14347398 markings, 40227351 edges, 116551 markings/sec, 85 secs
lola: 15105083 markings, 42469961 edges, 151537 markings/sec, 90 secs
lola: 15871872 markings, 44822181 edges, 153358 markings/sec, 95 secs
lola: 16648378 markings, 47259066 edges, 155301 markings/sec, 100 secs
lola: 17384820 markings, 49696574 edges, 147288 markings/sec, 105 secs
lola: 17975496 markings, 51892513 edges, 118135 markings/sec, 110 secs
lola: 18684293 markings, 54220289 edges, 141759 markings/sec, 115 secs
lola: 19502522 markings, 56609938 edges, 163646 markings/sec, 120 secs
lola: 20253011 markings, 59010121 edges, 150098 markings/sec, 125 secs
lola: 21039077 markings, 61368371 edges, 157213 markings/sec, 130 secs
lola: 21831961 markings, 63726086 edges, 158577 markings/sec, 135 secs
lola: 22469919 markings, 66145131 edges, 127592 markings/sec, 140 secs
lola: 23227631 markings, 68525262 edges, 151542 markings/sec, 145 secs
lola: 23929906 markings, 70958687 edges, 140455 markings/sec, 150 secs
lola: 24700666 markings, 73366579 edges, 154152 markings/sec, 155 secs
lola: 25451786 markings, 76101157 edges, 150224 markings/sec, 160 secs
lola: 26186683 markings, 78852207 edges, 146979 markings/sec, 165 secs
lola: 26860191 markings, 81554806 edges, 134702 markings/sec, 170 secs
lola: 27505893 markings, 84154011 edges, 129140 markings/sec, 175 secs
lola: 28332911 markings, 86498112 edges, 165404 markings/sec, 180 secs
lola: 29095151 markings, 88867186 edges, 152448 markings/sec, 185 secs
lola: 29845042 markings, 91231993 edges, 149978 markings/sec, 190 secs
lola: 30605192 markings, 93616916 edges, 152030 markings/sec, 195 secs
lola: 31361008 markings, 96342940 edges, 151163 markings/sec, 200 secs
lola: 32026885 markings, 99007651 edges, 133175 markings/sec, 205 secs
lola: 32744591 markings, 101396996 edges, 143541 markings/sec, 210 secs
lola: 33511654 markings, 103766197 edges, 153413 markings/sec, 215 secs
lola: 34211853 markings, 106405988 edges, 140040 markings/sec, 220 secs
lola: 34954424 markings, 108858913 edges, 148514 markings/sec, 225 secs
lola: 35719820 markings, 111253998 edges, 153079 markings/sec, 230 secs
lola: 36448622 markings, 113826404 edges, 145760 markings/sec, 235 secs
lola: 37299146 markings, 116223289 edges, 170105 markings/sec, 240 secs
lola: 38091067 markings, 118814201 edges, 158384 markings/sec, 245 secs
lola: 38715064 markings, 121454037 edges, 124799 markings/sec, 250 secs
lola: 39201758 markings, 123951047 edges, 97339 markings/sec, 255 secs
lola: 39682636 markings, 126434938 edges, 96176 markings/sec, 260 secs
lola: 40146912 markings, 128754931 edges, 92855 markings/sec, 265 secs
lola: 40608336 markings, 131038546 edges, 92285 markings/sec, 270 secs
lola: 41072975 markings, 133373431 edges, 92928 markings/sec, 275 secs
lola: 41531553 markings, 135726033 edges, 91716 markings/sec, 280 secs
lola: 42004938 markings, 138066299 edges, 94677 markings/sec, 285 secs
lola: 42486729 markings, 140475615 edges, 96358 markings/sec, 290 secs
lola: 42958912 markings, 142734015 edges, 94437 markings/sec, 295 secs
lola: 43418628 markings, 144987874 edges, 91943 markings/sec, 300 secs
lola: 43876414 markings, 147346823 edges, 91557 markings/sec, 305 secs
lola: 44343355 markings, 149728348 edges, 93388 markings/sec, 310 secs
lola: 44810701 markings, 152040584 edges, 93469 markings/sec, 315 secs
lola: 45267857 markings, 154324761 edges, 91431 markings/sec, 320 secs
lola: 45762858 markings, 156479772 edges, 99000 markings/sec, 325 secs
lola: 46590868 markings, 158570587 edges, 165602 markings/sec, 330 secs
lola: 47274481 markings, 160692044 edges, 136723 markings/sec, 335 secs
lola: 47815564 markings, 162822041 edges, 108217 markings/sec, 340 secs
lola: 48346587 markings, 164914414 edges, 106205 markings/sec, 345 secs
lola: 48877551 markings, 167058787 edges, 106193 markings/sec, 350 secs
lola: 49390405 markings, 169166273 edges, 102571 markings/sec, 355 secs
lola: 49914441 markings, 171282196 edges, 104807 markings/sec, 360 secs
lola: 50798018 markings, 173562733 edges, 176715 markings/sec, 365 secs
lola: 51660329 markings, 175868608 edges, 172462 markings/sec, 370 secs
lola: 52321199 markings, 178014526 edges, 132174 markings/sec, 375 secs
lola: 53146829 markings, 180315498 edges, 165126 markings/sec, 380 secs
lola: 53809773 markings, 182531437 edges, 132589 markings/sec, 385 secs
lola: 54644238 markings, 184826313 edges, 166893 markings/sec, 390 secs
lola: 55434021 markings, 187140255 edges, 157957 markings/sec, 395 secs
lola: 56215234 markings, 189517473 edges, 156243 markings/sec, 400 secs
lola: 56974049 markings, 191976551 edges, 151763 markings/sec, 405 secs
lola: 57722980 markings, 194462892 edges, 149786 markings/sec, 410 secs
lola: 58443128 markings, 196930314 edges, 144030 markings/sec, 415 secs
lola: 59144399 markings, 199331288 edges, 140254 markings/sec, 420 secs
lola: 59820427 markings, 201678824 edges, 135206 markings/sec, 425 secs
lola: 60421796 markings, 204107902 edges, 120274 markings/sec, 430 secs
lola: 61186988 markings, 206467466 edges, 153038 markings/sec, 435 secs
lola: 61935995 markings, 208884637 edges, 149801 markings/sec, 440 secs
lola: 62589407 markings, 211146434 edges, 130682 markings/sec, 445 secs
lola: 63348790 markings, 213530625 edges, 151877 markings/sec, 450 secs
lola: 64111217 markings, 215903860 edges, 152485 markings/sec, 455 secs
lola: 64886121 markings, 218284748 edges, 154981 markings/sec, 460 secs
lola: 65590806 markings, 220667896 edges, 140937 markings/sec, 465 secs
lola: 66317433 markings, 223104469 edges, 145325 markings/sec, 470 secs
lola: 66969142 markings, 225455169 edges, 130342 markings/sec, 475 secs
lola: 67621906 markings, 227681677 edges, 130553 markings/sec, 480 secs
lola: 68080252 markings, 229852743 edges, 91669 markings/sec, 485 secs
lola: 68544114 markings, 232052678 edges, 92772 markings/sec, 490 secs
lola: 69006412 markings, 234298291 edges, 92460 markings/sec, 495 secs
lola: 69598583 markings, 236570524 edges, 118434 markings/sec, 500 secs
lola: 70296350 markings, 238931622 edges, 139553 markings/sec, 505 secs
lola: 70978858 markings, 241294965 edges, 136502 markings/sec, 510 secs
lola: 71536264 markings, 243727695 edges, 111481 markings/sec, 515 secs
lola: 72288687 markings, 246129117 edges, 150485 markings/sec, 520 secs
lola: 72952457 markings, 248567302 edges, 132754 markings/sec, 525 secs
lola: 73701868 markings, 251013242 edges, 149882 markings/sec, 530 secs
lola: 74468755 markings, 253457524 edges, 153377 markings/sec, 535 secs
lola: 75132093 markings, 255814985 edges, 132668 markings/sec, 540 secs
lola: 75593407 markings, 258056118 edges, 92263 markings/sec, 545 secs
lola: 76099044 markings, 260360168 edges, 101127 markings/sec, 550 secs
lola: 76696723 markings, 262794188 edges, 119536 markings/sec, 555 secs
lola: 77453211 markings, 265266062 edges, 151298 markings/sec, 560 secs
lola: 78232100 markings, 267738521 edges, 155778 markings/sec, 565 secs
lola: 78847563 markings, 270052690 edges, 123093 markings/sec, 570 secs
lola: 79479803 markings, 272447429 edges, 126448 markings/sec, 575 secs
lola: 80012393 markings, 274844018 edges, 106518 markings/sec, 580 secs
lola: 80538404 markings, 277185454 edges, 105202 markings/sec, 585 secs
lola: 81208187 markings, 279689517 edges, 133957 markings/sec, 590 secs
lola: 81893883 markings, 282159925 edges, 137139 markings/sec, 595 secs
lola: 82624551 markings, 284612443 edges, 146134 markings/sec, 600 secs
lola: 83181330 markings, 287166555 edges, 111356 markings/sec, 605 secs
lola: 83647337 markings, 289684380 edges, 93201 markings/sec, 610 secs
lola: 84247702 markings, 292232624 edges, 120073 markings/sec, 615 secs
lola: 84971547 markings, 294903400 edges, 144769 markings/sec, 620 secs
lola: 85721189 markings, 297573147 edges, 149928 markings/sec, 625 secs
lola: 86390107 markings, 300312980 edges, 133784 markings/sec, 630 secs
lola: 87054350 markings, 303104759 edges, 132849 markings/sec, 635 secs
lola: 87714902 markings, 305889822 edges, 132110 markings/sec, 640 secs
lola: 88444590 markings, 308588626 edges, 145938 markings/sec, 645 secs
lola: 89160853 markings, 311253803 edges, 143253 markings/sec, 650 secs
lola: 89814923 markings, 314004514 edges, 130814 markings/sec, 655 secs
lola: 90372995 markings, 316747100 edges, 111614 markings/sec, 660 secs
lola: 90790533 markings, 319389843 edges, 83508 markings/sec, 665 secs
lola: 91324895 markings, 322051815 edges, 106872 markings/sec, 670 secs
lola: 91972596 markings, 324726860 edges, 129540 markings/sec, 675 secs
lola: 92507479 markings, 327402260 edges, 106977 markings/sec, 680 secs
lola: 93089953 markings, 330086278 edges, 116495 markings/sec, 685 secs
lola: 93550600 markings, 332801502 edges, 92129 markings/sec, 690 secs
lola: 94122567 markings, 335492205 edges, 114393 markings/sec, 695 secs
lola: 94841296 markings, 338247476 edges, 143746 markings/sec, 700 secs
lola: 95570661 markings, 340997665 edges, 145873 markings/sec, 705 secs
lola: 96054131 markings, 343262068 edges, 96694 markings/sec, 710 secs
lola: 96524023 markings, 345478330 edges, 93978 markings/sec, 715 secs
lola: 96989539 markings, 347707343 edges, 93103 markings/sec, 720 secs
lola: 97663266 markings, 350347998 edges, 134745 markings/sec, 725 secs
lola: 98406129 markings, 353156291 edges, 148573 markings/sec, 730 secs
lola: 99034551 markings, 355774295 edges, 125684 markings/sec, 735 secs
lola: 99709263 markings, 358478820 edges, 134942 markings/sec, 740 secs
lola: 100304559 markings, 361052628 edges, 119059 markings/sec, 745 secs
lola: 100961097 markings, 363721753 edges, 131308 markings/sec, 750 secs
lola: 101604546 markings, 366440252 edges, 128690 markings/sec, 755 secs
lola: 102304449 markings, 369275981 edges, 139981 markings/sec, 760 secs
lola: 102985404 markings, 372096616 edges, 136191 markings/sec, 765 secs
lola: 103637636 markings, 374901528 edges, 130446 markings/sec, 770 secs
lola: 104227240 markings, 377430504 edges, 117921 markings/sec, 775 secs
lola: 104857824 markings, 380162583 edges, 126117 markings/sec, 780 secs
lola: 105399752 markings, 382930682 edges, 108386 markings/sec, 785 secs
lola: 106052089 markings, 385699520 edges, 130467 markings/sec, 790 secs
lola: 106622222 markings, 388198602 edges, 114027 markings/sec, 795 secs
lola: 107218592 markings, 390965932 edges, 119274 markings/sec, 800 secs
lola: 107815413 markings, 393711698 edges, 119364 markings/sec, 805 secs
lola: 108487389 markings, 396453494 edges, 134395 markings/sec, 810 secs
lola: 109097866 markings, 399010680 edges, 122095 markings/sec, 815 secs
lola: 109752955 markings, 401795392 edges, 131018 markings/sec, 820 secs
lola: 110443674 markings, 404583730 edges, 138144 markings/sec, 825 secs
lola: 110997458 markings, 407112581 edges, 110757 markings/sec, 830 secs
lola: 111445968 markings, 409423397 edges, 89702 markings/sec, 835 secs
lola: 111965511 markings, 411874144 edges, 103909 markings/sec, 840 secs
lola: 112578096 markings, 414584713 edges, 122517 markings/sec, 845 secs
lola: 113182615 markings, 417285206 edges, 120904 markings/sec, 850 secs
lola: 113614077 markings, 419763885 edges, 86292 markings/sec, 855 secs
lola: 114236037 markings, 422498567 edges, 124392 markings/sec, 860 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 1 unknown 1 unknown unknown unknown 1 1 unknown unknown 1
FORMULA DNAwalker-PT-05track28LR-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-05track28LR-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494657512381

--------------------
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="DNAwalker-PT-05track28LR"
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/DNAwalker-PT-05track28LR.tgz
mv DNAwalker-PT-05track28LR execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is DNAwalker-PT-05track28LR, 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 r028-blw3-149440263800038"
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 ;