About the Execution of LoLA for S_SmallOperatingSystem-PT-MT2048DC1024
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10600.500 | 3540400.00 | 3558170.00 | 535.30 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_SmallOperatingSystem-PT-MT2048DC1024, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443463900020
=====================================================================
--------------------
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 SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-0
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-1
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-10
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-11
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-12
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-13
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-14
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-15
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-2
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-3
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-4
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-5
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-6
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-7
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-8
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496556697690
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SmallOperatingSystem-PT-MT2048DC1024: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_SmallOperatingSystem-PT-MT2048DC1024: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_SmallOperatingSystem-PT-MT2048DC1024 @ 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: 17/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 9 places, 8 transitions, 5 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 10 transition conflict sets
lola: TASK
lola: reading formula from SmallOperatingSystem-PT-MT2048DC1024-UpperBounds.task
lola: MAX(TaskSuspended) : MAX(ExecutingTask) : MAX(FreeMemSegment) : MAX(CPUUnit) : MAX(LoadingMem) : MAX(TaskSuspended) : MAX(LoadingMem) : MAX(ExecutingTask) : MAX(TaskReady) : MAX(TaskSuspended) : MAX(TransferToDisk) : MAX(CPUUnit) : MAX(FreeMemSegment) : MAX(LoadingMem) : MAX(TaskSuspended) : MAX(FreeMemSegment)
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(TaskSuspended)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2847379 markings, 4744920 edges, 569476 markings/sec, 0 secs
lola: 5267182 markings, 8868654 edges, 483961 markings/sec, 5 secs
lola: 7397908 markings, 12627834 edges, 426145 markings/sec, 10 secs
lola: 9402012 markings, 16226770 edges, 400821 markings/sec, 15 secs
lola: 11340278 markings, 19747103 edges, 387653 markings/sec, 20 secs
lola: 13437839 markings, 23444878 edges, 419512 markings/sec, 25 secs
lola: 15743073 markings, 27329302 edges, 461047 markings/sec, 30 secs
lola: 16477657 markings, 30153189 edges, 146917 markings/sec, 35 secs
lola: 17261068 markings, 33007234 edges, 156682 markings/sec, 40 secs
lola: 18061731 markings, 35828010 edges, 160133 markings/sec, 45 secs
lola: 18902510 markings, 38716376 edges, 168156 markings/sec, 50 secs
lola: 19766641 markings, 41625972 edges, 172826 markings/sec, 55 secs
lola: 20658961 markings, 44590335 edges, 178464 markings/sec, 60 secs
lola: 23094310 markings, 49133442 edges, 487070 markings/sec, 65 secs
lola: 25703756 markings, 53483613 edges, 521889 markings/sec, 70 secs
lola: 27993153 markings, 57299240 edges, 457879 markings/sec, 75 secs
lola: 30170328 markings, 60927695 edges, 435435 markings/sec, 80 secs
lola: 32368757 markings, 64591885 edges, 439686 markings/sec, 85 secs
lola: 34482422 markings, 68125679 edges, 422733 markings/sec, 90 secs
lola: 36439896 markings, 71393530 edges, 391495 markings/sec, 95 secs
lola: 37061408 markings, 74725055 edges, 124302 markings/sec, 100 secs
lola: 37517996 markings, 77921535 edges, 91318 markings/sec, 105 secs
lola: 39067706 markings, 81302878 edges, 309942 markings/sec, 110 secs
lola: 41161796 markings, 84802623 edges, 418818 markings/sec, 115 secs
lola: 43203492 markings, 88206218 edges, 408339 markings/sec, 120 secs
lola: 45251531 markings, 91651252 edges, 409608 markings/sec, 125 secs
lola: 47210752 markings, 94964065 edges, 391844 markings/sec, 130 secs
lola: 49155100 markings, 98205368 edges, 388870 markings/sec, 135 secs
lola: 51096146 markings, 101455710 edges, 388209 markings/sec, 140 secs
lola: 53044978 markings, 104704972 edges, 389766 markings/sec, 145 secs
lola: 54932019 markings, 107911262 edges, 377408 markings/sec, 150 secs
lola: 56851816 markings, 111196610 edges, 383959 markings/sec, 155 secs
lola: 58773354 markings, 114400024 edges, 384308 markings/sec, 160 secs
lola: 60665621 markings, 117624164 edges, 378453 markings/sec, 165 secs
lola: 62588151 markings, 120869254 edges, 384506 markings/sec, 170 secs
lola: 64408208 markings, 123903243 edges, 364011 markings/sec, 175 secs
lola: 66267620 markings, 127042006 edges, 371882 markings/sec, 180 secs
lola: 68148940 markings, 130178652 edges, 376264 markings/sec, 185 secs
lola: 69914465 markings, 133178107 edges, 353105 markings/sec, 190 secs
lola: 71670312 markings, 136173311 edges, 351169 markings/sec, 195 secs
lola: 73529017 markings, 139271718 edges, 371741 markings/sec, 200 secs
lola: 75434729 markings, 142458367 edges, 381142 markings/sec, 205 secs
lola: 77353781 markings, 145672619 edges, 383810 markings/sec, 210 secs
lola: 79131270 markings, 148648294 edges, 355498 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(ExecutingTask)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2892607 markings, 4338909 edges, 578521 markings/sec, 0 secs
lola: 5198640 markings, 8042394 edges, 461207 markings/sec, 5 secs
lola: 7146531 markings, 11506675 edges, 389578 markings/sec, 10 secs
lola: 8949340 markings, 14882013 edges, 360562 markings/sec, 15 secs
lola: 10679536 markings, 18237836 edges, 346039 markings/sec, 20 secs
lola: 12406566 markings, 21512670 edges, 345406 markings/sec, 25 secs
lola: 14286138 markings, 24335088 edges, 375914 markings/sec, 30 secs
lola: 16080605 markings, 27029719 edges, 358893 markings/sec, 35 secs
lola: 18041913 markings, 29974882 edges, 392262 markings/sec, 40 secs
lola: 20226897 markings, 33426471 edges, 436997 markings/sec, 45 secs
lola: 22858004 markings, 37663911 edges, 526221 markings/sec, 50 secs
lola: 25359972 markings, 41749231 edges, 500394 markings/sec, 55 secs
lola: 27783435 markings, 45682958 edges, 484693 markings/sec, 60 secs
lola: 30303770 markings, 49807088 edges, 504067 markings/sec, 65 secs
lola: 32908368 markings, 53831449 edges, 520920 markings/sec, 70 secs
lola: 34830516 markings, 57729305 edges, 384430 markings/sec, 75 secs
lola: 36469030 markings, 61210448 edges, 327703 markings/sec, 80 secs
lola: 38553091 markings, 64604363 edges, 416812 markings/sec, 85 secs
lola: 40626821 markings, 67890016 edges, 414746 markings/sec, 90 secs
lola: 42741464 markings, 71084082 edges, 422929 markings/sec, 95 secs
lola: 44828060 markings, 74230051 edges, 417319 markings/sec, 100 secs
lola: 46902640 markings, 77354678 edges, 414916 markings/sec, 105 secs
lola: 48930604 markings, 80408105 edges, 405593 markings/sec, 110 secs
lola: 50958222 markings, 83459280 edges, 405524 markings/sec, 115 secs
lola: 52986936 markings, 86512187 edges, 405743 markings/sec, 120 secs
lola: 54968575 markings, 89494578 edges, 396328 markings/sec, 125 secs
lola: 56979875 markings, 92521540 edges, 402260 markings/sec, 130 secs
lola: 58990830 markings, 95546038 edges, 402191 markings/sec, 135 secs
lola: 60991822 markings, 98554357 edges, 400198 markings/sec, 140 secs
lola: 63056074 markings, 101657710 edges, 412850 markings/sec, 145 secs
lola: 65105176 markings, 104739437 edges, 409820 markings/sec, 150 secs
lola: 67071242 markings, 107696758 edges, 393213 markings/sec, 155 secs
lola: 69005464 markings, 110605157 edges, 386844 markings/sec, 160 secs
lola: 70945032 markings, 113521737 edges, 387914 markings/sec, 165 secs
lola: 72954199 markings, 116541505 edges, 401833 markings/sec, 170 secs
lola: 74917215 markings, 119493226 edges, 392603 markings/sec, 175 secs
lola: 76874776 markings, 122434575 edges, 391512 markings/sec, 180 secs
lola: 78849213 markings, 125404633 edges, 394887 markings/sec, 185 secs
lola: 80816871 markings, 128360154 edges, 393532 markings/sec, 190 secs
lola: 82790989 markings, 131329703 edges, 394824 markings/sec, 195 secs
lola: 84818624 markings, 134376216 edges, 405527 markings/sec, 200 secs
lola: 86872467 markings, 137464515 edges, 410769 markings/sec, 205 secs
lola: 88901283 markings, 140512841 edges, 405763 markings/sec, 210 secs
lola: 90883711 markings, 143492943 edges, 396486 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(FreeMemSegment)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2267805 markings, 5226778 edges, 453561 markings/sec, 0 secs
lola: 4199267 markings, 9763818 edges, 386292 markings/sec, 5 secs
lola: 5950259 markings, 13897638 edges, 350198 markings/sec, 10 secs
lola: 7683601 markings, 17994690 edges, 346668 markings/sec, 15 secs
lola: 9346585 markings, 21939447 edges, 332597 markings/sec, 20 secs
lola: 10970789 markings, 25799550 edges, 324841 markings/sec, 25 secs
lola: 12553913 markings, 29560447 edges, 316625 markings/sec, 30 secs
lola: 14119594 markings, 33281224 edges, 313136 markings/sec, 35 secs
lola: 15681354 markings, 36982974 edges, 312352 markings/sec, 40 secs
lola: 17241669 markings, 40703981 edges, 312063 markings/sec, 45 secs
lola: 18845408 markings, 44514442 edges, 320748 markings/sec, 50 secs
lola: 20391507 markings, 48191914 edges, 309220 markings/sec, 55 secs
lola: 22009721 markings, 52045208 edges, 323643 markings/sec, 60 secs
lola: 23574579 markings, 55773589 edges, 312972 markings/sec, 65 secs
lola: 25198343 markings, 59633829 edges, 324753 markings/sec, 70 secs
lola: 26820155 markings, 63486018 edges, 324362 markings/sec, 75 secs
lola: 28270759 markings, 66945045 edges, 290121 markings/sec, 80 secs
lola: 29664407 markings, 70270507 edges, 278730 markings/sec, 85 secs
lola: 31104974 markings, 73707851 edges, 288113 markings/sec, 90 secs
lola: 32540065 markings, 77131865 edges, 287018 markings/sec, 95 secs
lola: 33956059 markings, 80509264 edges, 283199 markings/sec, 100 secs
lola: 35331095 markings, 83776726 edges, 275007 markings/sec, 105 secs
lola: 36750706 markings, 87162014 edges, 283922 markings/sec, 110 secs
lola: 38190948 markings, 90588861 edges, 288048 markings/sec, 115 secs
lola: 39643950 markings, 94038506 edges, 290600 markings/sec, 120 secs
lola: 41045437 markings, 97379215 edges, 280297 markings/sec, 125 secs
lola: 42388400 markings, 100591936 edges, 268593 markings/sec, 130 secs
lola: 43856766 markings, 104100242 edges, 293673 markings/sec, 135 secs
lola: 45381690 markings, 107741948 edges, 304985 markings/sec, 140 secs
lola: 46907678 markings, 111385888 edges, 305198 markings/sec, 145 secs
lola: 48379687 markings, 114895916 edges, 294402 markings/sec, 150 secs
lola: 49932060 markings, 118600447 edges, 310475 markings/sec, 155 secs
lola: 51389869 markings, 122058379 edges, 291562 markings/sec, 160 secs
lola: 52856054 markings, 125547747 edges, 293237 markings/sec, 165 secs
lola: 54224292 markings, 128818608 edges, 273648 markings/sec, 170 secs
lola: 55545575 markings, 131970202 edges, 264257 markings/sec, 175 secs
lola: 56856268 markings, 135096892 edges, 262139 markings/sec, 180 secs
lola: 58157293 markings, 138199748 edges, 260205 markings/sec, 185 secs
lola: 59576204 markings, 141596274 edges, 283782 markings/sec, 190 secs
lola: 61011801 markings, 145025156 edges, 287119 markings/sec, 195 secs
lola: 62344356 markings, 148211437 edges, 266511 markings/sec, 200 secs
lola: 63718410 markings, 151499638 edges, 274811 markings/sec, 205 secs
lola: 65085665 markings, 154763564 edges, 273451 markings/sec, 210 secs
lola: 66380374 markings, 157853955 edges, 258942 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(CPUUnit)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2925113 markings, 4874258 edges, 585023 markings/sec, 0 secs
lola: 5470485 markings, 9223158 edges, 509074 markings/sec, 5 secs
lola: 7528884 markings, 12860942 edges, 411680 markings/sec, 10 secs
lola: 9376916 markings, 16181285 edges, 369606 markings/sec, 15 secs
lola: 11138209 markings, 19378623 edges, 352259 markings/sec, 20 secs
lola: 12992284 markings, 22702070 edges, 370815 markings/sec, 25 secs
lola: 15504387 markings, 26890101 edges, 502421 markings/sec, 30 secs
lola: 16421017 markings, 29937512 edges, 183326 markings/sec, 35 secs
lola: 17188975 markings, 32749034 edges, 153592 markings/sec, 40 secs
lola: 17925309 markings, 35353081 edges, 147267 markings/sec, 45 secs
lola: 18673196 markings, 37931887 edges, 149577 markings/sec, 50 secs
lola: 19421045 markings, 40467759 edges, 149570 markings/sec, 55 secs
lola: 20185953 markings, 43024341 edges, 152982 markings/sec, 60 secs
lola: 21123702 markings, 45848423 edges, 187550 markings/sec, 65 secs
lola: 24175710 markings, 50936864 edges, 610402 markings/sec, 70 secs
lola: 26707246 markings, 55156182 edges, 506307 markings/sec, 75 secs
lola: 29125968 markings, 59187205 edges, 483744 markings/sec, 80 secs
lola: 31314881 markings, 62834956 edges, 437783 markings/sec, 85 secs
lola: 33519556 markings, 66512603 edges, 440935 markings/sec, 90 secs
lola: 35570673 markings, 69941730 edges, 410223 markings/sec, 95 secs
lola: 36872724 markings, 73402914 edges, 260410 markings/sec, 100 secs
lola: 37322586 markings, 76550825 edges, 89972 markings/sec, 105 secs
lola: 38110003 markings, 79706370 edges, 157483 markings/sec, 110 secs
lola: 40247784 markings, 83270374 edges, 427556 markings/sec, 115 secs
lola: 42388347 markings, 86847211 edges, 428113 markings/sec, 120 secs
lola: 44520391 markings, 90432362 edges, 426409 markings/sec, 125 secs
lola: 46649815 markings, 93982355 edges, 425885 markings/sec, 130 secs
lola: 48746757 markings, 97524650 edges, 419388 markings/sec, 135 secs
lola: 50846304 markings, 101039326 edges, 419909 markings/sec, 140 secs
lola: 52882135 markings, 104433346 edges, 407166 markings/sec, 145 secs
lola: 54701965 markings, 107527761 edges, 363966 markings/sec, 150 secs
lola: 56489867 markings, 110593216 edges, 357580 markings/sec, 155 secs
lola: 58385373 markings, 113753160 edges, 379101 markings/sec, 160 secs
lola: 60256657 markings, 116942180 edges, 374257 markings/sec, 165 secs
lola: 62074413 markings, 119972765 edges, 363551 markings/sec, 170 secs
lola: 64041062 markings, 123291127 edges, 393330 markings/sec, 175 secs
lola: 65988867 markings, 126577282 edges, 389561 markings/sec, 180 secs
lola: 67969529 markings, 129879371 edges, 396132 markings/sec, 185 secs
lola: 69824810 markings, 133027857 edges, 371056 markings/sec, 190 secs
lola: 71637880 markings, 136118962 edges, 362614 markings/sec, 195 secs
lola: 73563667 markings, 139329583 edges, 385157 markings/sec, 200 secs
lola: 75493477 markings, 142556368 edges, 385962 markings/sec, 205 secs
lola: 77385618 markings, 145737026 edges, 378428 markings/sec, 210 secs
lola: 79118529 markings, 148627121 edges, 346582 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(LoadingMem)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2539655 markings, 4703078 edges, 507931 markings/sec, 0 secs
lola: 4691372 markings, 8933599 edges, 430343 markings/sec, 5 secs
lola: 6780275 markings, 13012051 edges, 417781 markings/sec, 10 secs
lola: 8825384 markings, 17085087 edges, 409022 markings/sec, 15 secs
lola: 10742552 markings, 20990381 edges, 383434 markings/sec, 20 secs
lola: 12541945 markings, 24668210 edges, 359879 markings/sec, 25 secs
lola: 13899837 markings, 27601098 edges, 271578 markings/sec, 30 secs
lola: 15224559 markings, 30462907 edges, 264944 markings/sec, 35 secs
lola: 16538352 markings, 33301341 edges, 262759 markings/sec, 40 secs
lola: 17869599 markings, 36178924 edges, 266249 markings/sec, 45 secs
lola: 19189209 markings, 39031292 edges, 263922 markings/sec, 50 secs
lola: 20516979 markings, 41901775 edges, 265554 markings/sec, 55 secs
lola: 21842616 markings, 44767407 edges, 265127 markings/sec, 60 secs
lola: 23168726 markings, 47633869 edges, 265222 markings/sec, 65 secs
lola: 24515705 markings, 50545585 edges, 269396 markings/sec, 70 secs
lola: 25853698 markings, 53438469 edges, 267599 markings/sec, 75 secs
lola: 27216125 markings, 56384077 edges, 272485 markings/sec, 80 secs
lola: 28505772 markings, 59172189 edges, 257929 markings/sec, 85 secs
lola: 29790214 markings, 61948103 edges, 256888 markings/sec, 90 secs
lola: 31083028 markings, 64743257 edges, 258563 markings/sec, 95 secs
lola: 32395565 markings, 67580379 edges, 262507 markings/sec, 100 secs
lola: 33684917 markings, 70368121 edges, 257870 markings/sec, 105 secs
lola: 34994759 markings, 73199867 edges, 261968 markings/sec, 110 secs
lola: 36288969 markings, 75998001 edges, 258842 markings/sec, 115 secs
lola: 37600102 markings, 78832689 edges, 262227 markings/sec, 120 secs
lola: 38901450 markings, 81645630 edges, 260270 markings/sec, 125 secs
lola: 40212230 markings, 84479616 edges, 262156 markings/sec, 130 secs
lola: 41500934 markings, 87266797 edges, 257741 markings/sec, 135 secs
lola: 42813517 markings, 90104153 edges, 262517 markings/sec, 140 secs
lola: 44092576 markings, 92869935 edges, 255812 markings/sec, 145 secs
lola: 45370819 markings, 95634378 edges, 255649 markings/sec, 150 secs
lola: 46636783 markings, 98371516 edges, 253193 markings/sec, 155 secs
lola: 47957068 markings, 101226342 edges, 264057 markings/sec, 160 secs
lola: 49216395 markings, 103948706 edges, 251865 markings/sec, 165 secs
lola: 50495041 markings, 106712694 edges, 255729 markings/sec, 170 secs
lola: 51791529 markings, 109514684 edges, 259298 markings/sec, 175 secs
lola: 53076776 markings, 112293703 edges, 257049 markings/sec, 180 secs
lola: 54341308 markings, 115028715 edges, 252906 markings/sec, 185 secs
lola: 55603880 markings, 117756818 edges, 252514 markings/sec, 190 secs
lola: 56873924 markings, 120500759 edges, 254009 markings/sec, 195 secs
lola: 58189219 markings, 123343128 edges, 263059 markings/sec, 200 secs
lola: 59512494 markings, 126203614 edges, 264655 markings/sec, 205 secs
lola: 60782982 markings, 128950506 edges, 254098 markings/sec, 210 secs
lola: 62065465 markings, 131724658 edges, 256497 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(TaskSuspended)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2823310 markings, 4704839 edges, 564662 markings/sec, 0 secs
lola: 5178624 markings, 8714418 edges, 471063 markings/sec, 5 secs
lola: 7134757 markings, 12158830 edges, 391227 markings/sec, 10 secs
lola: 8951427 markings, 15413724 edges, 363334 markings/sec, 15 secs
lola: 10800893 markings, 18764885 edges, 369893 markings/sec, 20 secs
lola: 12672822 markings, 22169532 edges, 374386 markings/sec, 25 secs
lola: 15109090 markings, 26231041 edges, 487254 markings/sec, 30 secs
lola: 16234835 markings, 29240264 edges, 225149 markings/sec, 35 secs
lola: 16968977 markings, 31956667 edges, 146828 markings/sec, 40 secs
lola: 17720408 markings, 34631308 edges, 150286 markings/sec, 45 secs
lola: 18504143 markings, 37353153 edges, 156747 markings/sec, 50 secs
lola: 19322785 markings, 40136216 edges, 163728 markings/sec, 55 secs
lola: 20157345 markings, 42928980 edges, 166912 markings/sec, 60 secs
lola: 21153995 markings, 45898963 edges, 199330 markings/sec, 65 secs
lola: 24083827 markings, 50783589 edges, 585966 markings/sec, 70 secs
lola: 26542294 markings, 54881200 edges, 491693 markings/sec, 75 secs
lola: 28853665 markings, 58733389 edges, 462274 markings/sec, 80 secs
lola: 31079958 markings, 62443383 edges, 445259 markings/sec, 85 secs
lola: 33157601 markings, 65907019 edges, 415529 markings/sec, 90 secs
lola: 35104504 markings, 69163739 edges, 389381 markings/sec, 95 secs
lola: 36736056 markings, 72446113 edges, 326310 markings/sec, 100 secs
lola: 37159180 markings, 75406844 edges, 84625 markings/sec, 105 secs
lola: 37555882 markings, 78182991 edges, 79340 markings/sec, 110 secs
lola: 39130316 markings, 81407228 edges, 314887 markings/sec, 115 secs
lola: 41162117 markings, 84803103 edges, 406360 markings/sec, 120 secs
lola: 43206441 markings, 88211116 edges, 408865 markings/sec, 125 secs
lola: 45238890 markings, 91630069 edges, 406490 markings/sec, 130 secs
lola: 47220313 markings, 94979923 edges, 396285 markings/sec, 135 secs
lola: 49210713 markings, 98297958 edges, 398080 markings/sec, 140 secs
lola: 51180624 markings, 101596531 edges, 393982 markings/sec, 145 secs
lola: 53130965 markings, 104848398 edges, 390068 markings/sec, 150 secs
lola: 54975167 markings, 107983277 edges, 368840 markings/sec, 155 secs
lola: 56824551 markings, 111151204 edges, 369877 markings/sec, 160 secs
lola: 58741142 markings, 114346256 edges, 383318 markings/sec, 165 secs
lola: 60629309 markings, 117563557 edges, 377633 markings/sec, 170 secs
lola: 62512902 markings, 120738500 edges, 376719 markings/sec, 175 secs
lola: 64368814 markings, 123837638 edges, 371182 markings/sec, 180 secs
lola: 66267044 markings, 127041142 edges, 379646 markings/sec, 185 secs
lola: 68193758 markings, 130253332 edges, 385343 markings/sec, 190 secs
lola: 69999282 markings, 133320541 edges, 361105 markings/sec, 195 secs
lola: 71744809 markings, 136297479 edges, 349105 markings/sec, 200 secs
lola: 73561819 markings, 139326384 edges, 363402 markings/sec, 205 secs
lola: 75449993 markings, 142483750 edges, 377635 markings/sec, 210 secs
lola: 77323438 markings, 145614553 edges, 374689 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(LoadingMem)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2555617 markings, 4731828 edges, 511123 markings/sec, 0 secs
lola: 4712959 markings, 8974326 edges, 431468 markings/sec, 5 secs
lola: 6819748 markings, 13091106 edges, 421358 markings/sec, 10 secs
lola: 8880489 markings, 17198581 edges, 412148 markings/sec, 15 secs
lola: 10844467 markings, 21193031 edges, 392796 markings/sec, 20 secs
lola: 12647811 markings, 24896568 edges, 360669 markings/sec, 25 secs
lola: 14037257 markings, 27897831 edges, 277889 markings/sec, 30 secs
lola: 15392255 markings, 30825395 edges, 271000 markings/sec, 35 secs
lola: 16736062 markings, 33728820 edges, 268761 markings/sec, 40 secs
lola: 18077559 markings, 36628781 edges, 268299 markings/sec, 45 secs
lola: 19394606 markings, 39475317 edges, 263409 markings/sec, 50 secs
lola: 20700454 markings, 42297917 edges, 261170 markings/sec, 55 secs
lola: 22013329 markings, 45135823 edges, 262575 markings/sec, 60 secs
lola: 23306364 markings, 47931356 edges, 258607 markings/sec, 65 secs
lola: 24615777 markings, 50762372 edges, 261883 markings/sec, 70 secs
lola: 25903856 markings, 53546385 edges, 257616 markings/sec, 75 secs
lola: 27206069 markings, 56362399 edges, 260443 markings/sec, 80 secs
lola: 28497864 markings, 59155004 edges, 258359 markings/sec, 85 secs
lola: 29782992 markings, 61932468 edges, 257026 markings/sec, 90 secs
lola: 31082801 markings, 64742728 edges, 259962 markings/sec, 95 secs
lola: 32414279 markings, 67620712 edges, 266296 markings/sec, 100 secs
lola: 33728443 markings, 70462186 edges, 262833 markings/sec, 105 secs
lola: 35062791 markings, 73346784 edges, 266870 markings/sec, 110 secs
lola: 36362664 markings, 76157243 edges, 259975 markings/sec, 115 secs
lola: 37688741 markings, 79024362 edges, 265215 markings/sec, 120 secs
lola: 38969396 markings, 81792434 edges, 256131 markings/sec, 125 secs
lola: 40273729 markings, 84612760 edges, 260867 markings/sec, 130 secs
lola: 41544785 markings, 87361562 edges, 254211 markings/sec, 135 secs
lola: 42839572 markings, 90160459 edges, 258957 markings/sec, 140 secs
lola: 44103324 markings, 92893340 edges, 252750 markings/sec, 145 secs
lola: 45361848 markings, 95615216 edges, 251705 markings/sec, 150 secs
lola: 46609403 markings, 98312446 edges, 249511 markings/sec, 155 secs
lola: 47912157 markings, 101129246 edges, 260551 markings/sec, 160 secs
lola: 49165361 markings, 103837977 edges, 250641 markings/sec, 165 secs
lola: 50446273 markings, 106607808 edges, 256182 markings/sec, 170 secs
lola: 51748556 markings, 109421980 edges, 260457 markings/sec, 175 secs
lola: 53038379 markings, 112210686 edges, 257965 markings/sec, 180 secs
lola: 54310969 markings, 114962979 edges, 254518 markings/sec, 185 secs
lola: 55550382 markings, 117640855 edges, 247883 markings/sec, 190 secs
lola: 56816163 markings, 120375979 edges, 253156 markings/sec, 195 secs
lola: 58129052 markings, 123212528 edges, 262578 markings/sec, 200 secs
lola: 59444768 markings, 126056911 edges, 263143 markings/sec, 205 secs
lola: 60704822 markings, 128781541 edges, 252011 markings/sec, 210 secs
lola: 61967827 markings, 131513495 edges, 252601 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(ExecutingTask)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2640818 markings, 3961229 edges, 528164 markings/sec, 0 secs
lola: 4685358 markings, 7172428 edges, 408908 markings/sec, 5 secs
lola: 6523230 markings, 10372475 edges, 367574 markings/sec, 10 secs
lola: 8231602 markings, 13523225 edges, 341674 markings/sec, 15 secs
lola: 9840522 markings, 16596995 edges, 321784 markings/sec, 20 secs
lola: 11311106 markings, 19480706 edges, 294117 markings/sec, 25 secs
lola: 13416981 markings, 23029942 edges, 421175 markings/sec, 30 secs
lola: 15770454 markings, 26563982 edges, 470695 markings/sec, 35 secs
lola: 18021331 markings, 29943968 edges, 450175 markings/sec, 40 secs
lola: 20370700 markings, 33654853 edges, 469874 markings/sec, 45 secs
lola: 22917686 markings, 37758379 edges, 509397 markings/sec, 50 secs
lola: 25252035 markings, 41562924 edges, 466870 markings/sec, 55 secs
lola: 27493274 markings, 45196149 edges, 448248 markings/sec, 60 secs
lola: 29909222 markings, 49181918 edges, 483190 markings/sec, 65 secs
lola: 32339612 markings, 52976680 edges, 486078 markings/sec, 70 secs
lola: 34730218 markings, 57072574 edges, 478121 markings/sec, 75 secs
lola: 36324967 markings, 60971370 edges, 318950 markings/sec, 80 secs
lola: 38532528 markings, 64572325 edges, 441512 markings/sec, 85 secs
lola: 40746254 markings, 68069137 edges, 442745 markings/sec, 90 secs
lola: 42934093 markings, 71374690 edges, 437568 markings/sec, 95 secs
lola: 45042757 markings, 74555261 edges, 421733 markings/sec, 100 secs
lola: 47155298 markings, 77735418 edges, 422508 markings/sec, 105 secs
lola: 49265852 markings, 80912852 edges, 422111 markings/sec, 110 secs
lola: 51361470 markings, 84066045 edges, 419124 markings/sec, 115 secs
lola: 53441846 markings, 87196463 edges, 416075 markings/sec, 120 secs
lola: 55504577 markings, 90300504 edges, 412546 markings/sec, 125 secs
lola: 57559823 markings, 93393375 edges, 411049 markings/sec, 130 secs
lola: 59643496 markings, 96526887 edges, 416735 markings/sec, 135 secs
lola: 61783465 markings, 99744917 edges, 427994 markings/sec, 140 secs
lola: 63943654 markings, 102995389 edges, 432038 markings/sec, 145 secs
lola: 66103197 markings, 106241634 edges, 431909 markings/sec, 150 secs
lola: 68222204 markings, 109427246 edges, 423801 markings/sec, 155 secs
lola: 70291697 markings, 112539650 edges, 413899 markings/sec, 160 secs
lola: 72360721 markings, 115648102 edges, 413805 markings/sec, 165 secs
lola: 74384918 markings, 118691669 edges, 404839 markings/sec, 170 secs
lola: 76404839 markings, 121729820 edges, 403984 markings/sec, 175 secs
lola: 78428243 markings, 124769924 edges, 404681 markings/sec, 180 secs
lola: 80526774 markings, 127925102 edges, 419706 markings/sec, 185 secs
lola: 82627040 markings, 131083835 edges, 420053 markings/sec, 190 secs
lola: 84728827 markings, 134241552 edges, 420357 markings/sec, 195 secs
lola: 86834533 markings, 137407627 edges, 421141 markings/sec, 200 secs
lola: 88904190 markings, 140517200 edges, 413931 markings/sec, 205 secs
lola: 90992809 markings, 143656550 edges, 417724 markings/sec, 210 secs
lola: 93013143 markings, 146692550 edges, 404067 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskReady)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1726409 markings, 4159912 edges, 345282 markings/sec, 0 secs
lola: 3230434 markings, 7846344 edges, 300805 markings/sec, 5 secs
lola: 4687581 markings, 11433864 edges, 291429 markings/sec, 10 secs
lola: 6177088 markings, 15095890 edges, 297901 markings/sec, 15 secs
lola: 7663054 markings, 18756282 edges, 297193 markings/sec, 20 secs
lola: 9165547 markings, 22452796 edges, 300499 markings/sec, 25 secs
lola: 10620939 markings, 26049585 edges, 291078 markings/sec, 30 secs
lola: 12068877 markings, 29622486 edges, 289588 markings/sec, 35 secs
lola: 13513820 markings, 33200885 edges, 288989 markings/sec, 40 secs
lola: 14960713 markings, 36769208 edges, 289379 markings/sec, 45 secs
lola: 16408141 markings, 40358522 edges, 289486 markings/sec, 50 secs
lola: 17853336 markings, 43940002 edges, 289039 markings/sec, 55 secs
lola: 19305088 markings, 47529727 edges, 290350 markings/sec, 60 secs
lola: 20769566 markings, 51153456 edges, 292896 markings/sec, 65 secs
lola: 22251757 markings, 54814574 edges, 296438 markings/sec, 70 secs
lola: 23734975 markings, 58469735 edges, 296644 markings/sec, 75 secs
lola: 25227766 markings, 62151118 edges, 298558 markings/sec, 80 secs
lola: 26707306 markings, 65803216 edges, 295908 markings/sec, 85 secs
lola: 28182424 markings, 69443924 edges, 295024 markings/sec, 90 secs
lola: 29644088 markings, 73046384 edges, 292333 markings/sec, 95 secs
lola: 31102116 markings, 76657525 edges, 291606 markings/sec, 100 secs
lola: 32571415 markings, 80292570 edges, 293860 markings/sec, 105 secs
lola: 34020766 markings, 83879944 edges, 289870 markings/sec, 110 secs
lola: 35474077 markings, 87476849 edges, 290662 markings/sec, 115 secs
lola: 36912965 markings, 91051799 edges, 287778 markings/sec, 120 secs
lola: 38333888 markings, 94599683 edges, 284185 markings/sec, 125 secs
lola: 39786620 markings, 98211262 edges, 290546 markings/sec, 130 secs
lola: 41238792 markings, 101808487 edges, 290434 markings/sec, 135 secs
lola: 42652587 markings, 105323695 edges, 282759 markings/sec, 140 secs
lola: 44038883 markings, 108771197 edges, 277259 markings/sec, 145 secs
lola: 45448227 markings, 112285224 edges, 281869 markings/sec, 150 secs
lola: 46879007 markings, 115851214 edges, 286156 markings/sec, 155 secs
lola: 48299793 markings, 119385751 edges, 284157 markings/sec, 160 secs
lola: 49717982 markings, 122919725 edges, 283638 markings/sec, 165 secs
lola: 51147404 markings, 126479643 edges, 285884 markings/sec, 170 secs
lola: 52510767 markings, 129872948 edges, 272673 markings/sec, 175 secs
lola: 53929802 markings, 133406698 edges, 283807 markings/sec, 180 secs
lola: 55361470 markings, 136957642 edges, 286334 markings/sec, 185 secs
lola: 56796527 markings, 140530631 edges, 287011 markings/sec, 190 secs
lola: 58216972 markings, 144063126 edges, 284089 markings/sec, 195 secs
lola: 59658347 markings, 147654813 edges, 288275 markings/sec, 200 secs
lola: 61117035 markings, 151277271 edges, 291738 markings/sec, 205 secs
lola: 62564867 markings, 154831627 edges, 289566 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskSuspended)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2928471 markings, 4880045 edges, 585694 markings/sec, 0 secs
lola: 5535722 markings, 9337322 edges, 521450 markings/sec, 5 secs
lola: 7772055 markings, 13295996 edges, 447267 markings/sec, 10 secs
lola: 9872019 markings, 17076915 edges, 419993 markings/sec, 15 secs
lola: 11849053 markings, 20677063 edges, 395407 markings/sec, 20 secs
lola: 14170992 markings, 24666933 edges, 464388 markings/sec, 25 secs
lola: 16026709 markings, 28441267 edges, 371143 markings/sec, 30 secs
lola: 16854031 markings, 31540626 edges, 165464 markings/sec, 35 secs
lola: 17707519 markings, 34588675 edges, 170698 markings/sec, 40 secs
lola: 18584351 markings, 37628230 edges, 175366 markings/sec, 45 secs
lola: 19481519 markings, 40670818 edges, 179434 markings/sec, 50 secs
lola: 20377123 markings, 43656642 edges, 179121 markings/sec, 55 secs
lola: 22156067 markings, 47569297 edges, 355789 markings/sec, 60 secs
lola: 25017866 markings, 52340578 edges, 572360 markings/sec, 65 secs
lola: 27595271 markings, 56636243 edges, 515481 markings/sec, 70 secs
lola: 30020411 markings, 60677792 edges, 485028 markings/sec, 75 secs
lola: 32344513 markings, 64551299 edges, 464820 markings/sec, 80 secs
lola: 34578366 markings, 68285669 edges, 446771 markings/sec, 85 secs
lola: 36654830 markings, 71877764 edges, 415293 markings/sec, 90 secs
lola: 37158438 markings, 75403499 edges, 100722 markings/sec, 95 secs
lola: 37585126 markings, 78389488 edges, 85338 markings/sec, 100 secs
lola: 39338532 markings, 81754484 edges, 350681 markings/sec, 105 secs
lola: 41422247 markings, 85236779 edges, 416743 markings/sec, 110 secs
lola: 43496717 markings, 88695088 edges, 414894 markings/sec, 115 secs
lola: 45544453 markings, 92139405 edges, 409547 markings/sec, 120 secs
lola: 47566173 markings, 95556541 edges, 404344 markings/sec, 125 secs
lola: 49592061 markings, 98933861 edges, 405178 markings/sec, 130 secs
lola: 51617636 markings, 102325136 edges, 405115 markings/sec, 135 secs
lola: 53598625 markings, 105688567 edges, 396198 markings/sec, 140 secs
lola: 55574289 markings, 108982085 edges, 395133 markings/sec, 145 secs
lola: 57594250 markings, 112434316 edges, 403992 markings/sec, 150 secs
lola: 59588144 markings, 115828002 edges, 398779 markings/sec, 155 secs
lola: 61649685 markings, 119264560 edges, 412308 markings/sec, 160 secs
lola: 63735549 markings, 122781793 edges, 417173 markings/sec, 165 secs
lola: 65782086 markings, 126232750 edges, 409307 markings/sec, 170 secs
lola: 67778566 markings, 129560954 edges, 399296 markings/sec, 175 secs
lola: 69753094 markings, 132907860 edges, 394906 markings/sec, 180 secs
lola: 71712240 markings, 136242958 edges, 391829 markings/sec, 185 secs
lola: 73728829 markings, 139604939 edges, 403318 markings/sec, 190 secs
lola: 75739933 markings, 142967289 edges, 402221 markings/sec, 195 secs
lola: 77757333 markings, 146356882 edges, 403480 markings/sec, 200 secs
lola: 79707405 markings, 149609438 edges, 390014 markings/sec, 205 secs
lola: 80930815 markings, 152657391 edges, 244682 markings/sec, 210 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(TransferToDisk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 3173660 markings, 4501120 edges, 634732 markings/sec, 0 secs
lola: 5640345 markings, 8387535 edges, 493337 markings/sec, 5 secs
lola: 8064721 markings, 12196615 edges, 484875 markings/sec, 10 secs
lola: 10599284 markings, 16107895 edges, 506913 markings/sec, 15 secs
lola: 12810683 markings, 19670484 edges, 442280 markings/sec, 20 secs
lola: 14711815 markings, 22935886 edges, 380226 markings/sec, 25 secs
lola: 16640478 markings, 26248686 edges, 385733 markings/sec, 30 secs
lola: 18569852 markings, 29563773 edges, 385875 markings/sec, 35 secs
lola: 20388783 markings, 32714814 edges, 363786 markings/sec, 40 secs
lola: 22178710 markings, 35824787 edges, 357985 markings/sec, 45 secs
lola: 23984103 markings, 38940638 edges, 361079 markings/sec, 50 secs
lola: 25882276 markings, 42213336 edges, 379635 markings/sec, 55 secs
lola: 27760248 markings, 45587849 edges, 375594 markings/sec, 60 secs
lola: 29511331 markings, 48762432 edges, 350217 markings/sec, 65 secs
lola: 31272253 markings, 51941308 edges, 352184 markings/sec, 70 secs
lola: 33010745 markings, 55049254 edges, 347698 markings/sec, 75 secs
lola: 34725063 markings, 58177593 edges, 342864 markings/sec, 80 secs
lola: 36437161 markings, 61281548 edges, 342420 markings/sec, 85 secs
lola: 38148571 markings, 64418972 edges, 342282 markings/sec, 90 secs
lola: 39855034 markings, 67561325 edges, 341293 markings/sec, 95 secs
lola: 41569720 markings, 70778880 edges, 342937 markings/sec, 100 secs
lola: 43281806 markings, 74024128 edges, 342417 markings/sec, 105 secs
lola: 45000049 markings, 77314485 edges, 343649 markings/sec, 110 secs
lola: 46720746 markings, 80654491 edges, 344139 markings/sec, 115 secs
lola: 48431786 markings, 83929951 edges, 342208 markings/sec, 120 secs
lola: 50140805 markings, 87135661 edges, 341804 markings/sec, 125 secs
lola: 51855351 markings, 90475307 edges, 342909 markings/sec, 130 secs
lola: 53584901 markings, 93889549 edges, 345910 markings/sec, 135 secs
lola: 55299177 markings, 97328301 edges, 342855 markings/sec, 140 secs
lola: 57167225 markings, 100708090 edges, 373610 markings/sec, 145 secs
lola: 58948945 markings, 104073799 edges, 356344 markings/sec, 150 secs
lola: 60636940 markings, 107539982 edges, 337599 markings/sec, 155 secs
lola: 62307777 markings, 110986205 edges, 334167 markings/sec, 160 secs
lola: 64219971 markings, 114284635 edges, 382439 markings/sec, 165 secs
lola: 65925236 markings, 117600421 edges, 341053 markings/sec, 170 secs
lola: 67623445 markings, 121015336 edges, 339642 markings/sec, 175 secs
lola: 69257940 markings, 124372076 edges, 326899 markings/sec, 180 secs
lola: 70893306 markings, 127520804 edges, 327073 markings/sec, 185 secs
lola: 72485550 markings, 130705094 edges, 318449 markings/sec, 190 secs
lola: 74107246 markings, 133833912 edges, 324339 markings/sec, 195 secs
lola: 75732295 markings, 136829777 edges, 325010 markings/sec, 200 secs
lola: 77342724 markings, 139941507 edges, 322086 markings/sec, 205 secs
lola: 78962726 markings, 143111421 edges, 324000 markings/sec, 210 secs
lola: 80556767 markings, 146223289 edges, 318808 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CPUUnit)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2965692 markings, 4942063 edges, 593138 markings/sec, 0 secs
lola: 5559514 markings, 9378602 edges, 518764 markings/sec, 5 secs
lola: 7790069 markings, 13328478 edges, 446111 markings/sec, 10 secs
lola: 9880057 markings, 17091861 edges, 417998 markings/sec, 15 secs
lola: 11914312 markings, 20795717 edges, 406851 markings/sec, 20 secs
lola: 14162964 markings, 24653864 edges, 449730 markings/sec, 25 secs
lola: 16022471 markings, 28426734 edges, 371901 markings/sec, 30 secs
lola: 16859881 markings, 31560062 edges, 167482 markings/sec, 35 secs
lola: 17720709 markings, 34637507 edges, 172166 markings/sec, 40 secs
lola: 18600395 markings, 37686408 edges, 175937 markings/sec, 45 secs
lola: 19504486 markings, 40747143 edges, 180818 markings/sec, 50 secs
lola: 20430798 markings, 43835750 edges, 185262 markings/sec, 55 secs
lola: 22406918 markings, 47987601 edges, 395224 markings/sec, 60 secs
lola: 25212258 markings, 52664456 edges, 561068 markings/sec, 65 secs
lola: 27761723 markings, 56913791 edges, 509893 markings/sec, 70 secs
lola: 30172761 markings, 60931699 edges, 482208 markings/sec, 75 secs
lola: 32473595 markings, 64766696 edges, 460167 markings/sec, 80 secs
lola: 34681167 markings, 68457218 edges, 441514 markings/sec, 85 secs
lola: 36679684 markings, 72051578 edges, 399703 markings/sec, 90 secs
lola: 37180892 markings, 75559552 edges, 100242 markings/sec, 95 secs
lola: 37657976 markings, 78899014 edges, 95417 markings/sec, 100 secs
lola: 39834709 markings, 82581646 edges, 435347 markings/sec, 105 secs
lola: 42047145 markings, 86278367 edges, 442487 markings/sec, 110 secs
lola: 44233405 markings, 89953958 edges, 437252 markings/sec, 115 secs
lola: 46420469 markings, 93599920 edges, 437413 markings/sec, 120 secs
lola: 48589767 markings, 97262856 edges, 433860 markings/sec, 125 secs
lola: 50757514 markings, 100891246 edges, 433549 markings/sec, 130 secs
lola: 52918377 markings, 104493807 edges, 432173 markings/sec, 135 secs
lola: 55048845 markings, 108106009 edges, 426094 markings/sec, 140 secs
lola: 57163157 markings, 111715572 edges, 422862 markings/sec, 145 secs
lola: 59300291 markings, 115278704 edges, 427427 markings/sec, 150 secs
lola: 61384204 markings, 118821920 edges, 416783 markings/sec, 155 secs
lola: 63504326 markings, 122396491 edges, 424024 markings/sec, 160 secs
lola: 65600256 markings, 125929509 edges, 419186 markings/sec, 165 secs
lola: 67707473 markings, 129442554 edges, 421443 markings/sec, 170 secs
lola: 69733773 markings, 132875483 edges, 405260 markings/sec, 175 secs
lola: 71716630 markings, 136250502 edges, 396571 markings/sec, 180 secs
lola: 73769818 markings, 139673248 edges, 410638 markings/sec, 185 secs
lola: 75856088 markings, 143160766 edges, 417254 markings/sec, 190 secs
lola: 77871845 markings, 146547909 edges, 403151 markings/sec, 195 secs
lola: 79821937 markings, 149800605 edges, 390018 markings/sec, 200 secs
lola: 80971639 markings, 152782424 edges, 229940 markings/sec, 205 secs
lola: 81993869 markings, 155853520 edges, 204446 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FreeMemSegment)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2330564 markings, 5376019 edges, 466113 markings/sec, 0 secs
lola: 4388405 markings, 10211151 edges, 411568 markings/sec, 5 secs
lola: 6307453 markings, 14733702 edges, 383810 markings/sec, 10 secs
lola: 8159308 markings, 19124439 edges, 370371 markings/sec, 15 secs
lola: 9975635 markings, 23427652 edges, 363265 markings/sec, 20 secs
lola: 11743927 markings, 27632007 edges, 353658 markings/sec, 25 secs
lola: 13462669 markings, 31724674 edges, 343748 markings/sec, 30 secs
lola: 15232082 markings, 35916336 edges, 353883 markings/sec, 35 secs
lola: 16910953 markings, 39913564 edges, 335774 markings/sec, 40 secs
lola: 18609686 markings, 43958386 edges, 339747 markings/sec, 45 secs
lola: 20286593 markings, 47940744 edges, 335381 markings/sec, 50 secs
lola: 21975780 markings, 51963843 edges, 337837 markings/sec, 55 secs
lola: 23632259 markings, 55905184 edges, 331296 markings/sec, 60 secs
lola: 25295324 markings, 59865752 edges, 332613 markings/sec, 65 secs
lola: 26981867 markings, 63872876 edges, 337309 markings/sec, 70 secs
lola: 28633893 markings, 67806332 edges, 330405 markings/sec, 75 secs
lola: 30252977 markings, 71678193 edges, 323817 markings/sec, 80 secs
lola: 31895273 markings, 75589275 edges, 328459 markings/sec, 85 secs
lola: 33509835 markings, 79442323 edges, 322912 markings/sec, 90 secs
lola: 35099476 markings, 83224436 edges, 317928 markings/sec, 95 secs
lola: 36692089 markings, 87021898 edges, 318523 markings/sec, 100 secs
lola: 38314324 markings, 90883793 edges, 324447 markings/sec, 105 secs
lola: 39926982 markings, 94703398 edges, 322532 markings/sec, 110 secs
lola: 41472683 markings, 98400859 edges, 309140 markings/sec, 115 secs
lola: 43088641 markings, 102268399 edges, 323192 markings/sec, 120 secs
lola: 44729743 markings, 106189531 edges, 328220 markings/sec, 125 secs
lola: 46369592 markings, 110107147 edges, 327970 markings/sec, 130 secs
lola: 47954565 markings, 113881110 edges, 316995 markings/sec, 135 secs
lola: 49561133 markings, 117713614 edges, 321314 markings/sec, 140 secs
lola: 51129468 markings, 121444047 edges, 313667 markings/sec, 145 secs
lola: 52697470 markings, 125168498 edges, 313600 markings/sec, 150 secs
lola: 54271571 markings, 128931060 edges, 314820 markings/sec, 155 secs
lola: 55825669 markings, 132639717 edges, 310820 markings/sec, 160 secs
lola: 57404745 markings, 136401079 edges, 315815 markings/sec, 165 secs
lola: 58955397 markings, 140110377 edges, 310130 markings/sec, 170 secs
lola: 60549289 markings, 143917719 edges, 318778 markings/sec, 175 secs
lola: 62115122 markings, 147664224 edges, 313167 markings/sec, 180 secs
lola: 63671663 markings, 151387766 edges, 311308 markings/sec, 185 secs
lola: 65236874 markings, 155125736 edges, 313042 markings/sec, 190 secs
lola: 66594399 markings, 158366442 edges, 271505 markings/sec, 195 secs
lola: 68128323 markings, 162029068 edges, 306785 markings/sec, 200 secs
lola: 69667900 markings, 165711315 edges, 307915 markings/sec, 205 secs
lola: 71219863 markings, 169405273 edges, 310393 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(LoadingMem)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2545261 markings, 4713011 edges, 509052 markings/sec, 0 secs
lola: 4732992 markings, 9012447 edges, 437546 markings/sec, 5 secs
lola: 6864502 markings, 13181843 edges, 426302 markings/sec, 10 secs
lola: 8954663 markings, 17342897 edges, 418032 markings/sec, 15 secs
lola: 10907551 markings, 21321411 edges, 390578 markings/sec, 20 secs
lola: 12709724 markings, 25030101 edges, 360435 markings/sec, 25 secs
lola: 14176710 markings, 28199092 edges, 293397 markings/sec, 30 secs
lola: 15618658 markings, 31314576 edges, 288390 markings/sec, 35 secs
lola: 17063552 markings, 34436871 edges, 288979 markings/sec, 40 secs
lola: 18496199 markings, 37533495 edges, 286529 markings/sec, 45 secs
lola: 19929718 markings, 40631654 edges, 286704 markings/sec, 50 secs
lola: 21362503 markings, 43729087 edges, 286557 markings/sec, 55 secs
lola: 22785617 markings, 46805877 edges, 284623 markings/sec, 60 secs
lola: 24197735 markings, 49858264 edges, 282424 markings/sec, 65 secs
lola: 25614845 markings, 52922030 edges, 283422 markings/sec, 70 secs
lola: 27040066 markings, 56003445 edges, 285044 markings/sec, 75 secs
lola: 28451949 markings, 59056044 edges, 282377 markings/sec, 80 secs
lola: 29858369 markings, 62095601 edges, 281284 markings/sec, 85 secs
lola: 31269862 markings, 65147038 edges, 282299 markings/sec, 90 secs
lola: 32683174 markings, 68202074 edges, 282662 markings/sec, 95 secs
lola: 34079590 markings, 71221361 edges, 279283 markings/sec, 100 secs
lola: 35500162 markings, 74292831 edges, 284114 markings/sec, 105 secs
lola: 36889906 markings, 77296995 edges, 277949 markings/sec, 110 secs
lola: 38297614 markings, 80340766 edges, 281542 markings/sec, 115 secs
lola: 39698984 markings, 83370005 edges, 280274 markings/sec, 120 secs
lola: 41104226 markings, 86409440 edges, 281048 markings/sec, 125 secs
lola: 42517937 markings, 89465283 edges, 282742 markings/sec, 130 secs
lola: 43919410 markings, 92495649 edges, 280295 markings/sec, 135 secs
lola: 45312067 markings, 95507470 edges, 278531 markings/sec, 140 secs
lola: 46687655 markings, 98481680 edges, 275118 markings/sec, 145 secs
lola: 48100687 markings, 101536808 edges, 282606 markings/sec, 150 secs
lola: 49485092 markings, 104529221 edges, 276881 markings/sec, 155 secs
lola: 50885987 markings, 107556317 edges, 280179 markings/sec, 160 secs
lola: 52275045 markings, 110560179 edges, 277812 markings/sec, 165 secs
lola: 53663220 markings, 113561542 edges, 277635 markings/sec, 170 secs
lola: 55049168 markings, 116558335 edges, 277190 markings/sec, 175 secs
lola: 56436985 markings, 119555951 edges, 277563 markings/sec, 180 secs
lola: 57838800 markings, 122584821 edges, 280363 markings/sec, 185 secs
lola: 59277580 markings, 125695727 edges, 287756 markings/sec, 190 secs
lola: 60664892 markings, 128695554 edges, 277462 markings/sec, 195 secs
lola: 62056546 markings, 131705196 edges, 278331 markings/sec, 200 secs
lola: 63463998 markings, 134739321 edges, 281490 markings/sec, 205 secs
lola: 64871758 markings, 137781646 edges, 281552 markings/sec, 210 secs
lola: 66305848 markings, 140882129 edges, 286818 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskSuspended)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2972812 markings, 4953736 edges, 594562 markings/sec, 0 secs
lola: 5580789 markings, 9416266 edges, 521595 markings/sec, 5 secs
lola: 7820401 markings, 13382466 edges, 447922 markings/sec, 10 secs
lola: 9925399 markings, 17173916 edges, 421000 markings/sec, 15 secs
lola: 11977854 markings, 20911485 edges, 410491 markings/sec, 20 secs
lola: 14408346 markings, 25062884 edges, 486098 markings/sec, 25 secs
lola: 16121217 markings, 28806474 edges, 342574 markings/sec, 30 secs
lola: 16975107 markings, 31980217 edges, 170778 markings/sec, 35 secs
lola: 17849511 markings, 35086347 edges, 174881 markings/sec, 40 secs
lola: 18743429 markings, 38170822 edges, 178784 markings/sec, 45 secs
lola: 19657648 markings, 41259969 edges, 182844 markings/sec, 50 secs
lola: 20598227 markings, 44387031 edges, 188116 markings/sec, 55 secs
lola: 22983151 markings, 48948051 edges, 476985 markings/sec, 60 secs
lola: 25710222 markings, 53494566 edges, 545414 markings/sec, 65 secs
lola: 28262043 markings, 57747477 edges, 510364 markings/sec, 70 secs
lola: 30678875 markings, 61774643 edges, 483366 markings/sec, 75 secs
lola: 32977419 markings, 65606619 edges, 459709 markings/sec, 80 secs
lola: 35169966 markings, 69272839 edges, 438509 markings/sec, 85 secs
lola: 36801730 markings, 72905328 edges, 326353 markings/sec, 90 secs
lola: 37291476 markings, 76332803 edges, 97949 markings/sec, 95 secs
lola: 38117130 markings, 79718377 edges, 165131 markings/sec, 100 secs
lola: 40324109 markings, 83397546 edges, 441396 markings/sec, 105 secs
lola: 42522153 markings, 87070277 edges, 439609 markings/sec, 110 secs
lola: 44696033 markings, 90725023 edges, 434776 markings/sec, 115 secs
lola: 46850655 markings, 94317360 edges, 430924 markings/sec, 120 secs
lola: 48982271 markings, 97917257 edges, 426323 markings/sec, 125 secs
lola: 51128010 markings, 101508981 edges, 429148 markings/sec, 130 secs
lola: 53249752 markings, 105070176 edges, 424348 markings/sec, 135 secs
lola: 55376979 markings, 108653038 edges, 425445 markings/sec, 140 secs
lola: 57493366 markings, 112266034 edges, 423277 markings/sec, 145 secs
lola: 59585280 markings, 115822990 edges, 418383 markings/sec, 150 secs
lola: 61702933 markings, 119353343 edges, 423531 markings/sec, 155 secs
lola: 63820596 markings, 122923609 edges, 423533 markings/sec, 160 secs
lola: 65916775 markings, 126457168 edges, 419236 markings/sec, 165 secs
lola: 68032686 markings, 129984742 edges, 423182 markings/sec, 170 secs
lola: 70057764 markings, 133424764 edges, 405016 markings/sec, 175 secs
lola: 72081253 markings, 136858290 edges, 404698 markings/sec, 180 secs
lola: 74161034 markings, 140325537 edges, 415956 markings/sec, 185 secs
lola: 76271114 markings, 143852672 edges, 422016 markings/sec, 190 secs
lola: 78320372 markings, 147295907 edges, 409852 markings/sec, 195 secs
lola: 80243245 markings, 150595113 edges, 384575 markings/sec, 200 secs
lola: 81252829 markings, 153626351 edges, 201917 markings/sec, 205 secs
lola: 82150440 markings, 156865146 edges, 179522 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FreeMemSegment)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2271670 markings, 5235657 edges, 454334 markings/sec, 0 secs
lola: 4311531 markings, 10024828 edges, 407972 markings/sec, 5 secs
lola: 6203946 markings, 14496045 edges, 378483 markings/sec, 10 secs
lola: 8039885 markings, 18839078 edges, 367188 markings/sec, 15 secs
lola: 9820633 markings, 23057206 edges, 356150 markings/sec, 20 secs
lola: 11518848 markings, 27101996 edges, 339643 markings/sec, 25 secs
lola: 13220327 markings, 31145731 edges, 340296 markings/sec, 30 secs
lola: 14925863 markings, 35191638 edges, 341107 markings/sec, 35 secs
lola: 16589959 markings, 39153463 edges, 332819 markings/sec, 40 secs
lola: 18265272 markings, 43135174 edges, 335063 markings/sec, 45 secs
lola: 19928344 markings, 47086408 edges, 332614 markings/sec, 50 secs
lola: 21548033 markings, 50941266 edges, 323938 markings/sec, 55 secs
lola: 23180844 markings, 54835428 edges, 326562 markings/sec, 60 secs
lola: 24806045 markings, 58702771 edges, 325040 markings/sec, 65 secs
lola: 26463661 markings, 62642051 edges, 331523 markings/sec, 70 secs
lola: 28092433 markings, 66518589 edges, 325754 markings/sec, 75 secs
lola: 29699421 markings, 70354219 edges, 321398 markings/sec, 80 secs
lola: 31346579 markings, 74286142 edges, 329432 markings/sec, 85 secs
lola: 32960887 markings, 78137191 edges, 322862 markings/sec, 90 secs
lola: 34541391 markings, 81906539 edges, 316101 markings/sec, 95 secs
lola: 36139032 markings, 85700315 edges, 319528 markings/sec, 100 secs
lola: 37737677 markings, 89513406 edges, 319729 markings/sec, 105 secs
lola: 39328762 markings, 93292515 edges, 318217 markings/sec, 110 secs
lola: 40905393 markings, 97045295 edges, 315326 markings/sec, 115 secs
lola: 42456474 markings, 100754855 edges, 310216 markings/sec, 120 secs
lola: 44107979 markings, 104701498 edges, 330301 markings/sec, 125 secs
lola: 45694248 markings, 108489820 edges, 317254 markings/sec, 130 secs
lola: 47318040 markings, 112359436 edges, 324758 markings/sec, 135 secs
lola: 48871667 markings, 116065309 edges, 310725 markings/sec, 140 secs
lola: 50468801 markings, 119874413 edges, 319427 markings/sec, 145 secs
lola: 52026202 markings, 123572271 edges, 311480 markings/sec, 150 secs
lola: 53575427 markings, 127266432 edges, 309845 markings/sec, 155 secs
lola: 55116088 markings, 130951104 edges, 308132 markings/sec, 160 secs
lola: 56686718 markings, 134691677 edges, 314126 markings/sec, 165 secs
lola: 58191456 markings, 138281496 edges, 300948 markings/sec, 170 secs
lola: 59786858 markings, 142093613 edges, 319080 markings/sec, 175 secs
lola: 61345131 markings, 145821954 edges, 311655 markings/sec, 180 secs
lola: 62890783 markings, 149519215 edges, 309130 markings/sec, 185 secs
lola: 64450191 markings, 153243888 edges, 311882 markings/sec, 190 secs
lola: 65984521 markings, 156907764 edges, 306866 markings/sec, 195 secs
lola: 67501927 markings, 160537777 edges, 303481 markings/sec, 200 secs
lola: 69053691 markings, 164243947 edges, 310353 markings/sec, 205 secs
lola: 70580783 markings, 167886379 edges, 305418 markings/sec, 210 secs
lola: 72094189 markings, 171480342 edges, 302681 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496560238090
--------------------
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="S_SmallOperatingSystem-PT-MT2048DC1024"
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/S_SmallOperatingSystem-PT-MT2048DC1024.tgz
mv S_SmallOperatingSystem-PT-MT2048DC1024 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 S_SmallOperatingSystem-PT-MT2048DC1024, 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 r158-ebro-149443463900020"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;