About the Execution of LoLA for S_SmallOperatingSystem-PT-MT8192DC2048
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9961.810 | 3539862.00 | 3556506.00 | 490.30 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_SmallOperatingSystem-PT-MT8192DC2048, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443463900047
=====================================================================
--------------------
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-MT8192DC2048-UpperBounds-0
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-1
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-10
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-11
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-12
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-13
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-14
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-15
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-2
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-3
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-4
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-5
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-6
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-7
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-8
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496557468633
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SmallOperatingSystem-PT-MT8192DC2048: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_SmallOperatingSystem-PT-MT8192DC2048: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_SmallOperatingSystem-PT-MT8192DC2048 @ 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-MT8192DC2048-UpperBounds.task
lola: MAX(TaskOnDisk) : MAX(TaskSuspended) : MAX(TransferToDisk) : MAX(ExecutingTask) : MAX(CPUUnit) : MAX(CPUUnit) : MAX(LoadingMem) : MAX(LoadingMem) : MAX(CPUUnit) : MAX(TransferToDisk) : MAX(CPUUnit) : MAX(DiskControllerUnit) : MAX(ExecutingTask) : MAX(LoadingMem) : MAX(TransferToDisk) : MAX(DiskControllerUnit)
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(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: 1842429 markings, 4372997 edges, 368486 markings/sec, 0 secs
lola: 3474239 markings, 8359869 edges, 326362 markings/sec, 5 secs
lola: 5060159 markings, 12257306 edges, 317184 markings/sec, 10 secs
lola: 6556641 markings, 15930548 edges, 299296 markings/sec, 15 secs
lola: 7955285 markings, 19367123 edges, 279729 markings/sec, 20 secs
lola: 9407179 markings, 22925138 edges, 290379 markings/sec, 25 secs
lola: 10824419 markings, 26424279 edges, 283448 markings/sec, 30 secs
lola: 12185394 markings, 29780551 edges, 272195 markings/sec, 35 secs
lola: 13537756 markings, 33125963 edges, 270472 markings/sec, 40 secs
lola: 14930613 markings, 36550423 edges, 278571 markings/sec, 45 secs
lola: 16336087 markings, 40031155 edges, 281095 markings/sec, 50 secs
lola: 17732791 markings, 43496890 edges, 279341 markings/sec, 55 secs
lola: 19140714 markings, 46974216 edges, 281585 markings/sec, 60 secs
lola: 20557925 markings, 50475817 edges, 283442 markings/sec, 65 secs
lola: 21958571 markings, 53933970 edges, 280129 markings/sec, 70 secs
lola: 23390114 markings, 57455889 edges, 286309 markings/sec, 75 secs
lola: 24818149 markings, 60993046 edges, 285607 markings/sec, 80 secs
lola: 26292352 markings, 64613677 edges, 294841 markings/sec, 85 secs
lola: 27744499 markings, 68192346 edges, 290429 markings/sec, 90 secs
lola: 29204956 markings, 71792135 edges, 292091 markings/sec, 95 secs
lola: 30633727 markings, 75310657 edges, 285754 markings/sec, 100 secs
lola: 32066312 markings, 78860499 edges, 286517 markings/sec, 105 secs
lola: 33492502 markings, 82381193 edges, 285238 markings/sec, 110 secs
lola: 34899330 markings, 85857458 edges, 281366 markings/sec, 115 secs
lola: 36333333 markings, 89413726 edges, 286801 markings/sec, 120 secs
lola: 37760903 markings, 92951451 edges, 285514 markings/sec, 125 secs
lola: 39167820 markings, 96433099 edges, 281383 markings/sec, 130 secs
lola: 40554053 markings, 99863744 edges, 277247 markings/sec, 135 secs
lola: 41959257 markings, 103347632 edges, 281041 markings/sec, 140 secs
lola: 43216528 markings, 106456050 edges, 251454 markings/sec, 145 secs
lola: 44481307 markings, 109607280 edges, 252956 markings/sec, 150 secs
lola: 45729014 markings, 112716764 edges, 249541 markings/sec, 155 secs
lola: 46995998 markings, 115870845 edges, 253397 markings/sec, 160 secs
lola: 48311199 markings, 119131865 edges, 263040 markings/sec, 165 secs
lola: 49599986 markings, 122342287 edges, 257757 markings/sec, 170 secs
lola: 50911414 markings, 125604690 edges, 262286 markings/sec, 175 secs
lola: 52228155 markings, 128870818 edges, 263348 markings/sec, 180 secs
lola: 53563934 markings, 132196302 edges, 267156 markings/sec, 185 secs
lola: 54874338 markings, 135455063 edges, 262081 markings/sec, 190 secs
lola: 56198842 markings, 138747388 edges, 264901 markings/sec, 195 secs
lola: 57516935 markings, 142009220 edges, 263619 markings/sec, 200 secs
lola: 58826412 markings, 145252016 edges, 261895 markings/sec, 205 secs
lola: 60159857 markings, 148569099 edges, 266689 markings/sec, 210 secs
lola: 61507553 markings, 151896466 edges, 269539 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(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: 2861725 markings, 4768651 edges, 572345 markings/sec, 0 secs
lola: 5292536 markings, 8819928 edges, 486162 markings/sec, 5 secs
lola: 7511982 markings, 12518542 edges, 443889 markings/sec, 10 secs
lola: 9643457 markings, 16070991 edges, 426295 markings/sec, 15 secs
lola: 11717120 markings, 19526977 edges, 414733 markings/sec, 20 secs
lola: 13816642 markings, 23035910 edges, 419904 markings/sec, 25 secs
lola: 15766439 markings, 26335539 edges, 389959 markings/sec, 30 secs
lola: 17765251 markings, 29755871 edges, 399762 markings/sec, 35 secs
lola: 19694022 markings, 33086129 edges, 385754 markings/sec, 40 secs
lola: 21568723 markings, 36347045 edges, 374940 markings/sec, 45 secs
lola: 23426726 markings, 39600866 edges, 371601 markings/sec, 50 secs
lola: 25264656 markings, 42835952 edges, 367586 markings/sec, 55 secs
lola: 27076718 markings, 46040318 edges, 362412 markings/sec, 60 secs
lola: 28861366 markings, 49211695 edges, 356930 markings/sec, 65 secs
lola: 30630771 markings, 52366880 edges, 353881 markings/sec, 70 secs
lola: 32287954 markings, 55332048 edges, 331437 markings/sec, 75 secs
lola: 33954488 markings, 58321921 edges, 333307 markings/sec, 80 secs
lola: 35783278 markings, 61614210 edges, 365758 markings/sec, 85 secs
lola: 37593839 markings, 64881591 edges, 362112 markings/sec, 90 secs
lola: 39253829 markings, 67884885 edges, 331998 markings/sec, 95 secs
lola: 40886818 markings, 70846236 edges, 326598 markings/sec, 100 secs
lola: 42527261 markings, 73825570 edges, 328089 markings/sec, 105 secs
lola: 44190906 markings, 76854559 edges, 332729 markings/sec, 110 secs
lola: 45875578 markings, 79929028 edges, 336934 markings/sec, 115 secs
lola: 47536355 markings, 82962450 edges, 332155 markings/sec, 120 secs
lola: 49214295 markings, 86033157 edges, 335588 markings/sec, 125 secs
lola: 50883008 markings, 89092767 edges, 333743 markings/sec, 130 secs
lola: 52519574 markings, 92093856 edges, 327313 markings/sec, 135 secs
lola: 54146002 markings, 95086535 edges, 325286 markings/sec, 140 secs
lola: 55792252 markings, 98116518 edges, 329250 markings/sec, 145 secs
lola: 57377749 markings, 101037934 edges, 317099 markings/sec, 150 secs
lola: 58982500 markings, 103995938 edges, 320950 markings/sec, 155 secs
lola: 60584604 markings, 106956651 edges, 320421 markings/sec, 160 secs
lola: 62189408 markings, 109923019 edges, 320961 markings/sec, 165 secs
lola: 63796514 markings, 112901069 edges, 321421 markings/sec, 170 secs
lola: 65405981 markings, 115882159 edges, 321893 markings/sec, 175 secs
lola: 67006712 markings, 118848780 edges, 320146 markings/sec, 180 secs
lola: 68593662 markings, 121796614 edges, 317390 markings/sec, 185 secs
lola: 70193333 markings, 124768070 edges, 319934 markings/sec, 190 secs
lola: 71791710 markings, 127740711 edges, 319675 markings/sec, 195 secs
lola: 73378710 markings, 130695330 edges, 317400 markings/sec, 200 secs
lola: 74915337 markings, 133557379 edges, 307325 markings/sec, 205 secs
lola: 76473866 markings, 136461978 edges, 311706 markings/sec, 210 secs
lola: 78065363 markings, 139431462 edges, 318299 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(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: 3629937 markings, 4841088 edges, 725987 markings/sec, 0 secs
lola: 7063401 markings, 9419837 edges, 686693 markings/sec, 5 secs
lola: 9652784 markings, 13205578 edges, 517877 markings/sec, 10 secs
lola: 11756329 markings, 16596078 edges, 420709 markings/sec, 15 secs
lola: 13884192 markings, 20030263 edges, 425573 markings/sec, 20 secs
lola: 15990506 markings, 23422334 edges, 421263 markings/sec, 25 secs
lola: 18111992 markings, 26843693 edges, 424297 markings/sec, 30 secs
lola: 20210975 markings, 30224720 edges, 419797 markings/sec, 35 secs
lola: 22294626 markings, 33583691 edges, 416730 markings/sec, 40 secs
lola: 24378591 markings, 36941108 edges, 416793 markings/sec, 45 secs
lola: 26484806 markings, 40337421 edges, 421243 markings/sec, 50 secs
lola: 28605186 markings, 43751507 edges, 424076 markings/sec, 55 secs
lola: 30718946 markings, 47157748 edges, 422752 markings/sec, 60 secs
lola: 32836586 markings, 50576950 edges, 423528 markings/sec, 65 secs
lola: 34885104 markings, 53871228 edges, 409704 markings/sec, 70 secs
lola: 36951963 markings, 57202691 edges, 413372 markings/sec, 75 secs
lola: 39012006 markings, 60520522 edges, 412009 markings/sec, 80 secs
lola: 41089656 markings, 63873819 edges, 415530 markings/sec, 85 secs
lola: 43189414 markings, 67256491 edges, 419952 markings/sec, 90 secs
lola: 45233218 markings, 70552735 edges, 408761 markings/sec, 95 secs
lola: 47303311 markings, 73886020 edges, 414019 markings/sec, 100 secs
lola: 49361589 markings, 77207490 edges, 411656 markings/sec, 105 secs
lola: 51431003 markings, 80540096 edges, 413883 markings/sec, 110 secs
lola: 53470352 markings, 83821423 edges, 407870 markings/sec, 115 secs
lola: 55533689 markings, 87146618 edges, 412667 markings/sec, 120 secs
lola: 57602071 markings, 90480348 edges, 413676 markings/sec, 125 secs
lola: 59662640 markings, 93801953 edges, 412114 markings/sec, 130 secs
lola: 61735425 markings, 97142545 edges, 414557 markings/sec, 135 secs
lola: 63805133 markings, 100479704 edges, 413942 markings/sec, 140 secs
lola: 65893572 markings, 103845009 edges, 417688 markings/sec, 145 secs
lola: 67944372 markings, 107154896 edges, 410160 markings/sec, 150 secs
lola: 69983951 markings, 110439224 edges, 407916 markings/sec, 155 secs
lola: 72031455 markings, 113737645 edges, 409501 markings/sec, 160 secs
lola: 74087768 markings, 117048015 edges, 411263 markings/sec, 165 secs
lola: 76166324 markings, 120403354 edges, 415711 markings/sec, 170 secs
lola: 78223423 markings, 123714813 edges, 411420 markings/sec, 175 secs
lola: 80284944 markings, 127035599 edges, 412304 markings/sec, 180 secs
lola: 82348250 markings, 130360109 edges, 412661 markings/sec, 185 secs
lola: 84265189 markings, 133462241 edges, 383388 markings/sec, 190 secs
lola: 85937661 markings, 136331999 edges, 334494 markings/sec, 195 secs
lola: 87603214 markings, 139188772 edges, 333111 markings/sec, 200 secs
lola: 89264998 markings, 142037065 edges, 332357 markings/sec, 205 secs
lola: 90969722 markings, 144966616 edges, 340945 markings/sec, 210 secs
lola: 92705022 markings, 147934662 edges, 347060 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(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: 2714680 markings, 4072018 edges, 542936 markings/sec, 0 secs
lola: 4856360 markings, 7284538 edges, 428336 markings/sec, 5 secs
lola: 7087865 markings, 10631796 edges, 446301 markings/sec, 10 secs
lola: 9317015 markings, 13975519 edges, 445830 markings/sec, 15 secs
lola: 11506455 markings, 17259680 edges, 437888 markings/sec, 20 secs
lola: 13621166 markings, 20450758 edges, 422942 markings/sec, 25 secs
lola: 15489501 markings, 23374882 edges, 373667 markings/sec, 30 secs
lola: 17248489 markings, 26217620 edges, 351798 markings/sec, 35 secs
lola: 18935926 markings, 29016900 edges, 337487 markings/sec, 40 secs
lola: 20571995 markings, 31786722 edges, 327214 markings/sec, 45 secs
lola: 22174185 markings, 34552161 edges, 320438 markings/sec, 50 secs
lola: 23748515 markings, 37311904 edges, 314866 markings/sec, 55 secs
lola: 25294158 markings, 40059621 edges, 309129 markings/sec, 60 secs
lola: 26774965 markings, 42724040 edges, 296161 markings/sec, 65 secs
lola: 28206783 markings, 45331298 edges, 286364 markings/sec, 70 secs
lola: 29652098 markings, 47984258 edges, 289063 markings/sec, 75 secs
lola: 31114301 markings, 50698636 edges, 292441 markings/sec, 80 secs
lola: 32571549 markings, 53423959 edges, 291450 markings/sec, 85 secs
lola: 34013802 markings, 56145747 edges, 288451 markings/sec, 90 secs
lola: 35449594 markings, 58869954 edges, 287158 markings/sec, 95 secs
lola: 36859550 markings, 61569042 edges, 281991 markings/sec, 100 secs
lola: 38269124 markings, 64278666 edges, 281915 markings/sec, 105 secs
lola: 39696712 markings, 67042260 edges, 285518 markings/sec, 110 secs
lola: 41107813 markings, 69789958 edges, 282220 markings/sec, 115 secs
lola: 42516744 markings, 72548396 edges, 281786 markings/sec, 120 secs
lola: 43916370 markings, 75308620 edges, 279925 markings/sec, 125 secs
lola: 45296297 markings, 78030752 edges, 275985 markings/sec, 130 secs
lola: 46658460 markings, 80737629 edges, 272433 markings/sec, 135 secs
lola: 48015110 markings, 83446167 edges, 271330 markings/sec, 140 secs
lola: 49363726 markings, 86146958 edges, 269723 markings/sec, 145 secs
lola: 50694907 markings, 88829092 edges, 266236 markings/sec, 150 secs
lola: 51972786 markings, 91416046 edges, 255576 markings/sec, 155 secs
lola: 53243079 markings, 93998977 edges, 254059 markings/sec, 160 secs
lola: 54522177 markings, 96607381 edges, 255820 markings/sec, 165 secs
lola: 55795206 markings, 99216530 edges, 254606 markings/sec, 170 secs
lola: 57080025 markings, 101858241 edges, 256964 markings/sec, 175 secs
lola: 58382394 markings, 104549794 edges, 260474 markings/sec, 180 secs
lola: 59734496 markings, 107351331 edges, 270420 markings/sec, 185 secs
lola: 61050220 markings, 110090668 edges, 263145 markings/sec, 190 secs
lola: 62324648 markings, 112755861 edges, 254886 markings/sec, 195 secs
lola: 63641553 markings, 115508964 edges, 263381 markings/sec, 200 secs
lola: 64967542 markings, 118301448 edges, 265198 markings/sec, 205 secs
lola: 66336866 markings, 121189322 edges, 273865 markings/sec, 210 secs
lola: 67700210 markings, 124079009 edges, 272669 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(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: 2828754 markings, 4713884 edges, 565751 markings/sec, 0 secs
lola: 5146114 markings, 8575695 edges, 463472 markings/sec, 5 secs
lola: 7339474 markings, 12231385 edges, 438672 markings/sec, 10 secs
lola: 9444405 markings, 15739258 edges, 420986 markings/sec, 15 secs
lola: 11576644 markings, 19292637 edges, 426448 markings/sec, 20 secs
lola: 13812844 markings, 23029272 edges, 447240 markings/sec, 25 secs
lola: 15924680 markings, 26605211 edges, 422367 markings/sec, 30 secs
lola: 17955474 markings, 30083077 edges, 406159 markings/sec, 35 secs
lola: 19916347 markings, 33471944 edges, 392175 markings/sec, 40 secs
lola: 21784780 markings, 36725004 edges, 373687 markings/sec, 45 secs
lola: 23643723 markings, 39981273 edges, 371789 markings/sec, 50 secs
lola: 25470462 markings, 43199312 edges, 365348 markings/sec, 55 secs
lola: 27269713 markings, 46383476 edges, 359850 markings/sec, 60 secs
lola: 29043490 markings, 49536535 edges, 354755 markings/sec, 65 secs
lola: 30801584 markings, 52671168 edges, 351619 markings/sec, 70 secs
lola: 32548380 markings, 55798656 edges, 349359 markings/sec, 75 secs
lola: 34302048 markings, 58948326 edges, 350734 markings/sec, 80 secs
lola: 36111756 markings, 62207100 edges, 361942 markings/sec, 85 secs
lola: 37917613 markings, 65465757 edges, 361171 markings/sec, 90 secs
lola: 39674371 markings, 68647386 edges, 351352 markings/sec, 95 secs
lola: 41251476 markings, 71507061 edges, 315421 markings/sec, 100 secs
lola: 42822325 markings, 74362007 edges, 314170 markings/sec, 105 secs
lola: 44427064 markings, 77285524 edges, 320948 markings/sec, 110 secs
lola: 46012100 markings, 80177463 edges, 317007 markings/sec, 115 secs
lola: 47609725 markings, 83096482 edges, 319525 markings/sec, 120 secs
lola: 49215656 markings, 86036220 edges, 321186 markings/sec, 125 secs
lola: 50790505 markings, 88922063 edges, 314970 markings/sec, 130 secs
lola: 52354328 markings, 91793167 edges, 312765 markings/sec, 135 secs
lola: 53920408 markings, 94671210 edges, 313216 markings/sec, 140 secs
lola: 55466426 markings, 97514843 edges, 309204 markings/sec, 145 secs
lola: 57086924 markings, 100500683 edges, 324100 markings/sec, 150 secs
lola: 58676573 markings, 103433884 edges, 317930 markings/sec, 155 secs
lola: 60258724 markings, 106354726 edges, 316430 markings/sec, 160 secs
lola: 61835618 markings, 109268270 edges, 315379 markings/sec, 165 secs
lola: 63408997 markings, 112183734 edges, 314676 markings/sec, 170 secs
lola: 64981049 markings, 115092367 edges, 314410 markings/sec, 175 secs
lola: 66561643 markings, 118026123 edges, 316119 markings/sec, 180 secs
lola: 68136052 markings, 120946752 edges, 314882 markings/sec, 185 secs
lola: 69710181 markings, 123872753 edges, 314826 markings/sec, 190 secs
lola: 71274852 markings, 126780552 edges, 312934 markings/sec, 195 secs
lola: 72842264 markings, 129697323 edges, 313482 markings/sec, 200 secs
lola: 74409879 markings, 132616914 edges, 313523 markings/sec, 205 secs
lola: 75967085 markings, 135517246 edges, 311441 markings/sec, 210 secs
lola: 77519279 markings, 138413964 edges, 310439 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(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: 2813774 markings, 4688687 edges, 562755 markings/sec, 0 secs
lola: 5342264 markings, 8902505 edges, 505698 markings/sec, 5 secs
lola: 7793688 markings, 12988108 edges, 490285 markings/sec, 10 secs
lola: 9907006 markings, 16510341 edges, 422664 markings/sec, 15 secs
lola: 11978328 markings, 19962493 edges, 414264 markings/sec, 20 secs
lola: 14114875 markings, 23538056 edges, 427309 markings/sec, 25 secs
lola: 16145154 markings, 26981002 edges, 406056 markings/sec, 30 secs
lola: 18089196 markings, 30313240 edges, 388808 markings/sec, 35 secs
lola: 20015800 markings, 33644633 edges, 385321 markings/sec, 40 secs
lola: 21876163 markings, 36884309 edges, 372073 markings/sec, 45 secs
lola: 23704687 markings, 40088786 edges, 365705 markings/sec, 50 secs
lola: 25507342 markings, 43264406 edges, 360531 markings/sec, 55 secs
lola: 27287116 markings, 46414360 edges, 355955 markings/sec, 60 secs
lola: 29084726 markings, 49609374 edges, 359522 markings/sec, 65 secs
lola: 30804124 markings, 52676881 edges, 343880 markings/sec, 70 secs
lola: 32506589 markings, 55723835 edges, 340493 markings/sec, 75 secs
lola: 34186225 markings, 58739261 edges, 335927 markings/sec, 80 secs
lola: 35853881 markings, 61740505 edges, 333531 markings/sec, 85 secs
lola: 37506432 markings, 64723781 edges, 330510 markings/sec, 90 secs
lola: 39142652 markings, 67682324 edges, 327244 markings/sec, 95 secs
lola: 40737456 markings, 70574543 edges, 318961 markings/sec, 100 secs
lola: 42354611 markings, 73514144 edges, 323431 markings/sec, 105 secs
lola: 44062577 markings, 76622966 edges, 341593 markings/sec, 110 secs
lola: 45770738 markings, 79735667 edges, 341632 markings/sec, 115 secs
lola: 47474450 markings, 82847795 edges, 340742 markings/sec, 120 secs
lola: 49182091 markings, 85973316 edges, 341528 markings/sec, 125 secs
lola: 50855619 markings, 89041414 edges, 334706 markings/sec, 130 secs
lola: 52499853 markings, 92059852 edges, 328847 markings/sec, 135 secs
lola: 54146494 markings, 95087641 edges, 329328 markings/sec, 140 secs
lola: 55798555 markings, 98126800 edges, 330412 markings/sec, 145 secs
lola: 57444602 markings, 101159920 edges, 329209 markings/sec, 150 secs
lola: 59114471 markings, 104239925 edges, 333974 markings/sec, 155 secs
lola: 60791593 markings, 107340439 edges, 335424 markings/sec, 160 secs
lola: 62408543 markings, 110328322 edges, 323390 markings/sec, 165 secs
lola: 63948714 markings, 113180154 edges, 308034 markings/sec, 170 secs
lola: 65498257 markings, 116053406 edges, 309909 markings/sec, 175 secs
lola: 67054736 markings, 118939495 edges, 311296 markings/sec, 180 secs
lola: 68651830 markings, 121904565 edges, 319419 markings/sec, 185 secs
lola: 70234305 markings, 124846031 edges, 316495 markings/sec, 190 secs
lola: 71789278 markings, 127736540 edges, 310995 markings/sec, 195 secs
lola: 73334764 markings, 130613253 edges, 309097 markings/sec, 200 secs
lola: 74882627 markings, 133495370 edges, 309573 markings/sec, 205 secs
lola: 76439101 markings, 136397813 edges, 311295 markings/sec, 210 secs
lola: 78014255 markings, 139338018 edges, 315031 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(LoadingMem)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1763651 markings, 3415188 edges, 352730 markings/sec, 0 secs
lola: 3549848 markings, 7119254 edges, 357239 markings/sec, 5 secs
lola: 5300412 markings, 10777043 edges, 350113 markings/sec, 10 secs
lola: 7034275 markings, 14398538 edges, 346773 markings/sec, 15 secs
lola: 8757553 markings, 18035655 edges, 344656 markings/sec, 20 secs
lola: 10509221 markings, 21733585 edges, 350334 markings/sec, 25 secs
lola: 12251070 markings, 25420419 edges, 348370 markings/sec, 30 secs
lola: 13963473 markings, 29058652 edges, 342481 markings/sec, 35 secs
lola: 15646395 markings, 32624376 edges, 336584 markings/sec, 40 secs
lola: 17309735 markings, 36161223 edges, 332668 markings/sec, 45 secs
lola: 18944698 markings, 39643958 edges, 326993 markings/sec, 50 secs
lola: 20582558 markings, 43113715 edges, 327572 markings/sec, 55 secs
lola: 22117427 markings, 46246479 edges, 306974 markings/sec, 60 secs
lola: 23769149 markings, 49631409 edges, 330344 markings/sec, 65 secs
lola: 25462237 markings, 53103771 edges, 338618 markings/sec, 70 secs
lola: 27139645 markings, 56537883 edges, 335482 markings/sec, 75 secs
lola: 28865948 markings, 60057028 edges, 345261 markings/sec, 80 secs
lola: 30567303 markings, 63553706 edges, 340271 markings/sec, 85 secs
lola: 32348168 markings, 67201911 edges, 356173 markings/sec, 90 secs
lola: 34137800 markings, 70848565 edges, 357926 markings/sec, 95 secs
lola: 35891600 markings, 74422036 edges, 350760 markings/sec, 100 secs
lola: 37698913 markings, 78055981 edges, 361463 markings/sec, 105 secs
lola: 39442910 markings, 81533078 edges, 348799 markings/sec, 110 secs
lola: 40897573 markings, 84575729 edges, 290933 markings/sec, 115 secs
lola: 42305581 markings, 87548517 edges, 281602 markings/sec, 120 secs
lola: 43690551 markings, 90497365 edges, 276994 markings/sec, 125 secs
lola: 45065680 markings, 93437345 edges, 275026 markings/sec, 130 secs
lola: 46444341 markings, 96379185 edges, 275732 markings/sec, 135 secs
lola: 47815579 markings, 99302219 edges, 274248 markings/sec, 140 secs
lola: 49158230 markings, 102166535 edges, 268530 markings/sec, 145 secs
lola: 50458349 markings, 104947122 edges, 260024 markings/sec, 150 secs
lola: 51723577 markings, 107658692 edges, 253046 markings/sec, 155 secs
lola: 52970778 markings, 110331857 edges, 249440 markings/sec, 160 secs
lola: 54195563 markings, 112945616 edges, 244957 markings/sec, 165 secs
lola: 55453189 markings, 115640437 edges, 251525 markings/sec, 170 secs
lola: 56710540 markings, 118333954 edges, 251470 markings/sec, 175 secs
lola: 57957079 markings, 121002961 edges, 249308 markings/sec, 180 secs
lola: 59213166 markings, 123689210 edges, 251217 markings/sec, 185 secs
lola: 60440017 markings, 126318120 edges, 245370 markings/sec, 190 secs
lola: 61686973 markings, 128992063 edges, 249391 markings/sec, 195 secs
lola: 62901077 markings, 131598733 edges, 242821 markings/sec, 200 secs
lola: 64156078 markings, 134286529 edges, 251000 markings/sec, 205 secs
lola: 65417477 markings, 136982849 edges, 252280 markings/sec, 210 secs
lola: 66675764 markings, 139671294 edges, 251657 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 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: 1768922 markings, 3425663 edges, 353784 markings/sec, 0 secs
lola: 3567167 markings, 7156891 edges, 359649 markings/sec, 5 secs
lola: 5327553 markings, 10833571 edges, 352077 markings/sec, 10 secs
lola: 7072348 markings, 14477399 edges, 348959 markings/sec, 15 secs
lola: 8812848 markings, 18155824 edges, 348100 markings/sec, 20 secs
lola: 10588369 markings, 21893408 edges, 355104 markings/sec, 25 secs
lola: 12313640 markings, 25552243 edges, 345054 markings/sec, 30 secs
lola: 14020708 markings, 29177627 edges, 341414 markings/sec, 35 secs
lola: 15721662 markings, 32790776 edges, 340191 markings/sec, 40 secs
lola: 17421389 markings, 36398529 edges, 339945 markings/sec, 45 secs
lola: 19104595 markings, 39971840 edges, 336641 markings/sec, 50 secs
lola: 20789356 markings, 43535290 edges, 336952 markings/sec, 55 secs
lola: 22368655 markings, 46761181 edges, 315860 markings/sec, 60 secs
lola: 24023542 markings, 50156708 edges, 330977 markings/sec, 65 secs
lola: 25717364 markings, 53625694 edges, 338764 markings/sec, 70 secs
lola: 27442305 markings, 57151684 edges, 344988 markings/sec, 75 secs
lola: 29106893 markings, 60556611 edges, 332918 markings/sec, 80 secs
lola: 30835933 markings, 64102104 edges, 345808 markings/sec, 85 secs
lola: 32621971 markings, 67765121 edges, 357208 markings/sec, 90 secs
lola: 34408169 markings, 71398460 edges, 357240 markings/sec, 95 secs
lola: 36181272 markings, 75005795 edges, 354621 markings/sec, 100 secs
lola: 38023806 markings, 78705276 edges, 368507 markings/sec, 105 secs
lola: 39692655 markings, 82049451 edges, 333770 markings/sec, 110 secs
lola: 41111188 markings, 85027643 edges, 283707 markings/sec, 115 secs
lola: 42472012 markings, 87904859 edges, 272165 markings/sec, 120 secs
lola: 43799194 markings, 90729589 edges, 265436 markings/sec, 125 secs
lola: 45120101 markings, 93555007 edges, 264181 markings/sec, 130 secs
lola: 46433203 markings, 96356524 edges, 262620 markings/sec, 135 secs
lola: 47713843 markings, 99084904 edges, 256128 markings/sec, 140 secs
lola: 48979960 markings, 101784133 edges, 253223 markings/sec, 145 secs
lola: 50252459 markings, 104503542 edges, 254500 markings/sec, 150 secs
lola: 51511309 markings, 107206274 edges, 251770 markings/sec, 155 secs
lola: 52780441 markings, 109923122 edges, 253826 markings/sec, 160 secs
lola: 54047446 markings, 112627372 edges, 253401 markings/sec, 165 secs
lola: 55314807 markings, 115346890 edges, 253472 markings/sec, 170 secs
lola: 56604855 markings, 118105396 edges, 258010 markings/sec, 175 secs
lola: 57869474 markings, 120817607 edges, 252924 markings/sec, 180 secs
lola: 59144216 markings, 123541773 edges, 254948 markings/sec, 185 secs
lola: 60396902 markings, 126224754 edges, 250537 markings/sec, 190 secs
lola: 61671814 markings, 128959261 edges, 254982 markings/sec, 195 secs
lola: 62939632 markings, 131681972 edges, 253564 markings/sec, 200 secs
lola: 64241703 markings, 134469221 edges, 260414 markings/sec, 205 secs
lola: 65535902 markings, 137235247 edges, 258840 markings/sec, 210 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(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: 2901872 markings, 4835483 edges, 580374 markings/sec, 0 secs
lola: 5554062 markings, 9255512 edges, 530438 markings/sec, 5 secs
lola: 8036336 markings, 13392424 edges, 496455 markings/sec, 10 secs
lola: 10359017 markings, 17263681 edges, 464536 markings/sec, 15 secs
lola: 12566298 markings, 20941934 edges, 441456 markings/sec, 20 secs
lola: 14813838 markings, 24718659 edges, 449508 markings/sec, 25 secs
lola: 16852343 markings, 28189628 edges, 407701 markings/sec, 30 secs
lola: 18812870 markings, 31561230 edges, 392105 markings/sec, 35 secs
lola: 20736494 markings, 34897102 edges, 384725 markings/sec, 40 secs
lola: 22630679 markings, 38204601 edges, 378837 markings/sec, 45 secs
lola: 24462994 markings, 41422790 edges, 366463 markings/sec, 50 secs
lola: 26233689 markings, 44547720 edges, 354139 markings/sec, 55 secs
lola: 28045050 markings, 47760291 edges, 362272 markings/sec, 60 secs
lola: 29849994 markings, 50973242 edges, 360989 markings/sec, 65 secs
lola: 31694958 markings, 54270252 edges, 368993 markings/sec, 70 secs
lola: 33527860 markings, 57555619 edges, 366580 markings/sec, 75 secs
lola: 35345690 markings, 60826435 edges, 363566 markings/sec, 80 secs
lola: 37144769 markings, 64070548 edges, 359816 markings/sec, 85 secs
lola: 38905953 markings, 67254293 edges, 352237 markings/sec, 90 secs
lola: 40648102 markings, 70412702 edges, 348430 markings/sec, 95 secs
lola: 42379443 markings, 73558658 edges, 346268 markings/sec, 100 secs
lola: 44101534 markings, 76691068 edges, 344418 markings/sec, 105 secs
lola: 45778425 markings, 79751307 edges, 335378 markings/sec, 110 secs
lola: 47410941 markings, 82734105 edges, 326503 markings/sec, 115 secs
lola: 49062756 markings, 85754099 edges, 330363 markings/sec, 120 secs
lola: 50706147 markings, 88766696 edges, 328678 markings/sec, 125 secs
lola: 52335120 markings, 91756799 edges, 325795 markings/sec, 130 secs
lola: 53962375 markings, 94746604 edges, 325451 markings/sec, 135 secs
lola: 55586681 markings, 97737515 edges, 324861 markings/sec, 140 secs
lola: 57213211 markings, 100731901 edges, 325306 markings/sec, 145 secs
lola: 58863930 markings, 103779233 edges, 330144 markings/sec, 150 secs
lola: 60571083 markings, 106933659 edges, 341431 markings/sec, 155 secs
lola: 62290581 markings, 110111755 edges, 343900 markings/sec, 160 secs
lola: 64012210 markings, 113299202 edges, 344326 markings/sec, 165 secs
lola: 65730299 markings, 116482555 edges, 343618 markings/sec, 170 secs
lola: 67432535 markings, 119638963 edges, 340447 markings/sec, 175 secs
lola: 69140733 markings, 122812733 edges, 341640 markings/sec, 180 secs
lola: 70782928 markings, 125867361 edges, 328439 markings/sec, 185 secs
lola: 72413595 markings, 128896728 edges, 326133 markings/sec, 190 secs
lola: 74028215 markings, 131906168 edges, 322924 markings/sec, 195 secs
lola: 75610038 markings, 134853491 edges, 316365 markings/sec, 200 secs
lola: 77191775 markings, 137802885 edges, 316347 markings/sec, 205 secs
lola: 78769860 markings, 140746030 edges, 315617 markings/sec, 210 secs
lola: 80352584 markings, 143704404 edges, 316545 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(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: 3627656 markings, 4837944 edges, 725531 markings/sec, 0 secs
lola: 7129890 markings, 9508436 edges, 700447 markings/sec, 5 secs
lola: 9793501 markings, 13435750 edges, 532722 markings/sec, 10 secs
lola: 11989108 markings, 16975961 edges, 439121 markings/sec, 15 secs
lola: 14191453 markings, 20520804 edges, 440469 markings/sec, 20 secs
lola: 16370811 markings, 24034293 edges, 435872 markings/sec, 25 secs
lola: 18558142 markings, 27564965 edges, 437466 markings/sec, 30 secs
lola: 20720884 markings, 31043973 edges, 432548 markings/sec, 35 secs
lola: 22870190 markings, 34512117 edges, 429861 markings/sec, 40 secs
lola: 25015314 markings, 37972934 edges, 429025 markings/sec, 45 secs
lola: 27190155 markings, 41477057 edges, 434968 markings/sec, 50 secs
lola: 29363334 markings, 44977462 edges, 434636 markings/sec, 55 secs
lola: 31509679 markings, 48437992 edges, 429269 markings/sec, 60 secs
lola: 33674372 markings, 51922516 edges, 432939 markings/sec, 65 secs
lola: 35811872 markings, 55366609 edges, 427500 markings/sec, 70 secs
lola: 37942737 markings, 58797433 edges, 426173 markings/sec, 75 secs
lola: 40022515 markings, 62155597 edges, 415956 markings/sec, 80 secs
lola: 42128890 markings, 65552788 edges, 421275 markings/sec, 85 secs
lola: 44261499 markings, 68985446 edges, 426522 markings/sec, 90 secs
lola: 46378007 markings, 72396800 edges, 423302 markings/sec, 95 secs
lola: 48548399 markings, 75898046 edges, 434078 markings/sec, 100 secs
lola: 50715578 markings, 79386434 edges, 433436 markings/sec, 105 secs
lola: 52855049 markings, 82834530 edges, 427894 markings/sec, 110 secs
lola: 54992899 markings, 86279142 edges, 427570 markings/sec, 115 secs
lola: 57142632 markings, 89748069 edges, 429947 markings/sec, 120 secs
lola: 59260577 markings, 93152685 edges, 423589 markings/sec, 125 secs
lola: 61380194 markings, 96576818 edges, 423923 markings/sec, 130 secs
lola: 63510101 markings, 100004248 edges, 425981 markings/sec, 135 secs
lola: 65661705 markings, 103477800 edges, 430321 markings/sec, 140 secs
lola: 67799862 markings, 106923937 edges, 427631 markings/sec, 145 secs
lola: 69886456 markings, 110278554 edges, 417319 markings/sec, 150 secs
lola: 71984850 markings, 113658767 edges, 419679 markings/sec, 155 secs
lola: 74088826 markings, 117050130 edges, 420795 markings/sec, 160 secs
lola: 76205294 markings, 120467498 edges, 423294 markings/sec, 165 secs
lola: 78307622 markings, 123855564 edges, 420466 markings/sec, 170 secs
lola: 80404538 markings, 127231813 edges, 419383 markings/sec, 175 secs
lola: 82516629 markings, 130641282 edges, 422418 markings/sec, 180 secs
lola: 84508954 markings, 133885267 edges, 398465 markings/sec, 185 secs
lola: 86276769 markings, 136910703 edges, 353563 markings/sec, 190 secs
lola: 88022896 markings, 139907938 edges, 349225 markings/sec, 195 secs
lola: 89779225 markings, 142917645 edges, 351266 markings/sec, 200 secs
lola: 91535519 markings, 145932513 edges, 351259 markings/sec, 205 secs
lola: 93285102 markings, 148932282 edges, 349917 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(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: 2859708 markings, 4765365 edges, 571942 markings/sec, 0 secs
lola: 5263461 markings, 8771155 edges, 480751 markings/sec, 5 secs
lola: 7711833 markings, 12851750 edges, 489674 markings/sec, 10 secs
lola: 10002573 markings, 16669562 edges, 458148 markings/sec, 15 secs
lola: 12169629 markings, 20281289 edges, 433411 markings/sec, 20 secs
lola: 14511718 markings, 24207156 edges, 468418 markings/sec, 25 secs
lola: 16706776 markings, 27940422 edges, 439012 markings/sec, 30 secs
lola: 18771195 markings, 31489185 edges, 412884 markings/sec, 35 secs
lola: 20642887 markings, 34733997 edges, 374338 markings/sec, 40 secs
lola: 22537013 markings, 38040562 edges, 378825 markings/sec, 45 secs
lola: 24413931 markings, 41336368 edges, 375384 markings/sec, 50 secs
lola: 26253378 markings, 44582027 edges, 367889 markings/sec, 55 secs
lola: 28025319 markings, 47725416 edges, 354388 markings/sec, 60 secs
lola: 29757899 markings, 50809434 edges, 346516 markings/sec, 65 secs
lola: 31509513 markings, 53937937 edges, 350323 markings/sec, 70 secs
lola: 33257773 markings, 57071565 edges, 349652 markings/sec, 75 secs
lola: 34987409 markings, 60179892 edges, 345927 markings/sec, 80 secs
lola: 36668120 markings, 63208870 edges, 336142 markings/sec, 85 secs
lola: 38329206 markings, 66212456 edges, 332217 markings/sec, 90 secs
lola: 40018378 markings, 69271000 edges, 337834 markings/sec, 95 secs
lola: 41720339 markings, 72358886 edges, 340392 markings/sec, 100 secs
lola: 43443913 markings, 75496183 edges, 344715 markings/sec, 105 secs
lola: 45164312 markings, 78628870 edges, 344080 markings/sec, 110 secs
lola: 46880569 markings, 81761961 edges, 343251 markings/sec, 115 secs
lola: 48585104 markings, 84881376 edges, 340907 markings/sec, 120 secs
lola: 50222224 markings, 87880436 edges, 327424 markings/sec, 125 secs
lola: 51770448 markings, 90718762 edges, 309645 markings/sec, 130 secs
lola: 53372134 markings, 93661802 edges, 320337 markings/sec, 135 secs
lola: 54988514 markings, 96635974 edges, 323276 markings/sec, 140 secs
lola: 56568700 markings, 99547127 edges, 316037 markings/sec, 145 secs
lola: 58222595 markings, 102597141 edges, 330779 markings/sec, 150 secs
lola: 59787975 markings, 105485216 edges, 313076 markings/sec, 155 secs
lola: 61454214 markings, 108563121 edges, 333248 markings/sec, 160 secs
lola: 63066383 markings, 111546034 edges, 322434 markings/sec, 165 secs
lola: 64663897 markings, 114506244 edges, 319503 markings/sec, 170 secs
lola: 66297989 markings, 117534071 edges, 326818 markings/sec, 175 secs
lola: 67918904 markings, 120542572 edges, 324183 markings/sec, 180 secs
lola: 69599133 markings, 123664820 edges, 336046 markings/sec, 185 secs
lola: 71256658 markings, 126746335 edges, 331505 markings/sec, 190 secs
lola: 72974398 markings, 129940448 edges, 343548 markings/sec, 195 secs
lola: 74678726 markings, 133117675 edges, 340866 markings/sec, 200 secs
lola: 76392668 markings, 136311660 edges, 342788 markings/sec, 205 secs
lola: 78092307 markings, 139480342 edges, 339928 markings/sec, 210 secs
lola: 79775247 markings, 142623919 edges, 336588 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(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: 1727770 markings, 4090976 edges, 345554 markings/sec, 0 secs
lola: 3231677 markings, 7763464 edges, 300781 markings/sec, 5 secs
lola: 4680178 markings, 11317388 edges, 289700 markings/sec, 10 secs
lola: 6114910 markings, 14839937 edges, 286946 markings/sec, 15 secs
lola: 7503082 markings, 18262174 edges, 277634 markings/sec, 20 secs
lola: 8910507 markings, 21723304 edges, 281485 markings/sec, 25 secs
lola: 10311706 markings, 25157354 edges, 280240 markings/sec, 30 secs
lola: 11673229 markings, 28522854 edges, 272305 markings/sec, 35 secs
lola: 13024462 markings, 31860026 edges, 270247 markings/sec, 40 secs
lola: 14401665 markings, 35256086 edges, 275441 markings/sec, 45 secs
lola: 15763997 markings, 38619465 edges, 272466 markings/sec, 50 secs
lola: 17115183 markings, 41965662 edges, 270237 markings/sec, 55 secs
lola: 18505601 markings, 45409902 edges, 278084 markings/sec, 60 secs
lola: 19945456 markings, 48968052 edges, 287971 markings/sec, 65 secs
lola: 21395739 markings, 52545817 edges, 290057 markings/sec, 70 secs
lola: 22861110 markings, 56164548 edges, 293074 markings/sec, 75 secs
lola: 24338134 markings, 59805518 edges, 295405 markings/sec, 80 secs
lola: 25821988 markings, 63460403 edges, 296771 markings/sec, 85 secs
lola: 27288660 markings, 67078871 edges, 293334 markings/sec, 90 secs
lola: 28788784 markings, 70762479 edges, 300025 markings/sec, 95 secs
lola: 30247650 markings, 74361914 edges, 291773 markings/sec, 100 secs
lola: 31694776 markings, 77942232 edges, 289425 markings/sec, 105 secs
lola: 33151104 markings, 81537527 edges, 291266 markings/sec, 110 secs
lola: 34575846 markings, 85058134 edges, 284948 markings/sec, 115 secs
lola: 35997180 markings, 88581530 edges, 284267 markings/sec, 120 secs
lola: 37425637 markings, 92116914 edges, 285691 markings/sec, 125 secs
lola: 38837515 markings, 95614060 edges, 282376 markings/sec, 130 secs
lola: 40217248 markings, 99026460 edges, 275947 markings/sec, 135 secs
lola: 41602296 markings, 102470988 edges, 277010 markings/sec, 140 secs
lola: 43014885 markings, 105956086 edges, 282518 markings/sec, 145 secs
lola: 44422044 markings, 109458396 edges, 281432 markings/sec, 150 secs
lola: 45805732 markings, 112906656 edges, 276738 markings/sec, 155 secs
lola: 47205986 markings, 116395532 edges, 280051 markings/sec, 160 secs
lola: 48635515 markings, 119934870 edges, 285906 markings/sec, 165 secs
lola: 50038062 markings, 123434859 edges, 280509 markings/sec, 170 secs
lola: 51434961 markings, 126905305 edges, 279380 markings/sec, 175 secs
lola: 52871806 markings, 130472301 edges, 287369 markings/sec, 180 secs
lola: 54254864 markings, 133916733 edges, 276612 markings/sec, 185 secs
lola: 55671927 markings, 137437078 edges, 283413 markings/sec, 190 secs
lola: 57082682 markings, 140942593 edges, 282151 markings/sec, 195 secs
lola: 58511724 markings, 144464865 edges, 285808 markings/sec, 200 secs
lola: 59924406 markings, 147983555 edges, 282536 markings/sec, 205 secs
lola: 61350519 markings, 151508412 edges, 285223 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: 2823115 markings, 4234677 edges, 564623 markings/sec, 0 secs
lola: 5252495 markings, 7878745 edges, 485876 markings/sec, 5 secs
lola: 7577293 markings, 11365942 edges, 464960 markings/sec, 10 secs
lola: 9845362 markings, 14768047 edges, 453614 markings/sec, 15 secs
lola: 12071797 markings, 18107699 edges, 445287 markings/sec, 20 secs
lola: 14239130 markings, 21405991 edges, 433467 markings/sec, 25 secs
lola: 16313846 markings, 24697504 edges, 414943 markings/sec, 30 secs
lola: 18316276 markings, 27980852 edges, 400486 markings/sec, 35 secs
lola: 20250395 markings, 31238415 edges, 386824 markings/sec, 40 secs
lola: 22131646 markings, 34477074 edges, 376250 markings/sec, 45 secs
lola: 23963833 markings, 37693176 edges, 366437 markings/sec, 50 secs
lola: 25759610 markings, 40892416 edges, 359155 markings/sec, 55 secs
lola: 27519089 markings, 44073570 edges, 351896 markings/sec, 60 secs
lola: 29242268 markings, 47228133 edges, 344636 markings/sec, 65 secs
lola: 30942347 markings, 50377847 edges, 340016 markings/sec, 70 secs
lola: 32625629 markings, 53523156 edges, 336656 markings/sec, 75 secs
lola: 34284095 markings, 56656694 edges, 331693 markings/sec, 80 secs
lola: 35925786 markings, 59778600 edges, 328338 markings/sec, 85 secs
lola: 37550566 markings, 62894370 edges, 324956 markings/sec, 90 secs
lola: 39157468 markings, 65999145 edges, 321380 markings/sec, 95 secs
lola: 40743476 markings, 69082706 edges, 317202 markings/sec, 100 secs
lola: 42306255 markings, 72135107 edges, 312556 markings/sec, 105 secs
lola: 43848512 markings, 75173415 edges, 308451 markings/sec, 110 secs
lola: 45383238 markings, 78203342 edges, 306945 markings/sec, 115 secs
lola: 46904137 markings, 81226096 edges, 304180 markings/sec, 120 secs
lola: 48413065 markings, 84242522 edges, 301786 markings/sec, 125 secs
lola: 49910697 markings, 87245633 edges, 299526 markings/sec, 130 secs
lola: 51407580 markings, 90264811 edges, 299377 markings/sec, 135 secs
lola: 52897910 markings, 93290936 edges, 298066 markings/sec, 140 secs
lola: 54389086 markings, 96333029 edges, 298235 markings/sec, 145 secs
lola: 55876610 markings, 99382048 edges, 297505 markings/sec, 150 secs
lola: 57358811 markings, 102434278 edges, 296440 markings/sec, 155 secs
lola: 58835603 markings, 105488402 edges, 295358 markings/sec, 160 secs
lola: 60313555 markings, 108553606 edges, 295590 markings/sec, 165 secs
lola: 61780136 markings, 111611012 edges, 293316 markings/sec, 170 secs
lola: 63240044 markings, 114672548 edges, 291982 markings/sec, 175 secs
lola: 64694547 markings, 117725182 edges, 290901 markings/sec, 180 secs
lola: 66143536 markings, 120783448 edges, 289798 markings/sec, 185 secs
lola: 67590366 markings, 123842771 edges, 289366 markings/sec, 190 secs
lola: 69029119 markings, 126898210 edges, 287751 markings/sec, 195 secs
lola: 70473397 markings, 129967312 edges, 288856 markings/sec, 200 secs
lola: 71909823 markings, 133036674 edges, 287285 markings/sec, 205 secs
lola: 73338806 markings, 136097928 edges, 285797 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(LoadingMem)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1758653 markings, 3405490 edges, 351731 markings/sec, 0 secs
lola: 3566854 markings, 7156108 edges, 361640 markings/sec, 5 secs
lola: 5333895 markings, 10847671 edges, 353408 markings/sec, 10 secs
lola: 7083859 markings, 14503985 edges, 349993 markings/sec, 15 secs
lola: 8826506 markings, 18185929 edges, 348529 markings/sec, 20 secs
lola: 10602978 markings, 21923283 edges, 355294 markings/sec, 25 secs
lola: 12365094 markings, 25655551 edges, 352423 markings/sec, 30 secs
lola: 14106500 markings, 29354498 edges, 348281 markings/sec, 35 secs
lola: 15843665 markings, 33035719 edges, 347433 markings/sec, 40 secs
lola: 17571978 markings, 36703564 edges, 345663 markings/sec, 45 secs
lola: 19279974 markings, 40342852 edges, 341599 markings/sec, 50 secs
lola: 20998648 markings, 43985020 edges, 343735 markings/sec, 55 secs
lola: 22668487 markings, 47367981 edges, 333968 markings/sec, 60 secs
lola: 24401834 markings, 50937004 edges, 346669 markings/sec, 65 secs
lola: 26145363 markings, 54502737 edges, 348706 markings/sec, 70 secs
lola: 27894971 markings, 58077293 edges, 349922 markings/sec, 75 secs
lola: 29642759 markings, 61657161 edges, 349558 markings/sec, 80 secs
lola: 31451610 markings, 65361823 edges, 361770 markings/sec, 85 secs
lola: 33281236 markings, 69105842 edges, 365925 markings/sec, 90 secs
lola: 35073987 markings, 72755389 edges, 358550 markings/sec, 95 secs
lola: 36907568 markings, 76476322 edges, 366716 markings/sec, 100 secs
lola: 38796090 markings, 80207739 edges, 377704 markings/sec, 105 secs
lola: 40321181 markings, 83358471 edges, 305018 markings/sec, 110 secs
lola: 41762380 markings, 86403888 edges, 288240 markings/sec, 115 secs
lola: 43177823 markings, 89409208 edges, 283089 markings/sec, 120 secs
lola: 44583933 markings, 92406599 edges, 281222 markings/sec, 125 secs
lola: 45982895 markings, 95400622 edges, 279792 markings/sec, 130 secs
lola: 47383633 markings, 98384655 edges, 280148 markings/sec, 135 secs
lola: 48776383 markings, 101350844 edges, 278550 markings/sec, 140 secs
lola: 50165394 markings, 104316702 edges, 277802 markings/sec, 145 secs
lola: 51524640 markings, 107235137 edges, 271849 markings/sec, 150 secs
lola: 52899420 markings, 110180318 edges, 274956 markings/sec, 155 secs
lola: 54270713 markings, 113106092 edges, 274259 markings/sec, 160 secs
lola: 55635171 markings, 116028372 edges, 272892 markings/sec, 165 secs
lola: 56994892 markings, 118947263 edges, 271944 markings/sec, 170 secs
lola: 58363418 markings, 121872737 edges, 273705 markings/sec, 175 secs
lola: 59718594 markings, 124774732 edges, 271035 markings/sec, 180 secs
lola: 61078539 markings, 127684992 edges, 271989 markings/sec, 185 secs
lola: 62424271 markings, 130577797 edges, 269146 markings/sec, 190 secs
lola: 63786872 markings, 133501003 edges, 272520 markings/sec, 195 secs
lola: 65149293 markings, 136409097 edges, 272484 markings/sec, 200 secs
lola: 66517185 markings, 139331252 edges, 273578 markings/sec, 205 secs
lola: 67864872 markings, 142220954 edges, 269537 markings/sec, 210 secs
lola: 69219404 markings, 145130122 edges, 270906 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(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: 3694233 markings, 4926798 edges, 738847 markings/sec, 0 secs
lola: 7215651 markings, 9622587 edges, 704284 markings/sec, 5 secs
lola: 9868432 markings, 13555798 edges, 530556 markings/sec, 10 secs
lola: 12088803 markings, 17132100 edges, 444074 markings/sec, 15 secs
lola: 14300678 markings, 20696292 edges, 442375 markings/sec, 20 secs
lola: 16494109 markings, 24239518 edges, 438686 markings/sec, 25 secs
lola: 18713304 markings, 27814351 edges, 443839 markings/sec, 30 secs
lola: 20895860 markings, 31327760 edges, 436511 markings/sec, 35 secs
lola: 23082797 markings, 34850937 edges, 437387 markings/sec, 40 secs
lola: 25258500 markings, 38357104 edges, 435141 markings/sec, 45 secs
lola: 27455685 markings, 41902732 edges, 439437 markings/sec, 50 secs
lola: 29685625 markings, 45492234 edges, 445988 markings/sec, 55 secs
lola: 31877342 markings, 49031229 edges, 438343 markings/sec, 60 secs
lola: 34071547 markings, 52559292 edges, 438841 markings/sec, 65 secs
lola: 36255689 markings, 56082333 edges, 436828 markings/sec, 70 secs
lola: 38455232 markings, 59624263 edges, 439909 markings/sec, 75 secs
lola: 40609809 markings, 63100266 edges, 430915 markings/sec, 80 secs
lola: 42773942 markings, 66583146 edges, 432827 markings/sec, 85 secs
lola: 44932088 markings, 70070432 edges, 431629 markings/sec, 90 secs
lola: 47130714 markings, 73606221 edges, 439725 markings/sec, 95 secs
lola: 49322101 markings, 77145457 edges, 438277 markings/sec, 100 secs
lola: 51514520 markings, 80669033 edges, 438484 markings/sec, 105 secs
lola: 53670867 markings, 84152096 edges, 431269 markings/sec, 110 secs
lola: 55841579 markings, 87647013 edges, 434142 markings/sec, 115 secs
lola: 58009990 markings, 91138597 edges, 433682 markings/sec, 120 secs
lola: 60145547 markings, 94578803 edges, 427111 markings/sec, 125 secs
lola: 62299940 markings, 98057571 edges, 430879 markings/sec, 130 secs
lola: 64445701 markings, 101517426 edges, 429152 markings/sec, 135 secs
lola: 66634518 markings, 105037097 edges, 437763 markings/sec, 140 secs
lola: 68762158 markings, 108473043 edges, 425528 markings/sec, 145 secs
lola: 70893376 markings, 111906418 edges, 426244 markings/sec, 150 secs
lola: 73015327 markings, 115320277 edges, 424390 markings/sec, 155 secs
lola: 75157028 markings, 118771088 edges, 428340 markings/sec, 160 secs
lola: 77299601 markings, 122225326 edges, 428515 markings/sec, 165 secs
lola: 79423193 markings, 125653061 edges, 424718 markings/sec, 170 secs
lola: 81554912 markings, 129089854 edges, 426344 markings/sec, 175 secs
lola: 83658426 markings, 132480605 edges, 420703 markings/sec, 180 secs
lola: 85510510 markings, 135601268 edges, 370417 markings/sec, 185 secs
lola: 87309923 markings, 138682439 edges, 359883 markings/sec, 190 secs
lola: 89102427 markings, 141763425 edges, 358501 markings/sec, 195 secs
lola: 90883671 markings, 144819074 edges, 356249 markings/sec, 200 secs
lola: 92687998 markings, 147911304 edges, 360865 markings/sec, 205 secs
lola: 94487589 markings, 150992878 edges, 359918 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 220 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: 1823064 markings, 4324937 edges, 364613 markings/sec, 0 secs
lola: 3447177 markings, 8294067 edges, 324823 markings/sec, 5 secs
lola: 5027459 markings, 12176755 edges, 316056 markings/sec, 10 secs
lola: 6582892 markings, 15995292 edges, 311087 markings/sec, 15 secs
lola: 8121961 markings, 19778746 edges, 307814 markings/sec, 20 secs
lola: 9664778 markings, 23565134 edges, 308563 markings/sec, 25 secs
lola: 11154930 markings, 27241776 edges, 298030 markings/sec, 30 secs
lola: 12642364 markings, 30909998 edges, 297487 markings/sec, 35 secs
lola: 14131416 markings, 34590907 edges, 297810 markings/sec, 40 secs
lola: 15621789 markings, 38266305 edges, 298075 markings/sec, 45 secs
lola: 17093266 markings, 41910331 edges, 294295 markings/sec, 50 secs
lola: 18566291 markings, 45558016 edges, 294605 markings/sec, 55 secs
lola: 20032209 markings, 49173633 edges, 293184 markings/sec, 60 secs
lola: 21486413 markings, 52770711 edges, 290841 markings/sec, 65 secs
lola: 22958033 markings, 56402456 edges, 294324 markings/sec, 70 secs
lola: 24414530 markings, 59993997 edges, 291299 markings/sec, 75 secs
lola: 25871219 markings, 63583347 edges, 291338 markings/sec, 80 secs
lola: 27299339 markings, 67102680 edges, 285624 markings/sec, 85 secs
lola: 28745873 markings, 70657076 edges, 289307 markings/sec, 90 secs
lola: 30143516 markings, 74103911 edges, 279529 markings/sec, 95 secs
lola: 31510748 markings, 77488412 edges, 273446 markings/sec, 100 secs
lola: 32911692 markings, 80938994 edges, 280189 markings/sec, 105 secs
lola: 34261831 markings, 84288457 edges, 270028 markings/sec, 110 secs
lola: 35639614 markings, 87690558 edges, 275557 markings/sec, 115 secs
lola: 37011761 markings, 91095218 edges, 274429 markings/sec, 120 secs
lola: 38404160 markings, 94538510 edges, 278480 markings/sec, 125 secs
lola: 39755333 markings, 97892236 edges, 270235 markings/sec, 130 secs
lola: 41132458 markings, 101302770 edges, 275425 markings/sec, 135 secs
lola: 42530295 markings, 104755462 edges, 279567 markings/sec, 140 secs
lola: 43922539 markings, 108213417 edges, 278449 markings/sec, 145 secs
lola: 45319173 markings, 111694104 edges, 279327 markings/sec, 150 secs
lola: 46714461 markings, 115170016 edges, 279058 markings/sec, 155 secs
lola: 48139326 markings, 118712633 edges, 284973 markings/sec, 160 secs
lola: 49535275 markings, 122179777 edges, 279190 markings/sec, 165 secs
lola: 50942048 markings, 125681118 edges, 281355 markings/sec, 170 secs
lola: 52347361 markings, 129169292 edges, 281063 markings/sec, 175 secs
lola: 53757522 markings, 132679735 edges, 282032 markings/sec, 180 secs
lola: 55167204 markings, 136178946 edges, 281936 markings/sec, 185 secs
lola: 56567676 markings, 139661883 edges, 280094 markings/sec, 190 secs
lola: 57976571 markings, 143143900 edges, 281779 markings/sec, 195 secs
lola: 59392445 markings, 146660867 edges, 283175 markings/sec, 200 secs
lola: 60811570 markings, 150181035 edges, 283825 markings/sec, 205 secs
lola: 62201172 markings, 153616630 edges, 277920 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496561008495
--------------------
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-MT8192DC2048"
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-MT8192DC2048.tgz
mv S_SmallOperatingSystem-PT-MT8192DC2048 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-MT8192DC2048, 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-149443463900047"
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 ;