About the Execution of LoLA for S_SmallOperatingSystem-PT-MT2048DC0512
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8229.450 | 3540390.00 | 3556844.00 | 590.20 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-MT2048DC0512, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443463800011
=====================================================================
--------------------
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-MT2048DC0512-UpperBounds-0
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-1
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-10
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-11
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-12
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-13
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-14
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-15
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-2
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-3
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-4
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-5
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-6
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-7
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-8
FORMULA_NAME SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496556678107
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SmallOperatingSystem-PT-MT2048DC0512: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_SmallOperatingSystem-PT-MT2048DC0512: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_SmallOperatingSystem-PT-MT2048DC0512 @ 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-MT2048DC0512-UpperBounds.task
lola: MAX(TransferToDisk) : MAX(CPUUnit) : MAX(ExecutingTask) : MAX(TaskSuspended) : MAX(FreeMemSegment) : MAX(ExecutingTask) : MAX(TaskSuspended) : MAX(TaskOnDisk) : MAX(TransferToDisk) : MAX(TaskSuspended) : MAX(TransferToDisk) : MAX(LoadingMem) : MAX(TransferToDisk) : MAX(TaskSuspended) : MAX(DiskControllerUnit) : MAX(LoadingMem)
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: 2622183 markings, 4079055 edges, 524437 markings/sec, 0 secs
lola: 5047906 markings, 7993631 edges, 485145 markings/sec, 5 secs
lola: 7119615 markings, 11522919 edges, 414342 markings/sec, 10 secs
lola: 8481444 markings, 15122938 edges, 272366 markings/sec, 15 secs
lola: 10141665 markings, 18467368 edges, 332044 markings/sec, 20 secs
lola: 11840599 markings, 21714322 edges, 339787 markings/sec, 25 secs
lola: 13543966 markings, 24969528 edges, 340673 markings/sec, 30 secs
lola: 15230683 markings, 28172992 edges, 337343 markings/sec, 35 secs
lola: 16873046 markings, 31279884 edges, 328473 markings/sec, 40 secs
lola: 18511743 markings, 34382380 edges, 327739 markings/sec, 45 secs
lola: 20124997 markings, 37423186 edges, 322651 markings/sec, 50 secs
lola: 21719751 markings, 40439845 edges, 318951 markings/sec, 55 secs
lola: 23293413 markings, 43427265 edges, 314732 markings/sec, 60 secs
lola: 24875597 markings, 46404198 edges, 316437 markings/sec, 65 secs
lola: 26443346 markings, 49378266 edges, 313550 markings/sec, 70 secs
lola: 28009941 markings, 52360591 edges, 313319 markings/sec, 75 secs
lola: 29572850 markings, 55322014 edges, 312582 markings/sec, 80 secs
lola: 31152770 markings, 58319552 edges, 315984 markings/sec, 85 secs
lola: 32718340 markings, 61273567 edges, 313114 markings/sec, 90 secs
lola: 34279868 markings, 64244718 edges, 312306 markings/sec, 95 secs
lola: 35833000 markings, 67195382 edges, 310626 markings/sec, 100 secs
lola: 37381242 markings, 70120067 edges, 309648 markings/sec, 105 secs
lola: 38910840 markings, 73034680 edges, 305920 markings/sec, 110 secs
lola: 40441730 markings, 75963748 edges, 306178 markings/sec, 115 secs
lola: 41984029 markings, 78908215 edges, 308460 markings/sec, 120 secs
lola: 43531560 markings, 81824264 edges, 309506 markings/sec, 125 secs
lola: 45063904 markings, 84729365 edges, 306469 markings/sec, 130 secs
lola: 46588335 markings, 87620069 edges, 304886 markings/sec, 135 secs
lola: 48134654 markings, 90574022 edges, 309264 markings/sec, 140 secs
lola: 49650490 markings, 93450550 edges, 303167 markings/sec, 145 secs
lola: 51175626 markings, 96333447 edges, 305027 markings/sec, 150 secs
lola: 52712490 markings, 99250115 edges, 307373 markings/sec, 155 secs
lola: 54258890 markings, 102160207 edges, 309280 markings/sec, 160 secs
lola: 55793717 markings, 105074714 edges, 306965 markings/sec, 165 secs
lola: 57348993 markings, 108020992 edges, 311055 markings/sec, 170 secs
lola: 58876441 markings, 110911584 edges, 305490 markings/sec, 175 secs
lola: 60425998 markings, 113877738 edges, 309911 markings/sec, 180 secs
lola: 61960671 markings, 116781788 edges, 306935 markings/sec, 185 secs
lola: 63487520 markings, 119689950 edges, 305370 markings/sec, 190 secs
lola: 65016430 markings, 122599056 edges, 305782 markings/sec, 195 secs
lola: 66528738 markings, 125457307 edges, 302462 markings/sec, 200 secs
lola: 68055371 markings, 128369619 edges, 305327 markings/sec, 205 secs
lola: 69580466 markings, 131251543 edges, 305019 markings/sec, 210 secs
lola: 71087883 markings, 134111827 edges, 301483 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(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: 2626678 markings, 4557267 edges, 525336 markings/sec, 0 secs
lola: 4518115 markings, 8041967 edges, 378287 markings/sec, 5 secs
lola: 6241678 markings, 11269640 edges, 344713 markings/sec, 10 secs
lola: 7907132 markings, 14415166 edges, 333091 markings/sec, 15 secs
lola: 9671292 markings, 17767641 edges, 352832 markings/sec, 20 secs
lola: 11395727 markings, 21058549 edges, 344887 markings/sec, 25 secs
lola: 13366734 markings, 24637881 edges, 394201 markings/sec, 30 secs
lola: 15288635 markings, 28565608 edges, 384380 markings/sec, 35 secs
lola: 16209997 markings, 31711603 edges, 184272 markings/sec, 40 secs
lola: 17143391 markings, 34724695 edges, 186679 markings/sec, 45 secs
lola: 18031429 markings, 37516735 edges, 177608 markings/sec, 50 secs
lola: 18959946 markings, 40392938 edges, 185703 markings/sec, 55 secs
lola: 19943381 markings, 43403760 edges, 196687 markings/sec, 60 secs
lola: 20913103 markings, 46341500 edges, 193944 markings/sec, 65 secs
lola: 21912988 markings, 49352167 edges, 199977 markings/sec, 70 secs
lola: 24426739 markings, 53670403 edges, 502750 markings/sec, 75 secs
lola: 26860771 markings, 57728141 edges, 486806 markings/sec, 80 secs
lola: 29010884 markings, 61319097 edges, 430023 markings/sec, 85 secs
lola: 31049801 markings, 64795110 edges, 407783 markings/sec, 90 secs
lola: 33006264 markings, 68112434 edges, 391293 markings/sec, 95 secs
lola: 34077332 markings, 71109437 edges, 214214 markings/sec, 100 secs
lola: 35866267 markings, 74306894 edges, 357787 markings/sec, 105 secs
lola: 37701979 markings, 77500864 edges, 367142 markings/sec, 110 secs
lola: 39568179 markings, 80730154 edges, 373240 markings/sec, 115 secs
lola: 41443196 markings, 83963785 edges, 375003 markings/sec, 120 secs
lola: 42939465 markings, 87052667 edges, 299254 markings/sec, 125 secs
lola: 44409951 markings, 90126702 edges, 294097 markings/sec, 130 secs
lola: 45695771 markings, 93229809 edges, 257164 markings/sec, 135 secs
lola: 47534570 markings, 96575283 edges, 367760 markings/sec, 140 secs
lola: 49404490 markings, 99856009 edges, 373984 markings/sec, 145 secs
lola: 51145013 markings, 103173773 edges, 348105 markings/sec, 150 secs
lola: 52588579 markings, 106218642 edges, 288713 markings/sec, 155 secs
lola: 53995201 markings, 109428342 edges, 281324 markings/sec, 160 secs
lola: 55672995 markings, 112767144 edges, 335559 markings/sec, 165 secs
lola: 57408074 markings, 116019814 edges, 347016 markings/sec, 170 secs
lola: 59076278 markings, 119255364 edges, 333641 markings/sec, 175 secs
lola: 60107781 markings, 122166894 edges, 206301 markings/sec, 180 secs
lola: 61822473 markings, 125489381 edges, 342938 markings/sec, 185 secs
lola: 63555390 markings, 128857266 edges, 346583 markings/sec, 190 secs
lola: 65136814 markings, 132029297 edges, 316285 markings/sec, 195 secs
lola: 66822274 markings, 135283931 edges, 337092 markings/sec, 200 secs
lola: 68258783 markings, 138485681 edges, 287302 markings/sec, 205 secs
lola: 69759568 markings, 141639055 edges, 300157 markings/sec, 210 secs
lola: 71443361 markings, 144798523 edges, 336759 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(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: 2490542 markings, 4208076 edges, 498108 markings/sec, 0 secs
lola: 4229790 markings, 7751204 edges, 347850 markings/sec, 5 secs
lola: 5899638 markings, 11382366 edges, 333970 markings/sec, 10 secs
lola: 7464890 markings, 14884776 edges, 313050 markings/sec, 15 secs
lola: 8971298 markings, 18226937 edges, 301282 markings/sec, 20 secs
lola: 10450988 markings, 21483194 edges, 295938 markings/sec, 25 secs
lola: 12363886 markings, 25244029 edges, 382580 markings/sec, 30 secs
lola: 14715485 markings, 28902890 edges, 470320 markings/sec, 35 secs
lola: 16979401 markings, 32555259 edges, 452783 markings/sec, 40 secs
lola: 19209441 markings, 36115784 edges, 446008 markings/sec, 45 secs
lola: 20843884 markings, 39099272 edges, 326889 markings/sec, 50 secs
lola: 22157476 markings, 41751884 edges, 262718 markings/sec, 55 secs
lola: 23414457 markings, 44444595 edges, 251396 markings/sec, 60 secs
lola: 24648933 markings, 47192593 edges, 246895 markings/sec, 65 secs
lola: 26549703 markings, 50276381 edges, 380154 markings/sec, 70 secs
lola: 28653506 markings, 53596986 edges, 420761 markings/sec, 75 secs
lola: 30696805 markings, 56820809 edges, 408660 markings/sec, 80 secs
lola: 32769840 markings, 60072897 edges, 414607 markings/sec, 85 secs
lola: 34824639 markings, 63295213 edges, 410960 markings/sec, 90 secs
lola: 36858166 markings, 66565630 edges, 406705 markings/sec, 95 secs
lola: 38703257 markings, 70012263 edges, 369018 markings/sec, 100 secs
lola: 40102815 markings, 73138711 edges, 279912 markings/sec, 105 secs
lola: 41314766 markings, 75965175 edges, 242390 markings/sec, 110 secs
lola: 43125303 markings, 79045719 edges, 362107 markings/sec, 115 secs
lola: 44800376 markings, 82247406 edges, 335015 markings/sec, 120 secs
lola: 46479514 markings, 85330633 edges, 335828 markings/sec, 125 secs
lola: 47932581 markings, 88289307 edges, 290613 markings/sec, 130 secs
lola: 49821451 markings, 91175448 edges, 377774 markings/sec, 135 secs
lola: 51689773 markings, 94031919 edges, 373664 markings/sec, 140 secs
lola: 53423483 markings, 97101148 edges, 346742 markings/sec, 145 secs
lola: 54869551 markings, 100286354 edges, 289214 markings/sec, 150 secs
lola: 56076283 markings, 103091225 edges, 241346 markings/sec, 155 secs
lola: 57589611 markings, 106043424 edges, 302666 markings/sec, 160 secs
lola: 59562594 markings, 109055412 edges, 394597 markings/sec, 165 secs
lola: 61458475 markings, 111917526 edges, 379176 markings/sec, 170 secs
lola: 62829873 markings, 114873003 edges, 274280 markings/sec, 175 secs
lola: 64235297 markings, 117808374 edges, 281085 markings/sec, 180 secs
lola: 65742463 markings, 120926742 edges, 301433 markings/sec, 185 secs
lola: 67404387 markings, 124142542 edges, 332385 markings/sec, 190 secs
lola: 69018223 markings, 127069316 edges, 322767 markings/sec, 195 secs
lola: 70610254 markings, 130101230 edges, 318406 markings/sec, 200 secs
lola: 72169240 markings, 133218390 edges, 311797 markings/sec, 205 secs
lola: 73665456 markings, 136523252 edges, 299243 markings/sec, 210 secs
lola: 74934467 markings, 139593953 edges, 253802 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(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: 2649308 markings, 4598403 edges, 529862 markings/sec, 0 secs
lola: 4766217 markings, 8504623 edges, 423382 markings/sec, 5 secs
lola: 6653363 markings, 12044683 edges, 377429 markings/sec, 10 secs
lola: 8418038 markings, 15383639 edges, 352935 markings/sec, 15 secs
lola: 10075993 markings, 18538331 edges, 331591 markings/sec, 20 secs
lola: 11808135 markings, 21847432 edges, 346428 markings/sec, 25 secs
lola: 14057147 markings, 25789190 edges, 449802 markings/sec, 30 secs
lola: 15555935 markings, 29510015 edges, 299758 markings/sec, 35 secs
lola: 16545600 markings, 32807015 edges, 197933 markings/sec, 40 secs
lola: 17400009 markings, 35537902 edges, 170882 markings/sec, 45 secs
lola: 18382477 markings, 38609055 edges, 196494 markings/sec, 50 secs
lola: 19248114 markings, 41276553 edges, 173127 markings/sec, 55 secs
lola: 20110857 markings, 43911016 edges, 172549 markings/sec, 60 secs
lola: 20939191 markings, 46422033 edges, 165667 markings/sec, 65 secs
lola: 21838925 markings, 49130801 edges, 179947 markings/sec, 70 secs
lola: 24222544 markings, 53329716 edges, 476724 markings/sec, 75 secs
lola: 26640218 markings, 57360630 edges, 483535 markings/sec, 80 secs
lola: 28796083 markings, 60959821 edges, 431173 markings/sec, 85 secs
lola: 30765252 markings, 64297965 edges, 393834 markings/sec, 90 secs
lola: 32661199 markings, 67536549 edges, 379189 markings/sec, 95 secs
lola: 33775828 markings, 70606058 edges, 222926 markings/sec, 100 secs
lola: 35518039 markings, 73726111 edges, 348442 markings/sec, 105 secs
lola: 37347660 markings, 76873519 edges, 365924 markings/sec, 110 secs
lola: 39181595 markings, 80076611 edges, 366787 markings/sec, 115 secs
lola: 41019372 markings, 83190451 edges, 367555 markings/sec, 120 secs
lola: 42589000 markings, 86145032 edges, 313926 markings/sec, 125 secs
lola: 44038458 markings, 89115106 edges, 289892 markings/sec, 130 secs
lola: 45042258 markings, 91844581 edges, 200760 markings/sec, 135 secs
lola: 46703012 markings, 95038563 edges, 332151 markings/sec, 140 secs
lola: 48478941 markings, 98280772 edges, 355186 markings/sec, 145 secs
lola: 50306207 markings, 101523475 edges, 365453 markings/sec, 150 secs
lola: 52025252 markings, 104663694 edges, 343809 markings/sec, 155 secs
lola: 52990710 markings, 107326129 edges, 193092 markings/sec, 160 secs
lola: 54434774 markings, 110422333 edges, 288813 markings/sec, 165 secs
lola: 56103232 markings, 113645693 edges, 333692 markings/sec, 170 secs
lola: 57885440 markings, 116879321 edges, 356442 markings/sec, 175 secs
lola: 59440017 markings, 119923370 edges, 310915 markings/sec, 180 secs
lola: 60424058 markings, 122798495 edges, 196808 markings/sec, 185 secs
lola: 62072209 markings, 125908183 edges, 329630 markings/sec, 190 secs
lola: 63712128 markings, 129157192 edges, 327984 markings/sec, 195 secs
lola: 65338584 markings, 132376448 edges, 325291 markings/sec, 200 secs
lola: 67052410 markings, 135693966 edges, 342765 markings/sec, 205 secs
lola: 68485940 markings, 138980027 edges, 286706 markings/sec, 210 secs
lola: 70105948 markings, 142254289 edges, 324002 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(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: 2002188 markings, 4687262 edges, 400438 markings/sec, 0 secs
lola: 3735468 markings, 8834234 edges, 346656 markings/sec, 5 secs
lola: 5469794 markings, 12985714 edges, 346865 markings/sec, 10 secs
lola: 7152406 markings, 17014973 edges, 336522 markings/sec, 15 secs
lola: 8823215 markings, 21016521 edges, 334162 markings/sec, 20 secs
lola: 10492257 markings, 25014491 edges, 333808 markings/sec, 25 secs
lola: 12113314 markings, 28897361 edges, 324211 markings/sec, 30 secs
lola: 13721915 markings, 32751124 edges, 321720 markings/sec, 35 secs
lola: 15233317 markings, 36371747 edges, 302280 markings/sec, 40 secs
lola: 16705093 markings, 39899552 edges, 294355 markings/sec, 45 secs
lola: 18169482 markings, 43407540 edges, 292878 markings/sec, 50 secs
lola: 19636989 markings, 46922526 edges, 293501 markings/sec, 55 secs
lola: 21093243 markings, 50412418 edges, 291251 markings/sec, 60 secs
lola: 22545475 markings, 53891874 edges, 290446 markings/sec, 65 secs
lola: 24003630 markings, 57385286 edges, 291631 markings/sec, 70 secs
lola: 25450022 markings, 60850954 edges, 289278 markings/sec, 75 secs
lola: 26909125 markings, 64346357 edges, 291821 markings/sec, 80 secs
lola: 28333260 markings, 67758184 edges, 284827 markings/sec, 85 secs
lola: 29800866 markings, 71274163 edges, 293521 markings/sec, 90 secs
lola: 31204182 markings, 74636633 edges, 280663 markings/sec, 95 secs
lola: 32642565 markings, 78083089 edges, 287677 markings/sec, 100 secs
lola: 34053243 markings, 81462951 edges, 282136 markings/sec, 105 secs
lola: 35470158 markings, 84858546 edges, 283383 markings/sec, 110 secs
lola: 36890666 markings, 88263141 edges, 284102 markings/sec, 115 secs
lola: 38311146 markings, 91666699 edges, 284096 markings/sec, 120 secs
lola: 39755258 markings, 95126291 edges, 288822 markings/sec, 125 secs
lola: 41157107 markings, 98485593 edges, 280370 markings/sec, 130 secs
lola: 42586474 markings, 101911058 edges, 285873 markings/sec, 135 secs
lola: 44069868 markings, 105465062 edges, 296679 markings/sec, 140 secs
lola: 45583718 markings, 109092472 edges, 302770 markings/sec, 145 secs
lola: 47032469 markings, 112563596 edges, 289750 markings/sec, 150 secs
lola: 48498626 markings, 116077535 edges, 293231 markings/sec, 155 secs
lola: 49932049 markings, 119512615 edges, 286685 markings/sec, 160 secs
lola: 51374221 markings, 122968257 edges, 288434 markings/sec, 165 secs
lola: 52793580 markings, 126368994 edges, 283872 markings/sec, 170 secs
lola: 54228419 markings, 129807977 edges, 286968 markings/sec, 175 secs
lola: 55685467 markings, 133299943 edges, 291410 markings/sec, 180 secs
lola: 57112283 markings, 136718837 edges, 285363 markings/sec, 185 secs
lola: 58604462 markings, 140294838 edges, 298436 markings/sec, 190 secs
lola: 60093329 markings, 143862705 edges, 297773 markings/sec, 195 secs
lola: 61592727 markings, 147455783 edges, 299880 markings/sec, 200 secs
lola: 63093474 markings, 151052339 edges, 300149 markings/sec, 205 secs
lola: 64613123 markings, 154694269 edges, 303930 markings/sec, 210 secs
lola: 66116005 markings, 158295665 edges, 300576 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: 2449640 markings, 4128832 edges, 489928 markings/sec, 0 secs
lola: 4112239 markings, 7502044 edges, 332520 markings/sec, 5 secs
lola: 5618080 markings, 10757768 edges, 301168 markings/sec, 10 secs
lola: 7115036 markings, 14102168 edges, 299391 markings/sec, 15 secs
lola: 8654986 markings, 17528708 edges, 307990 markings/sec, 20 secs
lola: 10203855 markings, 20939031 edges, 309774 markings/sec, 25 secs
lola: 11974743 markings, 24594852 edges, 354178 markings/sec, 30 secs
lola: 14484959 markings, 28556336 edges, 502043 markings/sec, 35 secs
lola: 16732562 markings, 32143469 edges, 449521 markings/sec, 40 secs
lola: 18969890 markings, 35754758 edges, 447466 markings/sec, 45 secs
lola: 20813855 markings, 39042045 edges, 368793 markings/sec, 50 secs
lola: 22089624 markings, 41608856 edges, 255154 markings/sec, 55 secs
lola: 23356504 markings, 44319003 edges, 253376 markings/sec, 60 secs
lola: 24613623 markings, 47111354 edges, 251424 markings/sec, 65 secs
lola: 26518212 markings, 50229020 edges, 380918 markings/sec, 70 secs
lola: 28593410 markings, 53506625 edges, 415040 markings/sec, 75 secs
lola: 30598439 markings, 56655240 edges, 401006 markings/sec, 80 secs
lola: 32663781 markings, 59897996 edges, 413068 markings/sec, 85 secs
lola: 34733882 markings, 63158225 edges, 414020 markings/sec, 90 secs
lola: 36819520 markings, 66491920 edges, 417128 markings/sec, 95 secs
lola: 38705580 markings, 70017693 edges, 377212 markings/sec, 100 secs
lola: 40205424 markings, 73374811 edges, 299969 markings/sec, 105 secs
lola: 41509979 markings, 76429457 edges, 260911 markings/sec, 110 secs
lola: 43564699 markings, 79741200 edges, 410944 markings/sec, 115 secs
lola: 45016348 markings, 83002117 edges, 290330 markings/sec, 120 secs
lola: 46949179 markings, 86083230 edges, 386566 markings/sec, 125 secs
lola: 48552913 markings, 89237885 edges, 320747 markings/sec, 130 secs
lola: 50593232 markings, 92355312 edges, 408064 markings/sec, 135 secs
lola: 52638813 markings, 95487700 edges, 409116 markings/sec, 140 secs
lola: 54275228 markings, 98943976 edges, 327283 markings/sec, 145 secs
lola: 55701736 markings, 102210360 edges, 285302 markings/sec, 150 secs
lola: 57165347 markings, 105403824 edges, 292722 markings/sec, 155 secs
lola: 59251200 markings, 108584078 edges, 417171 markings/sec, 160 secs
lola: 61299561 markings, 111679043 edges, 409672 markings/sec, 165 secs
lola: 62829873 markings, 114828562 edges, 306062 markings/sec, 170 secs
lola: 64398947 markings, 118096714 edges, 313815 markings/sec, 175 secs
lola: 66022512 markings, 121468441 edges, 324713 markings/sec, 180 secs
lola: 67750301 markings, 124816317 edges, 345558 markings/sec, 185 secs
lola: 69468935 markings, 127945098 edges, 343727 markings/sec, 190 secs
lola: 71097938 markings, 131143755 edges, 325801 markings/sec, 195 secs
lola: 72833151 markings, 134588366 edges, 347043 markings/sec, 200 secs
lola: 74287696 markings, 138019937 edges, 290909 markings/sec, 205 secs
lola: 75636926 markings, 141323641 edges, 269846 markings/sec, 210 secs
lola: 77667491 markings, 144569474 edges, 406113 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(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: 2716838 markings, 4721325 edges, 543368 markings/sec, 0 secs
lola: 4910992 markings, 8774748 edges, 438831 markings/sec, 5 secs
lola: 6844125 markings, 12404984 edges, 386627 markings/sec, 10 secs
lola: 8710353 markings, 15938202 edges, 373246 markings/sec, 15 secs
lola: 10539096 markings, 19422854 edges, 365749 markings/sec, 20 secs
lola: 12332757 markings, 22853018 edges, 358732 markings/sec, 25 secs
lola: 14895240 markings, 27186763 edges, 512497 markings/sec, 30 secs
lola: 15909038 markings, 30711093 edges, 202760 markings/sec, 35 secs
lola: 16903848 markings, 33960142 edges, 198962 markings/sec, 40 secs
lola: 17899313 markings, 37106560 edges, 199093 markings/sec, 45 secs
lola: 18886963 markings, 40168486 edges, 197530 markings/sec, 50 secs
lola: 19875453 markings, 43194947 edges, 197698 markings/sec, 55 secs
lola: 20865918 markings, 46202640 edges, 198093 markings/sec, 60 secs
lola: 21876513 markings, 49246624 edges, 202119 markings/sec, 65 secs
lola: 24470908 markings, 53744051 edges, 518879 markings/sec, 70 secs
lola: 27033249 markings, 58015577 edges, 512468 markings/sec, 75 secs
lola: 29282289 markings, 61779770 edges, 449808 markings/sec, 80 secs
lola: 31438119 markings, 65442672 edges, 431166 markings/sec, 85 secs
lola: 33313934 markings, 68894102 edges, 375163 markings/sec, 90 secs
lola: 34678851 markings, 72221540 edges, 272983 markings/sec, 95 secs
lola: 36657943 markings, 75703148 edges, 395818 markings/sec, 100 secs
lola: 38734438 markings, 79238738 edges, 415299 markings/sec, 105 secs
lola: 40727874 markings, 82703255 edges, 398687 markings/sec, 110 secs
lola: 42539837 markings, 86034494 edges, 362393 markings/sec, 115 secs
lola: 44104461 markings, 89303507 edges, 312925 markings/sec, 120 secs
lola: 45252658 markings, 92416848 edges, 229639 markings/sec, 125 secs
lola: 47153097 markings, 95938934 edges, 380088 markings/sec, 130 secs
lola: 49144383 markings, 99422139 edges, 398257 markings/sec, 135 secs
lola: 50986850 markings, 102896511 edges, 368493 markings/sec, 140 secs
lola: 52551812 markings, 106119498 edges, 312992 markings/sec, 145 secs
lola: 53989705 markings, 109416941 edges, 287579 markings/sec, 150 secs
lola: 55738409 markings, 112876477 edges, 349741 markings/sec, 155 secs
lola: 57574526 markings, 116297426 edges, 367223 markings/sec, 160 secs
lola: 59284323 markings, 119663325 edges, 341959 markings/sec, 165 secs
lola: 60410513 markings, 122775983 edges, 225238 markings/sec, 170 secs
lola: 62229993 markings, 126178742 edges, 363896 markings/sec, 175 secs
lola: 63912728 markings, 129543392 edges, 336547 markings/sec, 180 secs
lola: 65584944 markings, 132823667 edges, 334443 markings/sec, 185 secs
lola: 67302198 markings, 136228321 edges, 343451 markings/sec, 190 secs
lola: 68745323 markings, 139478210 edges, 288625 markings/sec, 195 secs
lola: 70456919 markings, 142855057 edges, 342319 markings/sec, 200 secs
lola: 72113248 markings, 146269891 edges, 331266 markings/sec, 205 secs
lola: 73543120 markings, 149487522 edges, 285974 markings/sec, 210 secs
lola: 75106321 markings, 152442226 edges, 312640 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(TaskOnDisk)
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: 1546118 markings, 3744308 edges, 309224 markings/sec, 0 secs
lola: 3081791 markings, 7513715 edges, 307135 markings/sec, 5 secs
lola: 4621523 markings, 11311214 edges, 307946 markings/sec, 10 secs
lola: 6133707 markings, 15037090 edges, 302437 markings/sec, 15 secs
lola: 7620587 markings, 18714314 edges, 297376 markings/sec, 20 secs
lola: 9090605 markings, 22350503 edges, 294004 markings/sec, 25 secs
lola: 10559159 markings, 25989571 edges, 293711 markings/sec, 30 secs
lola: 11777806 markings, 29008305 edges, 243729 markings/sec, 35 secs
lola: 13012354 markings, 32079405 edges, 246910 markings/sec, 40 secs
lola: 14286893 markings, 35241114 edges, 254908 markings/sec, 45 secs
lola: 15534804 markings, 38338128 edges, 249582 markings/sec, 50 secs
lola: 16795204 markings, 41461182 edges, 252080 markings/sec, 55 secs
lola: 18014886 markings, 44489077 edges, 243936 markings/sec, 60 secs
lola: 19238100 markings, 47521450 edges, 244643 markings/sec, 65 secs
lola: 20449785 markings, 50532912 edges, 242337 markings/sec, 70 secs
lola: 21656820 markings, 53539444 edges, 241407 markings/sec, 75 secs
lola: 22848833 markings, 56503274 edges, 238403 markings/sec, 80 secs
lola: 24072648 markings, 59554195 edges, 244763 markings/sec, 85 secs
lola: 25311328 markings, 62641826 edges, 247736 markings/sec, 90 secs
lola: 26527534 markings, 65670840 edges, 243241 markings/sec, 95 secs
lola: 27733577 markings, 68665897 edges, 241209 markings/sec, 100 secs
lola: 28938217 markings, 71661392 edges, 240928 markings/sec, 105 secs
lola: 30145908 markings, 74667711 edges, 241538 markings/sec, 110 secs
lola: 31422644 markings, 77847888 edges, 255347 markings/sec, 115 secs
lola: 32795178 markings, 81267620 edges, 274507 markings/sec, 120 secs
lola: 34180205 markings, 84721217 edges, 277005 markings/sec, 125 secs
lola: 35541434 markings, 88112029 edges, 272246 markings/sec, 130 secs
lola: 36907129 markings, 91507606 edges, 273139 markings/sec, 135 secs
lola: 38286130 markings, 94947651 edges, 275800 markings/sec, 140 secs
lola: 39650135 markings, 98352090 edges, 272801 markings/sec, 145 secs
lola: 41003905 markings, 101718724 edges, 270754 markings/sec, 150 secs
lola: 42368468 markings, 105125322 edges, 272913 markings/sec, 155 secs
lola: 43724540 markings, 108515382 edges, 271214 markings/sec, 160 secs
lola: 45072289 markings, 111878726 edges, 269550 markings/sec, 165 secs
lola: 46419105 markings, 115242773 edges, 269363 markings/sec, 170 secs
lola: 47767422 markings, 118611213 edges, 269663 markings/sec, 175 secs
lola: 49118681 markings, 121987891 edges, 270252 markings/sec, 180 secs
lola: 50479722 markings, 125389963 edges, 272208 markings/sec, 185 secs
lola: 51826760 markings, 128753279 edges, 269408 markings/sec, 190 secs
lola: 53174457 markings, 132116982 edges, 269539 markings/sec, 195 secs
lola: 54508830 markings, 135456197 edges, 266875 markings/sec, 200 secs
lola: 55858414 markings, 138823590 edges, 269917 markings/sec, 205 secs
lola: 57205273 markings, 142190939 edges, 269372 markings/sec, 210 secs
lola: 58551713 markings, 145559112 edges, 269288 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(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: 2698702 markings, 4202836 edges, 539740 markings/sec, 0 secs
lola: 5161090 markings, 8174746 edges, 492478 markings/sec, 5 secs
lola: 7200728 markings, 11708853 edges, 407928 markings/sec, 10 secs
lola: 8561012 markings, 15335045 edges, 272057 markings/sec, 15 secs
lola: 10294831 markings, 18763476 edges, 346764 markings/sec, 20 secs
lola: 12054981 markings, 22121872 edges, 352030 markings/sec, 25 secs
lola: 13804527 markings, 25469769 edges, 349909 markings/sec, 30 secs
lola: 15538213 markings, 28745654 edges, 346737 markings/sec, 35 secs
lola: 17215266 markings, 31925831 edges, 335411 markings/sec, 40 secs
lola: 18886687 markings, 35088448 edges, 334284 markings/sec, 45 secs
lola: 20530241 markings, 38187137 edges, 328711 markings/sec, 50 secs
lola: 22142786 markings, 41233308 edges, 322509 markings/sec, 55 secs
lola: 23740781 markings, 44285098 edges, 319599 markings/sec, 60 secs
lola: 25355343 markings, 47313420 edges, 322912 markings/sec, 65 secs
lola: 26960339 markings, 50347696 edges, 320999 markings/sec, 70 secs
lola: 28546505 markings, 53374845 edges, 317233 markings/sec, 75 secs
lola: 30153713 markings, 56421155 edges, 321442 markings/sec, 80 secs
lola: 31762137 markings, 59467149 edges, 321685 markings/sec, 85 secs
lola: 33353047 markings, 62491584 edges, 318182 markings/sec, 90 secs
lola: 34944012 markings, 65503444 edges, 318193 markings/sec, 95 secs
lola: 36538863 markings, 68516650 edges, 318970 markings/sec, 100 secs
lola: 38106654 markings, 71504144 edges, 313558 markings/sec, 105 secs
lola: 39674880 markings, 74490044 edges, 313645 markings/sec, 110 secs
lola: 41243492 markings, 77485255 edges, 313722 markings/sec, 115 secs
lola: 42817367 markings, 80488907 edges, 314775 markings/sec, 120 secs
lola: 44406244 markings, 83484581 edges, 317775 markings/sec, 125 secs
lola: 45959259 markings, 86426779 edges, 310603 markings/sec, 130 secs
lola: 47530928 markings, 89401930 edges, 314334 markings/sec, 135 secs
lola: 49094111 markings, 92401431 edges, 312637 markings/sec, 140 secs
lola: 50655482 markings, 95349989 edges, 312274 markings/sec, 145 secs
lola: 52210984 markings, 98297713 edges, 311100 markings/sec, 150 secs
lola: 53650927 markings, 101015920 edges, 287989 markings/sec, 155 secs
lola: 55071343 markings, 103706291 edges, 284083 markings/sec, 160 secs
lola: 56585146 markings, 106560533 edges, 302761 markings/sec, 165 secs
lola: 58141809 markings, 109515296 edges, 311333 markings/sec, 170 secs
lola: 59702405 markings, 112490862 edges, 312119 markings/sec, 175 secs
lola: 61262587 markings, 115456270 edges, 312036 markings/sec, 180 secs
lola: 62777883 markings, 118347666 edges, 303059 markings/sec, 185 secs
lola: 64321265 markings, 121275312 edges, 308676 markings/sec, 190 secs
lola: 65875068 markings, 124218629 edges, 310761 markings/sec, 195 secs
lola: 67417553 markings, 127139515 edges, 308497 markings/sec, 200 secs
lola: 68966034 markings, 130087846 edges, 309696 markings/sec, 205 secs
lola: 70492311 markings, 132977847 edges, 305255 markings/sec, 210 secs
lola: 72025875 markings, 135890943 edges, 306713 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(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: 2638303 markings, 4578373 edges, 527661 markings/sec, 0 secs
lola: 4707800 markings, 8395214 edges, 413899 markings/sec, 5 secs
lola: 6641990 markings, 12022379 edges, 386838 markings/sec, 10 secs
lola: 8496557 markings, 15532067 edges, 370913 markings/sec, 15 secs
lola: 10314270 markings, 18993368 edges, 363543 markings/sec, 20 secs
lola: 12096528 markings, 22399920 edges, 356452 markings/sec, 25 secs
lola: 14519678 markings, 26560518 edges, 484630 markings/sec, 30 secs
lola: 15735596 markings, 30124963 edges, 243184 markings/sec, 35 secs
lola: 16703520 markings, 33317681 edges, 193585 markings/sec, 40 secs
lola: 17678013 markings, 36413014 edges, 194899 markings/sec, 45 secs
lola: 18640081 markings, 39407513 edges, 192414 markings/sec, 50 secs
lola: 19600753 markings, 42357996 edges, 192134 markings/sec, 55 secs
lola: 20566121 markings, 45293227 edges, 193074 markings/sec, 60 secs
lola: 21540624 markings, 48232873 edges, 194901 markings/sec, 65 secs
lola: 23572354 markings, 52245562 edges, 406346 markings/sec, 70 secs
lola: 26112054 markings, 56480305 edges, 507940 markings/sec, 75 secs
lola: 28454502 markings, 60389462 edges, 468490 markings/sec, 80 secs
lola: 30588826 markings, 63966029 edges, 426865 markings/sec, 85 secs
lola: 32608764 markings, 67449045 edges, 403988 markings/sec, 90 secs
lola: 33836620 markings, 70707594 edges, 245571 markings/sec, 95 secs
lola: 35748973 markings, 74111183 edges, 382471 markings/sec, 100 secs
lola: 37705317 markings, 77506355 edges, 391269 markings/sec, 105 secs
lola: 39664012 markings, 80891434 edges, 391739 markings/sec, 110 secs
lola: 41606684 markings, 84282122 edges, 388534 markings/sec, 115 secs
lola: 43078796 markings, 87427359 edges, 294422 markings/sec, 120 secs
lola: 44584544 markings, 90602780 edges, 301150 markings/sec, 125 secs
lola: 46015664 markings, 93834924 edges, 286224 markings/sec, 130 secs
lola: 47930507 markings, 97304185 edges, 382969 markings/sec, 135 secs
lola: 49833546 markings, 100722024 edges, 380608 markings/sec, 140 secs
lola: 51703183 markings, 104108588 edges, 373927 markings/sec, 145 secs
lola: 52923501 markings, 107137494 edges, 244064 markings/sec, 150 secs
lola: 54483282 markings, 110520464 edges, 311956 markings/sec, 155 secs
lola: 56257130 markings, 113907710 edges, 354770 markings/sec, 160 secs
lola: 58088315 markings, 117309635 edges, 366237 markings/sec, 165 secs
lola: 59678493 markings, 120486095 edges, 318036 markings/sec, 170 secs
lola: 60880011 markings, 123635500 edges, 240304 markings/sec, 175 secs
lola: 62618672 markings, 126974854 edges, 347732 markings/sec, 180 secs
lola: 64301565 markings, 130270286 edges, 336579 markings/sec, 185 secs
lola: 65900168 markings, 133538294 edges, 319721 markings/sec, 190 secs
lola: 67601099 markings, 136898757 edges, 340186 markings/sec, 195 secs
lola: 68980152 markings, 140096181 edges, 275811 markings/sec, 200 secs
lola: 70721152 markings, 143451807 edges, 348200 markings/sec, 205 secs
lola: 72377644 markings, 146837519 edges, 331298 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: 2623098 markings, 4080225 edges, 524620 markings/sec, 0 secs
lola: 5044478 markings, 7986596 edges, 484276 markings/sec, 5 secs
lola: 7088325 markings, 11467870 edges, 408769 markings/sec, 10 secs
lola: 8443068 markings, 15020589 edges, 270949 markings/sec, 15 secs
lola: 10109261 markings, 18405936 edges, 333239 markings/sec, 20 secs
lola: 11838085 markings, 21709294 edges, 345765 markings/sec, 25 secs
lola: 13558276 markings, 24998441 edges, 344038 markings/sec, 30 secs
lola: 15261415 markings, 28231819 edges, 340628 markings/sec, 35 secs
lola: 16908170 markings, 31345412 edges, 329351 markings/sec, 40 secs
lola: 18549645 markings, 34456154 edges, 328295 markings/sec, 45 secs
lola: 20177502 markings, 37518985 edges, 325571 markings/sec, 50 secs
lola: 21780273 markings, 40552765 edges, 320554 markings/sec, 55 secs
lola: 23385795 markings, 43601250 edges, 321104 markings/sec, 60 secs
lola: 24996635 markings, 46637017 edges, 322168 markings/sec, 65 secs
lola: 26595494 markings, 49662488 edges, 319772 markings/sec, 70 secs
lola: 28179303 markings, 52676033 edges, 316762 markings/sec, 75 secs
lola: 29763608 markings, 55690445 edges, 316861 markings/sec, 80 secs
lola: 31363678 markings, 58711098 edges, 320014 markings/sec, 85 secs
lola: 32943366 markings, 61694787 edges, 315938 markings/sec, 90 secs
lola: 34511031 markings, 64682094 edges, 313533 markings/sec, 95 secs
lola: 36060763 markings, 67627368 edges, 309946 markings/sec, 100 secs
lola: 37618434 markings, 70572303 edges, 311534 markings/sec, 105 secs
lola: 39159751 markings, 73510800 edges, 308263 markings/sec, 110 secs
lola: 40706647 markings, 76474522 edges, 309379 markings/sec, 115 secs
lola: 42268039 markings, 79442790 edges, 312278 markings/sec, 120 secs
lola: 43838444 markings, 82410256 edges, 314081 markings/sec, 125 secs
lola: 45401562 markings, 85365270 edges, 312624 markings/sec, 130 secs
lola: 46954092 markings, 88313902 edges, 310506 markings/sec, 135 secs
lola: 48512203 markings, 91291571 edges, 311622 markings/sec, 140 secs
lola: 50055129 markings, 94218849 edges, 308585 markings/sec, 145 secs
lola: 51592113 markings, 97133668 edges, 307397 markings/sec, 150 secs
lola: 53155730 markings, 100077739 edges, 312723 markings/sec, 155 secs
lola: 54703239 markings, 103013531 edges, 309502 markings/sec, 160 secs
lola: 56241201 markings, 105921232 edges, 307592 markings/sec, 165 secs
lola: 57797148 markings, 108862347 edges, 311189 markings/sec, 170 secs
lola: 59329754 markings, 111776156 edges, 306521 markings/sec, 175 secs
lola: 60886860 markings, 114756754 edges, 311421 markings/sec, 180 secs
lola: 62420165 markings, 117659709 edges, 306661 markings/sec, 185 secs
lola: 63961041 markings, 120594381 edges, 308175 markings/sec, 190 secs
lola: 65492185 markings, 123495179 edges, 306229 markings/sec, 195 secs
lola: 67015121 markings, 126380570 edges, 304587 markings/sec, 200 secs
lola: 68564694 markings, 129325497 edges, 309915 markings/sec, 205 secs
lola: 70083080 markings, 132199843 edges, 303677 markings/sec, 210 secs
lola: 71592335 markings, 135063607 edges, 301851 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(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: 1880296 markings, 3689691 edges, 376059 markings/sec, 0 secs
lola: 3754082 markings, 7409082 edges, 374757 markings/sec, 5 secs
lola: 5389150 markings, 10781543 edges, 327014 markings/sec, 10 secs
lola: 6892738 markings, 13990402 edges, 300718 markings/sec, 15 secs
lola: 8379181 markings, 17174457 edges, 297289 markings/sec, 20 secs
lola: 9868155 markings, 20361593 edges, 297795 markings/sec, 25 secs
lola: 11338197 markings, 23520049 edges, 294008 markings/sec, 30 secs
lola: 12814589 markings, 26678655 edges, 295278 markings/sec, 35 secs
lola: 14288443 markings, 29844129 edges, 294771 markings/sec, 40 secs
lola: 15760729 markings, 32994303 edges, 294457 markings/sec, 45 secs
lola: 17213237 markings, 36111471 edges, 290502 markings/sec, 50 secs
lola: 18675657 markings, 39250835 edges, 292484 markings/sec, 55 secs
lola: 20129094 markings, 42365474 edges, 290687 markings/sec, 60 secs
lola: 21569319 markings, 45456431 edges, 288045 markings/sec, 65 secs
lola: 23003754 markings, 48543383 edges, 286887 markings/sec, 70 secs
lola: 24437520 markings, 51623969 edges, 286753 markings/sec, 75 secs
lola: 25838156 markings, 54631424 edges, 280127 markings/sec, 80 secs
lola: 27197121 markings, 57545803 edges, 271793 markings/sec, 85 secs
lola: 28641168 markings, 60638839 edges, 288809 markings/sec, 90 secs
lola: 30061004 markings, 63689866 edges, 283967 markings/sec, 95 secs
lola: 31482674 markings, 66751995 edges, 284334 markings/sec, 100 secs
lola: 32899609 markings, 69807293 edges, 283387 markings/sec, 105 secs
lola: 34317647 markings, 72862041 edges, 283608 markings/sec, 110 secs
lola: 35744600 markings, 75931656 edges, 285391 markings/sec, 115 secs
lola: 37174186 markings, 79004002 edges, 285917 markings/sec, 120 secs
lola: 38606613 markings, 82085547 edges, 286485 markings/sec, 125 secs
lola: 40022210 markings, 85133294 edges, 283119 markings/sec, 130 secs
lola: 41462375 markings, 88230419 edges, 288033 markings/sec, 135 secs
lola: 42873770 markings, 91269004 edges, 282279 markings/sec, 140 secs
lola: 44288698 markings, 94308794 edges, 282986 markings/sec, 145 secs
lola: 45726681 markings, 97406378 edges, 287597 markings/sec, 150 secs
lola: 47132264 markings, 100431512 edges, 281117 markings/sec, 155 secs
lola: 48571187 markings, 103512604 edges, 287785 markings/sec, 160 secs
lola: 49979356 markings, 106545097 edges, 281634 markings/sec, 165 secs
lola: 51389546 markings, 109580003 edges, 282038 markings/sec, 170 secs
lola: 52793826 markings, 112608213 edges, 280856 markings/sec, 175 secs
lola: 54222148 markings, 115673798 edges, 285664 markings/sec, 180 secs
lola: 55633100 markings, 118709751 edges, 282190 markings/sec, 185 secs
lola: 57068386 markings, 121786670 edges, 287057 markings/sec, 190 secs
lola: 58489727 markings, 124837399 edges, 284268 markings/sec, 195 secs
lola: 59904237 markings, 127878449 edges, 282902 markings/sec, 200 secs
lola: 61323204 markings, 130929961 edges, 283793 markings/sec, 205 secs
lola: 62743169 markings, 133972960 edges, 283993 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 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: 2662122 markings, 4143972 edges, 532424 markings/sec, 0 secs
lola: 5132023 markings, 8128688 edges, 493980 markings/sec, 5 secs
lola: 7193004 markings, 11688328 edges, 412196 markings/sec, 10 secs
lola: 8599448 markings, 15437438 edges, 281289 markings/sec, 15 secs
lola: 10374810 markings, 18915598 edges, 355072 markings/sec, 20 secs
lola: 12151387 markings, 22308220 edges, 355315 markings/sec, 25 secs
lola: 13923396 markings, 25694865 edges, 354402 markings/sec, 30 secs
lola: 15663462 markings, 28984626 edges, 348013 markings/sec, 35 secs
lola: 17339578 markings, 32166390 edges, 335223 markings/sec, 40 secs
lola: 19018957 markings, 35332954 edges, 335876 markings/sec, 45 secs
lola: 20674029 markings, 38456301 edges, 331014 markings/sec, 50 secs
lola: 22311818 markings, 41552408 edges, 327558 markings/sec, 55 secs
lola: 23934428 markings, 44651886 edges, 324522 markings/sec, 60 secs
lola: 25562358 markings, 47701819 edges, 325586 markings/sec, 65 secs
lola: 27183603 markings, 50763203 edges, 324249 markings/sec, 70 secs
lola: 28791166 markings, 53836449 edges, 321513 markings/sec, 75 secs
lola: 30406947 markings, 56908257 edges, 323156 markings/sec, 80 secs
lola: 32026669 markings, 59965603 edges, 323944 markings/sec, 85 secs
lola: 33625345 markings, 63000417 edges, 319735 markings/sec, 90 secs
lola: 35213635 markings, 66013138 edges, 317658 markings/sec, 95 secs
lola: 36804091 markings, 69027120 edges, 318091 markings/sec, 100 secs
lola: 38383243 markings, 72026336 edges, 315830 markings/sec, 105 secs
lola: 39942232 markings, 74998392 edges, 311798 markings/sec, 110 secs
lola: 41508863 markings, 77995301 edges, 313326 markings/sec, 115 secs
lola: 43088490 markings, 81000522 edges, 315925 markings/sec, 120 secs
lola: 44676407 markings, 84001268 edges, 317583 markings/sec, 125 secs
lola: 46252408 markings, 86975063 edges, 315200 markings/sec, 130 secs
lola: 47821838 markings, 89973504 edges, 313886 markings/sec, 135 secs
lola: 49372121 markings, 92922710 edges, 310057 markings/sec, 140 secs
lola: 50915212 markings, 95847989 edges, 308618 markings/sec, 145 secs
lola: 52474555 markings, 98799772 edges, 311869 markings/sec, 150 secs
lola: 54035982 markings, 101743345 edges, 312285 markings/sec, 155 secs
lola: 55592587 markings, 104695688 edges, 311321 markings/sec, 160 secs
lola: 57155788 markings, 107651944 edges, 312640 markings/sec, 165 secs
lola: 58698154 markings, 110571860 edges, 308473 markings/sec, 170 secs
lola: 60255673 markings, 113559066 edges, 311504 markings/sec, 175 secs
lola: 61821538 markings, 116513296 edges, 313173 markings/sec, 180 secs
lola: 63362047 markings, 119453712 edges, 308102 markings/sec, 185 secs
lola: 64910327 markings, 122400994 edges, 309656 markings/sec, 190 secs
lola: 66445126 markings, 125294291 edges, 306960 markings/sec, 195 secs
lola: 67996535 markings, 128251852 edges, 310282 markings/sec, 200 secs
lola: 69543464 markings, 131180024 edges, 309386 markings/sec, 205 secs
lola: 71072534 markings, 134082348 edges, 305814 markings/sec, 210 secs
lola: 72611487 markings, 137015102 edges, 307791 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 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: 2683727 markings, 4660981 edges, 536745 markings/sec, 0 secs
lola: 4773083 markings, 8517433 edges, 417871 markings/sec, 5 secs
lola: 6719861 markings, 12169838 edges, 389356 markings/sec, 10 secs
lola: 8591356 markings, 15713295 edges, 374299 markings/sec, 15 secs
lola: 10427588 markings, 19210228 edges, 367246 markings/sec, 20 secs
lola: 12227523 markings, 22650265 edges, 359987 markings/sec, 25 secs
lola: 14736258 markings, 26921759 edges, 501747 markings/sec, 30 secs
lola: 15837471 markings, 30470220 edges, 220243 markings/sec, 35 secs
lola: 16822347 markings, 33698735 edges, 196975 markings/sec, 40 secs
lola: 17809591 markings, 36827075 edges, 197449 markings/sec, 45 secs
lola: 18789203 markings, 39868080 edges, 195922 markings/sec, 50 secs
lola: 19768592 markings, 42870377 edges, 195878 markings/sec, 55 secs
lola: 20749963 markings, 45847356 edges, 196274 markings/sec, 60 secs
lola: 21740245 markings, 48836103 edges, 198056 markings/sec, 65 secs
lola: 24104193 markings, 53132263 edges, 472790 markings/sec, 70 secs
lola: 26655429 markings, 57385911 edges, 510247 markings/sec, 75 secs
lola: 28919772 markings, 61166576 edges, 452869 markings/sec, 80 secs
lola: 31037094 markings, 64773978 edges, 423464 markings/sec, 85 secs
lola: 33074951 markings, 68227125 edges, 407571 markings/sec, 90 secs
lola: 34250992 markings, 71480720 edges, 235208 markings/sec, 95 secs
lola: 36234518 markings, 74935498 edges, 396705 markings/sec, 100 secs
lola: 38222268 markings, 78384580 edges, 397550 markings/sec, 105 secs
lola: 40190490 markings, 81782381 edges, 393644 markings/sec, 110 secs
lola: 42143988 markings, 85182918 edges, 390700 markings/sec, 115 secs
lola: 43585006 markings, 88339371 edges, 288204 markings/sec, 120 secs
lola: 44899856 markings, 91455239 edges, 262970 markings/sec, 125 secs
lola: 46595397 markings, 94821991 edges, 339108 markings/sec, 130 secs
lola: 48491828 markings, 98302240 edges, 379286 markings/sec, 135 secs
lola: 50418824 markings, 101769190 edges, 385399 markings/sec, 140 secs
lola: 52181538 markings, 105095209 edges, 352543 markings/sec, 145 secs
lola: 53318900 markings, 108203979 edges, 227472 markings/sec, 150 secs
lola: 55130796 markings, 111695057 edges, 362379 markings/sec, 155 secs
lola: 56939627 markings, 115053745 edges, 361766 markings/sec, 160 secs
lola: 58617527 markings, 118412511 edges, 335580 markings/sec, 165 secs
lola: 59999787 markings, 121542380 edges, 276452 markings/sec, 170 secs
lola: 61519830 markings, 124826235 edges, 304009 markings/sec, 175 secs
lola: 63287498 markings, 128272166 edges, 353534 markings/sec, 180 secs
lola: 64891833 markings, 131590199 edges, 320867 markings/sec, 185 secs
lola: 66630830 markings, 134939742 edges, 347799 markings/sec, 190 secs
lola: 68149879 markings, 138252271 edges, 303810 markings/sec, 195 secs
lola: 69735306 markings, 141581542 edges, 317085 markings/sec, 200 secs
lola: 71512236 markings, 144947498 edges, 355386 markings/sec, 205 secs
lola: 73169708 markings, 148405217 edges, 331494 markings/sec, 210 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 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: 1830706 markings, 4445130 edges, 366141 markings/sec, 0 secs
lola: 3504742 markings, 8555033 edges, 334807 markings/sec, 5 secs
lola: 5130434 markings, 12564174 edges, 325138 markings/sec, 10 secs
lola: 6724451 markings, 16501062 edges, 318803 markings/sec, 15 secs
lola: 8298543 markings, 20387509 edges, 314818 markings/sec, 20 secs
lola: 9851912 markings, 24238073 edges, 310674 markings/sec, 25 secs
lola: 11393896 markings, 28057549 edges, 308397 markings/sec, 30 secs
lola: 12905275 markings, 31813730 edges, 302276 markings/sec, 35 secs
lola: 14436496 markings, 35614488 edges, 306244 markings/sec, 40 secs
lola: 15956014 markings, 39381010 edges, 303904 markings/sec, 45 secs
lola: 17473822 markings, 43147014 edges, 303562 markings/sec, 50 secs
lola: 18970807 markings, 46861300 edges, 299397 markings/sec, 55 secs
lola: 20466091 markings, 50573119 edges, 299057 markings/sec, 60 secs
lola: 21939875 markings, 54244864 edges, 294757 markings/sec, 65 secs
lola: 23408991 markings, 57899125 edges, 293823 markings/sec, 70 secs
lola: 24900508 markings, 61617660 edges, 298303 markings/sec, 75 secs
lola: 26378480 markings, 65299607 edges, 295594 markings/sec, 80 secs
lola: 27851332 markings, 68959909 edges, 294570 markings/sec, 85 secs
lola: 29314419 markings, 72597196 edges, 292617 markings/sec, 90 secs
lola: 30792139 markings, 76278924 edges, 295544 markings/sec, 95 secs
lola: 32249343 markings, 79909608 edges, 291441 markings/sec, 100 secs
lola: 33703452 markings, 83530884 edges, 290822 markings/sec, 105 secs
lola: 35153639 markings, 87146220 edges, 290037 markings/sec, 110 secs
lola: 36591709 markings, 90724340 edges, 287614 markings/sec, 115 secs
lola: 38053106 markings, 94366763 edges, 292279 markings/sec, 120 secs
lola: 39471872 markings, 97907540 edges, 283753 markings/sec, 125 secs
lola: 40876988 markings, 101404185 edges, 281023 markings/sec, 130 secs
lola: 42303743 markings, 104963243 edges, 285351 markings/sec, 135 secs
lola: 43711510 markings, 108483075 edges, 281553 markings/sec, 140 secs
lola: 45119214 markings, 111995127 edges, 281541 markings/sec, 145 secs
lola: 46519265 markings, 115492812 edges, 280010 markings/sec, 150 secs
lola: 47919788 markings, 118990965 edges, 280105 markings/sec, 155 secs
lola: 49343300 markings, 122548347 edges, 284702 markings/sec, 160 secs
lola: 50765192 markings, 126102544 edges, 284378 markings/sec, 165 secs
lola: 52175571 markings, 129623497 edges, 282076 markings/sec, 170 secs
lola: 53590042 markings, 133157349 edges, 282894 markings/sec, 175 secs
lola: 54993106 markings, 136667043 edges, 280613 markings/sec, 180 secs
lola: 56411677 markings, 140206128 edges, 283714 markings/sec, 185 secs
lola: 57817223 markings, 143721163 edges, 281109 markings/sec, 190 secs
lola: 59229520 markings, 147252226 edges, 282459 markings/sec, 195 secs
lola: 60639371 markings, 150774044 edges, 281970 markings/sec, 200 secs
lola: 62070333 markings, 154338595 edges, 286192 markings/sec, 205 secs
lola: 63487711 markings, 157886102 edges, 283476 markings/sec, 210 secs
lola: 64920055 markings, 161463235 edges, 286469 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 220 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: 1917845 markings, 3770380 edges, 383569 markings/sec, 0 secs
lola: 3806475 markings, 7510954 edges, 377726 markings/sec, 5 secs
lola: 5429753 markings, 10867865 edges, 324656 markings/sec, 10 secs
lola: 6937652 markings, 14087159 edges, 301580 markings/sec, 15 secs
lola: 8434705 markings, 17291528 edges, 299411 markings/sec, 20 secs
lola: 9927319 markings, 20489317 edges, 298523 markings/sec, 25 secs
lola: 11400266 markings, 23654033 edges, 294589 markings/sec, 30 secs
lola: 12871737 markings, 26801731 edges, 294294 markings/sec, 35 secs
lola: 14338779 markings, 29952459 edges, 293408 markings/sec, 40 secs
lola: 15800347 markings, 33080002 edges, 292314 markings/sec, 45 secs
lola: 17243188 markings, 36175963 edges, 288568 markings/sec, 50 secs
lola: 18697162 markings, 39297518 edges, 290795 markings/sec, 55 secs
lola: 20145685 markings, 42401444 edges, 289705 markings/sec, 60 secs
lola: 21579001 markings, 45477500 edges, 286663 markings/sec, 65 secs
lola: 23004329 markings, 48544618 edges, 285066 markings/sec, 70 secs
lola: 24430143 markings, 51607926 edges, 285163 markings/sec, 75 secs
lola: 25875799 markings, 54712682 edges, 289131 markings/sec, 80 secs
lola: 27318661 markings, 57804267 edges, 288572 markings/sec, 85 secs
lola: 28774515 markings, 60924023 edges, 291171 markings/sec, 90 secs
lola: 30203998 markings, 63998198 edges, 285897 markings/sec, 95 secs
lola: 31643196 markings, 67096761 edges, 287840 markings/sec, 100 secs
lola: 33090460 markings, 70219787 edges, 289453 markings/sec, 105 secs
lola: 34532869 markings, 73325115 edges, 288482 markings/sec, 110 secs
lola: 35972446 markings, 76419594 edges, 287915 markings/sec, 115 secs
lola: 37420670 markings, 79533538 edges, 289645 markings/sec, 120 secs
lola: 38869050 markings, 82653517 edges, 289676 markings/sec, 125 secs
lola: 40302946 markings, 85737529 edges, 286779 markings/sec, 130 secs
lola: 41758188 markings, 88867341 edges, 291048 markings/sec, 135 secs
lola: 43187798 markings, 91941159 edges, 285922 markings/sec, 140 secs
lola: 44621649 markings, 95026701 edges, 286770 markings/sec, 145 secs
lola: 46062454 markings, 98132092 edges, 288161 markings/sec, 150 secs
lola: 47500300 markings, 101224098 edges, 287569 markings/sec, 155 secs
lola: 48945391 markings, 104319050 edges, 289018 markings/sec, 160 secs
lola: 50385916 markings, 107417060 edges, 288105 markings/sec, 165 secs
lola: 51794872 markings, 110456230 edges, 281791 markings/sec, 170 secs
lola: 53238150 markings, 113561396 edges, 288656 markings/sec, 175 secs
lola: 54683931 markings, 116663681 edges, 289156 markings/sec, 180 secs
lola: 56105647 markings, 119726399 edges, 284343 markings/sec, 185 secs
lola: 57545421 markings, 122813421 edges, 287955 markings/sec, 190 secs
lola: 58984892 markings, 125905226 edges, 287894 markings/sec, 195 secs
lola: 60422217 markings, 128992356 edges, 287465 markings/sec, 200 secs
lola: 61844975 markings, 132047981 edges, 284552 markings/sec, 205 secs
lola: 63276557 markings, 135115057 edges, 286316 markings/sec, 210 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-MT2048DC0512-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC0512-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496560218497
--------------------
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-MT2048DC0512"
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-MT2048DC0512.tgz
mv S_SmallOperatingSystem-PT-MT2048DC0512 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-MT2048DC0512, 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-149443463800011"
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 ;