About the Execution of LoLA for SmallOperatingSystem-PT-MT8192DC4096
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
11164.570 | 3540205.00 | 3555801.00 | 670.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-MT8192DC4096, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008200056
=====================================================================
--------------------
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-MT8192DC4096-UpperBounds-0
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-1
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-10
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-11
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-12
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-13
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-14
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-15
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-2
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-3
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-4
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-5
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-6
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-7
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-8
FORMULA_NAME SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494929145438
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SmallOperatingSystem-PT-MT8192DC4096 @ 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-MT8192DC4096-UpperBounds.task
lola: MAX(CPUUnit) : MAX(LoadingMem) : MAX(FreeMemSegment) : MAX(FreeMemSegment) : MAX(ExecutingTask) : MAX(TaskReady) : MAX(TaskOnDisk) : MAX(TaskOnDisk) : MAX(TaskReady) : MAX(TaskOnDisk) : MAX(TaskReady) : MAX(TransferToDisk) : MAX(DiskControllerUnit) : MAX(CPUUnit) : MAX(ExecutingTask) : MAX(CPUUnit)
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(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: 2856504 markings, 4760007 edges, 571301 markings/sec, 0 secs
lola: 5376491 markings, 8959625 edges, 503997 markings/sec, 5 secs
lola: 7788218 markings, 12979189 edges, 482345 markings/sec, 10 secs
lola: 10146872 markings, 16910172 edges, 471731 markings/sec, 15 secs
lola: 12469510 markings, 20780735 edges, 464528 markings/sec, 20 secs
lola: 14732378 markings, 24552341 edges, 452574 markings/sec, 25 secs
lola: 16951302 markings, 28250466 edges, 443785 markings/sec, 30 secs
lola: 19041874 markings, 31734234 edges, 418114 markings/sec, 35 secs
lola: 21135563 markings, 35223872 edges, 418738 markings/sec, 40 secs
lola: 23224008 markings, 38704384 edges, 417689 markings/sec, 45 secs
lola: 25307356 markings, 42176192 edges, 416670 markings/sec, 50 secs
lola: 27382862 markings, 45636004 edges, 415101 markings/sec, 55 secs
lola: 29466862 markings, 49109171 edges, 416800 markings/sec, 60 secs
lola: 31534628 markings, 52555529 edges, 413553 markings/sec, 65 secs
lola: 33586059 markings, 55974167 edges, 410286 markings/sec, 70 secs
lola: 35480719 markings, 59131999 edges, 378932 markings/sec, 75 secs
lola: 37476900 markings, 62458159 edges, 399236 markings/sec, 80 secs
lola: 39491440 markings, 65816538 edges, 402908 markings/sec, 85 secs
lola: 41509500 markings, 69179237 edges, 403612 markings/sec, 90 secs
lola: 43506914 markings, 72508900 edges, 399483 markings/sec, 95 secs
lola: 45500532 markings, 75830470 edges, 398724 markings/sec, 100 secs
lola: 47475620 markings, 79123234 edges, 395018 markings/sec, 105 secs
lola: 49396701 markings, 82324344 edges, 384216 markings/sec, 110 secs
lola: 51489045 markings, 85813883 edges, 418469 markings/sec, 115 secs
lola: 53623908 markings, 89387261 edges, 426973 markings/sec, 120 secs
lola: 55705757 markings, 92885611 edges, 416370 markings/sec, 125 secs
lola: 57746825 markings, 96325761 edges, 408214 markings/sec, 130 secs
lola: 59766191 markings, 99741117 edges, 403873 markings/sec, 135 secs
lola: 61762415 markings, 103128245 edges, 399245 markings/sec, 140 secs
lola: 63737784 markings, 106489242 edges, 395074 markings/sec, 145 secs
lola: 65683637 markings, 109809819 edges, 389171 markings/sec, 150 secs
lola: 67625875 markings, 113131765 edges, 388448 markings/sec, 155 secs
lola: 69559779 markings, 116446695 edges, 386781 markings/sec, 160 secs
lola: 71478643 markings, 119744227 edges, 383773 markings/sec, 165 secs
lola: 73384005 markings, 123026137 edges, 381072 markings/sec, 170 secs
lola: 75241850 markings, 126232353 edges, 371569 markings/sec, 175 secs
lola: 77143926 markings, 129521155 edges, 380415 markings/sec, 180 secs
lola: 78939232 markings, 132631034 edges, 359061 markings/sec, 185 secs
lola: 80694452 markings, 135675440 edges, 351044 markings/sec, 190 secs
lola: 82454995 markings, 138737092 edges, 352109 markings/sec, 195 secs
lola: 84186521 markings, 141750738 edges, 346305 markings/sec, 200 secs
lola: 85944118 markings, 144815585 edges, 351519 markings/sec, 205 secs
lola: 87701004 markings, 147884152 edges, 351377 markings/sec, 210 secs
lola: 89456581 markings, 150954225 edges, 351115 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(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: 2741138 markings, 4686838 edges, 548228 markings/sec, 0 secs
lola: 5257670 markings, 9126372 edges, 503306 markings/sec, 5 secs
lola: 7743589 markings, 13485928 edges, 497184 markings/sec, 10 secs
lola: 10052864 markings, 17694690 edges, 461855 markings/sec, 15 secs
lola: 12410738 markings, 21899888 edges, 471575 markings/sec, 20 secs
lola: 14629277 markings, 26005138 edges, 443708 markings/sec, 25 secs
lola: 16777446 markings, 30058619 edges, 429634 markings/sec, 30 secs
lola: 18987837 markings, 34098226 edges, 442078 markings/sec, 35 secs
lola: 21024812 markings, 38025704 edges, 407395 markings/sec, 40 secs
lola: 23201662 markings, 41957344 edges, 435370 markings/sec, 45 secs
lola: 25112576 markings, 45643175 edges, 382183 markings/sec, 50 secs
lola: 26895438 markings, 49249781 edges, 356572 markings/sec, 55 secs
lola: 28757537 markings, 52901493 edges, 372420 markings/sec, 60 secs
lola: 30433216 markings, 56432203 edges, 335136 markings/sec, 65 secs
lola: 32150055 markings, 60024531 edges, 343368 markings/sec, 70 secs
lola: 33854093 markings, 63587460 edges, 340808 markings/sec, 75 secs
lola: 35551733 markings, 67137590 edges, 339528 markings/sec, 80 secs
lola: 37214830 markings, 70669549 edges, 332619 markings/sec, 85 secs
lola: 38865010 markings, 74182765 edges, 330036 markings/sec, 90 secs
lola: 40539570 markings, 77687673 edges, 334912 markings/sec, 95 secs
lola: 42203196 markings, 81204742 edges, 332725 markings/sec, 100 secs
lola: 43879739 markings, 84738503 edges, 335309 markings/sec, 105 secs
lola: 45551649 markings, 88264642 edges, 334382 markings/sec, 110 secs
lola: 47218798 markings, 91770154 edges, 333430 markings/sec, 115 secs
lola: 48847517 markings, 95233867 edges, 325744 markings/sec, 120 secs
lola: 50505974 markings, 98713486 edges, 331691 markings/sec, 125 secs
lola: 52228900 markings, 101972602 edges, 344585 markings/sec, 130 secs
lola: 54008104 markings, 105201307 edges, 355841 markings/sec, 135 secs
lola: 55650006 markings, 108407312 edges, 328380 markings/sec, 140 secs
lola: 57137212 markings, 111317596 edges, 297441 markings/sec, 145 secs
lola: 58581020 markings, 114154575 edges, 288762 markings/sec, 150 secs
lola: 60001779 markings, 116974746 edges, 284152 markings/sec, 155 secs
lola: 61397570 markings, 119738533 edges, 279158 markings/sec, 160 secs
lola: 62788944 markings, 122676613 edges, 278275 markings/sec, 165 secs
lola: 64151110 markings, 125369211 edges, 272433 markings/sec, 170 secs
lola: 65507155 markings, 128030584 edges, 271209 markings/sec, 175 secs
lola: 66875801 markings, 130726717 edges, 273729 markings/sec, 180 secs
lola: 68257790 markings, 133453477 edges, 276398 markings/sec, 185 secs
lola: 69649059 markings, 136185851 edges, 278254 markings/sec, 190 secs
lola: 71025625 markings, 138902941 edges, 275313 markings/sec, 195 secs
lola: 72411452 markings, 141639573 edges, 277165 markings/sec, 200 secs
lola: 73792943 markings, 144351871 edges, 276298 markings/sec, 205 secs
lola: 75285740 markings, 147345918 edges, 298559 markings/sec, 210 secs
lola: 76732038 markings, 150238326 edges, 289260 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FreeMemSegment)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2225391 markings, 5026692 edges, 445078 markings/sec, 0 secs
lola: 4380351 markings, 9978033 edges, 430992 markings/sec, 5 secs
lola: 6539431 markings, 14951571 edges, 431816 markings/sec, 10 secs
lola: 8630511 markings, 19813738 edges, 418216 markings/sec, 15 secs
lola: 10731124 markings, 24672362 edges, 420123 markings/sec, 20 secs
lola: 12759998 markings, 29377917 edges, 405775 markings/sec, 25 secs
lola: 14710597 markings, 33927834 edges, 390120 markings/sec, 30 secs
lola: 16611130 markings, 38364520 edges, 380107 markings/sec, 35 secs
lola: 18464383 markings, 42704638 edges, 370651 markings/sec, 40 secs
lola: 20307150 markings, 47007544 edges, 368553 markings/sec, 45 secs
lola: 22144725 markings, 51322734 edges, 367515 markings/sec, 50 secs
lola: 23963566 markings, 55611035 edges, 363768 markings/sec, 55 secs
lola: 25756228 markings, 59836001 edges, 358532 markings/sec, 60 secs
lola: 27540476 markings, 64041130 edges, 356850 markings/sec, 65 secs
lola: 29382477 markings, 68342666 edges, 368400 markings/sec, 70 secs
lola: 31151011 markings, 72493762 edges, 353707 markings/sec, 75 secs
lola: 32859891 markings, 76547647 edges, 341776 markings/sec, 80 secs
lola: 34615870 markings, 80684551 edges, 351196 markings/sec, 85 secs
lola: 36349353 markings, 84749356 edges, 346697 markings/sec, 90 secs
lola: 38017466 markings, 88693248 edges, 333623 markings/sec, 95 secs
lola: 39707397 markings, 92703494 edges, 337986 markings/sec, 100 secs
lola: 41344645 markings, 96584993 edges, 327450 markings/sec, 105 secs
lola: 43042638 markings, 100583410 edges, 339599 markings/sec, 110 secs
lola: 44771636 markings, 104629880 edges, 345800 markings/sec, 115 secs
lola: 46463353 markings, 108639853 edges, 338343 markings/sec, 120 secs
lola: 48167318 markings, 112652811 edges, 340793 markings/sec, 125 secs
lola: 49727173 markings, 116383117 edges, 311971 markings/sec, 130 secs
lola: 51368679 markings, 120278499 edges, 328301 markings/sec, 135 secs
lola: 52977586 markings, 124094326 edges, 321781 markings/sec, 140 secs
lola: 54575565 markings, 127884976 edges, 319596 markings/sec, 145 secs
lola: 56197007 markings, 131697821 edges, 324288 markings/sec, 150 secs
lola: 57768313 markings, 135422293 edges, 314261 markings/sec, 155 secs
lola: 59360411 markings, 139197379 edges, 318420 markings/sec, 160 secs
lola: 60985940 markings, 143023306 edges, 325106 markings/sec, 165 secs
lola: 62692904 markings, 147013925 edges, 341393 markings/sec, 170 secs
lola: 64176991 markings, 150560777 edges, 296817 markings/sec, 175 secs
lola: 65717426 markings, 154246976 edges, 308087 markings/sec, 180 secs
lola: 67342482 markings, 158106773 edges, 325011 markings/sec, 185 secs
lola: 68925827 markings, 161865370 edges, 316669 markings/sec, 190 secs
lola: 70534179 markings, 165671206 edges, 321670 markings/sec, 195 secs
lola: 72099968 markings, 169395447 edges, 313158 markings/sec, 200 secs
lola: 73726276 markings, 173253930 edges, 325262 markings/sec, 205 secs
lola: 75371055 markings, 177104076 edges, 328956 markings/sec, 210 secs
lola: 77014012 markings, 180989789 edges, 328591 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(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: 2261320 markings, 5108975 edges, 452264 markings/sec, 0 secs
lola: 4415278 markings, 10055147 edges, 430792 markings/sec, 5 secs
lola: 6575800 markings, 15049048 edges, 432104 markings/sec, 10 secs
lola: 8677316 markings, 19913170 edges, 420303 markings/sec, 15 secs
lola: 10767341 markings, 24755652 edges, 418005 markings/sec, 20 secs
lola: 12808233 markings, 29508156 edges, 408178 markings/sec, 25 secs
lola: 14772685 markings, 34089728 edges, 392890 markings/sec, 30 secs
lola: 16742417 markings, 38664618 edges, 393946 markings/sec, 35 secs
lola: 18640875 markings, 43126221 edges, 379692 markings/sec, 40 secs
lola: 20534349 markings, 47562007 edges, 378695 markings/sec, 45 secs
lola: 22394904 markings, 51919430 edges, 372111 markings/sec, 50 secs
lola: 24248761 markings, 56292988 edges, 370771 markings/sec, 55 secs
lola: 26130282 markings, 60687238 edges, 376304 markings/sec, 60 secs
lola: 27890051 markings, 64860401 edges, 351954 markings/sec, 65 secs
lola: 29747325 markings, 69194503 edges, 371455 markings/sec, 70 secs
lola: 31522960 markings, 73380706 edges, 355127 markings/sec, 75 secs
lola: 33201178 markings, 77362801 edges, 335644 markings/sec, 80 secs
lola: 34972836 markings, 81537732 edges, 354332 markings/sec, 85 secs
lola: 36739961 markings, 85686267 edges, 353425 markings/sec, 90 secs
lola: 38443712 markings, 89711920 edges, 340750 markings/sec, 95 secs
lola: 40128426 markings, 93707997 edges, 336943 markings/sec, 100 secs
lola: 41856852 markings, 97779492 edges, 345685 markings/sec, 105 secs
lola: 43577694 markings, 101833608 edges, 344168 markings/sec, 110 secs
lola: 45301724 markings, 105893342 edges, 344806 markings/sec, 115 secs
lola: 47046672 markings, 109987697 edges, 348990 markings/sec, 120 secs
lola: 48706332 markings, 113941335 edges, 331932 markings/sec, 125 secs
lola: 50286834 markings, 117720251 edges, 316100 markings/sec, 130 secs
lola: 51998037 markings, 121752184 edges, 342241 markings/sec, 135 secs
lola: 53635132 markings, 125635482 edges, 327419 markings/sec, 140 secs
lola: 55206683 markings, 129366208 edges, 314310 markings/sec, 145 secs
lola: 56836470 markings, 133225825 edges, 325957 markings/sec, 150 secs
lola: 58479821 markings, 137124209 edges, 328670 markings/sec, 155 secs
lola: 60138693 markings, 141028857 edges, 331774 markings/sec, 160 secs
lola: 61756689 markings, 144834265 edges, 323599 markings/sec, 165 secs
lola: 63384925 markings, 148667824 edges, 325647 markings/sec, 170 secs
lola: 64903705 markings, 152298563 edges, 303756 markings/sec, 175 secs
lola: 66492512 markings, 156103107 edges, 317761 markings/sec, 180 secs
lola: 68110662 markings, 159945124 edges, 323630 markings/sec, 185 secs
lola: 69740301 markings, 163815441 edges, 325928 markings/sec, 190 secs
lola: 71379320 markings, 167674116 edges, 327804 markings/sec, 195 secs
lola: 72961723 markings, 171426030 edges, 316481 markings/sec, 200 secs
lola: 74577710 markings, 175259176 edges, 323197 markings/sec, 205 secs
lola: 76190852 markings, 179051561 edges, 322628 markings/sec, 210 secs
lola: 77801308 markings, 182842102 edges, 322091 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(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: 2812036 markings, 4218060 edges, 562407 markings/sec, 0 secs
lola: 5158559 markings, 7737841 edges, 469305 markings/sec, 5 secs
lola: 7431850 markings, 11147782 edges, 454658 markings/sec, 10 secs
lola: 9661026 markings, 14491539 edges, 445835 markings/sec, 15 secs
lola: 11852755 markings, 17779137 edges, 438346 markings/sec, 20 secs
lola: 14007035 markings, 21010556 edges, 430856 markings/sec, 25 secs
lola: 16145446 markings, 24218171 edges, 427682 markings/sec, 30 secs
lola: 18286194 markings, 27429293 edges, 428150 markings/sec, 35 secs
lola: 20414729 markings, 30622095 edges, 425707 markings/sec, 40 secs
lola: 22532394 markings, 33798593 edges, 423533 markings/sec, 45 secs
lola: 24641018 markings, 36961528 edges, 421725 markings/sec, 50 secs
lola: 26736280 markings, 40104418 edges, 419052 markings/sec, 55 secs
lola: 28811590 markings, 43217387 edges, 415062 markings/sec, 60 secs
lola: 30884172 markings, 46326260 edges, 414516 markings/sec, 65 secs
lola: 32959994 markings, 49439993 edges, 415164 markings/sec, 70 secs
lola: 35020356 markings, 52530535 edges, 412072 markings/sec, 75 secs
lola: 37082060 markings, 55623092 edges, 412341 markings/sec, 80 secs
lola: 39131984 markings, 58697978 edges, 409985 markings/sec, 85 secs
lola: 41176006 markings, 61764007 edges, 408804 markings/sec, 90 secs
lola: 43215053 markings, 64822577 edges, 407809 markings/sec, 95 secs
lola: 45244237 markings, 67866357 edges, 405837 markings/sec, 100 secs
lola: 47252591 markings, 70878888 edges, 401671 markings/sec, 105 secs
lola: 49270715 markings, 73906074 edges, 403625 markings/sec, 110 secs
lola: 51284029 markings, 76930261 edges, 402663 markings/sec, 115 secs
lola: 53275286 markings, 79951313 edges, 398251 markings/sec, 120 secs
lola: 55251903 markings, 82983650 edges, 395323 markings/sec, 125 secs
lola: 57209847 markings, 86018434 edges, 391589 markings/sec, 130 secs
lola: 59153911 markings, 89062253 edges, 388813 markings/sec, 135 secs
lola: 61093793 markings, 92126111 edges, 387976 markings/sec, 140 secs
lola: 63007867 markings, 95175142 edges, 382815 markings/sec, 145 secs
lola: 64902661 markings, 98219897 edges, 378959 markings/sec, 150 secs
lola: 66787298 markings, 101269433 edges, 376927 markings/sec, 155 secs
lola: 68653302 markings, 104312626 edges, 373201 markings/sec, 160 secs
lola: 70507998 markings, 107359345 edges, 370939 markings/sec, 165 secs
lola: 72353320 markings, 110407145 edges, 369064 markings/sec, 170 secs
lola: 74168506 markings, 113426810 edges, 363037 markings/sec, 175 secs
lola: 76001356 markings, 116495088 edges, 366570 markings/sec, 180 secs
lola: 77815859 markings, 119552093 edges, 362901 markings/sec, 185 secs
lola: 79614720 markings, 122594949 edges, 359772 markings/sec, 190 secs
lola: 81403408 markings, 125636912 edges, 357738 markings/sec, 195 secs
lola: 83182988 markings, 128682757 edges, 355916 markings/sec, 200 secs
lola: 84948230 markings, 131718144 edges, 353048 markings/sec, 205 secs
lola: 86709272 markings, 134755389 edges, 352208 markings/sec, 210 secs
lola: 88457989 markings, 137789377 edges, 349743 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(TaskReady)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1874135 markings, 4354647 edges, 374827 markings/sec, 0 secs
lola: 3509212 markings, 8310259 edges, 327015 markings/sec, 5 secs
lola: 5070654 markings, 12123101 edges, 312288 markings/sec, 10 secs
lola: 6613680 markings, 15899976 edges, 308605 markings/sec, 15 secs
lola: 8115521 markings, 19593377 edges, 300368 markings/sec, 20 secs
lola: 9632773 markings, 23314381 edges, 303450 markings/sec, 25 secs
lola: 11146661 markings, 27004407 edges, 302778 markings/sec, 30 secs
lola: 12608150 markings, 30613175 edges, 292298 markings/sec, 35 secs
lola: 14071233 markings, 34220090 edges, 292617 markings/sec, 40 secs
lola: 15557474 markings, 37852807 edges, 297248 markings/sec, 45 secs
lola: 17006931 markings, 41435719 edges, 289891 markings/sec, 50 secs
lola: 18425034 markings, 44955663 edges, 283621 markings/sec, 55 secs
lola: 19864991 markings, 48507250 edges, 287991 markings/sec, 60 secs
lola: 21307378 markings, 52062112 edges, 288477 markings/sec, 65 secs
lola: 22741711 markings, 55597162 edges, 286867 markings/sec, 70 secs
lola: 24198741 markings, 59174821 edges, 291406 markings/sec, 75 secs
lola: 25619379 markings, 62693657 edges, 284128 markings/sec, 80 secs
lola: 27078579 markings, 66270418 edges, 291840 markings/sec, 85 secs
lola: 28518205 markings, 69814764 edges, 287925 markings/sec, 90 secs
lola: 29982560 markings, 73407865 edges, 292871 markings/sec, 95 secs
lola: 31409333 markings, 76916956 edges, 285355 markings/sec, 100 secs
lola: 32828054 markings, 80431612 edges, 283744 markings/sec, 105 secs
lola: 34252032 markings, 83940031 edges, 284796 markings/sec, 110 secs
lola: 35657580 markings, 87406536 edges, 281110 markings/sec, 115 secs
lola: 37074586 markings, 90911048 edges, 283401 markings/sec, 120 secs
lola: 38500673 markings, 94443662 edges, 285217 markings/sec, 125 secs
lola: 39906055 markings, 97919262 edges, 281076 markings/sec, 130 secs
lola: 41293585 markings, 101341566 edges, 277506 markings/sec, 135 secs
lola: 42680842 markings, 104791184 edges, 277451 markings/sec, 140 secs
lola: 44091405 markings, 108258673 edges, 282113 markings/sec, 145 secs
lola: 45484032 markings, 111727209 edges, 278525 markings/sec, 150 secs
lola: 46849941 markings, 115128136 edges, 273182 markings/sec, 155 secs
lola: 48240904 markings, 118595950 edges, 278193 markings/sec, 160 secs
lola: 49662981 markings, 122102081 edges, 284415 markings/sec, 165 secs
lola: 51047129 markings, 125556267 edges, 276830 markings/sec, 170 secs
lola: 52427909 markings, 128987655 edges, 276156 markings/sec, 175 secs
lola: 53834280 markings, 132478270 edges, 281274 markings/sec, 180 secs
lola: 55215865 markings, 135919658 edges, 276317 markings/sec, 185 secs
lola: 56613231 markings, 139387704 edges, 279473 markings/sec, 190 secs
lola: 57998615 markings, 142832084 edges, 277077 markings/sec, 195 secs
lola: 59389460 markings, 146258651 edges, 278169 markings/sec, 200 secs
lola: 60790793 markings, 149746123 edges, 280267 markings/sec, 205 secs
lola: 62184096 markings, 153190876 edges, 278661 markings/sec, 210 secs
lola: 63570877 markings, 156615491 edges, 277356 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(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: 1898756 markings, 4411522 edges, 379751 markings/sec, 0 secs
lola: 3552378 markings, 8418117 edges, 330724 markings/sec, 5 secs
lola: 5143978 markings, 12304353 edges, 318320 markings/sec, 10 secs
lola: 6713786 markings, 16148260 edges, 313962 markings/sec, 15 secs
lola: 8250105 markings, 19924020 edges, 307264 markings/sec, 20 secs
lola: 9782997 markings, 23671281 edges, 306578 markings/sec, 25 secs
lola: 11312658 markings, 27413937 edges, 305932 markings/sec, 30 secs
lola: 12803887 markings, 31083889 edges, 298246 markings/sec, 35 secs
lola: 14284859 markings, 34747502 edges, 296194 markings/sec, 40 secs
lola: 15793369 markings, 38437046 edges, 301702 markings/sec, 45 secs
lola: 17269019 markings, 42087278 edges, 295130 markings/sec, 50 secs
lola: 18721198 markings, 45686243 edges, 290436 markings/sec, 55 secs
lola: 20190014 markings, 49308095 edges, 293763 markings/sec, 60 secs
lola: 21654594 markings, 52921955 edges, 292916 markings/sec, 65 secs
lola: 23122032 markings, 56538705 edges, 293488 markings/sec, 70 secs
lola: 24601214 markings, 60172073 edges, 295836 markings/sec, 75 secs
lola: 26058597 markings, 63777986 edges, 291477 markings/sec, 80 secs
lola: 27549455 markings, 67435886 edges, 298172 markings/sec, 85 secs
lola: 29043316 markings, 71093890 edges, 298772 markings/sec, 90 secs
lola: 30518471 markings, 74715767 edges, 295031 markings/sec, 95 secs
lola: 31943366 markings, 78240492 edges, 284979 markings/sec, 100 secs
lola: 33389851 markings, 81820097 edges, 289297 markings/sec, 105 secs
lola: 34817705 markings, 85342812 edges, 285571 markings/sec, 110 secs
lola: 36253618 markings, 88884352 edges, 287183 markings/sec, 115 secs
lola: 37688304 markings, 92433014 edges, 286937 markings/sec, 120 secs
lola: 39145351 markings, 96028234 edges, 291409 markings/sec, 125 secs
lola: 40539286 markings, 99488954 edges, 278787 markings/sec, 130 secs
lola: 41946318 markings, 102967124 edges, 281406 markings/sec, 135 secs
lola: 43380546 markings, 106497461 edges, 286846 markings/sec, 140 secs
lola: 44788152 markings, 109992187 edges, 281521 markings/sec, 145 secs
lola: 46187589 markings, 113485272 edges, 279887 markings/sec, 150 secs
lola: 47593301 markings, 116979952 edges, 281142 markings/sec, 155 secs
lola: 49023917 markings, 120530443 edges, 286123 markings/sec, 160 secs
lola: 50430856 markings, 124018618 edges, 281388 markings/sec, 165 secs
lola: 51837346 markings, 127520094 edges, 281298 markings/sec, 170 secs
lola: 53242857 markings, 131010149 edges, 281102 markings/sec, 175 secs
lola: 54660131 markings, 134533784 edges, 283455 markings/sec, 180 secs
lola: 56064120 markings, 138020414 edges, 280798 markings/sec, 185 secs
lola: 57448320 markings, 141466597 edges, 276840 markings/sec, 190 secs
lola: 58848775 markings, 144920027 edges, 280091 markings/sec, 195 secs
lola: 60249973 markings, 148397475 edges, 280240 markings/sec, 200 secs
lola: 61679630 markings, 151940489 edges, 285931 markings/sec, 205 secs
lola: 63069893 markings, 155373597 edges, 278053 markings/sec, 210 secs
lola: 64462166 markings, 158822609 edges, 278455 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: 1940545 markings, 4505265 edges, 388109 markings/sec, 0 secs
lola: 3605446 markings, 8547748 edges, 332980 markings/sec, 5 secs
lola: 5204000 markings, 12451472 edges, 319711 markings/sec, 10 secs
lola: 6775252 markings, 16298766 edges, 314250 markings/sec, 15 secs
lola: 8319368 markings, 20095790 edges, 308823 markings/sec, 20 secs
lola: 9891085 markings, 23935256 edges, 314343 markings/sec, 25 secs
lola: 11430387 markings, 27702772 edges, 307860 markings/sec, 30 secs
lola: 12938392 markings, 31413641 edges, 301601 markings/sec, 35 secs
lola: 14434203 markings, 35117310 edges, 299162 markings/sec, 40 secs
lola: 15950498 markings, 38827331 edges, 303259 markings/sec, 45 secs
lola: 17445186 markings, 42524569 edges, 298938 markings/sec, 50 secs
lola: 18913034 markings, 46162107 edges, 293570 markings/sec, 55 secs
lola: 20392685 markings, 49810917 edges, 295930 markings/sec, 60 secs
lola: 21866112 markings, 53446307 edges, 294685 markings/sec, 65 secs
lola: 23353600 markings, 57112215 edges, 297498 markings/sec, 70 secs
lola: 24842480 markings, 60769301 edges, 297776 markings/sec, 75 secs
lola: 26326355 markings, 64429354 edges, 296775 markings/sec, 80 secs
lola: 27814328 markings, 68091286 edges, 297595 markings/sec, 85 secs
lola: 29320511 markings, 71777105 edges, 301237 markings/sec, 90 secs
lola: 30796900 markings, 75403350 edges, 295278 markings/sec, 95 secs
lola: 32237759 markings, 78969753 edges, 288172 markings/sec, 100 secs
lola: 33714493 markings, 82605394 edges, 295347 markings/sec, 105 secs
lola: 35129695 markings, 86116754 edges, 283040 markings/sec, 110 secs
lola: 36593227 markings, 89712630 edges, 292706 markings/sec, 115 secs
lola: 38032659 markings, 93285300 edges, 287886 markings/sec, 120 secs
lola: 39493433 markings, 96895224 edges, 292155 markings/sec, 125 secs
lola: 40912937 markings, 100400228 edges, 283901 markings/sec, 130 secs
lola: 42323175 markings, 103900956 edges, 282048 markings/sec, 135 secs
lola: 43765775 markings, 107453036 edges, 288520 markings/sec, 140 secs
lola: 45187341 markings, 110986747 edges, 284313 markings/sec, 145 secs
lola: 46593172 markings, 114491673 edges, 281166 markings/sec, 150 secs
lola: 48015016 markings, 118030780 edges, 284369 markings/sec, 155 secs
lola: 49469132 markings, 121621939 edges, 290823 markings/sec, 160 secs
lola: 50881613 markings, 125142929 edges, 282496 markings/sec, 165 secs
lola: 52293329 markings, 128654641 edges, 282343 markings/sec, 170 secs
lola: 53730365 markings, 132219676 edges, 287407 markings/sec, 175 secs
lola: 55140261 markings, 135729860 edges, 281979 markings/sec, 180 secs
lola: 56575297 markings, 139292258 edges, 287007 markings/sec, 185 secs
lola: 57990868 markings, 142812703 edges, 283114 markings/sec, 190 secs
lola: 59416464 markings, 146325759 edges, 285119 markings/sec, 195 secs
lola: 60847444 markings, 149884703 edges, 286196 markings/sec, 200 secs
lola: 62292421 markings, 153441639 edges, 288995 markings/sec, 205 secs
lola: 63694808 markings, 156921296 edges, 280477 markings/sec, 210 secs
lola: 65104316 markings, 160411186 edges, 281902 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskReady)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1914314 markings, 4445067 edges, 382863 markings/sec, 0 secs
lola: 3531463 markings, 8365993 edges, 323430 markings/sec, 5 secs
lola: 5093020 markings, 12178133 edges, 312311 markings/sec, 10 secs
lola: 6634728 markings, 15951434 edges, 308342 markings/sec, 15 secs
lola: 8129683 markings, 19629131 edges, 298991 markings/sec, 20 secs
lola: 9645734 markings, 23345906 edges, 303210 markings/sec, 25 secs
lola: 11160121 markings, 27035486 edges, 302877 markings/sec, 30 secs
lola: 12618445 markings, 30638627 edges, 291665 markings/sec, 35 secs
lola: 14085028 markings, 34252918 edges, 293317 markings/sec, 40 secs
lola: 15568150 markings, 37879302 edges, 296624 markings/sec, 45 secs
lola: 17035561 markings, 41507464 edges, 293482 markings/sec, 50 secs
lola: 18478301 markings, 45086743 edges, 288548 markings/sec, 55 secs
lola: 19947190 markings, 48709119 edges, 293778 markings/sec, 60 secs
lola: 21406278 markings, 52305622 edges, 291818 markings/sec, 65 secs
lola: 22861549 markings, 55894811 edges, 291054 markings/sec, 70 secs
lola: 24334946 markings, 59509887 edges, 294679 markings/sec, 75 secs
lola: 25789356 markings, 63113640 edges, 290882 markings/sec, 80 secs
lola: 27273099 markings, 66750343 edges, 296749 markings/sec, 85 secs
lola: 28743400 markings, 70369940 edges, 294060 markings/sec, 90 secs
lola: 30230344 markings, 74004775 edges, 297389 markings/sec, 95 secs
lola: 31655845 markings, 77525658 edges, 285100 markings/sec, 100 secs
lola: 33099724 markings, 81099263 edges, 288776 markings/sec, 105 secs
lola: 34527905 markings, 84621676 edges, 285636 markings/sec, 110 secs
lola: 35960584 markings, 88155666 edges, 286536 markings/sec, 115 secs
lola: 37393888 markings, 91704145 edges, 286661 markings/sec, 120 secs
lola: 38824512 markings, 95248731 edges, 286125 markings/sec, 125 secs
lola: 40250683 markings, 98771990 edges, 285234 markings/sec, 130 secs
lola: 41654445 markings, 102238846 edges, 280752 markings/sec, 135 secs
lola: 43072258 markings, 105746153 edges, 283563 markings/sec, 140 secs
lola: 44488382 markings, 109245088 edges, 283225 markings/sec, 145 secs
lola: 45887299 markings, 112733118 edges, 279783 markings/sec, 150 secs
lola: 47284991 markings, 116210382 edges, 279538 markings/sec, 155 secs
lola: 48707040 markings, 119740275 edges, 284410 markings/sec, 160 secs
lola: 50118044 markings, 123239451 edges, 282201 markings/sec, 165 secs
lola: 51523218 markings, 126741433 edges, 281035 markings/sec, 170 secs
lola: 52922771 markings, 130211487 edges, 279911 markings/sec, 175 secs
lola: 54344916 markings, 133749756 edges, 284429 markings/sec, 180 secs
lola: 55732663 markings, 137197680 edges, 277549 markings/sec, 185 secs
lola: 57135107 markings, 140687848 edges, 280489 markings/sec, 190 secs
lola: 58544069 markings, 144171832 edges, 281792 markings/sec, 195 secs
lola: 59938821 markings, 147622656 edges, 278950 markings/sec, 200 secs
lola: 61323156 markings, 151065419 edges, 276867 markings/sec, 205 secs
lola: 62722007 markings, 154508074 edges, 279770 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 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: 1879000 markings, 4366826 edges, 375800 markings/sec, 0 secs
lola: 3514728 markings, 8324259 edges, 327146 markings/sec, 5 secs
lola: 5081890 markings, 12150710 edges, 313432 markings/sec, 10 secs
lola: 6626063 markings, 15930257 edges, 308835 markings/sec, 15 secs
lola: 8125376 markings, 19618202 edges, 299863 markings/sec, 20 secs
lola: 9646101 markings, 23346958 edges, 304145 markings/sec, 25 secs
lola: 11165281 markings, 27048544 edges, 303836 markings/sec, 30 secs
lola: 12628649 markings, 30664934 edges, 292674 markings/sec, 35 secs
lola: 14096797 markings, 34281329 edges, 293630 markings/sec, 40 secs
lola: 15584265 markings, 37918685 edges, 297494 markings/sec, 45 secs
lola: 17043648 markings, 41527922 edges, 291877 markings/sec, 50 secs
lola: 18472741 markings, 45073101 edges, 285819 markings/sec, 55 secs
lola: 19930982 markings, 48669873 edges, 291648 markings/sec, 60 secs
lola: 21378607 markings, 52237274 edges, 289525 markings/sec, 65 secs
lola: 22836999 markings, 55834622 edges, 291678 markings/sec, 70 secs
lola: 24312176 markings, 59455066 edges, 295035 markings/sec, 75 secs
lola: 25770083 markings, 63065746 edges, 291581 markings/sec, 80 secs
lola: 27257094 markings, 66710434 edges, 297402 markings/sec, 85 secs
lola: 28727804 markings, 70329242 edges, 294142 markings/sec, 90 secs
lola: 30213429 markings, 73963751 edges, 297125 markings/sec, 95 secs
lola: 31637187 markings, 77480116 edges, 284752 markings/sec, 100 secs
lola: 33078662 markings, 81047053 edges, 288295 markings/sec, 105 secs
lola: 34507279 markings, 84569987 edges, 285723 markings/sec, 110 secs
lola: 35935732 markings, 88096762 edges, 285691 markings/sec, 115 secs
lola: 37366780 markings, 91636043 edges, 286210 markings/sec, 120 secs
lola: 38796619 markings, 95179326 edges, 285968 markings/sec, 125 secs
lola: 40222574 markings, 98703255 edges, 285191 markings/sec, 130 secs
lola: 41625803 markings, 102169081 edges, 280646 markings/sec, 135 secs
lola: 43044258 markings, 105675165 edges, 283691 markings/sec, 140 secs
lola: 44459800 markings, 109174708 edges, 283108 markings/sec, 145 secs
lola: 45857363 markings, 112658841 edges, 279513 markings/sec, 150 secs
lola: 47248528 markings, 116118330 edges, 278233 markings/sec, 155 secs
lola: 48670649 markings, 119648500 edges, 284424 markings/sec, 160 secs
lola: 50082113 markings, 123148075 edges, 282293 markings/sec, 165 secs
lola: 51487274 markings, 126650986 edges, 281032 markings/sec, 170 secs
lola: 52887689 markings, 130124225 edges, 280083 markings/sec, 175 secs
lola: 54311225 markings, 133666035 edges, 284707 markings/sec, 180 secs
lola: 55705135 markings, 137128692 edges, 278782 markings/sec, 185 secs
lola: 57109698 markings, 140624946 edges, 280913 markings/sec, 190 secs
lola: 58524737 markings, 144121063 edges, 283008 markings/sec, 195 secs
lola: 59939134 markings, 147623365 edges, 282879 markings/sec, 200 secs
lola: 61348551 markings, 151129039 edges, 281883 markings/sec, 205 secs
lola: 62767560 markings, 154619136 edges, 283802 markings/sec, 210 secs
lola: 64163743 markings, 158086129 edges, 279237 markings/sec, 215 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(TaskReady)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1840597 markings, 4282971 edges, 368119 markings/sec, 0 secs
lola: 3475489 markings, 8228096 edges, 326978 markings/sec, 5 secs
lola: 5036617 markings, 12038568 edges, 312226 markings/sec, 10 secs
lola: 6574530 markings, 15804568 edges, 307583 markings/sec, 15 secs
lola: 8065037 markings, 19471965 edges, 298101 markings/sec, 20 secs
lola: 9586414 markings, 23198813 edges, 304275 markings/sec, 25 secs
lola: 11094515 markings, 26873673 edges, 301620 markings/sec, 30 secs
lola: 12548421 markings, 30465095 edges, 290781 markings/sec, 35 secs
lola: 14001615 markings, 34048394 edges, 290639 markings/sec, 40 secs
lola: 15483060 markings, 37668025 edges, 296289 markings/sec, 45 secs
lola: 16919266 markings, 41234037 edges, 287241 markings/sec, 50 secs
lola: 18353157 markings, 44775930 edges, 286778 markings/sec, 55 secs
lola: 19791053 markings, 48321677 edges, 287579 markings/sec, 60 secs
lola: 21211878 markings, 51825281 edges, 284165 markings/sec, 65 secs
lola: 22627559 markings, 55314391 edges, 283136 markings/sec, 70 secs
lola: 24055366 markings, 58836107 edges, 285561 markings/sec, 75 secs
lola: 25474075 markings, 62336020 edges, 283742 markings/sec, 80 secs
lola: 26925592 markings, 65893310 edges, 290303 markings/sec, 85 secs
lola: 28334121 markings, 69370154 edges, 281706 markings/sec, 90 secs
lola: 29790265 markings, 72928503 edges, 291229 markings/sec, 95 secs
lola: 31187927 markings, 76374815 edges, 279532 markings/sec, 100 secs
lola: 32581012 markings, 79820413 edges, 278617 markings/sec, 105 secs
lola: 33986909 markings, 83280958 edges, 281179 markings/sec, 110 secs
lola: 35366374 markings, 86684856 edges, 275893 markings/sec, 115 secs
lola: 36752476 markings, 90110695 edges, 277220 markings/sec, 120 secs
lola: 38145069 markings, 93561205 edges, 278519 markings/sec, 125 secs
lola: 39544052 markings, 97017886 edges, 279797 markings/sec, 130 secs
lola: 40901172 markings, 100371894 edges, 271424 markings/sec, 135 secs
lola: 42252819 markings, 103727181 edges, 270329 markings/sec, 140 secs
lola: 43641175 markings, 107146511 edges, 277671 markings/sec, 145 secs
lola: 45005298 markings, 110533882 edges, 272825 markings/sec, 150 secs
lola: 46359653 markings, 113906928 edges, 270871 markings/sec, 155 secs
lola: 47712942 markings, 117280429 edges, 270658 markings/sec, 160 secs
lola: 49099239 markings, 120717150 edges, 277259 markings/sec, 165 secs
lola: 50463439 markings, 124099313 edges, 272840 markings/sec, 170 secs
lola: 51828537 markings, 127498169 edges, 273020 markings/sec, 175 secs
lola: 53189433 markings, 130875050 edges, 272179 markings/sec, 180 secs
lola: 54559281 markings, 134283870 edges, 273970 markings/sec, 185 secs
lola: 55917757 markings, 137659683 edges, 271695 markings/sec, 190 secs
lola: 57280956 markings, 141051647 edges, 272640 markings/sec, 195 secs
lola: 58645288 markings, 144423666 edges, 272866 markings/sec, 200 secs
lola: 60026499 markings, 147839442 edges, 276242 markings/sec, 205 secs
lola: 61393925 markings, 151243801 edges, 273485 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(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: 3684877 markings, 4914611 edges, 736975 markings/sec, 0 secs
lola: 7160746 markings, 9549441 edges, 695174 markings/sec, 5 secs
lola: 10610783 markings, 14149756 edges, 690007 markings/sec, 10 secs
lola: 14040243 markings, 18722780 edges, 685892 markings/sec, 15 secs
lola: 17443234 markings, 23260721 edges, 680598 markings/sec, 20 secs
lola: 20840719 markings, 27790349 edges, 679497 markings/sec, 25 secs
lola: 24225149 markings, 32303283 edges, 676886 markings/sec, 30 secs
lola: 27560643 markings, 36751349 edges, 667099 markings/sec, 35 secs
lola: 30869967 markings, 41164230 edges, 661865 markings/sec, 40 secs
lola: 33944543 markings, 45352962 edges, 614915 markings/sec, 45 secs
lola: 36020189 markings, 48646748 edges, 415129 markings/sec, 50 secs
lola: 38093447 markings, 51918902 edges, 414652 markings/sec, 55 secs
lola: 40170669 markings, 55210656 edges, 415444 markings/sec, 60 secs
lola: 42229515 markings, 58473609 edges, 411769 markings/sec, 65 secs
lola: 44297995 markings, 61745551 edges, 413696 markings/sec, 70 secs
lola: 46377095 markings, 65025903 edges, 415820 markings/sec, 75 secs
lola: 48420853 markings, 68257584 edges, 408752 markings/sec, 80 secs
lola: 50462354 markings, 71488459 edges, 408300 markings/sec, 85 secs
lola: 52519380 markings, 74734395 edges, 411405 markings/sec, 90 secs
lola: 54564186 markings, 77959759 edges, 408961 markings/sec, 95 secs
lola: 56618836 markings, 81208681 edges, 410930 markings/sec, 100 secs
lola: 58691065 markings, 84477209 edges, 414446 markings/sec, 105 secs
lola: 60745572 markings, 87714356 edges, 410901 markings/sec, 110 secs
lola: 62785228 markings, 90937061 edges, 407931 markings/sec, 115 secs
lola: 64832219 markings, 94160766 edges, 409398 markings/sec, 120 secs
lola: 66865759 markings, 97363396 edges, 406708 markings/sec, 125 secs
lola: 68902438 markings, 100581087 edges, 407336 markings/sec, 130 secs
lola: 70958182 markings, 103819264 edges, 411149 markings/sec, 135 secs
lola: 72994673 markings, 107025029 edges, 407298 markings/sec, 140 secs
lola: 75013127 markings, 110203649 edges, 403691 markings/sec, 145 secs
lola: 77058275 markings, 113417527 edges, 409030 markings/sec, 150 secs
lola: 79099299 markings, 116627591 edges, 408205 markings/sec, 155 secs
lola: 81152613 markings, 119849190 edges, 410663 markings/sec, 160 secs
lola: 83191718 markings, 123063376 edges, 407821 markings/sec, 165 secs
lola: 85234864 markings, 126272594 edges, 408629 markings/sec, 170 secs
lola: 87277436 markings, 129471917 edges, 408514 markings/sec, 175 secs
lola: 89304070 markings, 132653295 edges, 405327 markings/sec, 180 secs
lola: 91315684 markings, 135813578 edges, 402323 markings/sec, 185 secs
lola: 93339725 markings, 138985486 edges, 404808 markings/sec, 190 secs
lola: 95351037 markings, 142136748 edges, 402262 markings/sec, 195 secs
lola: 97359219 markings, 145286540 edges, 401636 markings/sec, 200 secs
lola: 99371886 markings, 148432572 edges, 402533 markings/sec, 205 secs
lola: 101394557 markings, 151603617 edges, 404534 markings/sec, 210 secs
lola: 103436328 markings, 154799935 edges, 408354 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 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: 1847674 markings, 4298903 edges, 369535 markings/sec, 0 secs
lola: 3462152 markings, 8196087 edges, 322896 markings/sec, 5 secs
lola: 5012937 markings, 11980463 edges, 310157 markings/sec, 10 secs
lola: 6541784 markings, 15725492 edges, 305769 markings/sec, 15 secs
lola: 8027404 markings, 19378607 edges, 297124 markings/sec, 20 secs
lola: 9537087 markings, 23080270 edges, 301937 markings/sec, 25 secs
lola: 11044572 markings, 26750242 edges, 301497 markings/sec, 30 secs
lola: 12496439 markings, 30336900 edges, 290373 markings/sec, 35 secs
lola: 13948114 markings, 33917055 edges, 290335 markings/sec, 40 secs
lola: 15427690 markings, 37532846 edges, 295915 markings/sec, 45 secs
lola: 16858416 markings, 41083224 edges, 286145 markings/sec, 50 secs
lola: 18290568 markings, 44620708 edges, 286430 markings/sec, 55 secs
lola: 19726518 markings, 48161788 edges, 287190 markings/sec, 60 secs
lola: 21154230 markings, 51683438 edges, 285542 markings/sec, 65 secs
lola: 22574108 markings, 55180969 edges, 283976 markings/sec, 70 secs
lola: 24003483 markings, 58711729 edges, 285875 markings/sec, 75 secs
lola: 25438045 markings, 62246458 edges, 286912 markings/sec, 80 secs
lola: 26900565 markings, 65831122 edges, 292504 markings/sec, 85 secs
lola: 28320735 markings, 69339519 edges, 284034 markings/sec, 90 secs
lola: 29791798 markings, 72932983 edges, 294213 markings/sec, 95 secs
lola: 31202629 markings, 76408340 edges, 282166 markings/sec, 100 secs
lola: 32607229 markings, 79882820 edges, 280920 markings/sec, 105 secs
lola: 34023265 markings, 83372530 edges, 283207 markings/sec, 110 secs
lola: 35417606 markings, 86814179 edges, 278868 markings/sec, 115 secs
lola: 36823491 markings, 90286795 edges, 281177 markings/sec, 120 secs
lola: 38227895 markings, 93768070 edges, 280881 markings/sec, 125 secs
lola: 39636736 markings, 97247732 edges, 281768 markings/sec, 130 secs
lola: 41007051 markings, 100632089 edges, 274063 markings/sec, 135 secs
lola: 42374947 markings, 104030164 edges, 273579 markings/sec, 140 secs
lola: 43773849 markings, 107473236 edges, 279780 markings/sec, 145 secs
lola: 45152655 markings, 110900586 edges, 275761 markings/sec, 150 secs
lola: 46514023 markings, 114292663 edges, 272274 markings/sec, 155 secs
lola: 47883177 markings, 117705115 edges, 273831 markings/sec, 160 secs
lola: 49301468 markings, 121208573 edges, 283658 markings/sec, 165 secs
lola: 50668876 markings, 124609287 edges, 273482 markings/sec, 170 secs
lola: 52038258 markings, 128019020 edges, 273876 markings/sec, 175 secs
lola: 53417405 markings, 131442584 edges, 275829 markings/sec, 180 secs
lola: 54793623 markings, 134868448 edges, 275244 markings/sec, 185 secs
lola: 56169817 markings, 138284236 edges, 275239 markings/sec, 190 secs
lola: 57539305 markings, 141691642 edges, 273898 markings/sec, 195 secs
lola: 58924292 markings, 145107825 edges, 276997 markings/sec, 200 secs
lola: 60302476 markings, 148528328 edges, 275637 markings/sec, 205 secs
lola: 61696273 markings, 151984120 edges, 278759 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(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: 2904996 markings, 4840942 edges, 580999 markings/sec, 0 secs
lola: 5538498 markings, 9229634 edges, 526700 markings/sec, 5 secs
lola: 8014350 markings, 13355685 edges, 495170 markings/sec, 10 secs
lola: 10397563 markings, 17327577 edges, 476643 markings/sec, 15 secs
lola: 12724849 markings, 21206042 edges, 465457 markings/sec, 20 secs
lola: 15031375 markings, 25050265 edges, 461305 markings/sec, 25 secs
lola: 17339118 markings, 28896848 edges, 461549 markings/sec, 30 secs
lola: 19639223 markings, 32729601 edges, 460021 markings/sec, 35 secs
lola: 21938437 markings, 36562110 edges, 459843 markings/sec, 40 secs
lola: 24230098 markings, 40381297 edges, 458332 markings/sec, 45 secs
lola: 26502370 markings, 44168460 edges, 454454 markings/sec, 50 secs
lola: 28748845 markings, 47911853 edges, 449295 markings/sec, 55 secs
lola: 30975568 markings, 51623428 edges, 445345 markings/sec, 60 secs
lola: 33201310 markings, 55332564 edges, 445148 markings/sec, 65 secs
lola: 35400676 markings, 58998799 edges, 439873 markings/sec, 70 secs
lola: 37594661 markings, 62655099 edges, 438797 markings/sec, 75 secs
lola: 39770068 markings, 66280669 edges, 435081 markings/sec, 80 secs
lola: 41938542 markings, 69894611 edges, 433695 markings/sec, 85 secs
lola: 44106000 markings, 73506861 edges, 433492 markings/sec, 90 secs
lola: 46265926 markings, 77107094 edges, 431985 markings/sec, 95 secs
lola: 48421574 markings, 80698665 edges, 431130 markings/sec, 100 secs
lola: 50595883 markings, 84322994 edges, 434862 markings/sec, 105 secs
lola: 52890646 markings, 88158318 edges, 458953 markings/sec, 110 secs
lola: 55122801 markings, 91903813 edges, 446431 markings/sec, 115 secs
lola: 57308646 markings, 95586410 edges, 437169 markings/sec, 120 secs
lola: 59464822 markings, 99232075 edges, 431235 markings/sec, 125 secs
lola: 61599223 markings, 102850994 edges, 426880 markings/sec, 130 secs
lola: 63706155 markings, 106436164 edges, 421386 markings/sec, 135 secs
lola: 65787293 markings, 109986930 edges, 416228 markings/sec, 140 secs
lola: 67855022 markings, 113524261 edges, 413546 markings/sec, 145 secs
lola: 69909875 markings, 117047092 edges, 410971 markings/sec, 150 secs
lola: 71938060 markings, 120535381 edges, 405637 markings/sec, 155 secs
lola: 73957571 markings, 124015084 edges, 403902 markings/sec, 160 secs
lola: 75964969 markings, 127481930 edges, 401480 markings/sec, 165 secs
lola: 77956319 markings, 130927588 edges, 398270 markings/sec, 170 secs
lola: 79921495 markings, 134335054 edges, 393035 markings/sec, 175 secs
lola: 81866168 markings, 137713126 edges, 388935 markings/sec, 180 secs
lola: 83803494 markings, 141082528 edges, 387465 markings/sec, 185 secs
lola: 85738412 markings, 144457343 edges, 386984 markings/sec, 190 secs
lola: 87660825 markings, 147813917 edges, 384483 markings/sec, 195 secs
lola: 89580008 markings, 151170456 edges, 383837 markings/sec, 200 secs
lola: 91495363 markings, 154524998 edges, 383071 markings/sec, 205 secs
lola: 93401335 markings, 157868164 edges, 381194 markings/sec, 210 secs
lola: 95299436 markings, 161200959 edges, 379620 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(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: 2836285 markings, 4254432 edges, 567257 markings/sec, 0 secs
lola: 5244023 markings, 7866039 edges, 481548 markings/sec, 5 secs
lola: 7525525 markings, 11288293 edges, 456300 markings/sec, 10 secs
lola: 9770801 markings, 14656207 edges, 449055 markings/sec, 15 secs
lola: 11970492 markings, 17955741 edges, 439938 markings/sec, 20 secs
lola: 14154421 markings, 21231635 edges, 436786 markings/sec, 25 secs
lola: 16335544 markings, 24503317 edges, 436225 markings/sec, 30 secs
lola: 18512600 markings, 27768902 edges, 435411 markings/sec, 35 secs
lola: 20671733 markings, 31007599 edges, 431827 markings/sec, 40 secs
lola: 22818814 markings, 34228221 edges, 429416 markings/sec, 45 secs
lola: 24978049 markings, 37467074 edges, 431847 markings/sec, 50 secs
lola: 27121724 markings, 40682588 edges, 428735 markings/sec, 55 secs
lola: 29244798 markings, 43867196 edges, 424615 markings/sec, 60 secs
lola: 31365008 markings, 47047509 edges, 424042 markings/sec, 65 secs
lola: 33484340 markings, 50226510 edges, 423866 markings/sec, 70 secs
lola: 35588330 markings, 53382496 edges, 420798 markings/sec, 75 secs
lola: 37682517 markings, 56523776 edges, 418837 markings/sec, 80 secs
lola: 39761380 markings, 59642071 edges, 415773 markings/sec, 85 secs
lola: 41824126 markings, 62736190 edges, 412549 markings/sec, 90 secs
lola: 43865434 markings, 65798153 edges, 408262 markings/sec, 95 secs
lola: 45906888 markings, 68860334 edges, 408291 markings/sec, 100 secs
lola: 47941134 markings, 71911700 edges, 406849 markings/sec, 105 secs
lola: 49968538 markings, 74952806 edges, 405481 markings/sec, 110 secs
lola: 51986896 markings, 77992744 edges, 403672 markings/sec, 115 secs
lola: 53988485 markings, 81042268 edges, 400318 markings/sec, 120 secs
lola: 55982104 markings, 84112549 edges, 398724 markings/sec, 125 secs
lola: 57960706 markings, 87190443 edges, 395720 markings/sec, 130 secs
lola: 59921175 markings, 90270834 edges, 392094 markings/sec, 135 secs
lola: 61865466 markings, 93352944 edges, 388858 markings/sec, 140 secs
lola: 63792457 markings, 96432677 edges, 385398 markings/sec, 145 secs
lola: 65701448 markings, 99509895 edges, 381798 markings/sec, 150 secs
lola: 67594268 markings, 102582549 edges, 378564 markings/sec, 155 secs
lola: 69468104 markings, 105648175 edges, 374767 markings/sec, 160 secs
lola: 71325820 markings, 108710148 edges, 371543 markings/sec, 165 secs
lola: 73175851 markings, 111774742 edges, 370006 markings/sec, 170 secs
lola: 75009696 markings, 114832726 edges, 366769 markings/sec, 175 secs
lola: 76828662 markings, 117884831 edges, 363793 markings/sec, 180 secs
lola: 78630825 markings, 120927143 edges, 360433 markings/sec, 185 secs
lola: 80417374 markings, 123960445 edges, 357310 markings/sec, 190 secs
lola: 82197832 markings, 126998022 edges, 356092 markings/sec, 195 secs
lola: 83968108 markings, 130032772 edges, 354055 markings/sec, 200 secs
lola: 85727559 markings, 133062770 edges, 351890 markings/sec, 205 secs
lola: 87481045 markings, 136094364 edges, 350697 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(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: 2929342 markings, 4881568 edges, 585868 markings/sec, 0 secs
lola: 5598534 markings, 9329920 edges, 533838 markings/sec, 5 secs
lola: 8150332 markings, 13582622 edges, 510360 markings/sec, 10 secs
lola: 10577337 markings, 17627208 edges, 485401 markings/sec, 15 secs
lola: 12932523 markings, 21552631 edges, 471037 markings/sec, 20 secs
lola: 15253448 markings, 25420585 edges, 464185 markings/sec, 25 secs
lola: 17558696 markings, 29262613 edges, 461050 markings/sec, 30 secs
lola: 19846384 markings, 33075446 edges, 457538 markings/sec, 35 secs
lola: 22120795 markings, 36865445 edges, 454882 markings/sec, 40 secs
lola: 24389124 markings, 40646359 edges, 453666 markings/sec, 45 secs
lola: 26641324 markings, 44399979 edges, 450440 markings/sec, 50 secs
lola: 28870653 markings, 48115628 edges, 445866 markings/sec, 55 secs
lola: 31082645 markings, 51801722 edges, 442398 markings/sec, 60 secs
lola: 33295338 markings, 55489119 edges, 442539 markings/sec, 65 secs
lola: 35500561 markings, 59164999 edges, 441045 markings/sec, 70 secs
lola: 37707836 markings, 62843491 edges, 441455 markings/sec, 75 secs
lola: 39906080 markings, 66507599 edges, 439649 markings/sec, 80 secs
lola: 42068050 markings, 70110021 edges, 432394 markings/sec, 85 secs
lola: 44246183 markings, 73740152 edges, 435627 markings/sec, 90 secs
lola: 46418778 markings, 77360820 edges, 434519 markings/sec, 95 secs
lola: 48578872 markings, 80961861 edges, 432019 markings/sec, 100 secs
lola: 50784284 markings, 84637202 edges, 441082 markings/sec, 105 secs
lola: 53081613 markings, 88477691 edges, 459466 markings/sec, 110 secs
lola: 55298465 markings, 92199385 edges, 443370 markings/sec, 115 secs
lola: 57463681 markings, 95847938 edges, 433043 markings/sec, 120 secs
lola: 59601261 markings, 99462589 edges, 427516 markings/sec, 125 secs
lola: 61707656 markings, 103035271 edges, 421279 markings/sec, 130 secs
lola: 63792337 markings, 106582345 edges, 416936 markings/sec, 135 secs
lola: 65850460 markings, 110095141 edges, 411625 markings/sec, 140 secs
lola: 67892755 markings, 113588532 edges, 408459 markings/sec, 145 secs
lola: 69921192 markings, 117067808 edges, 405687 markings/sec, 150 secs
lola: 71933524 markings, 120527443 edges, 402466 markings/sec, 155 secs
lola: 73933202 markings, 123971829 edges, 399936 markings/sec, 160 secs
lola: 75917790 markings, 127400250 edges, 396918 markings/sec, 165 secs
lola: 77890917 markings, 130814497 edges, 394625 markings/sec, 170 secs
lola: 79843560 markings, 134199837 edges, 390529 markings/sec, 175 secs
lola: 81788897 markings, 137578088 edges, 389067 markings/sec, 180 secs
lola: 83725375 markings, 140948372 edges, 387296 markings/sec, 185 secs
lola: 85656419 markings, 144314165 edges, 386209 markings/sec, 190 secs
lola: 87582857 markings, 147676692 edges, 385288 markings/sec, 195 secs
lola: 89502782 markings, 151034804 edges, 383985 markings/sec, 200 secs
lola: 91415508 markings, 154384190 edges, 382545 markings/sec, 205 secs
lola: 93319065 markings, 157722083 edges, 380711 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC4096-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494932685643
--------------------
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-MT8192DC4096"
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-MT8192DC4096.tgz
mv SmallOperatingSystem-PT-MT8192DC4096 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-MT8192DC4096, 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-149441008200056"
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 ;