About the Execution of LoLA for SmallOperatingSystem-PT-MT2048DC0512
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8038.270 | 3540210.00 | 3556258.00 | 725.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is SmallOperatingSystem-PT-MT2048DC0512, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008100011
=====================================================================
--------------------
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 1494927871550
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 2652465 markings, 4128246 edges, 530493 markings/sec, 0 secs
lola: 5078057 markings, 8040760 edges, 485118 markings/sec, 5 secs
lola: 7065420 markings, 11427850 edges, 397473 markings/sec, 10 secs
lola: 8461834 markings, 15070647 edges, 279283 markings/sec, 15 secs
lola: 10167175 markings, 18517114 edges, 341068 markings/sec, 20 secs
lola: 11894806 markings, 21818081 edges, 345526 markings/sec, 25 secs
lola: 13622593 markings, 25120001 edges, 345557 markings/sec, 30 secs
lola: 15333415 markings, 28364645 edges, 342164 markings/sec, 35 secs
lola: 16993924 markings, 31510789 edges, 332102 markings/sec, 40 secs
lola: 18661262 markings, 34660740 edges, 333468 markings/sec, 45 secs
lola: 20307901 markings, 37767424 edges, 329328 markings/sec, 50 secs
lola: 21941180 markings, 40854473 edges, 326656 markings/sec, 55 secs
lola: 23549528 markings, 43920830 edges, 321670 markings/sec, 60 secs
lola: 25178627 markings, 46977267 edges, 325820 markings/sec, 65 secs
lola: 26786167 markings, 50018821 edges, 321508 markings/sec, 70 secs
lola: 28385893 markings, 53073268 edges, 319945 markings/sec, 75 secs
lola: 29988057 markings, 56111176 edges, 320433 markings/sec, 80 secs
lola: 31610274 markings, 59178486 edges, 324443 markings/sec, 85 secs
lola: 33208756 markings, 62214782 edges, 319696 markings/sec, 90 secs
lola: 34809025 markings, 65248542 edges, 320054 markings/sec, 95 secs
lola: 36406169 markings, 68268050 edges, 319429 markings/sec, 100 secs
lola: 37990286 markings, 71285328 edges, 316823 markings/sec, 105 secs
lola: 39570074 markings, 74295063 edges, 315958 markings/sec, 110 secs
lola: 41151347 markings, 77316119 edges, 316255 markings/sec, 115 secs
lola: 42729530 markings, 80326330 edges, 315637 markings/sec, 120 secs
lola: 44317308 markings, 83318176 edges, 317556 markings/sec, 125 secs
lola: 45895692 markings, 86306611 edges, 315677 markings/sec, 130 secs
lola: 47477677 markings, 89300463 edges, 316397 markings/sec, 135 secs
lola: 49047676 markings, 92312102 edges, 314000 markings/sec, 140 secs
lola: 50609845 markings, 95266558 edges, 312434 markings/sec, 145 secs
lola: 52170945 markings, 98223118 edges, 312220 markings/sec, 150 secs
lola: 53750806 markings, 101202041 edges, 315972 markings/sec, 155 secs
lola: 55314530 markings, 104169776 edges, 312745 markings/sec, 160 secs
lola: 56894058 markings, 107164633 edges, 315906 markings/sec, 165 secs
lola: 58455592 markings, 110105902 edges, 312307 markings/sec, 170 secs
lola: 60014736 markings, 113101203 edges, 311829 markings/sec, 175 secs
lola: 61600020 markings, 116095312 edges, 317057 markings/sec, 180 secs
lola: 63152959 markings, 119059504 edges, 310588 markings/sec, 185 secs
lola: 64715632 markings, 122028404 edges, 312535 markings/sec, 190 secs
lola: 66262738 markings, 124946679 edges, 309421 markings/sec, 195 secs
lola: 67824247 markings, 127926923 edges, 312302 markings/sec, 200 secs
lola: 69381488 markings, 130871126 edges, 311448 markings/sec, 205 secs
lola: 70916952 markings, 133785353 edges, 307093 markings/sec, 210 secs
lola: 72461619 markings, 136731095 edges, 308933 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: 2674655 markings, 4644342 edges, 534931 markings/sec, 0 secs
lola: 4838734 markings, 8638861 edges, 432816 markings/sec, 5 secs
lola: 6824641 markings, 12367924 edges, 397181 markings/sec, 10 secs
lola: 8726057 markings, 15969174 edges, 380283 markings/sec, 15 secs
lola: 10571455 markings, 19484157 edges, 369080 markings/sec, 20 secs
lola: 12378981 markings, 22942249 edges, 361505 markings/sec, 25 secs
lola: 14952367 markings, 27303792 edges, 514677 markings/sec, 30 secs
lola: 15895003 markings, 30662882 edges, 188527 markings/sec, 35 secs
lola: 16865817 markings, 33838753 edges, 194163 markings/sec, 40 secs
lola: 17831092 markings, 36894025 edges, 193055 markings/sec, 45 secs
lola: 18776193 markings, 39825507 edges, 189020 markings/sec, 50 secs
lola: 19695945 markings, 42646695 edges, 183950 markings/sec, 55 secs
lola: 20621050 markings, 45459735 edges, 185021 markings/sec, 60 secs
lola: 21556010 markings, 48278755 edges, 186992 markings/sec, 65 secs
lola: 23537378 markings, 52187135 edges, 396274 markings/sec, 70 secs
lola: 25965312 markings, 56235726 edges, 485587 markings/sec, 75 secs
lola: 28192645 markings, 59948149 edges, 445467 markings/sec, 80 secs
lola: 30154782 markings, 63242033 edges, 392427 markings/sec, 85 secs
lola: 32006836 markings, 66439322 edges, 370411 markings/sec, 90 secs
lola: 33390646 markings, 69432055 edges, 276762 markings/sec, 95 secs
lola: 34714331 markings, 72280673 edges, 264737 markings/sec, 100 secs
lola: 36441959 markings, 75338910 edges, 345526 markings/sec, 105 secs
lola: 38272744 markings, 78468769 edges, 366157 markings/sec, 110 secs
lola: 40031536 markings, 81517286 edges, 351758 markings/sec, 115 secs
lola: 41779395 markings, 84570160 edges, 349572 markings/sec, 120 secs
lola: 43095297 markings, 87466075 edges, 263180 markings/sec, 125 secs
lola: 44492232 markings, 90347861 edges, 279387 markings/sec, 130 secs
lola: 45705123 markings, 93245409 edges, 242578 markings/sec, 135 secs
lola: 47440090 markings, 96417578 edges, 346993 markings/sec, 140 secs
lola: 49184857 markings, 99489674 edges, 348953 markings/sec, 145 secs
lola: 50840580 markings, 102588039 edges, 331145 markings/sec, 150 secs
lola: 52317216 markings, 105470173 edges, 295327 markings/sec, 155 secs
lola: 53339424 markings, 108247147 edges, 204442 markings/sec, 160 secs
lola: 54971264 markings, 111427911 edges, 326368 markings/sec, 165 secs
lola: 56577699 markings, 114450125 edges, 321287 markings/sec, 170 secs
lola: 58195292 markings, 117564025 edges, 323519 markings/sec, 175 secs
lola: 59657321 markings, 120422858 edges, 292406 markings/sec, 180 secs
lola: 60695445 markings, 123251282 edges, 207625 markings/sec, 185 secs
lola: 62319579 markings, 126373010 edges, 324827 markings/sec, 190 secs
lola: 63870638 markings, 129462043 edges, 310212 markings/sec, 195 secs
lola: 65368756 markings, 132428032 edges, 299624 markings/sec, 200 secs
lola: 66958149 markings, 135510979 edges, 317879 markings/sec, 205 secs
lola: 68321548 markings, 138629325 edges, 272680 markings/sec, 210 secs
lola: 69832908 markings, 141781033 edges, 302272 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: 2508706 markings, 4243870 edges, 501741 markings/sec, 0 secs
lola: 4336889 markings, 7978351 edges, 365637 markings/sec, 5 secs
lola: 6015291 markings, 11638225 edges, 335680 markings/sec, 10 secs
lola: 7544411 markings, 15061952 edges, 305824 markings/sec, 15 secs
lola: 9041595 markings, 18381466 edges, 299437 markings/sec, 20 secs
lola: 10551013 markings, 21701389 edges, 301884 markings/sec, 25 secs
lola: 12553420 markings, 25559904 edges, 400481 markings/sec, 30 secs
lola: 14817465 markings, 29056960 edges, 452809 markings/sec, 35 secs
lola: 17038721 markings, 32654369 edges, 444251 markings/sec, 40 secs
lola: 19184310 markings, 36077978 edges, 429118 markings/sec, 45 secs
lola: 20931880 markings, 39271149 edges, 349514 markings/sec, 50 secs
lola: 22351727 markings, 42158028 edges, 283969 markings/sec, 55 secs
lola: 23641297 markings, 44944073 edges, 257914 markings/sec, 60 secs
lola: 24912308 markings, 47788362 edges, 254202 markings/sec, 65 secs
lola: 26919558 markings, 50838874 edges, 401450 markings/sec, 70 secs
lola: 28913013 markings, 54007036 edges, 398691 markings/sec, 75 secs
lola: 30880121 markings, 57096826 edges, 393422 markings/sec, 80 secs
lola: 32887182 markings, 60249866 edges, 401412 markings/sec, 85 secs
lola: 34927571 markings, 63462858 edges, 408078 markings/sec, 90 secs
lola: 36955946 markings, 66733739 edges, 405675 markings/sec, 95 secs
lola: 38768017 markings, 70151862 edges, 362414 markings/sec, 100 secs
lola: 40074928 markings, 73076475 edges, 261382 markings/sec, 105 secs
lola: 41235528 markings, 75777073 edges, 232120 markings/sec, 110 secs
lola: 42980827 markings, 78818372 edges, 349060 markings/sec, 115 secs
lola: 44759917 markings, 82077535 edges, 355818 markings/sec, 120 secs
lola: 46418761 markings, 85196705 edges, 331769 markings/sec, 125 secs
lola: 47868087 markings, 88186321 edges, 289865 markings/sec, 130 secs
lola: 49767993 markings, 91095304 edges, 379981 markings/sec, 135 secs
lola: 51646165 markings, 93966545 edges, 375634 markings/sec, 140 secs
lola: 53393157 markings, 97038376 edges, 349398 markings/sec, 145 secs
lola: 54802928 markings, 100135392 edges, 281954 markings/sec, 150 secs
lola: 56075739 markings, 103089593 edges, 254562 markings/sec, 155 secs
lola: 57601514 markings, 106061365 edges, 305155 markings/sec, 160 secs
lola: 59587549 markings, 109092822 edges, 397207 markings/sec, 165 secs
lola: 61490757 markings, 111966350 edges, 380642 markings/sec, 170 secs
lola: 62829873 markings, 114947276 edges, 267823 markings/sec, 175 secs
lola: 64274476 markings, 117867093 edges, 288921 markings/sec, 180 secs
lola: 65785447 markings, 120999219 edges, 302194 markings/sec, 185 secs
lola: 67428624 markings, 124195306 edges, 328635 markings/sec, 190 secs
lola: 69116473 markings, 127217638 edges, 337570 markings/sec, 195 secs
lola: 70689577 markings, 130274395 edges, 314621 markings/sec, 200 secs
lola: 72261750 markings, 133408328 edges, 314435 markings/sec, 205 secs
lola: 73778090 markings, 136792490 edges, 303268 markings/sec, 210 secs
lola: 75037461 markings, 139846450 edges, 251874 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: 2643821 markings, 4588413 edges, 528764 markings/sec, 0 secs
lola: 4824978 markings, 8613765 edges, 436231 markings/sec, 5 secs
lola: 6782438 markings, 12287964 edges, 391492 markings/sec, 10 secs
lola: 8644000 markings, 15813433 edges, 372312 markings/sec, 15 secs
lola: 10456912 markings, 19264739 edges, 362582 markings/sec, 20 secs
lola: 12221354 markings, 22640358 edges, 352888 markings/sec, 25 secs
lola: 14662107 markings, 26798085 edges, 488151 markings/sec, 30 secs
lola: 15718859 markings, 30069864 edges, 211350 markings/sec, 35 secs
lola: 16631063 markings, 33084010 edges, 182441 markings/sec, 40 secs
lola: 17547308 markings, 36003073 edges, 183249 markings/sec, 45 secs
lola: 18459377 markings, 38847359 edges, 182414 markings/sec, 50 secs
lola: 19421473 markings, 41809881 edges, 192419 markings/sec, 55 secs
lola: 20371351 markings, 44703170 edges, 189976 markings/sec, 60 secs
lola: 21321723 markings, 47574151 edges, 190074 markings/sec, 65 secs
lola: 22882609 markings, 51095858 edges, 312177 markings/sec, 70 secs
lola: 25387117 markings, 55271302 edges, 500902 markings/sec, 75 secs
lola: 27704528 markings, 59134078 edges, 463482 markings/sec, 80 secs
lola: 29736369 markings, 62536927 edges, 406368 markings/sec, 85 secs
lola: 31694477 markings, 65872597 edges, 391622 markings/sec, 90 secs
lola: 33326084 markings, 68979551 edges, 326321 markings/sec, 95 secs
lola: 34540546 markings, 71990941 edges, 242892 markings/sec, 100 secs
lola: 36345653 markings, 75177686 edges, 361021 markings/sec, 105 secs
lola: 38213673 markings, 78370236 edges, 373604 markings/sec, 110 secs
lola: 40006791 markings, 81476049 edges, 358624 markings/sec, 115 secs
lola: 41796661 markings, 84598908 edges, 357974 markings/sec, 120 secs
lola: 43123216 markings, 87530765 edges, 265311 markings/sec, 125 secs
lola: 44560184 markings, 90540057 edges, 287394 markings/sec, 130 secs
lola: 45942118 markings, 93654856 edges, 276387 markings/sec, 135 secs
lola: 47752115 markings, 97006699 edges, 361999 markings/sec, 140 secs
lola: 49616592 markings, 100285906 edges, 372895 markings/sec, 145 secs
lola: 51400146 markings, 103599306 edges, 356711 markings/sec, 150 secs
lola: 52744552 markings, 106644240 edges, 268881 markings/sec, 155 secs
lola: 54250934 markings, 109972462 edges, 301276 markings/sec, 160 secs
lola: 55927327 markings, 113248285 edges, 335279 markings/sec, 165 secs
lola: 57718299 markings, 116537231 edges, 358194 markings/sec, 170 secs
lola: 59329611 markings, 119739003 edges, 322262 markings/sec, 175 secs
lola: 60385122 markings, 122733625 edges, 211102 markings/sec, 180 secs
lola: 62130242 markings, 126004990 edges, 349024 markings/sec, 185 secs
lola: 63785085 markings, 129298095 edges, 330969 markings/sec, 190 secs
lola: 65397995 markings, 132477097 edges, 322582 markings/sec, 195 secs
lola: 67095471 markings, 135787939 edges, 339495 markings/sec, 200 secs
lola: 68529925 markings, 139070446 edges, 286891 markings/sec, 205 secs
lola: 70126240 markings, 142294896 edges, 319263 markings/sec, 210 secs
lola: 71803183 markings, 145586007 edges, 335389 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: 2013060 markings, 4713376 edges, 402612 markings/sec, 0 secs
lola: 3723601 markings, 8805855 edges, 342108 markings/sec, 5 secs
lola: 5433943 markings, 12899980 edges, 342068 markings/sec, 10 secs
lola: 7115694 markings, 16926989 edges, 336350 markings/sec, 15 secs
lola: 8805116 markings, 20973050 edges, 337884 markings/sec, 20 secs
lola: 10508226 markings, 25052737 edges, 340622 markings/sec, 25 secs
lola: 12195930 markings, 29094951 edges, 337541 markings/sec, 30 secs
lola: 13881748 markings, 33133741 edges, 337164 markings/sec, 35 secs
lola: 15533209 markings, 37090718 edges, 330292 markings/sec, 40 secs
lola: 17182206 markings, 41041845 edges, 329799 markings/sec, 45 secs
lola: 18816361 markings, 44956670 edges, 326831 markings/sec, 50 secs
lola: 20431633 markings, 48827276 edges, 323054 markings/sec, 55 secs
lola: 22053682 markings, 52713283 edges, 324410 markings/sec, 60 secs
lola: 23670777 markings, 56587716 edges, 323419 markings/sec, 65 secs
lola: 25275345 markings, 60432447 edges, 320914 markings/sec, 70 secs
lola: 26889799 markings, 64299774 edges, 322891 markings/sec, 75 secs
lola: 28462153 markings, 68066955 edges, 314471 markings/sec, 80 secs
lola: 30080535 markings, 71944643 edges, 323676 markings/sec, 85 secs
lola: 31668739 markings, 75749647 edges, 317641 markings/sec, 90 secs
lola: 33238335 markings, 79510359 edges, 313919 markings/sec, 95 secs
lola: 34842351 markings, 83353745 edges, 320803 markings/sec, 100 secs
lola: 36431504 markings, 87162593 edges, 317831 markings/sec, 105 secs
lola: 38002110 markings, 90925936 edges, 314121 markings/sec, 110 secs
lola: 39605455 markings, 94767135 edges, 320669 markings/sec, 115 secs
lola: 41161146 markings, 98495169 edges, 311138 markings/sec, 120 secs
lola: 42681980 markings, 102139708 edges, 304167 markings/sec, 125 secs
lola: 44155407 markings, 105670040 edges, 294685 markings/sec, 130 secs
lola: 45689014 markings, 109344879 edges, 306721 markings/sec, 135 secs
lola: 47172313 markings, 112898776 edges, 296660 markings/sec, 140 secs
lola: 48654166 markings, 116450382 edges, 296371 markings/sec, 145 secs
lola: 50099954 markings, 119914977 edges, 289158 markings/sec, 150 secs
lola: 51544194 markings, 123375106 edges, 288848 markings/sec, 155 secs
lola: 52992590 markings, 126845759 edges, 289679 markings/sec, 160 secs
lola: 54448215 markings, 130334439 edges, 291125 markings/sec, 165 secs
lola: 55944860 markings, 133921378 edges, 299329 markings/sec, 170 secs
lola: 57359835 markings, 137312495 edges, 282995 markings/sec, 175 secs
lola: 58804962 markings, 140775375 edges, 289025 markings/sec, 180 secs
lola: 60246252 markings, 144229087 edges, 288258 markings/sec, 185 secs
lola: 61676373 markings, 147655895 edges, 286024 markings/sec, 190 secs
lola: 63107686 markings, 151086311 edges, 286263 markings/sec, 195 secs
lola: 64576445 markings, 154606271 edges, 293752 markings/sec, 200 secs
lola: 66027706 markings, 158084011 edges, 290252 markings/sec, 205 secs
lola: 67423783 markings, 161430313 edges, 279215 markings/sec, 210 secs
lola: 68847237 markings, 164842151 edges, 284691 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: 2473102 markings, 4174496 edges, 494620 markings/sec, 0 secs
lola: 4162319 markings, 7608971 edges, 337843 markings/sec, 5 secs
lola: 5789615 markings, 11137109 edges, 325459 markings/sec, 10 secs
lola: 7382727 markings, 14700170 edges, 318622 markings/sec, 15 secs
lola: 8899066 markings, 18069872 edges, 303268 markings/sec, 20 secs
lola: 10356594 markings, 21277221 edges, 291506 markings/sec, 25 secs
lola: 12123365 markings, 24842695 edges, 353354 markings/sec, 30 secs
lola: 14504399 markings, 28585556 edges, 476207 markings/sec, 35 secs
lola: 16701326 markings, 32091392 edges, 439385 markings/sec, 40 secs
lola: 18889906 markings, 35634106 edges, 437716 markings/sec, 45 secs
lola: 20797895 markings, 39010333 edges, 381598 markings/sec, 50 secs
lola: 22190256 markings, 41818607 edges, 278472 markings/sec, 55 secs
lola: 23403279 markings, 44420297 edges, 242605 markings/sec, 60 secs
lola: 24579624 markings, 47036153 edges, 235269 markings/sec, 65 secs
lola: 26420439 markings, 50082009 edges, 368163 markings/sec, 70 secs
lola: 28459190 markings, 53304146 edges, 407750 markings/sec, 75 secs
lola: 30374377 markings, 56300062 edges, 383037 markings/sec, 80 secs
lola: 32438262 markings, 59542686 edges, 412777 markings/sec, 85 secs
lola: 34473092 markings, 62745907 edges, 406966 markings/sec, 90 secs
lola: 36467334 markings, 65915792 edges, 398848 markings/sec, 95 secs
lola: 38390183 markings, 69346137 edges, 384570 markings/sec, 100 secs
lola: 39848589 markings, 72559882 edges, 291681 markings/sec, 105 secs
lola: 41129930 markings, 75527358 edges, 256268 markings/sec, 110 secs
lola: 42836039 markings, 78598970 edges, 341222 markings/sec, 115 secs
lola: 44529074 markings, 81730579 edges, 338607 markings/sec, 120 secs
lola: 46111596 markings, 84731111 edges, 316504 markings/sec, 125 secs
lola: 47460795 markings, 87562981 edges, 269840 markings/sec, 130 secs
lola: 49428837 markings, 90575124 edges, 393608 markings/sec, 135 secs
lola: 51402550 markings, 93596003 edges, 394743 markings/sec, 140 secs
lola: 53253252 markings, 96755387 edges, 370140 markings/sec, 145 secs
lola: 54835217 markings, 100209315 edges, 316393 markings/sec, 150 secs
lola: 56261529 markings, 103531423 edges, 285262 markings/sec, 155 secs
lola: 58071901 markings, 106770739 edges, 362074 markings/sec, 160 secs
lola: 60056214 markings, 109801277 edges, 396863 markings/sec, 165 secs
lola: 61891709 markings, 112859962 edges, 367099 markings/sec, 170 secs
lola: 63452783 markings, 115935629 edges, 312215 markings/sec, 175 secs
lola: 64921441 markings, 119152782 edges, 293732 markings/sec, 180 secs
lola: 66544227 markings, 122476069 edges, 324557 markings/sec, 185 secs
lola: 68190932 markings, 125647722 edges, 329341 markings/sec, 190 secs
lola: 69939205 markings, 128720495 edges, 349655 markings/sec, 195 secs
lola: 71543697 markings, 131984599 edges, 320898 markings/sec, 200 secs
lola: 73213688 markings, 135457909 edges, 333998 markings/sec, 205 secs
lola: 74596445 markings, 138768917 edges, 276551 markings/sec, 210 secs
lola: 75831858 markings, 141773025 edges, 247083 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: 2619252 markings, 4544002 edges, 523850 markings/sec, 0 secs
lola: 4645773 markings, 8280198 edges, 405304 markings/sec, 5 secs
lola: 6529528 markings, 11811499 edges, 376751 markings/sec, 10 secs
lola: 8328182 markings, 15213223 edges, 359731 markings/sec, 15 secs
lola: 10097277 markings, 18579097 edges, 353819 markings/sec, 20 secs
lola: 11826721 markings, 21884096 edges, 345889 markings/sec, 25 secs
lola: 14075732 markings, 25820196 edges, 449802 markings/sec, 30 secs
lola: 15583818 markings, 29606150 edges, 301617 markings/sec, 35 secs
lola: 16512737 markings, 32701478 edges, 185784 markings/sec, 40 secs
lola: 17488757 markings, 35817962 edges, 195204 markings/sec, 45 secs
lola: 18445612 markings, 38806483 edges, 191371 markings/sec, 50 secs
lola: 19474192 markings, 41972381 edges, 205716 markings/sec, 55 secs
lola: 20508109 markings, 45117251 edges, 206783 markings/sec, 60 secs
lola: 21548163 markings, 48258149 edges, 208011 markings/sec, 65 secs
lola: 23699321 markings, 52457117 edges, 430232 markings/sec, 70 secs
lola: 26286958 markings, 56771872 edges, 517527 markings/sec, 75 secs
lola: 28651160 markings, 60717771 edges, 472840 markings/sec, 80 secs
lola: 30812831 markings, 64387963 edges, 432334 markings/sec, 85 secs
lola: 32895238 markings, 67927041 edges, 416481 markings/sec, 90 secs
lola: 34189848 markings, 71298752 edges, 258922 markings/sec, 95 secs
lola: 36165218 markings, 74808119 edges, 395074 markings/sec, 100 secs
lola: 38186430 markings, 78324799 edges, 404242 markings/sec, 105 secs
lola: 40202082 markings, 81801736 edges, 403130 markings/sec, 110 secs
lola: 42178330 markings, 85254545 edges, 395250 markings/sec, 115 secs
lola: 43683824 markings, 88504212 edges, 301099 markings/sec, 120 secs
lola: 44987076 markings, 91694956 edges, 260650 markings/sec, 125 secs
lola: 46751050 markings, 95149648 edges, 352795 markings/sec, 130 secs
lola: 48707852 markings, 98662496 edges, 391360 markings/sec, 135 secs
lola: 50589970 markings, 102162653 edges, 376424 markings/sec, 140 secs
lola: 52315683 markings, 105465758 edges, 345143 markings/sec, 145 secs
lola: 53567715 markings, 108692542 edges, 250406 markings/sec, 150 secs
lola: 55340965 markings, 112171806 edges, 354650 markings/sec, 155 secs
lola: 57200248 markings, 115570679 edges, 371857 markings/sec, 160 secs
lola: 58887604 markings, 118940624 edges, 337471 markings/sec, 165 secs
lola: 60065441 markings, 121998783 edges, 235567 markings/sec, 170 secs
lola: 61748927 markings, 125324672 edges, 336697 markings/sec, 175 secs
lola: 63458676 markings, 128650153 edges, 341950 markings/sec, 180 secs
lola: 65056299 markings, 131883253 edges, 319525 markings/sec, 185 secs
lola: 66777312 markings, 135208834 edges, 344203 markings/sec, 190 secs
lola: 68285920 markings, 138544630 edges, 301722 markings/sec, 195 secs
lola: 69873325 markings, 141850983 edges, 317481 markings/sec, 200 secs
lola: 71615699 markings, 145173789 edges, 348475 markings/sec, 205 secs
lola: 73237418 markings, 148544387 edges, 324344 markings/sec, 210 secs
lola: 74759992 markings, 151760357 edges, 304515 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: 1579886 markings, 3826855 edges, 315977 markings/sec, 0 secs
lola: 3004975 markings, 7325048 edges, 285018 markings/sec, 5 secs
lola: 4379958 markings, 10713842 edges, 274997 markings/sec, 10 secs
lola: 5732786 markings, 14048596 edges, 270566 markings/sec, 15 secs
lola: 7070963 markings, 17357086 edges, 267635 markings/sec, 20 secs
lola: 8528422 markings, 20956406 edges, 291492 markings/sec, 25 secs
lola: 10018969 markings, 24650136 edges, 298109 markings/sec, 30 secs
lola: 11474930 markings, 28259758 edges, 291192 markings/sec, 35 secs
lola: 12839174 markings, 31648646 edges, 272849 markings/sec, 40 secs
lola: 14158160 markings, 34921322 edges, 263797 markings/sec, 45 secs
lola: 15431764 markings, 38080876 edges, 254721 markings/sec, 50 secs
lola: 16712458 markings, 41256762 edges, 256139 markings/sec, 55 secs
lola: 17959692 markings, 44351490 edges, 249447 markings/sec, 60 secs
lola: 19214479 markings, 47462949 edges, 250957 markings/sec, 65 secs
lola: 20544546 markings, 50768875 edges, 266013 markings/sec, 70 secs
lola: 21869752 markings, 54070848 edges, 265041 markings/sec, 75 secs
lola: 23159312 markings, 57274885 edges, 257912 markings/sec, 80 secs
lola: 24608674 markings, 60887474 edges, 289872 markings/sec, 85 secs
lola: 26046997 markings, 64472125 edges, 287665 markings/sec, 90 secs
lola: 27440542 markings, 67937323 edges, 278709 markings/sec, 95 secs
lola: 28812958 markings, 71351864 edges, 274483 markings/sec, 100 secs
lola: 30170593 markings, 74729757 edges, 271527 markings/sec, 105 secs
lola: 31505472 markings, 78054479 edges, 266976 markings/sec, 110 secs
lola: 32825367 markings, 81343061 edges, 263979 markings/sec, 115 secs
lola: 34155452 markings, 84660096 edges, 266017 markings/sec, 120 secs
lola: 35496986 markings, 88002126 edges, 268307 markings/sec, 125 secs
lola: 36841828 markings, 91346434 edges, 268968 markings/sec, 130 secs
lola: 38227027 markings, 94800434 edges, 277040 markings/sec, 135 secs
lola: 39597027 markings, 98220041 edges, 274000 markings/sec, 140 secs
lola: 40949581 markings, 101583970 edges, 270511 markings/sec, 145 secs
lola: 42319485 markings, 105002924 edges, 273981 markings/sec, 150 secs
lola: 43669951 markings, 108378786 edges, 270093 markings/sec, 155 secs
lola: 45029537 markings, 111772612 edges, 271917 markings/sec, 160 secs
lola: 46383574 markings, 115153282 edges, 270807 markings/sec, 165 secs
lola: 47738063 markings, 118536821 edges, 270898 markings/sec, 170 secs
lola: 49093809 markings, 121926958 edges, 271149 markings/sec, 175 secs
lola: 50464193 markings, 125352061 edges, 274077 markings/sec, 180 secs
lola: 51822264 markings, 128742090 edges, 271614 markings/sec, 185 secs
lola: 53179317 markings, 132129614 edges, 271411 markings/sec, 190 secs
lola: 54528467 markings, 135504954 edges, 269830 markings/sec, 195 secs
lola: 55889273 markings, 138899861 edges, 272161 markings/sec, 200 secs
lola: 57249951 markings, 142303031 edges, 272136 markings/sec, 205 secs
lola: 58609397 markings, 145702106 edges, 271889 markings/sec, 210 secs
lola: 59961764 markings, 149081989 edges, 270473 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: 2737920 markings, 4267265 edges, 547584 markings/sec, 0 secs
lola: 5240631 markings, 8304146 edges, 500542 markings/sec, 5 secs
lola: 7257391 markings, 11859854 edges, 403352 markings/sec, 10 secs
lola: 8642188 markings, 15551385 edges, 276959 markings/sec, 15 secs
lola: 10406279 markings, 18975371 edges, 352818 markings/sec, 20 secs
lola: 12165499 markings, 22337443 edges, 351844 markings/sec, 25 secs
lola: 13927608 markings, 25705326 edges, 352422 markings/sec, 30 secs
lola: 15662817 markings, 28983177 edges, 347042 markings/sec, 35 secs
lola: 17350696 markings, 32184906 edges, 337576 markings/sec, 40 secs
lola: 19039297 markings, 35370668 edges, 337720 markings/sec, 45 secs
lola: 20700140 markings, 38503188 edges, 332169 markings/sec, 50 secs
lola: 22350915 markings, 41628932 edges, 330155 markings/sec, 55 secs
lola: 23986123 markings, 44751167 edges, 327042 markings/sec, 60 secs
lola: 25624212 markings, 47820798 edges, 327618 markings/sec, 65 secs
lola: 27260417 markings, 50916752 edges, 327241 markings/sec, 70 secs
lola: 28875479 markings, 53995683 edges, 323012 markings/sec, 75 secs
lola: 30494207 markings, 57076000 edges, 323746 markings/sec, 80 secs
lola: 32114132 markings, 60130283 edges, 323985 markings/sec, 85 secs
lola: 33714626 markings, 63167280 edges, 320099 markings/sec, 90 secs
lola: 35293650 markings, 66166904 edges, 315805 markings/sec, 95 secs
lola: 36846163 markings, 69104260 edges, 310503 markings/sec, 100 secs
lola: 38361831 markings, 71985997 edges, 303134 markings/sec, 105 secs
lola: 39859064 markings, 74840132 edges, 299447 markings/sec, 110 secs
lola: 41389249 markings, 77760488 edges, 306037 markings/sec, 115 secs
lola: 42913881 markings, 80674862 edges, 304926 markings/sec, 120 secs
lola: 44460910 markings, 83588779 edges, 309406 markings/sec, 125 secs
lola: 46008041 markings, 86521225 edges, 309426 markings/sec, 130 secs
lola: 47532144 markings, 89405122 edges, 304821 markings/sec, 135 secs
lola: 49089846 markings, 92390973 edges, 311540 markings/sec, 140 secs
lola: 50641742 markings, 95327222 edges, 310379 markings/sec, 145 secs
lola: 52199974 markings, 98276968 edges, 311646 markings/sec, 150 secs
lola: 53783429 markings, 101269871 edges, 316691 markings/sec, 155 secs
lola: 55351085 markings, 104242612 edges, 313531 markings/sec, 160 secs
lola: 56944522 markings, 107258721 edges, 318687 markings/sec, 165 secs
lola: 58502767 markings, 110192664 edges, 311649 markings/sec, 170 secs
lola: 60059284 markings, 113186073 edges, 311303 markings/sec, 175 secs
lola: 61655669 markings, 116201422 edges, 319277 markings/sec, 180 secs
lola: 63221411 markings, 119189389 edges, 313148 markings/sec, 185 secs
lola: 64796554 markings, 122181678 edges, 315029 markings/sec, 190 secs
lola: 66352274 markings, 125114244 edges, 311144 markings/sec, 195 secs
lola: 67919556 markings, 128108326 edges, 313456 markings/sec, 200 secs
lola: 69485850 markings, 131073003 edges, 313259 markings/sec, 205 secs
lola: 71039056 markings, 134016991 edges, 310641 markings/sec, 210 secs
lola: 72602059 markings, 136998333 edges, 312601 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: 2728035 markings, 4741732 edges, 545607 markings/sec, 0 secs
lola: 4999823 markings, 8939660 edges, 454358 markings/sec, 5 secs
lola: 7043884 markings, 12781961 edges, 408812 markings/sec, 10 secs
lola: 8954324 markings, 16402450 edges, 382088 markings/sec, 15 secs
lola: 10800572 markings, 19922290 edges, 369250 markings/sec, 20 secs
lola: 12615222 markings, 23384706 edges, 362930 markings/sec, 25 secs
lola: 15080701 markings, 27801938 edges, 493096 markings/sec, 30 secs
lola: 16085303 markings, 31299753 edges, 200920 markings/sec, 35 secs
lola: 17093092 markings, 34565416 edges, 201558 markings/sec, 40 secs
lola: 18100981 markings, 37734794 edges, 201578 markings/sec, 45 secs
lola: 19097292 markings, 40816788 edges, 199262 markings/sec, 50 secs
lola: 20097643 markings, 43870409 edges, 200070 markings/sec, 55 secs
lola: 21099378 markings, 46905947 edges, 200347 markings/sec, 60 secs
lola: 22392202 markings, 50277829 edges, 258565 markings/sec, 65 secs
lola: 25100880 markings, 54793975 edges, 541736 markings/sec, 70 secs
lola: 27591612 markings, 58945926 edges, 498146 markings/sec, 75 secs
lola: 29791067 markings, 62628230 edges, 439891 markings/sec, 80 secs
lola: 31887378 markings, 66229292 edges, 419262 markings/sec, 85 secs
lola: 33418681 markings, 69627860 edges, 306261 markings/sec, 90 secs
lola: 35133077 markings, 72994548 edges, 342879 markings/sec, 95 secs
lola: 37102130 markings, 76463945 edges, 393811 markings/sec, 100 secs
lola: 39105120 markings, 79945701 edges, 400598 markings/sec, 105 secs
lola: 41065495 markings, 83295685 edges, 392075 markings/sec, 110 secs
lola: 42719887 markings, 86489436 edges, 330878 markings/sec, 115 secs
lola: 44258380 markings, 89713562 edges, 307699 markings/sec, 120 secs
lola: 45481586 markings, 92872562 edges, 244641 markings/sec, 125 secs
lola: 47375049 markings, 96309140 edges, 378693 markings/sec, 130 secs
lola: 49292535 markings, 99669295 edges, 383497 markings/sec, 135 secs
lola: 51120662 markings, 103133221 edges, 365625 markings/sec, 140 secs
lola: 52631358 markings, 106338725 edges, 302139 markings/sec, 145 secs
lola: 54131874 markings, 109723105 edges, 300103 markings/sec, 150 secs
lola: 55885663 markings, 113159796 edges, 350758 markings/sec, 155 secs
lola: 57756613 markings, 116601243 edges, 374190 markings/sec, 160 secs
lola: 59427243 markings, 119902025 edges, 334126 markings/sec, 165 secs
lola: 60562576 markings, 123029563 edges, 227067 markings/sec, 170 secs
lola: 62364022 markings, 126463096 edges, 360289 markings/sec, 175 secs
lola: 64089077 markings, 129867749 edges, 345011 markings/sec, 180 secs
lola: 65739389 markings, 133205760 edges, 330062 markings/sec, 185 secs
lola: 67498756 markings, 136656909 edges, 351873 markings/sec, 190 secs
lola: 68890099 markings, 139889981 edges, 278269 markings/sec, 195 secs
lola: 70630943 markings, 143255960 edges, 348169 markings/sec, 200 secs
lola: 72293818 markings, 146656319 edges, 332575 markings/sec, 205 secs
lola: 73735047 markings, 149922910 edges, 288246 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 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: 2633967 markings, 4098395 edges, 526793 markings/sec, 0 secs
lola: 5064577 markings, 8019792 edges, 486122 markings/sec, 5 secs
lola: 7107296 markings, 11500634 edges, 408544 markings/sec, 10 secs
lola: 8485726 markings, 15134277 edges, 275686 markings/sec, 15 secs
lola: 10188211 markings, 18556785 edges, 340497 markings/sec, 20 secs
lola: 11941653 markings, 21907792 edges, 350688 markings/sec, 25 secs
lola: 13686884 markings, 25242032 edges, 349046 markings/sec, 30 secs
lola: 15407376 markings, 28497924 edges, 344098 markings/sec, 35 secs
lola: 17058690 markings, 31627791 edges, 330263 markings/sec, 40 secs
lola: 18706188 markings, 34750783 edges, 329500 markings/sec, 45 secs
lola: 20342127 markings, 37828724 edges, 327188 markings/sec, 50 secs
lola: 21953560 markings, 40879226 edges, 322287 markings/sec, 55 secs
lola: 23541495 markings, 43904202 edges, 317587 markings/sec, 60 secs
lola: 25149940 markings, 46923129 edges, 321689 markings/sec, 65 secs
lola: 26739153 markings, 49931369 edges, 317843 markings/sec, 70 secs
lola: 28320849 markings, 52947608 edges, 316339 markings/sec, 75 secs
lola: 29902994 markings, 55953902 edges, 316429 markings/sec, 80 secs
lola: 31498523 markings, 58967011 edges, 319106 markings/sec, 85 secs
lola: 33053530 markings, 61916440 edges, 311001 markings/sec, 90 secs
lola: 34609115 markings, 64864610 edges, 311117 markings/sec, 95 secs
lola: 36150593 markings, 67797212 edges, 308296 markings/sec, 100 secs
lola: 37703082 markings, 70730969 edges, 310498 markings/sec, 105 secs
lola: 39239024 markings, 73665731 edges, 307188 markings/sec, 110 secs
lola: 40787618 markings, 76625369 edges, 309719 markings/sec, 115 secs
lola: 42347695 markings, 79597432 edges, 312015 markings/sec, 120 secs
lola: 43913867 markings, 82552350 edges, 313234 markings/sec, 125 secs
lola: 45468543 markings, 85492981 edges, 310935 markings/sec, 130 secs
lola: 47013216 markings, 88429016 edges, 308935 markings/sec, 135 secs
lola: 48565677 markings, 91391153 edges, 310492 markings/sec, 140 secs
lola: 50099428 markings, 94302601 edges, 306750 markings/sec, 145 secs
lola: 51630813 markings, 97205428 edges, 306277 markings/sec, 150 secs
lola: 53187283 markings, 100138259 edges, 311294 markings/sec, 155 secs
lola: 54727004 markings, 103057779 edges, 307944 markings/sec, 160 secs
lola: 56257292 markings, 105949662 edges, 306058 markings/sec, 165 secs
lola: 57806310 markings, 108876701 edges, 309804 markings/sec, 170 secs
lola: 59335193 markings, 111786584 edges, 305777 markings/sec, 175 secs
lola: 60888324 markings, 114758587 edges, 310626 markings/sec, 180 secs
lola: 62415580 markings, 117649198 edges, 305451 markings/sec, 185 secs
lola: 63950218 markings, 120574848 edges, 306928 markings/sec, 190 secs
lola: 65475942 markings, 123466466 edges, 305145 markings/sec, 195 secs
lola: 66989848 markings, 126334768 edges, 302781 markings/sec, 200 secs
lola: 68535021 markings, 129270237 edges, 309035 markings/sec, 205 secs
lola: 70053954 markings, 132145463 edges, 303787 markings/sec, 210 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 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: 1901558 markings, 3735561 edges, 380312 markings/sec, 0 secs
lola: 3783830 markings, 7467126 edges, 376454 markings/sec, 5 secs
lola: 5399370 markings, 10803644 edges, 323108 markings/sec, 10 secs
lola: 6894579 markings, 13994372 edges, 299042 markings/sec, 15 secs
lola: 8383837 markings, 17183394 edges, 297852 markings/sec, 20 secs
lola: 9882152 markings, 20391899 edges, 299663 markings/sec, 25 secs
lola: 11362841 markings, 23573112 edges, 296138 markings/sec, 30 secs
lola: 12849397 markings, 26753654 edges, 297311 markings/sec, 35 secs
lola: 14334462 markings, 29943000 edges, 297013 markings/sec, 40 secs
lola: 15829378 markings, 33142575 edges, 298983 markings/sec, 45 secs
lola: 17300042 markings, 36298949 edges, 294133 markings/sec, 50 secs
lola: 18782918 markings, 39480622 edges, 296575 markings/sec, 55 secs
lola: 20245906 markings, 42616317 edges, 292598 markings/sec, 60 secs
lola: 21697038 markings, 45731826 edges, 290226 markings/sec, 65 secs
lola: 23143675 markings, 48845857 edges, 289327 markings/sec, 70 secs
lola: 24593417 markings, 51959626 edges, 289948 markings/sec, 75 secs
lola: 26064172 markings, 55116794 edges, 294151 markings/sec, 80 secs
lola: 27518733 markings, 58234102 edges, 290912 markings/sec, 85 secs
lola: 28979100 markings, 61364873 edges, 292073 markings/sec, 90 secs
lola: 30413946 markings, 64447082 edges, 286969 markings/sec, 95 secs
lola: 31864716 markings, 67574827 edges, 290154 markings/sec, 100 secs
lola: 33310166 markings, 70691980 edges, 289090 markings/sec, 105 secs
lola: 34761215 markings, 73816186 edges, 290210 markings/sec, 110 secs
lola: 36195891 markings, 76899283 edges, 286935 markings/sec, 115 secs
lola: 37647251 markings, 80018694 edges, 290272 markings/sec, 120 secs
lola: 39090107 markings, 83130038 edges, 288571 markings/sec, 125 secs
lola: 40523891 markings, 86214367 edges, 286757 markings/sec, 130 secs
lola: 41986846 markings, 89359148 edges, 292591 markings/sec, 135 secs
lola: 43413304 markings, 92428851 edges, 285292 markings/sec, 140 secs
lola: 44859306 markings, 95538216 edges, 289200 markings/sec, 145 secs
lola: 46296550 markings, 98634096 edges, 287449 markings/sec, 150 secs
lola: 47742610 markings, 101741117 edges, 289212 markings/sec, 155 secs
lola: 49179717 markings, 104823086 edges, 287421 markings/sec, 160 secs
lola: 50625611 markings, 107931534 edges, 289179 markings/sec, 165 secs
lola: 52037106 markings, 110973508 edges, 282299 markings/sec, 170 secs
lola: 53484282 markings, 114087127 edges, 289435 markings/sec, 175 secs
lola: 54928872 markings, 117190482 edges, 288918 markings/sec, 180 secs
lola: 56354529 markings, 120257005 edges, 285131 markings/sec, 185 secs
lola: 57794748 markings, 123346268 edges, 288044 markings/sec, 190 secs
lola: 59240199 markings, 126452012 edges, 289090 markings/sec, 195 secs
lola: 60674887 markings, 129537435 edges, 286938 markings/sec, 200 secs
lola: 62109188 markings, 132612389 edges, 286860 markings/sec, 205 secs
lola: 63541714 markings, 135684195 edges, 286505 markings/sec, 210 secs
lola: 64969852 markings, 138745832 edges, 285628 markings/sec, 215 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: 2673726 markings, 4164021 edges, 534745 markings/sec, 0 secs
lola: 5146528 markings, 8151392 edges, 494560 markings/sec, 5 secs
lola: 7200200 markings, 11707473 edges, 410734 markings/sec, 10 secs
lola: 8598706 markings, 15435498 edges, 279701 markings/sec, 15 secs
lola: 10370175 markings, 18904974 edges, 354294 markings/sec, 20 secs
lola: 12143140 markings, 22294667 edges, 354593 markings/sec, 25 secs
lola: 13914579 markings, 25679000 edges, 354288 markings/sec, 30 secs
lola: 15654864 markings, 28969234 edges, 348057 markings/sec, 35 secs
lola: 17337663 markings, 32164237 edges, 336560 markings/sec, 40 secs
lola: 19032048 markings, 35358589 edges, 338877 markings/sec, 45 secs
lola: 20699049 markings, 38500733 edges, 333400 markings/sec, 50 secs
lola: 22343004 markings, 41615415 edges, 328791 markings/sec, 55 secs
lola: 23977509 markings, 44737002 edges, 326901 markings/sec, 60 secs
lola: 25615535 markings, 47805560 edges, 327605 markings/sec, 65 secs
lola: 27245633 markings, 50887308 edges, 326020 markings/sec, 70 secs
lola: 28861890 markings, 53969691 edges, 323251 markings/sec, 75 secs
lola: 30486050 markings, 57061694 edges, 324832 markings/sec, 80 secs
lola: 32115968 markings, 60134401 edges, 325984 markings/sec, 85 secs
lola: 33727216 markings, 63191893 edges, 322250 markings/sec, 90 secs
lola: 35317098 markings, 66211465 edges, 317976 markings/sec, 95 secs
lola: 36929957 markings, 69259766 edges, 322572 markings/sec, 100 secs
lola: 38512356 markings, 72277702 edges, 316480 markings/sec, 105 secs
lola: 40084941 markings, 75276173 edges, 314517 markings/sec, 110 secs
lola: 41663720 markings, 78297255 edges, 315756 markings/sec, 115 secs
lola: 43269674 markings, 81342378 edges, 321191 markings/sec, 120 secs
lola: 44844161 markings, 84324489 edges, 314897 markings/sec, 125 secs
lola: 46433454 markings, 87320836 edges, 317859 markings/sec, 130 secs
lola: 48008008 markings, 90321500 edges, 314911 markings/sec, 135 secs
lola: 49548290 markings, 93248555 edges, 308056 markings/sec, 140 secs
lola: 51083192 markings, 96158827 edges, 306980 markings/sec, 145 secs
lola: 52651710 markings, 99134096 edges, 313704 markings/sec, 150 secs
lola: 54223509 markings, 102095584 edges, 314360 markings/sec, 155 secs
lola: 55786117 markings, 105061072 edges, 312522 markings/sec, 160 secs
lola: 57365749 markings, 108051522 edges, 315926 markings/sec, 165 secs
lola: 58914032 markings, 110983038 edges, 309657 markings/sec, 170 secs
lola: 60494205 markings, 114009001 edges, 316035 markings/sec, 175 secs
lola: 62059677 markings, 116967813 edges, 313094 markings/sec, 180 secs
lola: 63619101 markings, 119932338 edges, 311885 markings/sec, 185 secs
lola: 65180716 markings, 122904755 edges, 312323 markings/sec, 190 secs
lola: 66742941 markings, 125863275 edges, 312445 markings/sec, 195 secs
lola: 68311966 markings, 128852892 edges, 313805 markings/sec, 200 secs
lola: 69894131 markings, 131842266 edges, 316433 markings/sec, 205 secs
lola: 71446886 markings, 134787575 edges, 310551 markings/sec, 210 secs
lola: 73008141 markings, 137769608 edges, 312251 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: 2737229 markings, 4758228 edges, 547446 markings/sec, 0 secs
lola: 4998001 markings, 8936688 edges, 452154 markings/sec, 5 secs
lola: 7114262 markings, 12913733 edges, 423252 markings/sec, 10 secs
lola: 9104374 markings, 16687690 edges, 398022 markings/sec, 15 secs
lola: 11021920 markings, 20343990 edges, 383509 markings/sec, 20 secs
lola: 12998843 markings, 24024540 edges, 395385 markings/sec, 25 secs
lola: 15219809 markings, 28318076 edges, 444193 markings/sec, 30 secs
lola: 16255820 markings, 31860065 edges, 207202 markings/sec, 35 secs
lola: 17290063 markings, 35192115 edges, 206849 markings/sec, 40 secs
lola: 18318387 markings, 38410735 edges, 205665 markings/sec, 45 secs
lola: 19341738 markings, 41566266 edges, 204670 markings/sec, 50 secs
lola: 20382381 markings, 44738590 edges, 208129 markings/sec, 55 secs
lola: 21430447 markings, 47903450 edges, 209613 markings/sec, 60 secs
lola: 23388286 markings, 51938737 edges, 391568 markings/sec, 65 secs
lola: 25976726 markings, 56254750 edges, 517688 markings/sec, 70 secs
lola: 28367314 markings, 60243970 edges, 478118 markings/sec, 75 secs
lola: 30531895 markings, 63871041 edges, 432916 markings/sec, 80 secs
lola: 32589446 markings, 67416852 edges, 411510 markings/sec, 85 secs
lola: 33877937 markings, 70776517 edges, 257698 markings/sec, 90 secs
lola: 35835383 markings, 74255360 edges, 391489 markings/sec, 95 secs
lola: 37826730 markings, 77708882 edges, 398269 markings/sec, 100 secs
lola: 39811848 markings, 81150914 edges, 397024 markings/sec, 105 secs
lola: 41795618 markings, 84597170 edges, 396754 markings/sec, 110 secs
lola: 43300471 markings, 87859283 edges, 300971 markings/sec, 115 secs
lola: 44761464 markings, 91082193 edges, 292199 markings/sec, 120 secs
lola: 46375604 markings, 94455348 edges, 322828 markings/sec, 125 secs
lola: 48295049 markings, 97944673 edges, 383889 markings/sec, 130 secs
lola: 50257505 markings, 101429123 edges, 392491 markings/sec, 135 secs
lola: 52085080 markings, 104829523 edges, 365515 markings/sec, 140 secs
lola: 53228887 markings, 107980359 edges, 228761 markings/sec, 145 secs
lola: 55007915 markings, 111488981 edges, 355806 markings/sec, 150 secs
lola: 56837346 markings, 114883100 edges, 365886 markings/sec, 155 secs
lola: 58556841 markings, 118290626 edges, 343899 markings/sec, 160 secs
lola: 59989841 markings, 121473365 edges, 286600 markings/sec, 165 secs
lola: 61501081 markings, 124793095 edges, 302248 markings/sec, 170 secs
lola: 63280565 markings, 128260138 edges, 355897 markings/sec, 175 secs
lola: 64883761 markings, 131572850 edges, 320639 markings/sec, 180 secs
lola: 66621376 markings, 134918949 edges, 347523 markings/sec, 185 secs
lola: 68129903 markings, 138207652 edges, 301705 markings/sec, 190 secs
lola: 69710610 markings, 141525020 edges, 316141 markings/sec, 195 secs
lola: 71470876 markings, 144855525 edges, 352053 markings/sec, 200 secs
lola: 73115344 markings, 148289187 edges, 328894 markings/sec, 205 secs
lola: 74621078 markings, 151526726 edges, 301147 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 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: 1776581 markings, 4311120 edges, 355316 markings/sec, 0 secs
lola: 3434788 markings, 8381866 edges, 331641 markings/sec, 5 secs
lola: 5034146 markings, 12327854 edges, 319872 markings/sec, 10 secs
lola: 6602780 markings, 16198455 edges, 313727 markings/sec, 15 secs
lola: 8158213 markings, 20039786 edges, 311087 markings/sec, 20 secs
lola: 9687629 markings, 23829926 edges, 305883 markings/sec, 25 secs
lola: 11206880 markings, 27593775 edges, 303850 markings/sec, 30 secs
lola: 12692920 markings, 31283324 edges, 297208 markings/sec, 35 secs
lola: 14203302 markings, 35033218 edges, 302076 markings/sec, 40 secs
lola: 15694617 markings, 38733058 edges, 298263 markings/sec, 45 secs
lola: 17196387 markings, 42459598 edges, 300354 markings/sec, 50 secs
lola: 18653696 markings, 46075829 edges, 291462 markings/sec, 55 secs
lola: 20125523 markings, 49728856 edges, 294365 markings/sec, 60 secs
lola: 21582039 markings, 53352171 edges, 291303 markings/sec, 65 secs
lola: 23016442 markings, 56919829 edges, 286881 markings/sec, 70 secs
lola: 24479287 markings, 60564111 edges, 292569 markings/sec, 75 secs
lola: 25937609 markings, 64200811 edges, 291664 markings/sec, 80 secs
lola: 27386723 markings, 67805463 edges, 289823 markings/sec, 85 secs
lola: 28830128 markings, 71394892 edges, 288681 markings/sec, 90 secs
lola: 30267784 markings, 74972729 edges, 287531 markings/sec, 95 secs
lola: 31706535 markings, 78557055 edges, 287750 markings/sec, 100 secs
lola: 33143527 markings, 82133692 edges, 287398 markings/sec, 105 secs
lola: 34564101 markings, 85678071 edges, 284115 markings/sec, 110 secs
lola: 35977180 markings, 89196235 edges, 282616 markings/sec, 115 secs
lola: 37400096 markings, 92735167 edges, 284583 markings/sec, 120 secs
lola: 38813440 markings, 96261318 edges, 282669 markings/sec, 125 secs
lola: 40204988 markings, 99732090 edges, 278310 markings/sec, 130 secs
lola: 41604732 markings, 103217010 edges, 279949 markings/sec, 135 secs
lola: 43009205 markings, 106728003 edges, 280895 markings/sec, 140 secs
lola: 44405581 markings, 110214211 edges, 279275 markings/sec, 145 secs
lola: 45774997 markings, 113631123 edges, 273883 markings/sec, 150 secs
lola: 47151343 markings, 117070813 edges, 275269 markings/sec, 155 secs
lola: 48521378 markings, 120497026 edges, 274007 markings/sec, 160 secs
lola: 49909369 markings, 123967033 edges, 277598 markings/sec, 165 secs
lola: 51293582 markings, 127422447 edges, 276843 markings/sec, 170 secs
lola: 52665814 markings, 130845906 edges, 274446 markings/sec, 175 secs
lola: 54042551 markings, 134290243 edges, 275347 markings/sec, 180 secs
lola: 55415829 markings, 137722389 edges, 274656 markings/sec, 185 secs
lola: 56793421 markings, 141161916 edges, 275518 markings/sec, 190 secs
lola: 58162735 markings, 144585228 edges, 273863 markings/sec, 195 secs
lola: 59539537 markings, 148028194 edges, 275360 markings/sec, 200 secs
lola: 60913716 markings, 151454438 edges, 274836 markings/sec, 205 secs
lola: 62311991 markings, 154944339 edges, 279655 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1866686 markings, 3660436 edges, 373337 markings/sec, 0 secs
lola: 3743455 markings, 7389045 edges, 375354 markings/sec, 5 secs
lola: 5366857 markings, 10733391 edges, 324680 markings/sec, 10 secs
lola: 6857633 markings, 13916223 edges, 298155 markings/sec, 15 secs
lola: 8351351 markings, 17114225 edges, 298744 markings/sec, 20 secs
lola: 9848321 markings, 20320001 edges, 299394 markings/sec, 25 secs
lola: 11323667 markings, 23489647 edges, 295069 markings/sec, 30 secs
lola: 12810031 markings, 26668892 edges, 297273 markings/sec, 35 secs
lola: 14291592 markings, 29850868 edges, 296312 markings/sec, 40 secs
lola: 15768878 markings, 33011939 edges, 295457 markings/sec, 45 secs
lola: 17227446 markings, 36142169 edges, 291714 markings/sec, 50 secs
lola: 18697255 markings, 39297698 edges, 293962 markings/sec, 55 secs
lola: 20161078 markings, 42433841 edges, 292765 markings/sec, 60 secs
lola: 21606091 markings, 45535307 edges, 289003 markings/sec, 65 secs
lola: 23045600 markings, 48634113 edges, 287902 markings/sec, 70 secs
lola: 24485025 markings, 51725402 edges, 287885 markings/sec, 75 secs
lola: 25943246 markings, 54857076 edges, 291644 markings/sec, 80 secs
lola: 27392725 markings, 57961805 edges, 289896 markings/sec, 85 secs
lola: 28845018 markings, 61076482 edges, 290459 markings/sec, 90 secs
lola: 30271869 markings, 64143951 edges, 285370 markings/sec, 95 secs
lola: 31712058 markings, 67245446 edges, 288038 markings/sec, 100 secs
lola: 33149033 markings, 70346521 edges, 287395 markings/sec, 105 secs
lola: 34589386 markings, 73445632 edges, 288071 markings/sec, 110 secs
lola: 36021296 markings, 76525080 edges, 286382 markings/sec, 115 secs
lola: 37445532 markings, 79587982 edges, 284847 markings/sec, 120 secs
lola: 38876083 markings, 82668665 edges, 286110 markings/sec, 125 secs
lola: 40294040 markings, 85718708 edges, 283591 markings/sec, 130 secs
lola: 41735709 markings, 88818392 edges, 288334 markings/sec, 135 secs
lola: 43149104 markings, 91858549 edges, 282679 markings/sec, 140 secs
lola: 44566368 markings, 94908627 edges, 283453 markings/sec, 145 secs
lola: 45990397 markings, 97976515 edges, 284806 markings/sec, 150 secs
lola: 47401406 markings, 101011841 edges, 282202 markings/sec, 155 secs
lola: 48829807 markings, 104072043 edges, 285680 markings/sec, 160 secs
lola: 50239452 markings, 107102196 edges, 281929 markings/sec, 165 secs
lola: 51637064 markings, 110115238 edges, 279522 markings/sec, 170 secs
lola: 53046680 markings, 113151336 edges, 281923 markings/sec, 175 secs
lola: 54473176 markings, 116210752 edges, 285299 markings/sec, 180 secs
lola: 55874631 markings, 119226678 edges, 280291 markings/sec, 185 secs
lola: 57293106 markings, 122269915 edges, 283695 markings/sec, 190 secs
lola: 58708077 markings, 125308630 edges, 282994 markings/sec, 195 secs
lola: 60122679 markings, 128350524 edges, 282920 markings/sec, 200 secs
lola: 61531120 markings, 131373695 edges, 281688 markings/sec, 205 secs
lola: 62940116 markings, 134396451 edges, 281799 markings/sec, 210 secs
lola: 64354870 markings, 137427806 edges, 282951 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA SmallOperatingSystem-PT-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 1494931411760
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SmallOperatingSystem-PT-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/SmallOperatingSystem-PT-MT2048DC0512.tgz
mv 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 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 r078-ebro-149441008100011"
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 ;