About the Execution of LoLA for SmallOperatingSystem-PT-MT4096DC1024
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
8231.290 | 3540216.00 | 3556590.00 | 647.60 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 SmallOperatingSystem-PT-MT4096DC1024, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008100029
=====================================================================
--------------------
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-MT4096DC1024-UpperBounds-0
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-1
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-10
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-11
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-12
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-13
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-14
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-15
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-2
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-3
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-4
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-5
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-6
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-7
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-8
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494927910743
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SmallOperatingSystem-PT-MT4096DC1024 @ 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-MT4096DC1024-UpperBounds.task
lola: MAX(TransferToDisk) : MAX(DiskControllerUnit) : MAX(TaskReady) : MAX(TransferToDisk) : MAX(TaskReady) : MAX(ExecutingTask) : MAX(TaskReady) : MAX(TransferToDisk) : MAX(TaskReady) : MAX(CPUUnit) : MAX(TransferToDisk) : MAX(TaskSuspended) : MAX(ExecutingTask) : MAX(FreeMemSegment) : MAX(FreeMemSegment) : MAX(ExecutingTask)
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(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: 3056482 markings, 4337421 edges, 611296 markings/sec, 0 secs
lola: 5288882 markings, 7936069 edges, 446480 markings/sec, 5 secs
lola: 7510944 markings, 11515572 edges, 444412 markings/sec, 10 secs
lola: 9709984 markings, 15059779 edges, 439808 markings/sec, 15 secs
lola: 11978563 markings, 18716498 edges, 453716 markings/sec, 20 secs
lola: 14231408 markings, 22348913 edges, 450569 markings/sec, 25 secs
lola: 16496547 markings, 26000868 edges, 453028 markings/sec, 30 secs
lola: 18769089 markings, 29663406 edges, 454508 markings/sec, 35 secs
lola: 21056458 markings, 33352596 edges, 457474 markings/sec, 40 secs
lola: 22951399 markings, 36597223 edges, 378988 markings/sec, 45 secs
lola: 24844839 markings, 39844064 edges, 378688 markings/sec, 50 secs
lola: 26755520 markings, 43122025 edges, 382136 markings/sec, 55 secs
lola: 28581245 markings, 46369581 edges, 365145 markings/sec, 60 secs
lola: 29789918 markings, 49591967 edges, 241735 markings/sec, 65 secs
lola: 30986249 markings, 52781561 edges, 239266 markings/sec, 70 secs
lola: 32197038 markings, 56009783 edges, 242158 markings/sec, 75 secs
lola: 33406773 markings, 59235188 edges, 241947 markings/sec, 80 secs
lola: 34621797 markings, 62474587 edges, 243005 markings/sec, 85 secs
lola: 36225545 markings, 65622455 edges, 320750 markings/sec, 90 secs
lola: 37865347 markings, 68749905 edges, 327960 markings/sec, 95 secs
lola: 39493943 markings, 71863948 edges, 325719 markings/sec, 100 secs
lola: 41136406 markings, 74998201 edges, 328493 markings/sec, 105 secs
lola: 42780930 markings, 78138561 edges, 328905 markings/sec, 110 secs
lola: 44431785 markings, 81294587 edges, 330171 markings/sec, 115 secs
lola: 46080425 markings, 84445309 edges, 329728 markings/sec, 120 secs
lola: 47709131 markings, 87547780 edges, 325741 markings/sec, 125 secs
lola: 49328235 markings, 90642430 edges, 323821 markings/sec, 130 secs
lola: 50945354 markings, 93733353 edges, 323424 markings/sec, 135 secs
lola: 52563802 markings, 96828250 edges, 323690 markings/sec, 140 secs
lola: 54196069 markings, 99943037 edges, 326453 markings/sec, 145 secs
lola: 55827277 markings, 103056707 edges, 326242 markings/sec, 150 secs
lola: 57460299 markings, 106175054 edges, 326604 markings/sec, 155 secs
lola: 59094640 markings, 109256888 edges, 326868 markings/sec, 160 secs
lola: 60677037 markings, 112241355 edges, 316479 markings/sec, 165 secs
lola: 62130108 markings, 114990797 edges, 290614 markings/sec, 170 secs
lola: 63659057 markings, 117899078 edges, 305790 markings/sec, 175 secs
lola: 65218817 markings, 120846431 edges, 311952 markings/sec, 180 secs
lola: 66789001 markings, 123791730 edges, 314037 markings/sec, 185 secs
lola: 68348274 markings, 126736845 edges, 311855 markings/sec, 190 secs
lola: 69887427 markings, 129631088 edges, 307831 markings/sec, 195 secs
lola: 71423059 markings, 132526436 edges, 307126 markings/sec, 200 secs
lola: 72951243 markings, 135416797 edges, 305637 markings/sec, 205 secs
lola: 74462311 markings, 138294741 edges, 302214 markings/sec, 210 secs
lola: 75985792 markings, 141203954 edges, 304696 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(DiskControllerUnit)
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: 1787302 markings, 4303888 edges, 357460 markings/sec, 0 secs
lola: 3427073 markings, 8319675 edges, 327954 markings/sec, 5 secs
lola: 5018230 markings, 12242538 edges, 318231 markings/sec, 10 secs
lola: 6586453 markings, 16100269 edges, 313645 markings/sec, 15 secs
lola: 8143733 markings, 19933178 edges, 311456 markings/sec, 20 secs
lola: 9681331 markings, 23725136 edges, 307520 markings/sec, 25 secs
lola: 11197609 markings, 27467678 edges, 303256 markings/sec, 30 secs
lola: 12687584 markings, 31151934 edges, 297995 markings/sec, 35 secs
lola: 14219195 markings, 34925672 edges, 306322 markings/sec, 40 secs
lola: 15714340 markings, 38635371 edges, 299029 markings/sec, 45 secs
lola: 17207634 markings, 42334814 edges, 298659 markings/sec, 50 secs
lola: 18677137 markings, 45970603 edges, 293901 markings/sec, 55 secs
lola: 20136533 markings, 49578974 edges, 291879 markings/sec, 60 secs
lola: 21595699 markings, 53185250 edges, 291833 markings/sec, 65 secs
lola: 23079331 markings, 56838289 edges, 296726 markings/sec, 70 secs
lola: 24558100 markings, 60500512 edges, 295754 markings/sec, 75 secs
lola: 26057666 markings, 64188530 edges, 299913 markings/sec, 80 secs
lola: 27518852 markings, 67801969 edges, 292237 markings/sec, 85 secs
lola: 28997012 markings, 71452711 edges, 295632 markings/sec, 90 secs
lola: 30457641 markings, 75070989 edges, 292126 markings/sec, 95 secs
lola: 31917749 markings, 78689307 edges, 292022 markings/sec, 100 secs
lola: 33387970 markings, 82322583 edges, 294044 markings/sec, 105 secs
lola: 34831990 markings, 85906971 edges, 288804 markings/sec, 110 secs
lola: 36270612 markings, 89467928 edges, 287724 markings/sec, 115 secs
lola: 37694165 markings, 93002981 edges, 284711 markings/sec, 120 secs
lola: 39128443 markings, 96561338 edges, 286856 markings/sec, 125 secs
lola: 40569946 markings, 100144327 edges, 288301 markings/sec, 130 secs
lola: 42008789 markings, 103709382 edges, 287769 markings/sec, 135 secs
lola: 43433421 markings, 107254551 edges, 284926 markings/sec, 140 secs
lola: 44862580 markings, 110812322 edges, 285832 markings/sec, 145 secs
lola: 46284244 markings, 114349429 edges, 284333 markings/sec, 150 secs
lola: 47704903 markings, 117881811 edges, 284132 markings/sec, 155 secs
lola: 49113891 markings, 121382230 edges, 281798 markings/sec, 160 secs
lola: 50512382 markings, 124857399 edges, 279698 markings/sec, 165 secs
lola: 51918440 markings, 128353857 edges, 281212 markings/sec, 170 secs
lola: 53328668 markings, 131858576 edges, 282046 markings/sec, 175 secs
lola: 54722699 markings, 135329350 edges, 278806 markings/sec, 180 secs
lola: 56145515 markings, 138863471 edges, 284563 markings/sec, 185 secs
lola: 57556448 markings, 142373710 edges, 282187 markings/sec, 190 secs
lola: 58963202 markings, 145874770 edges, 281351 markings/sec, 195 secs
lola: 60367697 markings, 149362295 edges, 280899 markings/sec, 200 secs
lola: 61793358 markings, 152914516 edges, 285132 markings/sec, 205 secs
lola: 63203655 markings, 156423771 edges, 282059 markings/sec, 210 secs
lola: 64614283 markings, 159929803 edges, 282126 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(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: 1818720 markings, 4380886 edges, 363744 markings/sec, 0 secs
lola: 3484344 markings, 8461974 edges, 333125 markings/sec, 5 secs
lola: 5093987 markings, 12429273 edges, 321929 markings/sec, 10 secs
lola: 6675968 markings, 16322609 edges, 316396 markings/sec, 15 secs
lola: 8247310 markings, 20190293 edges, 314268 markings/sec, 20 secs
lola: 9799080 markings, 24017359 edges, 310354 markings/sec, 25 secs
lola: 11330104 markings, 27795727 edges, 306205 markings/sec, 30 secs
lola: 12845367 markings, 31542449 edges, 303053 markings/sec, 35 secs
lola: 14380551 markings, 35324819 edges, 307037 markings/sec, 40 secs
lola: 15888177 markings, 39066430 edges, 301525 markings/sec, 45 secs
lola: 17379090 markings, 42760411 edges, 298183 markings/sec, 50 secs
lola: 18884104 markings, 46481785 edges, 301003 markings/sec, 55 secs
lola: 20383743 markings, 50191894 edges, 299928 markings/sec, 60 secs
lola: 21866700 markings, 53857853 edges, 296591 markings/sec, 65 secs
lola: 23380522 markings, 57583842 edges, 302764 markings/sec, 70 secs
lola: 24876857 markings, 61287652 edges, 299267 markings/sec, 75 secs
lola: 26391402 markings, 65014900 edges, 302909 markings/sec, 80 secs
lola: 27883037 markings, 68696349 edges, 298327 markings/sec, 85 secs
lola: 29372551 markings, 72374909 edges, 297903 markings/sec, 90 secs
lola: 30838847 markings, 76014936 edges, 293259 markings/sec, 95 secs
lola: 32318931 markings, 79675187 edges, 296017 markings/sec, 100 secs
lola: 33793477 markings, 83328705 edges, 294909 markings/sec, 105 secs
lola: 35245053 markings, 86928556 edges, 290315 markings/sec, 110 secs
lola: 36696923 markings, 90528283 edges, 290374 markings/sec, 115 secs
lola: 38135506 markings, 94098332 edges, 287717 markings/sec, 120 secs
lola: 39596932 markings, 97719489 edges, 292285 markings/sec, 125 secs
lola: 41041689 markings, 101315195 edges, 288951 markings/sec, 130 secs
lola: 42478921 markings, 104878591 edges, 287446 markings/sec, 135 secs
lola: 43921895 markings, 108472342 edges, 288595 markings/sec, 140 secs
lola: 45367036 markings, 112064672 edges, 289028 markings/sec, 145 secs
lola: 46807884 markings, 115647782 edges, 288170 markings/sec, 150 secs
lola: 48224738 markings, 119173618 edges, 283371 markings/sec, 155 secs
lola: 49640920 markings, 122689712 edges, 283236 markings/sec, 160 secs
lola: 51038006 markings, 126160956 edges, 279417 markings/sec, 165 secs
lola: 52473015 markings, 129734780 edges, 287002 markings/sec, 170 secs
lola: 53881185 markings, 133233631 edges, 281634 markings/sec, 175 secs
lola: 55299280 markings, 136762555 edges, 283619 markings/sec, 180 secs
lola: 56721195 markings, 140292180 edges, 284383 markings/sec, 185 secs
lola: 58152896 markings, 143852302 edges, 286340 markings/sec, 190 secs
lola: 59576947 markings, 147399094 edges, 284810 markings/sec, 195 secs
lola: 61004035 markings, 150947494 edges, 285418 markings/sec, 200 secs
lola: 62430123 markings, 154497246 edges, 285218 markings/sec, 205 secs
lola: 63864149 markings, 158066741 edges, 286805 markings/sec, 210 secs
lola: 65290237 markings, 161612470 edges, 285218 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(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: 3098873 markings, 4404481 edges, 619775 markings/sec, 0 secs
lola: 5353617 markings, 8036972 edges, 450949 markings/sec, 5 secs
lola: 7604296 markings, 11665398 edges, 450136 markings/sec, 10 secs
lola: 9851393 markings, 15290241 edges, 449419 markings/sec, 15 secs
lola: 12101072 markings, 18917666 edges, 449936 markings/sec, 20 secs
lola: 14347016 markings, 22537425 edges, 449189 markings/sec, 25 secs
lola: 16576042 markings, 26129125 edges, 445805 markings/sec, 30 secs
lola: 18822391 markings, 29749634 edges, 449270 markings/sec, 35 secs
lola: 21086897 markings, 33400717 edges, 452901 markings/sec, 40 secs
lola: 22994472 markings, 36671111 edges, 381515 markings/sec, 45 secs
lola: 24888388 markings, 39919022 edges, 378783 markings/sec, 50 secs
lola: 26776183 markings, 43160843 edges, 377559 markings/sec, 55 secs
lola: 28602228 markings, 46425227 edges, 365209 markings/sec, 60 secs
lola: 29823331 markings, 49681195 edges, 244221 markings/sec, 65 secs
lola: 31036721 markings, 52916240 edges, 242678 markings/sec, 70 secs
lola: 32253253 markings, 56159785 edges, 243306 markings/sec, 75 secs
lola: 33496444 markings, 59474336 edges, 248638 markings/sec, 80 secs
lola: 34753888 markings, 62825222 edges, 251489 markings/sec, 85 secs
lola: 36421383 markings, 65991678 edges, 333499 markings/sec, 90 secs
lola: 38079312 markings, 69159708 edges, 331586 markings/sec, 95 secs
lola: 39735071 markings, 72320426 edges, 331152 markings/sec, 100 secs
lola: 41391727 markings, 75489005 edges, 331331 markings/sec, 105 secs
lola: 43049937 markings, 78651829 edges, 331642 markings/sec, 110 secs
lola: 44691567 markings, 81785803 edges, 328326 markings/sec, 115 secs
lola: 46359301 markings, 84971637 edges, 333547 markings/sec, 120 secs
lola: 47994927 markings, 88096004 edges, 327125 markings/sec, 125 secs
lola: 49631189 markings, 91222239 edges, 327252 markings/sec, 130 secs
lola: 51272613 markings, 94354712 edges, 328285 markings/sec, 135 secs
lola: 52913061 markings, 97489771 edges, 328090 markings/sec, 140 secs
lola: 54556809 markings, 100633688 edges, 328750 markings/sec, 145 secs
lola: 56184130 markings, 103737777 edges, 325464 markings/sec, 150 secs
lola: 57826388 markings, 106876907 edges, 328452 markings/sec, 155 secs
lola: 59463375 markings, 109955693 edges, 327397 markings/sec, 160 secs
lola: 61062523 markings, 112962175 edges, 319830 markings/sec, 165 secs
lola: 62632421 markings, 115945546 edges, 313980 markings/sec, 170 secs
lola: 64198537 markings, 118936337 edges, 313223 markings/sec, 175 secs
lola: 65774160 markings, 121896438 edges, 315125 markings/sec, 180 secs
lola: 67345480 markings, 124825994 edges, 314264 markings/sec, 185 secs
lola: 68897321 markings, 127765659 edges, 310368 markings/sec, 190 secs
lola: 70435393 markings, 130662943 edges, 307614 markings/sec, 195 secs
lola: 71980443 markings, 133577895 edges, 309010 markings/sec, 200 secs
lola: 73526063 markings, 136508159 edges, 309124 markings/sec, 205 secs
lola: 75052910 markings, 139415427 edges, 305369 markings/sec, 210 secs
lola: 76588676 markings, 142356419 edges, 307153 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(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: 1777001 markings, 4278660 edges, 355400 markings/sec, 0 secs
lola: 3415087 markings, 8290184 edges, 327617 markings/sec, 5 secs
lola: 5002128 markings, 12203866 edges, 317408 markings/sec, 10 secs
lola: 6567048 markings, 16051168 edges, 312984 markings/sec, 15 secs
lola: 8107517 markings, 19844135 edges, 308094 markings/sec, 20 secs
lola: 9624936 markings, 23584761 edges, 303484 markings/sec, 25 secs
lola: 11122922 markings, 27283116 edges, 299597 markings/sec, 30 secs
lola: 12602593 markings, 30938628 edges, 295934 markings/sec, 35 secs
lola: 14079684 markings, 34588685 edges, 295418 markings/sec, 40 secs
lola: 15547690 markings, 38221183 edges, 293601 markings/sec, 45 secs
lola: 17025855 markings, 41883291 edges, 295633 markings/sec, 50 secs
lola: 18499370 markings, 45528979 edges, 294703 markings/sec, 55 secs
lola: 19966416 markings, 49159992 edges, 293409 markings/sec, 60 secs
lola: 21431706 markings, 52778110 edges, 293058 markings/sec, 65 secs
lola: 22913207 markings, 56433890 edges, 296300 markings/sec, 70 secs
lola: 24383423 markings, 60071368 edges, 294043 markings/sec, 75 secs
lola: 25886791 markings, 63767181 edges, 300674 markings/sec, 80 secs
lola: 27346868 markings, 67377448 edges, 292015 markings/sec, 85 secs
lola: 28813698 markings, 71002292 edges, 293366 markings/sec, 90 secs
lola: 30261099 markings, 74585736 edges, 289480 markings/sec, 95 secs
lola: 31707186 markings, 78164228 edges, 289217 markings/sec, 100 secs
lola: 33157878 markings, 81754920 edges, 290138 markings/sec, 105 secs
lola: 34590191 markings, 85305238 edges, 286463 markings/sec, 110 secs
lola: 36025996 markings, 88860113 edges, 287161 markings/sec, 115 secs
lola: 37440457 markings, 92372187 edges, 282892 markings/sec, 120 secs
lola: 38865331 markings, 95907870 edges, 284975 markings/sec, 125 secs
lola: 40293577 markings, 99454025 edges, 285649 markings/sec, 130 secs
lola: 41724298 markings, 103005292 edges, 286144 markings/sec, 135 secs
lola: 43134895 markings, 106511504 edges, 282119 markings/sec, 140 secs
lola: 44561085 markings, 110059648 edges, 285238 markings/sec, 145 secs
lola: 45974469 markings, 113576127 edges, 282677 markings/sec, 150 secs
lola: 47392967 markings, 117106781 edges, 283700 markings/sec, 155 secs
lola: 48804975 markings, 120611817 edges, 282402 markings/sec, 160 secs
lola: 50208097 markings, 124099048 edges, 280624 markings/sec, 165 secs
lola: 51606712 markings, 127578272 edges, 279723 markings/sec, 170 secs
lola: 53025504 markings, 131110942 edges, 283758 markings/sec, 175 secs
lola: 54417667 markings, 134571935 edges, 278433 markings/sec, 180 secs
lola: 55830627 markings, 138080935 edges, 282592 markings/sec, 185 secs
lola: 57238379 markings, 141579542 edges, 281550 markings/sec, 190 secs
lola: 58646989 markings, 145085691 edges, 281722 markings/sec, 195 secs
lola: 60047380 markings, 148566072 edges, 280078 markings/sec, 200 secs
lola: 61458734 markings, 152082613 edges, 282271 markings/sec, 205 secs
lola: 62838855 markings, 155516832 edges, 276024 markings/sec, 210 secs
lola: 64244884 markings, 159011807 edges, 281206 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(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: 2890915 markings, 4336375 edges, 578183 markings/sec, 0 secs
lola: 5307451 markings, 8229115 edges, 483307 markings/sec, 5 secs
lola: 7346896 markings, 11873952 edges, 407889 markings/sec, 10 secs
lola: 9208002 markings, 15378896 edges, 372221 markings/sec, 15 secs
lola: 10965375 markings, 18798015 edges, 351475 markings/sec, 20 secs
lola: 12633057 markings, 22123732 edges, 333536 markings/sec, 25 secs
lola: 14273522 markings, 25469302 edges, 328093 markings/sec, 30 secs
lola: 15897665 markings, 28850879 edges, 324829 markings/sec, 35 secs
lola: 17502660 markings, 32246176 edges, 320999 markings/sec, 40 secs
lola: 19081278 markings, 35632516 edges, 315724 markings/sec, 45 secs
lola: 20645105 markings, 39025405 edges, 312765 markings/sec, 50 secs
lola: 22196923 markings, 42426534 edges, 310364 markings/sec, 55 secs
lola: 23727352 markings, 45814160 edges, 306086 markings/sec, 60 secs
lola: 25248227 markings, 49207800 edges, 304175 markings/sec, 65 secs
lola: 26756575 markings, 52594635 edges, 301670 markings/sec, 70 secs
lola: 28259841 markings, 55968702 edges, 300653 markings/sec, 75 secs
lola: 29763206 markings, 59326804 edges, 300673 markings/sec, 80 secs
lola: 31274115 markings, 62696015 edges, 302182 markings/sec, 85 secs
lola: 32783781 markings, 66052414 edges, 301933 markings/sec, 90 secs
lola: 34291391 markings, 69392363 edges, 301522 markings/sec, 95 secs
lola: 35793530 markings, 72712683 edges, 300428 markings/sec, 100 secs
lola: 37305143 markings, 76048468 edges, 302323 markings/sec, 105 secs
lola: 38826349 markings, 79398960 edges, 304241 markings/sec, 110 secs
lola: 40347220 markings, 82741653 edges, 304174 markings/sec, 115 secs
lola: 41868268 markings, 86079033 edges, 304210 markings/sec, 120 secs
lola: 43391898 markings, 89413240 edges, 304726 markings/sec, 125 secs
lola: 44914640 markings, 92746158 edges, 304548 markings/sec, 130 secs
lola: 46748061 markings, 96449209 edges, 366684 markings/sec, 135 secs
lola: 49677909 markings, 101334014 edges, 585970 markings/sec, 140 secs
lola: 52211014 markings, 105555919 edges, 506621 markings/sec, 145 secs
lola: 54368715 markings, 108836569 edges, 431540 markings/sec, 150 secs
lola: 56289643 markings, 111721088 edges, 384186 markings/sec, 155 secs
lola: 58057581 markings, 114375875 edges, 353588 markings/sec, 160 secs
lola: 59762906 markings, 116950173 edges, 341065 markings/sec, 165 secs
lola: 61469619 markings, 119597407 edges, 341343 markings/sec, 170 secs
lola: 63216812 markings, 122387771 edges, 349439 markings/sec, 175 secs
lola: 65083969 markings, 125460520 edges, 373431 markings/sec, 180 secs
lola: 67426577 markings, 129365720 edges, 468522 markings/sec, 185 secs
lola: 69681722 markings, 133024554 edges, 451029 markings/sec, 190 secs
lola: 71929483 markings, 136479747 edges, 449552 markings/sec, 195 secs
lola: 73438219 markings, 138869211 edges, 301747 markings/sec, 200 secs
lola: 75654873 markings, 142294219 edges, 443331 markings/sec, 205 secs
lola: 77315128 markings, 145575294 edges, 332051 markings/sec, 210 secs
lola: 78951814 markings, 148353903 edges, 327337 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(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: 1814284 markings, 4369960 edges, 362857 markings/sec, 0 secs
lola: 3476077 markings, 8441959 edges, 332359 markings/sec, 5 secs
lola: 5087746 markings, 12413694 edges, 322334 markings/sec, 10 secs
lola: 6677474 markings, 16326138 edges, 317946 markings/sec, 15 secs
lola: 8258116 markings, 20216819 edges, 316128 markings/sec, 20 secs
lola: 9813712 markings, 24053475 edges, 311119 markings/sec, 25 secs
lola: 11350562 markings, 27848000 edges, 307370 markings/sec, 30 secs
lola: 12876438 markings, 31618124 edges, 305175 markings/sec, 35 secs
lola: 14416098 markings, 35413370 edges, 307932 markings/sec, 40 secs
lola: 15933334 markings, 39173036 edges, 303447 markings/sec, 45 secs
lola: 17434548 markings, 42897714 edges, 300243 markings/sec, 50 secs
lola: 18951020 markings, 46647318 edges, 303294 markings/sec, 55 secs
lola: 20454920 markings, 50368545 edges, 300780 markings/sec, 60 secs
lola: 21955434 markings, 54075417 edges, 300103 markings/sec, 65 secs
lola: 23476833 markings, 57825139 edges, 304280 markings/sec, 70 secs
lola: 24980167 markings, 61539207 edges, 300667 markings/sec, 75 secs
lola: 26498062 markings, 65278578 edges, 303579 markings/sec, 80 secs
lola: 27997573 markings, 68982197 edges, 299902 markings/sec, 85 secs
lola: 29485660 markings, 72659665 edges, 297617 markings/sec, 90 secs
lola: 30959533 markings, 76316562 edges, 294775 markings/sec, 95 secs
lola: 32441877 markings, 79986010 edges, 296469 markings/sec, 100 secs
lola: 33918662 markings, 83638237 edges, 295357 markings/sec, 105 secs
lola: 35377273 markings, 87256288 edges, 291722 markings/sec, 110 secs
lola: 36830446 markings, 90858629 edges, 290635 markings/sec, 115 secs
lola: 38278986 markings, 94454376 edges, 289708 markings/sec, 120 secs
lola: 39741106 markings, 98079491 edges, 292424 markings/sec, 125 secs
lola: 41191533 markings, 101687000 edges, 290085 markings/sec, 130 secs
lola: 42638647 markings, 105277200 edges, 289423 markings/sec, 135 secs
lola: 44089700 markings, 108892233 edges, 290211 markings/sec, 140 secs
lola: 45539925 markings, 112492579 edges, 290045 markings/sec, 145 secs
lola: 46982353 markings, 116082797 edges, 288486 markings/sec, 150 secs
lola: 48410375 markings, 119634547 edges, 285604 markings/sec, 155 secs
lola: 49845348 markings, 123198594 edges, 286995 markings/sec, 160 secs
lola: 51267672 markings, 126733024 edges, 284465 markings/sec, 165 secs
lola: 52705840 markings, 130313797 edges, 287634 markings/sec, 170 secs
lola: 54113017 markings, 133813644 edges, 281435 markings/sec, 175 secs
lola: 55538777 markings, 137361973 edges, 285152 markings/sec, 180 secs
lola: 56960816 markings, 140887819 edges, 284408 markings/sec, 185 secs
lola: 58390434 markings, 144446980 edges, 285924 markings/sec, 190 secs
lola: 59814029 markings, 147987011 edges, 284719 markings/sec, 195 secs
lola: 61252241 markings, 151566106 edges, 287642 markings/sec, 200 secs
lola: 62672910 markings, 155103600 edges, 284134 markings/sec, 205 secs
lola: 64114924 markings, 158689990 edges, 288403 markings/sec, 210 secs
lola: 65541554 markings, 162237310 edges, 285326 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(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: 3036244 markings, 4303665 edges, 607249 markings/sec, 0 secs
lola: 5234513 markings, 7849041 edges, 439654 markings/sec, 5 secs
lola: 7434916 markings, 11394370 edges, 440081 markings/sec, 10 secs
lola: 9623674 markings, 14923216 edges, 437752 markings/sec, 15 secs
lola: 11822819 markings, 18470008 edges, 439829 markings/sec, 20 secs
lola: 14026312 markings, 22017468 edges, 440699 markings/sec, 25 secs
lola: 16209733 markings, 25539699 edges, 436684 markings/sec, 30 secs
lola: 18422421 markings, 29106084 edges, 442538 markings/sec, 35 secs
lola: 20640901 markings, 32684846 edges, 443696 markings/sec, 40 secs
lola: 22553222 markings, 35916291 edges, 382464 markings/sec, 45 secs
lola: 24389498 markings, 39065223 edges, 367255 markings/sec, 50 secs
lola: 26228524 markings, 42220345 edges, 367805 markings/sec, 55 secs
lola: 28077101 markings, 45389278 edges, 369715 markings/sec, 60 secs
lola: 29396698 markings, 48543582 edges, 263919 markings/sec, 65 secs
lola: 30570909 markings, 51674379 edges, 234842 markings/sec, 70 secs
lola: 31742917 markings, 54799002 edges, 234402 markings/sec, 75 secs
lola: 32923851 markings, 57947508 edges, 236187 markings/sec, 80 secs
lola: 34133292 markings, 61172364 edges, 241888 markings/sec, 85 secs
lola: 35569977 markings, 64369119 edges, 287337 markings/sec, 90 secs
lola: 37187084 markings, 67453828 edges, 323421 markings/sec, 95 secs
lola: 38801111 markings, 70538242 edges, 322805 markings/sec, 100 secs
lola: 40410043 markings, 73609102 edges, 321786 markings/sec, 105 secs
lola: 42023159 markings, 76695080 edges, 322623 markings/sec, 110 secs
lola: 43643549 markings, 79789852 edges, 324078 markings/sec, 115 secs
lola: 45267821 markings, 82892660 edges, 324854 markings/sec, 120 secs
lola: 46891424 markings, 85990524 edges, 324721 markings/sec, 125 secs
lola: 48489936 markings, 89040043 edges, 319702 markings/sec, 130 secs
lola: 50085378 markings, 92087069 edges, 319088 markings/sec, 135 secs
lola: 51676221 markings, 95125745 edges, 318169 markings/sec, 140 secs
lola: 53275342 markings, 98183050 edges, 319824 markings/sec, 145 secs
lola: 54866749 markings, 101222997 edges, 318281 markings/sec, 150 secs
lola: 56471448 markings, 104287693 edges, 320940 markings/sec, 155 secs
lola: 58075172 markings, 107353613 edges, 320745 markings/sec, 160 secs
lola: 59675180 markings, 110337684 edges, 320002 markings/sec, 165 secs
lola: 61216819 markings, 113270608 edges, 308328 markings/sec, 170 secs
lola: 62756933 markings, 116180435 edges, 308023 markings/sec, 175 secs
lola: 64291591 markings, 119107855 edges, 306932 markings/sec, 180 secs
lola: 65841009 markings, 122019638 edges, 309884 markings/sec, 185 secs
lola: 67385300 markings, 124905179 edges, 308858 markings/sec, 190 secs
lola: 68910425 markings, 127789568 edges, 305025 markings/sec, 195 secs
lola: 70419068 markings, 130635209 edges, 301729 markings/sec, 200 secs
lola: 71926343 markings, 133478744 edges, 301455 markings/sec, 205 secs
lola: 73431381 markings, 136324068 edges, 301008 markings/sec, 210 secs
lola: 74911364 markings, 139149435 edges, 295997 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1799598 markings, 4333734 edges, 359920 markings/sec, 0 secs
lola: 3446141 markings, 8367191 edges, 329309 markings/sec, 5 secs
lola: 5045214 markings, 12309310 edges, 319815 markings/sec, 10 secs
lola: 6618616 markings, 16180610 edges, 314680 markings/sec, 15 secs
lola: 8181170 markings, 20025992 edges, 312511 markings/sec, 20 secs
lola: 9728134 markings, 23840820 edges, 309393 markings/sec, 25 secs
lola: 11247905 markings, 27592825 edges, 303954 markings/sec, 30 secs
lola: 12749509 markings, 31305409 edges, 300321 markings/sec, 35 secs
lola: 14269402 markings, 35049545 edges, 303979 markings/sec, 40 secs
lola: 15748635 markings, 38720736 edges, 295847 markings/sec, 45 secs
lola: 17231350 markings, 42393528 edges, 296543 markings/sec, 50 secs
lola: 18716110 markings, 46065808 edges, 296952 markings/sec, 55 secs
lola: 20193017 markings, 49718623 edges, 295381 markings/sec, 60 secs
lola: 21666323 markings, 53361670 edges, 294661 markings/sec, 65 secs
lola: 23157736 markings, 57031667 edges, 298283 markings/sec, 70 secs
lola: 24643173 markings, 60712092 edges, 297087 markings/sec, 75 secs
lola: 26153053 markings, 64425547 edges, 301976 markings/sec, 80 secs
lola: 27623902 markings, 68060822 edges, 294170 markings/sec, 85 secs
lola: 29105003 markings, 71719089 edges, 296220 markings/sec, 90 secs
lola: 30559452 markings, 75326310 edges, 290890 markings/sec, 95 secs
lola: 32029471 markings, 78963352 edges, 294004 markings/sec, 100 secs
lola: 33505372 markings, 82612201 edges, 295180 markings/sec, 105 secs
lola: 34957754 markings, 86216420 edges, 290476 markings/sec, 110 secs
lola: 36409404 markings, 89813003 edges, 290330 markings/sec, 115 secs
lola: 37846025 markings, 93379616 edges, 287324 markings/sec, 120 secs
lola: 39298953 markings, 96981987 edges, 290586 markings/sec, 125 secs
lola: 40749876 markings, 100591240 edges, 290185 markings/sec, 130 secs
lola: 42194327 markings, 104170614 edges, 288890 markings/sec, 135 secs
lola: 43636790 markings, 107760392 edges, 288493 markings/sec, 140 secs
lola: 45080732 markings, 111353156 edges, 288788 markings/sec, 145 secs
lola: 46514022 markings, 114917156 edges, 286658 markings/sec, 150 secs
lola: 47942615 markings, 118473005 edges, 285719 markings/sec, 155 secs
lola: 49377905 markings, 122035348 edges, 287058 markings/sec, 160 secs
lola: 50786799 markings, 125541649 edges, 281779 markings/sec, 165 secs
lola: 52232054 markings, 129136294 edges, 289051 markings/sec, 170 secs
lola: 53647071 markings, 132651374 edges, 283003 markings/sec, 175 secs
lola: 55055447 markings, 136155823 edges, 281675 markings/sec, 180 secs
lola: 56481276 markings, 139696170 edges, 285166 markings/sec, 185 secs
lola: 57916944 markings, 143267128 edges, 287134 markings/sec, 190 secs
lola: 59334315 markings, 146795661 edges, 283474 markings/sec, 195 secs
lola: 60763830 markings, 150351055 edges, 285903 markings/sec, 200 secs
lola: 62191818 markings, 153905525 edges, 285598 markings/sec, 205 secs
lola: 63617386 markings, 157447950 edges, 285114 markings/sec, 210 secs
lola: 65033053 markings, 160971585 edges, 283133 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 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: 2937926 markings, 4895606 edges, 587585 markings/sec, 0 secs
lola: 5453654 markings, 9193502 edges, 503146 markings/sec, 5 secs
lola: 7647802 markings, 13073905 edges, 438830 markings/sec, 10 secs
lola: 9734243 markings, 16827822 edges, 417288 markings/sec, 15 secs
lola: 11756376 markings, 20507210 edges, 404427 markings/sec, 20 secs
lola: 13718709 markings, 24107423 edges, 392467 markings/sec, 25 secs
lola: 15666301 markings, 27701223 edges, 389518 markings/sec, 30 secs
lola: 17589780 markings, 31270584 edges, 384696 markings/sec, 35 secs
lola: 19488906 markings, 34806854 edges, 379825 markings/sec, 40 secs
lola: 21363692 markings, 38311811 edges, 374957 markings/sec, 45 secs
lola: 23223130 markings, 41798255 edges, 371888 markings/sec, 50 secs
lola: 25061487 markings, 45254102 edges, 367671 markings/sec, 55 secs
lola: 26882162 markings, 48684628 edges, 364135 markings/sec, 60 secs
lola: 28688146 markings, 52094420 edges, 361197 markings/sec, 65 secs
lola: 30476171 markings, 55475678 edges, 357605 markings/sec, 70 secs
lola: 32261483 markings, 58858201 edges, 357062 markings/sec, 75 secs
lola: 34037998 markings, 62229532 edges, 355303 markings/sec, 80 secs
lola: 35809535 markings, 65592244 edges, 354307 markings/sec, 85 secs
lola: 37566901 markings, 68936659 edges, 351473 markings/sec, 90 secs
lola: 39321691 markings, 72281234 edges, 350958 markings/sec, 95 secs
lola: 41074336 markings, 75621924 edges, 350529 markings/sec, 100 secs
lola: 42822703 markings, 78958659 edges, 349673 markings/sec, 105 secs
lola: 44563594 markings, 82285107 edges, 348178 markings/sec, 110 secs
lola: 46288346 markings, 85582457 edges, 344950 markings/sec, 115 secs
lola: 48005303 markings, 88870149 edges, 343391 markings/sec, 120 secs
lola: 49717540 markings, 92147600 edges, 342447 markings/sec, 125 secs
lola: 51991267 markings, 96090154 edges, 454745 markings/sec, 130 secs
lola: 54440982 markings, 100174175 edges, 489943 markings/sec, 135 secs
lola: 56900066 markings, 104273571 edges, 491817 markings/sec, 140 secs
lola: 59321293 markings, 108310160 edges, 484245 markings/sec, 145 secs
lola: 60406567 markings, 111520509 edges, 217055 markings/sec, 150 secs
lola: 61212921 markings, 114475418 edges, 161271 markings/sec, 155 secs
lola: 62036344 markings, 117381981 edges, 164685 markings/sec, 160 secs
lola: 62869411 markings, 120249603 edges, 166613 markings/sec, 165 secs
lola: 63712475 markings, 123096914 edges, 168613 markings/sec, 170 secs
lola: 64559907 markings, 125918802 edges, 169486 markings/sec, 175 secs
lola: 65409895 markings, 128707665 edges, 169998 markings/sec, 180 secs
lola: 66262865 markings, 131482613 edges, 170594 markings/sec, 185 secs
lola: 67122479 markings, 134258035 edges, 171923 markings/sec, 190 secs
lola: 67987673 markings, 137032805 edges, 173039 markings/sec, 195 secs
lola: 68851969 markings, 139781846 edges, 172859 markings/sec, 200 secs
lola: 69713998 markings, 142508762 edges, 172406 markings/sec, 205 secs
lola: 70582717 markings, 145241792 edges, 173744 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: 3092829 markings, 4395660 edges, 618566 markings/sec, 0 secs
lola: 5336132 markings, 8008518 edges, 448661 markings/sec, 5 secs
lola: 7617679 markings, 11690059 edges, 456309 markings/sec, 10 secs
lola: 9899188 markings, 15366607 edges, 456302 markings/sec, 15 secs
lola: 12207554 markings, 19089034 edges, 461673 markings/sec, 20 secs
lola: 14513680 markings, 22806486 edges, 461225 markings/sec, 25 secs
lola: 16839052 markings, 26555458 edges, 465074 markings/sec, 30 secs
lola: 19170536 markings, 30312334 edges, 466297 markings/sec, 35 secs
lola: 21432936 markings, 33994470 edges, 452480 markings/sec, 40 secs
lola: 23356135 markings, 37292915 edges, 384640 markings/sec, 45 secs
lola: 25264206 markings, 40565002 edges, 381614 markings/sec, 50 secs
lola: 27182851 markings, 43857280 edges, 383729 markings/sec, 55 secs
lola: 28875375 markings, 47153730 edges, 338505 markings/sec, 60 secs
lola: 30091255 markings, 50395480 edges, 243176 markings/sec, 65 secs
lola: 31316693 markings, 53662484 edges, 245088 markings/sec, 70 secs
lola: 32550954 markings, 56953477 edges, 246852 markings/sec, 75 secs
lola: 33787202 markings, 60249454 edges, 247250 markings/sec, 80 secs
lola: 35109702 markings, 63503946 edges, 264500 markings/sec, 85 secs
lola: 36778735 markings, 66673044 edges, 333807 markings/sec, 90 secs
lola: 38438533 markings, 69847295 edges, 331960 markings/sec, 95 secs
lola: 40100509 markings, 73020738 edges, 332395 markings/sec, 100 secs
lola: 41769633 markings, 76209026 edges, 333825 markings/sec, 105 secs
lola: 43437785 markings, 79394719 edges, 333630 markings/sec, 110 secs
lola: 45107081 markings, 82583464 edges, 333859 markings/sec, 115 secs
lola: 46787628 markings, 85794977 edges, 336109 markings/sec, 120 secs
lola: 48429236 markings, 88924311 edges, 328322 markings/sec, 125 secs
lola: 50076674 markings, 92075932 edges, 329488 markings/sec, 130 secs
lola: 51731079 markings, 95235091 edges, 330881 markings/sec, 135 secs
lola: 53393427 markings, 98413139 edges, 332470 markings/sec, 140 secs
lola: 55058410 markings, 101588799 edges, 332997 markings/sec, 145 secs
lola: 56730454 markings, 104785166 edges, 334409 markings/sec, 150 secs
lola: 58406047 markings, 107975982 edges, 335119 markings/sec, 155 secs
lola: 60032560 markings, 111012509 edges, 325303 markings/sec, 160 secs
lola: 61618316 markings, 114034303 edges, 317151 markings/sec, 165 secs
lola: 63202596 markings, 117016398 edges, 316856 markings/sec, 170 secs
lola: 64770062 markings, 120013268 edges, 313493 markings/sec, 175 secs
lola: 66341293 markings, 122965434 edges, 314246 markings/sec, 180 secs
lola: 67909189 markings, 125901055 edges, 313579 markings/sec, 185 secs
lola: 69454843 markings, 128820183 edges, 309131 markings/sec, 190 secs
lola: 71008420 markings, 131744567 edges, 310715 markings/sec, 195 secs
lola: 72554179 markings, 134683953 edges, 309152 markings/sec, 200 secs
lola: 74095703 markings, 137594523 edges, 308305 markings/sec, 205 secs
lola: 75606187 markings, 140478671 edges, 302097 markings/sec, 210 secs
lola: 77148233 markings, 143387589 edges, 308409 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(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: 2881910 markings, 4802513 edges, 576382 markings/sec, 0 secs
lola: 5510877 markings, 9293672 edges, 525793 markings/sec, 5 secs
lola: 7833820 markings, 13406318 edges, 464589 markings/sec, 10 secs
lola: 9999682 markings, 17308718 edges, 433172 markings/sec, 15 secs
lola: 12067770 markings, 21076642 edges, 413618 markings/sec, 20 secs
lola: 14062537 markings, 24738840 edges, 398953 markings/sec, 25 secs
lola: 16010673 markings, 28338741 edges, 389627 markings/sec, 30 secs
lola: 17923410 markings, 31890392 edges, 382547 markings/sec, 35 secs
lola: 19813479 markings, 35412273 edges, 378014 markings/sec, 40 secs
lola: 21677417 markings, 38898404 edges, 372788 markings/sec, 45 secs
lola: 23528441 markings, 42371657 edges, 370205 markings/sec, 50 secs
lola: 25361408 markings, 45818268 edges, 366593 markings/sec, 55 secs
lola: 27179464 markings, 49242972 edges, 363611 markings/sec, 60 secs
lola: 28977039 markings, 52637936 edges, 359515 markings/sec, 65 secs
lola: 30763606 markings, 56019833 edges, 357313 markings/sec, 70 secs
lola: 32549906 markings, 59402507 edges, 357260 markings/sec, 75 secs
lola: 34324934 markings, 62773094 edges, 355006 markings/sec, 80 secs
lola: 36094694 markings, 66135703 edges, 353952 markings/sec, 85 secs
lola: 37853872 markings, 69483732 edges, 351836 markings/sec, 90 secs
lola: 39603863 markings, 72818959 edges, 349998 markings/sec, 95 secs
lola: 41348517 markings, 76145148 edges, 348931 markings/sec, 100 secs
lola: 43085763 markings, 79460430 edges, 347449 markings/sec, 105 secs
lola: 44814343 markings, 82763096 edges, 345716 markings/sec, 110 secs
lola: 46534569 markings, 86055407 edges, 344045 markings/sec, 115 secs
lola: 48250357 markings, 89340233 edges, 343158 markings/sec, 120 secs
lola: 49961109 markings, 92614026 edges, 342150 markings/sec, 125 secs
lola: 52312276 markings, 96625400 edges, 470233 markings/sec, 130 secs
lola: 54710197 markings, 100622861 edges, 479584 markings/sec, 135 secs
lola: 57132200 markings, 104660552 edges, 484401 markings/sec, 140 secs
lola: 59510391 markings, 108625401 edges, 475638 markings/sec, 145 secs
lola: 60458711 markings, 111716601 edges, 189664 markings/sec, 150 secs
lola: 61258313 markings, 114638171 edges, 159920 markings/sec, 155 secs
lola: 62076896 markings, 117524971 edges, 163717 markings/sec, 160 secs
lola: 62912509 markings, 120397707 edges, 167123 markings/sec, 165 secs
lola: 63759385 markings, 123253183 edges, 169375 markings/sec, 170 secs
lola: 64608226 markings, 126073235 edges, 169768 markings/sec, 175 secs
lola: 65461459 markings, 128877169 edges, 170647 markings/sec, 180 secs
lola: 66316579 markings, 131660331 edges, 171024 markings/sec, 185 secs
lola: 67181554 markings, 134446471 edges, 172995 markings/sec, 190 secs
lola: 68045630 markings, 137215085 edges, 172815 markings/sec, 195 secs
lola: 68910647 markings, 139970069 edges, 173003 markings/sec, 200 secs
lola: 69778041 markings, 142712397 edges, 173479 markings/sec, 205 secs
lola: 70648349 markings, 145455446 edges, 174062 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(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: 2909467 markings, 4364204 edges, 581893 markings/sec, 0 secs
lola: 5226088 markings, 8088634 edges, 463324 markings/sec, 5 secs
lola: 7216452 markings, 11634058 edges, 398073 markings/sec, 10 secs
lola: 9059513 markings, 15094150 edges, 368612 markings/sec, 15 secs
lola: 10750612 markings, 18374724 edges, 338220 markings/sec, 20 secs
lola: 12201010 markings, 21253952 edges, 290080 markings/sec, 25 secs
lola: 13680876 markings, 24251625 edges, 295973 markings/sec, 30 secs
lola: 15307651 markings, 27617356 edges, 325355 markings/sec, 35 secs
lola: 16913865 markings, 30995907 edges, 321243 markings/sec, 40 secs
lola: 18502288 markings, 34383300 edges, 317685 markings/sec, 45 secs
lola: 20071000 markings, 37772102 edges, 313742 markings/sec, 50 secs
lola: 21627140 markings, 41173851 edges, 311228 markings/sec, 55 secs
lola: 23170087 markings, 44576882 edges, 308589 markings/sec, 60 secs
lola: 24697705 markings, 47978045 edges, 305524 markings/sec, 65 secs
lola: 26213047 markings, 51373085 edges, 303068 markings/sec, 70 secs
lola: 27713752 markings, 54744261 edges, 300141 markings/sec, 75 secs
lola: 29222899 markings, 58118904 edges, 301829 markings/sec, 80 secs
lola: 30732881 markings, 61491233 edges, 301996 markings/sec, 85 secs
lola: 32244849 markings, 64854927 edges, 302394 markings/sec, 90 secs
lola: 33753451 markings, 68198063 edges, 301720 markings/sec, 95 secs
lola: 35255222 markings, 71525058 edges, 300354 markings/sec, 100 secs
lola: 36755206 markings, 74837993 edges, 299997 markings/sec, 105 secs
lola: 38265888 markings, 78165267 edges, 302136 markings/sec, 110 secs
lola: 39777707 markings, 81492287 edges, 302364 markings/sec, 115 secs
lola: 41288039 markings, 84807058 edges, 302066 markings/sec, 120 secs
lola: 42797190 markings, 88111280 edges, 301830 markings/sec, 125 secs
lola: 44303039 markings, 91405343 edges, 301170 markings/sec, 130 secs
lola: 45806701 markings, 94693141 edges, 300732 markings/sec, 135 secs
lola: 48526661 markings, 99414250 edges, 543992 markings/sec, 140 secs
lola: 51151396 markings, 103789920 edges, 524947 markings/sec, 145 secs
lola: 53501358 markings, 107534122 edges, 469992 markings/sec, 150 secs
lola: 55387945 markings, 110367071 edges, 377317 markings/sec, 155 secs
lola: 57198462 markings, 113085798 edges, 362103 markings/sec, 160 secs
lola: 58965982 markings, 115740563 edges, 353504 markings/sec, 165 secs
lola: 60724540 markings, 118432346 edges, 351712 markings/sec, 170 secs
lola: 62529382 markings, 121280287 edges, 360968 markings/sec, 175 secs
lola: 64446003 markings, 124399646 edges, 383324 markings/sec, 180 secs
lola: 66740845 markings, 128222577 edges, 458968 markings/sec, 185 secs
lola: 69153362 markings, 132196384 edges, 482503 markings/sec, 190 secs
lola: 71510753 markings, 135825733 edges, 471478 markings/sec, 195 secs
lola: 73127599 markings, 138377154 edges, 323369 markings/sec, 200 secs
lola: 75258657 markings, 141698964 edges, 426212 markings/sec, 205 secs
lola: 77060520 markings, 145169790 edges, 360373 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(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: 2045585 markings, 4812789 edges, 409117 markings/sec, 0 secs
lola: 3873473 markings, 9184477 edges, 365578 markings/sec, 5 secs
lola: 5667914 markings, 13479837 edges, 358888 markings/sec, 10 secs
lola: 7425405 markings, 17688127 edges, 351498 markings/sec, 15 secs
lola: 9158425 markings, 21839111 edges, 346604 markings/sec, 20 secs
lola: 10890396 markings, 25987543 edges, 346394 markings/sec, 25 secs
lola: 12600938 markings, 30084892 edges, 342108 markings/sec, 30 secs
lola: 14282398 markings, 34113603 edges, 336292 markings/sec, 35 secs
lola: 15946846 markings, 38100999 edges, 332890 markings/sec, 40 secs
lola: 17607962 markings, 42080794 edges, 332223 markings/sec, 45 secs
lola: 19256494 markings, 46031305 edges, 329706 markings/sec, 50 secs
lola: 20906963 markings, 49985568 edges, 330094 markings/sec, 55 secs
lola: 22558348 markings, 53942106 edges, 330277 markings/sec, 60 secs
lola: 24211714 markings, 57904039 edges, 330673 markings/sec, 65 secs
lola: 25844811 markings, 61817382 edges, 326619 markings/sec, 70 secs
lola: 27477556 markings, 65730203 edges, 326549 markings/sec, 75 secs
lola: 29086259 markings, 69585861 edges, 321741 markings/sec, 80 secs
lola: 30708641 markings, 73473422 edges, 324476 markings/sec, 85 secs
lola: 32344690 markings, 77393958 edges, 327210 markings/sec, 90 secs
lola: 33968167 markings, 81283565 edges, 324695 markings/sec, 95 secs
lola: 35575022 markings, 85134911 edges, 321371 markings/sec, 100 secs
lola: 37187928 markings, 89000217 edges, 322581 markings/sec, 105 secs
lola: 38803142 markings, 92871005 edges, 323043 markings/sec, 110 secs
lola: 40401789 markings, 96702457 edges, 319729 markings/sec, 115 secs
lola: 41992121 markings, 100513616 edges, 318066 markings/sec, 120 secs
lola: 43590848 markings, 104344912 edges, 319745 markings/sec, 125 secs
lola: 45191835 markings, 108182383 edges, 320197 markings/sec, 130 secs
lola: 46793908 markings, 112021323 edges, 320415 markings/sec, 135 secs
lola: 48362467 markings, 115780115 edges, 313712 markings/sec, 140 secs
lola: 49914442 markings, 119501261 edges, 310395 markings/sec, 145 secs
lola: 51469934 markings, 123229778 edges, 311098 markings/sec, 150 secs
lola: 53060785 markings, 127041955 edges, 318170 markings/sec, 155 secs
lola: 54606174 markings, 130745564 edges, 309078 markings/sec, 160 secs
lola: 56169952 markings, 134493731 edges, 312756 markings/sec, 165 secs
lola: 57730685 markings, 138233068 edges, 312147 markings/sec, 170 secs
lola: 59301960 markings, 142000185 edges, 314255 markings/sec, 175 secs
lola: 60872796 markings, 145764123 edges, 314167 markings/sec, 180 secs
lola: 62437738 markings, 149515692 edges, 312988 markings/sec, 185 secs
lola: 64012899 markings, 153292140 edges, 315032 markings/sec, 190 secs
lola: 65588231 markings, 157068155 edges, 315066 markings/sec, 195 secs
lola: 67161654 markings, 160840236 edges, 314685 markings/sec, 200 secs
lola: 68747165 markings, 164639981 edges, 317102 markings/sec, 205 secs
lola: 70314536 markings, 168396630 edges, 313474 markings/sec, 210 secs
lola: 71892461 markings, 172178872 edges, 315585 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(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: 2090842 markings, 4921157 edges, 418168 markings/sec, 0 secs
lola: 3949250 markings, 9365837 edges, 371682 markings/sec, 5 secs
lola: 5769263 markings, 13722662 edges, 364003 markings/sec, 10 secs
lola: 7555162 markings, 17998938 edges, 357180 markings/sec, 15 secs
lola: 9319463 markings, 22224653 edges, 352860 markings/sec, 20 secs
lola: 11077164 markings, 26435116 edges, 351540 markings/sec, 25 secs
lola: 12813117 markings, 30593514 edges, 347191 markings/sec, 30 secs
lola: 14510104 markings, 34659121 edges, 339397 markings/sec, 35 secs
lola: 16193522 markings, 38692146 edges, 336684 markings/sec, 40 secs
lola: 17876346 markings, 42723733 edges, 336565 markings/sec, 45 secs
lola: 19548692 markings, 46731431 edges, 334469 markings/sec, 50 secs
lola: 21223067 markings, 50743072 edges, 334875 markings/sec, 55 secs
lola: 22890476 markings, 54737768 edges, 333482 markings/sec, 60 secs
lola: 24563474 markings, 58747163 edges, 334600 markings/sec, 65 secs
lola: 26206293 markings, 62684181 edges, 328564 markings/sec, 70 secs
lola: 27863618 markings, 66655561 edges, 331465 markings/sec, 75 secs
lola: 29502988 markings, 70583984 edges, 327874 markings/sec, 80 secs
lola: 31132630 markings, 74489784 edges, 325928 markings/sec, 85 secs
lola: 32790953 markings, 78462910 edges, 331665 markings/sec, 90 secs
lola: 34415964 markings, 82356811 edges, 325002 markings/sec, 95 secs
lola: 36056406 markings, 86288024 edges, 328088 markings/sec, 100 secs
lola: 37704758 markings, 90238271 edges, 329670 markings/sec, 105 secs
lola: 39338064 markings, 94152504 edges, 326661 markings/sec, 110 secs
lola: 40936456 markings, 97984119 edges, 319678 markings/sec, 115 secs
lola: 42550083 markings, 101851124 edges, 322725 markings/sec, 120 secs
lola: 44182520 markings, 105763435 edges, 326487 markings/sec, 125 secs
lola: 45802459 markings, 109645848 edges, 323988 markings/sec, 130 secs
lola: 47399079 markings, 113471841 edges, 319324 markings/sec, 135 secs
lola: 48994142 markings, 117295006 edges, 319013 markings/sec, 140 secs
lola: 50584432 markings, 121106963 edges, 318058 markings/sec, 145 secs
lola: 52190276 markings, 124955484 edges, 321169 markings/sec, 150 secs
lola: 53764505 markings, 128728824 edges, 314846 markings/sec, 155 secs
lola: 55382727 markings, 132606923 edges, 323644 markings/sec, 160 secs
lola: 56969188 markings, 136408516 edges, 317292 markings/sec, 165 secs
lola: 58532530 markings, 140155771 edges, 312668 markings/sec, 170 secs
lola: 60129311 markings, 143982812 edges, 319356 markings/sec, 175 secs
lola: 61701139 markings, 147750813 edges, 314366 markings/sec, 180 secs
lola: 63302949 markings, 151590237 edges, 320362 markings/sec, 185 secs
lola: 64901147 markings, 155420277 edges, 319640 markings/sec, 190 secs
lola: 66475556 markings, 159195361 edges, 314882 markings/sec, 195 secs
lola: 68067945 markings, 163011925 edges, 318478 markings/sec, 200 secs
lola: 69658983 markings, 166825214 edges, 318208 markings/sec, 205 secs
lola: 71259489 markings, 170661718 edges, 320101 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(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: 2934840 markings, 4402257 edges, 586968 markings/sec, 0 secs
lola: 5326113 markings, 8260825 edges, 478255 markings/sec, 5 secs
lola: 7338941 markings, 11858957 edges, 402566 markings/sec, 10 secs
lola: 9189372 markings, 15344220 edges, 370086 markings/sec, 15 secs
lola: 10943360 markings, 18754104 edges, 350798 markings/sec, 20 secs
lola: 12615859 markings, 22090426 edges, 334500 markings/sec, 25 secs
lola: 14256281 markings, 25435846 edges, 328084 markings/sec, 30 secs
lola: 15880557 markings, 28815782 edges, 324855 markings/sec, 35 secs
lola: 17483004 markings, 32202376 edges, 320489 markings/sec, 40 secs
lola: 19064208 markings, 35593128 edges, 316241 markings/sec, 45 secs
lola: 20636650 markings, 39004037 edges, 314488 markings/sec, 50 secs
lola: 22195019 markings, 42420917 edges, 311674 markings/sec, 55 secs
lola: 23734701 markings, 45831220 edges, 307936 markings/sec, 60 secs
lola: 25260555 markings, 49238644 edges, 305171 markings/sec, 65 secs
lola: 26773214 markings, 52632055 edges, 302532 markings/sec, 70 secs
lola: 28278272 markings, 56010966 edges, 301012 markings/sec, 75 secs
lola: 29791485 markings, 59393938 edges, 302643 markings/sec, 80 secs
lola: 31310533 markings, 62777150 edges, 303810 markings/sec, 85 secs
lola: 32831433 markings, 66153864 edges, 304180 markings/sec, 90 secs
lola: 34349135 markings, 69520489 edges, 303540 markings/sec, 95 secs
lola: 35869837 markings, 72882260 edges, 304140 markings/sec, 100 secs
lola: 37388272 markings, 76234003 edges, 303687 markings/sec, 105 secs
lola: 38909087 markings, 79581524 edges, 304163 markings/sec, 110 secs
lola: 40426059 markings, 82917502 edges, 303394 markings/sec, 115 secs
lola: 41941810 markings, 86236169 edges, 303150 markings/sec, 120 secs
lola: 43456769 markings, 89554735 edges, 302992 markings/sec, 125 secs
lola: 44974697 markings, 92871972 edges, 303586 markings/sec, 130 secs
lola: 46859494 markings, 96634934 edges, 376959 markings/sec, 135 secs
lola: 49780142 markings, 101504393 edges, 584130 markings/sec, 140 secs
lola: 52332195 markings, 105758031 edges, 510411 markings/sec, 145 secs
lola: 54378650 markings, 108851490 edges, 409291 markings/sec, 150 secs
lola: 56216697 markings, 111611551 edges, 367609 markings/sec, 155 secs
lola: 58003085 markings, 114294053 edges, 357278 markings/sec, 160 secs
lola: 59753673 markings, 116935987 edges, 350118 markings/sec, 165 secs
lola: 61516356 markings, 119671153 edges, 352537 markings/sec, 170 secs
lola: 63336686 markings, 122582417 edges, 364066 markings/sec, 175 secs
lola: 65310425 markings, 125838018 edges, 394748 markings/sec, 180 secs
lola: 67696031 markings, 129815033 edges, 477121 markings/sec, 185 secs
lola: 69945791 markings, 133469921 edges, 449952 markings/sec, 190 secs
lola: 72164896 markings, 136852063 edges, 443821 markings/sec, 195 secs
lola: 73785616 markings, 139449922 edges, 324144 markings/sec, 200 secs
lola: 76156044 markings, 143046143 edges, 474086 markings/sec, 205 secs
lola: 77698802 markings, 146202469 edges, 308552 markings/sec, 210 secs
lola: 79304931 markings, 148984043 edges, 321226 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-MT4096DC1024-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494931450959
--------------------
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="SmallOperatingSystem-PT-MT4096DC1024"
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/SmallOperatingSystem-PT-MT4096DC1024.tgz
mv SmallOperatingSystem-PT-MT4096DC1024 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 SmallOperatingSystem-PT-MT4096DC1024, 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 r078-ebro-149441008100029"
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 ;