About the Execution of LoLA for S_SmallOperatingSystem-PT-MT8192DC4096
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11053.720 | 3540389.00 | 3556113.00 | 567.80 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.........................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_SmallOperatingSystem-PT-MT8192DC4096, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443463900056
=====================================================================
--------------------
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 1496557955086
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SmallOperatingSystem-PT-MT8192DC4096: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_SmallOperatingSystem-PT-MT8192DC4096: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 2875392 markings, 4791590 edges, 575078 markings/sec, 0 secs
lola: 5330611 markings, 8883345 edges, 491044 markings/sec, 5 secs
lola: 7801373 markings, 13000751 edges, 494152 markings/sec, 10 secs
lola: 10078421 markings, 16795888 edges, 455410 markings/sec, 15 secs
lola: 12301788 markings, 20501455 edges, 444673 markings/sec, 20 secs
lola: 14460017 markings, 24097940 edges, 431646 markings/sec, 25 secs
lola: 16649543 markings, 27747247 edges, 437905 markings/sec, 30 secs
lola: 18812685 markings, 31352780 edges, 432628 markings/sec, 35 secs
lola: 20974951 markings, 34956470 edges, 432453 markings/sec, 40 secs
lola: 23137312 markings, 38560280 edges, 432472 markings/sec, 45 secs
lola: 25283720 markings, 42137479 edges, 429282 markings/sec, 50 secs
lola: 27420485 markings, 45698478 edges, 427353 markings/sec, 55 secs
lola: 29520197 markings, 49197798 edges, 419942 markings/sec, 60 secs
lola: 31604344 markings, 52671037 edges, 416829 markings/sec, 65 secs
lola: 33693511 markings, 56153188 edges, 417833 markings/sec, 70 secs
lola: 35774680 markings, 59621896 edges, 416234 markings/sec, 75 secs
lola: 37848118 markings, 63077365 edges, 414688 markings/sec, 80 secs
lola: 39927994 markings, 66544117 edges, 415975 markings/sec, 85 secs
lola: 42010422 markings, 70014789 edges, 416486 markings/sec, 90 secs
lola: 44083314 markings, 73468997 edges, 414578 markings/sec, 95 secs
lola: 46109518 markings, 76845515 edges, 405241 markings/sec, 100 secs
lola: 47997980 markings, 79993464 edges, 377692 markings/sec, 105 secs
lola: 49910288 markings, 83180383 edges, 382462 markings/sec, 110 secs
lola: 52020420 markings, 86702596 edges, 422026 markings/sec, 115 secs
lola: 54094934 markings, 90177113 edges, 414903 markings/sec, 120 secs
lola: 56124530 markings, 93590001 edges, 405919 markings/sec, 125 secs
lola: 58118583 markings, 96953621 edges, 398811 markings/sec, 130 secs
lola: 60062672 markings, 100244010 edges, 388818 markings/sec, 135 secs
lola: 62020209 markings, 103567118 edges, 391507 markings/sec, 140 secs
lola: 63955909 markings, 106861602 edges, 387140 markings/sec, 145 secs
lola: 65759974 markings, 109940290 edges, 360813 markings/sec, 150 secs
lola: 67586654 markings, 113064274 edges, 365336 markings/sec, 155 secs
lola: 69425250 markings, 116216267 edges, 367719 markings/sec, 160 secs
lola: 71264383 markings, 119376301 edges, 367827 markings/sec, 165 secs
lola: 73086960 markings, 122514107 edges, 364515 markings/sec, 170 secs
lola: 74935738 markings, 125703527 edges, 369756 markings/sec, 175 secs
lola: 76788785 markings, 128905242 edges, 370609 markings/sec, 180 secs
lola: 78632914 markings, 132100016 edges, 368826 markings/sec, 185 secs
lola: 80433676 markings, 135224206 edges, 360152 markings/sec, 190 secs
lola: 82270084 markings, 138415488 edges, 367282 markings/sec, 195 secs
lola: 84110527 markings, 141619297 edges, 368089 markings/sec, 200 secs
lola: 85946767 markings, 144821364 edges, 367248 markings/sec, 205 secs
lola: 87778160 markings, 148017806 edges, 366279 markings/sec, 210 secs
lola: 89604805 markings, 151212438 edges, 365329 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: 2754368 markings, 4710872 edges, 550874 markings/sec, 0 secs
lola: 5345933 markings, 9280313 edges, 518313 markings/sec, 5 secs
lola: 7904116 markings, 13755039 edges, 511637 markings/sec, 10 secs
lola: 10264075 markings, 18049563 edges, 471992 markings/sec, 15 secs
lola: 12508110 markings, 22110104 edges, 448807 markings/sec, 20 secs
lola: 14721998 markings, 26158863 edges, 442778 markings/sec, 25 secs
lola: 16899068 markings, 30261566 edges, 435414 markings/sec, 30 secs
lola: 19111448 markings, 34362495 edges, 442476 markings/sec, 35 secs
lola: 21197730 markings, 38319459 edges, 417256 markings/sec, 40 secs
lola: 23367123 markings, 42315535 edges, 433879 markings/sec, 45 secs
lola: 25340907 markings, 46127139 edges, 394757 markings/sec, 50 secs
lola: 27174679 markings, 49726053 edges, 366754 markings/sec, 55 secs
lola: 28956975 markings, 53310421 edges, 356459 markings/sec, 60 secs
lola: 30663167 markings, 56903037 edges, 341238 markings/sec, 65 secs
lola: 32368942 markings, 60476321 edges, 341155 markings/sec, 70 secs
lola: 34064950 markings, 64034671 edges, 339202 markings/sec, 75 secs
lola: 35758212 markings, 67572937 edges, 338652 markings/sec, 80 secs
lola: 37410961 markings, 71071614 edges, 330550 markings/sec, 85 secs
lola: 39050057 markings, 74557337 edges, 327819 markings/sec, 90 secs
lola: 40708836 markings, 78048729 edges, 331756 markings/sec, 95 secs
lola: 42371869 markings, 81545156 edges, 332607 markings/sec, 100 secs
lola: 44019662 markings, 85027149 edges, 329559 markings/sec, 105 secs
lola: 45675353 markings, 88519856 edges, 331138 markings/sec, 110 secs
lola: 47333114 markings, 92017754 edges, 331552 markings/sec, 115 secs
lola: 48954490 markings, 95451602 edges, 324275 markings/sec, 120 secs
lola: 50594245 markings, 98903388 edges, 327951 markings/sec, 125 secs
lola: 52328681 markings, 102152254 edges, 346887 markings/sec, 130 secs
lola: 54084022 markings, 105353070 edges, 351068 markings/sec, 135 secs
lola: 55724322 markings, 108551073 edges, 328060 markings/sec, 140 secs
lola: 57218258 markings, 111476523 edges, 298787 markings/sec, 145 secs
lola: 58667293 markings, 114327851 edges, 289807 markings/sec, 150 secs
lola: 60096145 markings, 117160900 edges, 285770 markings/sec, 155 secs
lola: 61506449 markings, 119951227 edges, 282061 markings/sec, 160 secs
lola: 62927287 markings, 122952048 edges, 284168 markings/sec, 165 secs
lola: 64340408 markings, 125743622 edges, 282624 markings/sec, 170 secs
lola: 65748855 markings, 128503126 edges, 281689 markings/sec, 175 secs
lola: 67134828 markings, 131233758 edges, 277195 markings/sec, 180 secs
lola: 68520908 markings, 133972928 edges, 277216 markings/sec, 185 secs
lola: 69905696 markings, 136690840 edges, 276958 markings/sec, 190 secs
lola: 71294829 markings, 139426864 edges, 277827 markings/sec, 195 secs
lola: 72682585 markings, 142175774 edges, 277551 markings/sec, 200 secs
lola: 74075195 markings, 144910206 edges, 278522 markings/sec, 205 secs
lola: 75640215 markings, 148072699 edges, 313004 markings/sec, 210 secs
lola: 77090532 markings, 150967509 edges, 290063 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: 2268031 markings, 5124405 edges, 453606 markings/sec, 0 secs
lola: 4440174 markings, 10122368 edges, 434429 markings/sec, 5 secs
lola: 6600529 markings, 15115822 edges, 432071 markings/sec, 10 secs
lola: 8719126 markings, 20009338 edges, 423719 markings/sec, 15 secs
lola: 10839840 markings, 24913918 edges, 424143 markings/sec, 20 secs
lola: 12853286 markings, 29621523 edges, 402689 markings/sec, 25 secs
lola: 14779717 markings, 34106484 edges, 385286 markings/sec, 30 secs
lola: 16708877 markings, 38574059 edges, 385832 markings/sec, 35 secs
lola: 18526985 markings, 42853861 edges, 363622 markings/sec, 40 secs
lola: 20393939 markings, 47227578 edges, 373391 markings/sec, 45 secs
lola: 22237437 markings, 51543870 edges, 368700 markings/sec, 50 secs
lola: 24063555 markings, 55850164 edges, 365224 markings/sec, 55 secs
lola: 25846809 markings, 60052271 edges, 356651 markings/sec, 60 secs
lola: 27627922 markings, 64250294 edges, 356223 markings/sec, 65 secs
lola: 29471207 markings, 68567860 edges, 368657 markings/sec, 70 secs
lola: 31268378 markings, 72748952 edges, 359434 markings/sec, 75 secs
lola: 32913051 markings, 76674481 edges, 328935 markings/sec, 80 secs
lola: 34672464 markings, 80820204 edges, 351883 markings/sec, 85 secs
lola: 36420864 markings, 84932984 edges, 349680 markings/sec, 90 secs
lola: 38113751 markings, 88923467 edges, 338577 markings/sec, 95 secs
lola: 39800104 markings, 92924758 edges, 337271 markings/sec, 100 secs
lola: 41443929 markings, 96808806 edges, 328765 markings/sec, 105 secs
lola: 43120990 markings, 100769869 edges, 335412 markings/sec, 110 secs
lola: 44854447 markings, 104812978 edges, 346691 markings/sec, 115 secs
lola: 46511692 markings, 108754760 edges, 331449 markings/sec, 120 secs
lola: 48202523 markings, 112736944 edges, 338166 markings/sec, 125 secs
lola: 49758864 markings, 116458979 edges, 311268 markings/sec, 130 secs
lola: 51397581 markings, 120347478 edges, 327743 markings/sec, 135 secs
lola: 53012080 markings, 124176426 edges, 322900 markings/sec, 140 secs
lola: 54622516 markings, 127997075 edges, 322087 markings/sec, 145 secs
lola: 56261807 markings, 131852600 edges, 327858 markings/sec, 150 secs
lola: 57848879 markings, 135615245 edges, 317414 markings/sec, 155 secs
lola: 59480283 markings, 139458536 edges, 326281 markings/sec, 160 secs
lola: 61084968 markings, 143258988 edges, 320937 markings/sec, 165 secs
lola: 62801957 markings, 147274468 edges, 343398 markings/sec, 170 secs
lola: 64298889 markings, 150851937 edges, 299386 markings/sec, 175 secs
lola: 65865489 markings, 154601718 edges, 313320 markings/sec, 180 secs
lola: 67506242 markings, 158499071 edges, 328151 markings/sec, 185 secs
lola: 69119728 markings, 162330322 edges, 322697 markings/sec, 190 secs
lola: 70764985 markings, 166189210 edges, 329051 markings/sec, 195 secs
lola: 72329480 markings, 169904939 edges, 312899 markings/sec, 200 secs
lola: 73908034 markings, 173688971 edges, 315711 markings/sec, 205 secs
lola: 75507240 markings, 177450056 edges, 319841 markings/sec, 210 secs
lola: 77106737 markings, 181211660 edges, 319899 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: 2253316 markings, 5090551 edges, 450663 markings/sec, 0 secs
lola: 4410802 markings, 10043056 edges, 431497 markings/sec, 5 secs
lola: 6556830 markings, 14997836 edges, 429206 markings/sec, 10 secs
lola: 8638109 markings, 19830825 edges, 416256 markings/sec, 15 secs
lola: 10730477 markings, 24670867 edges, 418474 markings/sec, 20 secs
lola: 12746048 markings, 29340695 edges, 403114 markings/sec, 25 secs
lola: 14689277 markings, 33870265 edges, 388646 markings/sec, 30 secs
lola: 16613649 markings, 38370304 edges, 384874 markings/sec, 35 secs
lola: 18508635 markings, 42810250 edges, 378997 markings/sec, 40 secs
lola: 20377796 markings, 47188863 edges, 373832 markings/sec, 45 secs
lola: 22217553 markings, 51496211 edges, 367951 markings/sec, 50 secs
lola: 23978065 markings, 55645782 edges, 352102 markings/sec, 55 secs
lola: 25671780 markings, 59634110 edges, 338743 markings/sec, 60 secs
lola: 27355701 markings, 63599615 edges, 336784 markings/sec, 65 secs
lola: 29029540 markings, 67542141 edges, 334768 markings/sec, 70 secs
lola: 30758080 markings, 71582826 edges, 345708 markings/sec, 75 secs
lola: 32315617 markings, 75275626 edges, 311507 markings/sec, 80 secs
lola: 33976308 markings, 79186609 edges, 332138 markings/sec, 85 secs
lola: 35681772 markings, 83203000 edges, 341093 markings/sec, 90 secs
lola: 37397557 markings, 87241116 edges, 343157 markings/sec, 95 secs
lola: 39121015 markings, 91301569 edges, 344692 markings/sec, 100 secs
lola: 40799149 markings, 95282369 edges, 335627 markings/sec, 105 secs
lola: 42505540 markings, 99300547 edges, 341278 markings/sec, 110 secs
lola: 44152705 markings, 103195581 edges, 329433 markings/sec, 115 secs
lola: 45926580 markings, 107357869 edges, 354775 markings/sec, 120 secs
lola: 47363311 markings, 110760672 edges, 287346 markings/sec, 125 secs
lola: 48864442 markings, 114319955 edges, 300226 markings/sec, 130 secs
lola: 50271310 markings, 117683056 edges, 281374 markings/sec, 135 secs
lola: 51843229 markings, 121364735 edges, 314384 markings/sec, 140 secs
lola: 53270938 markings, 124795923 edges, 285542 markings/sec, 145 secs
lola: 54726909 markings, 128246839 edges, 291194 markings/sec, 150 secs
lola: 56219277 markings, 131751408 edges, 298474 markings/sec, 155 secs
lola: 57645964 markings, 135129439 edges, 285337 markings/sec, 160 secs
lola: 59123160 markings, 138631701 edges, 295439 markings/sec, 165 secs
lola: 60628066 markings, 142169113 edges, 300981 markings/sec, 170 secs
lola: 62155142 markings, 145758800 edges, 305415 markings/sec, 175 secs
lola: 63595367 markings, 149170666 edges, 288045 markings/sec, 180 secs
lola: 64952010 markings, 152414346 edges, 271329 markings/sec, 185 secs
lola: 66389725 markings, 155857027 edges, 287543 markings/sec, 190 secs
lola: 67877710 markings, 159388074 edges, 297597 markings/sec, 195 secs
lola: 69317114 markings, 162802593 edges, 287881 markings/sec, 200 secs
lola: 70757315 markings, 166168501 edges, 288040 markings/sec, 205 secs
lola: 72055057 markings, 169288229 edges, 259548 markings/sec, 210 secs
lola: 73643055 markings, 173055141 edges, 317600 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: 2850450 markings, 4275680 edges, 570090 markings/sec, 0 secs
lola: 5230322 markings, 7845488 edges, 475974 markings/sec, 5 secs
lola: 7490852 markings, 11236282 edges, 452106 markings/sec, 10 secs
lola: 9715402 markings, 14573107 edges, 444910 markings/sec, 15 secs
lola: 11890198 markings, 17835299 edges, 434959 markings/sec, 20 secs
lola: 14023130 markings, 21034697 edges, 426586 markings/sec, 25 secs
lola: 16161171 markings, 24241757 edges, 427608 markings/sec, 30 secs
lola: 18279176 markings, 27418763 edges, 423601 markings/sec, 35 secs
lola: 20280054 markings, 30420079 edges, 400176 markings/sec, 40 secs
lola: 22364790 markings, 33547181 edges, 416947 markings/sec, 45 secs
lola: 24330348 markings, 36495521 edges, 393112 markings/sec, 50 secs
lola: 26243712 markings, 39365566 edges, 382673 markings/sec, 55 secs
lola: 28127301 markings, 42190949 edges, 376718 markings/sec, 60 secs
lola: 30033820 markings, 45050726 edges, 381304 markings/sec, 65 secs
lola: 31916862 markings, 47875292 edges, 376608 markings/sec, 70 secs
lola: 33799511 markings, 50699264 edges, 376530 markings/sec, 75 secs
lola: 35668818 markings, 53503225 edges, 373861 markings/sec, 80 secs
lola: 37539579 markings, 56309366 edges, 374152 markings/sec, 85 secs
lola: 39463554 markings, 59195329 edges, 384795 markings/sec, 90 secs
lola: 41427577 markings, 62141364 edges, 392805 markings/sec, 95 secs
lola: 43413288 markings, 65119931 edges, 397142 markings/sec, 100 secs
lola: 45398595 markings, 68097891 edges, 397061 markings/sec, 105 secs
lola: 47381588 markings, 71072380 edges, 396599 markings/sec, 110 secs
lola: 49317244 markings, 73975863 edges, 387131 markings/sec, 115 secs
lola: 51065258 markings, 76600387 edges, 349603 markings/sec, 120 secs
lola: 52988472 markings, 79514273 edges, 384643 markings/sec, 125 secs
lola: 54937471 markings, 82499450 edges, 389800 markings/sec, 130 secs
lola: 56871290 markings, 85491603 edges, 386764 markings/sec, 135 secs
lola: 58788644 markings, 88488161 edges, 383471 markings/sec, 140 secs
lola: 60676022 markings, 91463181 edges, 377476 markings/sec, 145 secs
lola: 62307491 markings, 94056205 edges, 326294 markings/sec, 150 secs
lola: 64156420 markings, 97017540 edges, 369786 markings/sec, 155 secs
lola: 66001449 markings, 99995929 edges, 369006 markings/sec, 160 secs
lola: 67826509 markings, 102963848 edges, 365012 markings/sec, 165 secs
lola: 69644933 markings, 105937442 edges, 363685 markings/sec, 170 secs
lola: 71443197 markings, 108903461 edges, 359653 markings/sec, 175 secs
lola: 73228746 markings, 111863498 edges, 357110 markings/sec, 180 secs
lola: 74983393 markings, 114788223 edges, 350929 markings/sec, 185 secs
lola: 76728727 markings, 117718778 edges, 349067 markings/sec, 190 secs
lola: 78465340 markings, 120648428 edges, 347323 markings/sec, 195 secs
lola: 80192271 markings, 123574512 edges, 345386 markings/sec, 200 secs
lola: 81911940 markings, 126505648 edges, 343934 markings/sec, 205 secs
lola: 83621527 markings, 129432895 edges, 341917 markings/sec, 210 secs
lola: 85318632 markings, 132356787 edges, 339421 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: 1828489 markings, 4255730 edges, 365698 markings/sec, 0 secs
lola: 3453181 markings, 8173399 edges, 324938 markings/sec, 5 secs
lola: 4999214 markings, 11947028 edges, 309207 markings/sec, 10 secs
lola: 6514736 markings, 15658068 edges, 303104 markings/sec, 15 secs
lola: 7998369 markings, 19307238 edges, 296727 markings/sec, 20 secs
lola: 9497902 markings, 22982080 edges, 299907 markings/sec, 25 secs
lola: 11003263 markings, 26647427 edges, 301072 markings/sec, 30 secs
lola: 12450304 markings, 30224001 edges, 289408 markings/sec, 35 secs
lola: 13900829 markings, 33799369 edges, 290105 markings/sec, 40 secs
lola: 15371646 markings, 37393714 edges, 294163 markings/sec, 45 secs
lola: 16789538 markings, 40912759 edges, 283578 markings/sec, 50 secs
lola: 18214260 markings, 44431006 edges, 284944 markings/sec, 55 secs
lola: 19654380 markings, 47983868 edges, 288024 markings/sec, 60 secs
lola: 21087564 markings, 51518701 edges, 286637 markings/sec, 65 secs
lola: 22519112 markings, 55045965 edges, 286310 markings/sec, 70 secs
lola: 23958108 markings, 58599483 edges, 287799 markings/sec, 75 secs
lola: 25407947 markings, 62171882 edges, 289968 markings/sec, 80 secs
lola: 26879557 markings, 65779456 edges, 294322 markings/sec, 85 secs
lola: 28308745 markings, 69307649 edges, 285838 markings/sec, 90 secs
lola: 29788157 markings, 72922317 edges, 295882 markings/sec, 95 secs
lola: 31209959 markings, 76426216 edges, 284360 markings/sec, 100 secs
lola: 32624811 markings, 79927069 edges, 282970 markings/sec, 105 secs
lola: 34051241 markings, 83442242 edges, 285286 markings/sec, 110 secs
lola: 35456275 markings, 86908977 edges, 281007 markings/sec, 115 secs
lola: 36870743 markings, 90404845 edges, 282894 markings/sec, 120 secs
lola: 38281173 markings, 93900215 edges, 282086 markings/sec, 125 secs
lola: 39694984 markings, 97392685 edges, 282762 markings/sec, 130 secs
lola: 41076694 markings, 100804101 edges, 276342 markings/sec, 135 secs
lola: 42459912 markings, 104242829 edges, 276644 markings/sec, 140 secs
lola: 43877438 markings, 107729373 edges, 283505 markings/sec, 145 secs
lola: 45279901 markings, 111216933 edges, 280493 markings/sec, 150 secs
lola: 46661376 markings, 114660562 edges, 276295 markings/sec, 155 secs
lola: 48052502 markings, 118123852 edges, 278225 markings/sec, 160 secs
lola: 49482103 markings, 121655851 edges, 285920 markings/sec, 165 secs
lola: 50870629 markings, 125115643 edges, 277705 markings/sec, 170 secs
lola: 52257006 markings, 128565001 edges, 277275 markings/sec, 175 secs
lola: 53593451 markings, 131879949 edges, 267289 markings/sec, 180 secs
lola: 54875910 markings, 135074191 edges, 256492 markings/sec, 185 secs
lola: 56146653 markings, 138227531 edges, 254149 markings/sec, 190 secs
lola: 57440875 markings, 141448629 edges, 258844 markings/sec, 195 secs
lola: 58735296 markings, 144643814 edges, 258884 markings/sec, 200 secs
lola: 60033079 markings, 147858073 edges, 259557 markings/sec, 205 secs
lola: 61319040 markings, 151055089 edges, 257192 markings/sec, 210 secs
lola: 62618833 markings, 154251261 edges, 259959 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: 1876873 markings, 4361533 edges, 375375 markings/sec, 0 secs
lola: 3527166 markings, 8354704 edges, 330059 markings/sec, 5 secs
lola: 5105538 markings, 12209249 edges, 315674 markings/sec, 10 secs
lola: 6661765 markings, 16017974 edges, 311245 markings/sec, 15 secs
lola: 8176669 markings, 19745843 edges, 302981 markings/sec, 20 secs
lola: 9718649 markings, 23513676 edges, 308396 markings/sec, 25 secs
lola: 11231928 markings, 27214297 edges, 302656 markings/sec, 30 secs
lola: 12685775 markings, 30805714 edges, 290769 markings/sec, 35 secs
lola: 14161294 markings, 34441042 edges, 295104 markings/sec, 40 secs
lola: 15658703 markings, 38105065 edges, 299482 markings/sec, 45 secs
lola: 17126283 markings, 41732689 edges, 293516 markings/sec, 50 secs
lola: 18552056 markings, 45268509 edges, 285155 markings/sec, 55 secs
lola: 19986970 markings, 48807074 edges, 286983 markings/sec, 60 secs
lola: 21426889 markings, 52356079 edges, 287984 markings/sec, 65 secs
lola: 22863358 markings, 55899678 edges, 287294 markings/sec, 70 secs
lola: 24323265 markings, 59480986 edges, 291981 markings/sec, 75 secs
lola: 25765747 markings, 63055936 edges, 288496 markings/sec, 80 secs
lola: 27241422 markings, 66671666 edges, 295135 markings/sec, 85 secs
lola: 28698892 markings, 70257869 edges, 291494 markings/sec, 90 secs
lola: 30164189 markings, 73853370 edges, 293059 markings/sec, 95 secs
lola: 31592535 markings, 77369053 edges, 285669 markings/sec, 100 secs
lola: 33025551 markings, 80915301 edges, 286603 markings/sec, 105 secs
lola: 34448582 markings, 84425581 edges, 284606 markings/sec, 110 secs
lola: 35868181 markings, 87926244 edges, 283920 markings/sec, 115 secs
lola: 37295307 markings, 91458392 edges, 285425 markings/sec, 120 secs
lola: 38720520 markings, 94990873 edges, 285043 markings/sec, 125 secs
lola: 40136325 markings, 98489179 edges, 283161 markings/sec, 130 secs
lola: 41537146 markings, 101947559 edges, 280164 markings/sec, 135 secs
lola: 42947085 markings, 105434578 edges, 281988 markings/sec, 140 secs
lola: 44357750 markings, 108919608 edges, 282133 markings/sec, 145 secs
lola: 45751927 markings, 112395003 edges, 278835 markings/sec, 150 secs
lola: 47133279 markings, 115834153 edges, 276270 markings/sec, 155 secs
lola: 48538135 markings, 119319767 edges, 280971 markings/sec, 160 secs
lola: 49932067 markings, 122771795 edges, 278786 markings/sec, 165 secs
lola: 51328902 markings, 126256782 edges, 279367 markings/sec, 170 secs
lola: 52719549 markings, 129708250 edges, 278129 markings/sec, 175 secs
lola: 54133600 markings, 133227795 edges, 282810 markings/sec, 180 secs
lola: 55513069 markings, 136657209 edges, 275894 markings/sec, 185 secs
lola: 56907703 markings, 140119632 edges, 278927 markings/sec, 190 secs
lola: 58313424 markings, 143597027 edges, 281144 markings/sec, 195 secs
lola: 59715811 markings, 147068789 edges, 280477 markings/sec, 200 secs
lola: 61098249 markings, 150507049 edges, 276488 markings/sec, 205 secs
lola: 62515379 markings, 153994280 edges, 283426 markings/sec, 210 secs
lola: 63897471 markings, 157422430 edges, 276418 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: 1833286 markings, 4266523 edges, 366657 markings/sec, 0 secs
lola: 3493995 markings, 8272422 edges, 332142 markings/sec, 5 secs
lola: 5073669 markings, 12130556 edges, 315935 markings/sec, 10 secs
lola: 6627465 markings, 15933948 edges, 310759 markings/sec, 15 secs
lola: 8141925 markings, 19660232 edges, 302892 markings/sec, 20 secs
lola: 9667612 markings, 23401851 edges, 305137 markings/sec, 25 secs
lola: 11196430 markings, 27126901 edges, 305764 markings/sec, 30 secs
lola: 12666522 markings, 30757522 edges, 294018 markings/sec, 35 secs
lola: 14143875 markings, 34397844 edges, 295471 markings/sec, 40 secs
lola: 15641009 markings, 38061638 edges, 299427 markings/sec, 45 secs
lola: 17109487 markings, 41690991 edges, 293696 markings/sec, 50 secs
lola: 18552171 markings, 45268778 edges, 288537 markings/sec, 55 secs
lola: 20011328 markings, 48867512 edges, 291831 markings/sec, 60 secs
lola: 21473456 markings, 52473483 edges, 292426 markings/sec, 65 secs
lola: 22925261 markings, 56052450 edges, 290361 markings/sec, 70 secs
lola: 24396778 markings, 59662691 edges, 294303 markings/sec, 75 secs
lola: 25851150 markings, 63270480 edges, 290874 markings/sec, 80 secs
lola: 27338366 markings, 66912023 edges, 297443 markings/sec, 85 secs
lola: 28807400 markings, 70526715 edges, 293807 markings/sec, 90 secs
lola: 30292690 markings, 74159185 edges, 297058 markings/sec, 95 secs
lola: 31713750 markings, 77667143 edges, 284212 markings/sec, 100 secs
lola: 33157699 markings, 81244696 edges, 288790 markings/sec, 105 secs
lola: 34580441 markings, 84754757 edges, 284548 markings/sec, 110 secs
lola: 36015974 markings, 88294218 edges, 287107 markings/sec, 115 secs
lola: 37447166 markings, 91836481 edges, 286238 markings/sec, 120 secs
lola: 38883104 markings, 95386762 edges, 287188 markings/sec, 125 secs
lola: 40294516 markings, 98881234 edges, 282282 markings/sec, 130 secs
lola: 41696158 markings, 102342410 edges, 280328 markings/sec, 135 secs
lola: 43115356 markings, 105853067 edges, 283840 markings/sec, 140 secs
lola: 44532247 markings, 109354668 edges, 283378 markings/sec, 145 secs
lola: 45932520 markings, 112846276 edges, 280055 markings/sec, 150 secs
lola: 47331293 markings, 116325201 edges, 279755 markings/sec, 155 secs
lola: 48753589 markings, 119857539 edges, 284459 markings/sec, 160 secs
lola: 50162337 markings, 123348015 edges, 281750 markings/sec, 165 secs
lola: 51567141 markings, 126850695 edges, 280961 markings/sec, 170 secs
lola: 52966999 markings, 130322300 edges, 279972 markings/sec, 175 secs
lola: 54383762 markings, 133847480 edges, 283353 markings/sec, 180 secs
lola: 55764248 markings, 137275369 edges, 276097 markings/sec, 185 secs
lola: 57149027 markings, 140721780 edges, 276956 markings/sec, 190 secs
lola: 58544636 markings, 144173493 edges, 279122 markings/sec, 195 secs
lola: 59945970 markings, 147642641 edges, 280267 markings/sec, 200 secs
lola: 61343619 markings, 151116988 edges, 279530 markings/sec, 205 secs
lola: 62723187 markings, 154510675 edges, 275914 markings/sec, 210 secs
lola: 64100158 markings, 157926353 edges, 275394 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskReady)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1871943 markings, 4349185 edges, 374389 markings/sec, 0 secs
lola: 3504686 markings, 8299542 edges, 326549 markings/sec, 5 secs
lola: 5068371 markings, 12117482 edges, 312737 markings/sec, 10 secs
lola: 6611331 markings, 15893726 edges, 308592 markings/sec, 15 secs
lola: 8113830 markings, 19589142 edges, 300500 markings/sec, 20 secs
lola: 9630376 markings, 23308148 edges, 303309 markings/sec, 25 secs
lola: 11142202 markings, 26991420 edges, 302365 markings/sec, 30 secs
lola: 12595190 markings, 30581170 edges, 290598 markings/sec, 35 secs
lola: 14067044 markings, 34209854 edges, 294371 markings/sec, 40 secs
lola: 15563791 markings, 37868341 edges, 299349 markings/sec, 45 secs
lola: 17033138 markings, 41501321 edges, 293869 markings/sec, 50 secs
lola: 18470653 markings, 45067777 edges, 287503 markings/sec, 55 secs
lola: 19933664 markings, 48676820 edges, 292602 markings/sec, 60 secs
lola: 21391555 markings, 52270208 edges, 291578 markings/sec, 65 secs
lola: 22842888 markings, 55849209 edges, 290267 markings/sec, 70 secs
lola: 24311619 markings, 59453764 edges, 293746 markings/sec, 75 secs
lola: 25761868 markings, 63047151 edges, 290050 markings/sec, 80 secs
lola: 27246112 markings, 66683059 edges, 296849 markings/sec, 85 secs
lola: 28712077 markings, 70292085 edges, 293193 markings/sec, 90 secs
lola: 30193612 markings, 73916239 edges, 296307 markings/sec, 95 secs
lola: 31618178 markings, 77433369 edges, 284913 markings/sec, 100 secs
lola: 33053529 markings, 80984423 edges, 287070 markings/sec, 105 secs
lola: 34479981 markings, 84504597 edges, 285290 markings/sec, 110 secs
lola: 35906248 markings, 88021516 edges, 285253 markings/sec, 115 secs
lola: 37335432 markings, 91558507 edges, 285837 markings/sec, 120 secs
lola: 38766905 markings, 95105864 edges, 286295 markings/sec, 125 secs
lola: 40187477 markings, 98616895 edges, 284114 markings/sec, 130 secs
lola: 41592392 markings, 102084768 edges, 280983 markings/sec, 135 secs
lola: 43004939 markings, 105578094 edges, 282509 markings/sec, 140 secs
lola: 44404907 markings, 109039287 edges, 279994 markings/sec, 145 secs
lola: 45804450 markings, 112526121 edges, 279909 markings/sec, 150 secs
lola: 47199536 markings, 115996054 edges, 279017 markings/sec, 155 secs
lola: 48620496 markings, 119524466 edges, 284192 markings/sec, 160 secs
lola: 50034869 markings, 123029143 edges, 282875 markings/sec, 165 secs
lola: 51437367 markings, 126526814 edges, 280500 markings/sec, 170 secs
lola: 52826139 markings, 129970207 edges, 277754 markings/sec, 175 secs
lola: 54229633 markings, 133463543 edges, 280699 markings/sec, 180 secs
lola: 55605979 markings, 136883179 edges, 275269 markings/sec, 185 secs
lola: 56992593 markings, 140332607 edges, 277323 markings/sec, 190 secs
lola: 58391732 markings, 143791181 edges, 279828 markings/sec, 195 secs
lola: 59785497 markings, 147241578 edges, 278753 markings/sec, 200 secs
lola: 61167039 markings, 150678238 edges, 276308 markings/sec, 205 secs
lola: 62589150 markings, 154177930 edges, 284422 markings/sec, 210 secs
lola: 63975163 markings, 157618486 edges, 277203 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(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: 1892820 markings, 4398172 edges, 378564 markings/sec, 0 secs
lola: 3531225 markings, 8365305 edges, 327681 markings/sec, 5 secs
lola: 5102728 markings, 12202934 edges, 314301 markings/sec, 10 secs
lola: 6651337 markings, 15993458 edges, 309722 markings/sec, 15 secs
lola: 8161877 markings, 19708013 edges, 302108 markings/sec, 20 secs
lola: 9686013 markings, 23444279 edges, 304827 markings/sec, 25 secs
lola: 11205121 markings, 27148534 edges, 303822 markings/sec, 30 secs
lola: 12671096 markings, 30768849 edges, 293195 markings/sec, 35 secs
lola: 14142396 markings, 34394264 edges, 294260 markings/sec, 40 secs
lola: 15636681 markings, 38050514 edges, 298857 markings/sec, 45 secs
lola: 17101126 markings, 41670202 edges, 292889 markings/sec, 50 secs
lola: 18538581 markings, 45234810 edges, 287491 markings/sec, 55 secs
lola: 19999214 markings, 48837680 edges, 292127 markings/sec, 60 secs
lola: 21454527 markings, 52425813 edges, 291063 markings/sec, 65 secs
lola: 22897865 markings, 55984866 edges, 288668 markings/sec, 70 secs
lola: 24361696 markings, 59578399 edges, 292766 markings/sec, 75 secs
lola: 25804326 markings, 63150865 edges, 288526 markings/sec, 80 secs
lola: 27274198 markings, 66752908 edges, 293974 markings/sec, 85 secs
lola: 28725555 markings, 70323765 edges, 290271 markings/sec, 90 secs
lola: 30180256 markings, 73889517 edges, 290940 markings/sec, 95 secs
lola: 31592700 markings, 77369468 edges, 282489 markings/sec, 100 secs
lola: 33019317 markings, 80899831 edges, 285323 markings/sec, 105 secs
lola: 34436466 markings, 84395402 edges, 283430 markings/sec, 110 secs
lola: 35846500 markings, 87871502 edges, 282007 markings/sec, 115 secs
lola: 37263742 markings, 91381885 edges, 283448 markings/sec, 120 secs
lola: 38681331 markings, 94893661 edges, 283518 markings/sec, 125 secs
lola: 40088923 markings, 98371970 edges, 281518 markings/sec, 130 secs
lola: 41489679 markings, 101829169 edges, 280151 markings/sec, 135 secs
lola: 42900960 markings, 105320052 edges, 282256 markings/sec, 140 secs
lola: 44311892 markings, 108804682 edges, 282186 markings/sec, 145 secs
lola: 45708818 markings, 112288094 edges, 279385 markings/sec, 150 secs
lola: 47096215 markings, 115742208 edges, 277479 markings/sec, 155 secs
lola: 48515044 markings, 119262054 edges, 283766 markings/sec, 160 secs
lola: 49926241 markings, 122758918 edges, 282239 markings/sec, 165 secs
lola: 51332124 markings, 126265019 edges, 281177 markings/sec, 170 secs
lola: 52727096 markings, 129726970 edges, 278994 markings/sec, 175 secs
lola: 54144659 markings, 133252284 edges, 283513 markings/sec, 180 secs
lola: 55531101 markings, 136698600 edges, 277288 markings/sec, 185 secs
lola: 56927647 markings, 140169142 edges, 279309 markings/sec, 190 secs
lola: 58336911 markings, 143655199 edges, 281853 markings/sec, 195 secs
lola: 59744035 markings, 147138797 edges, 281425 markings/sec, 200 secs
lola: 61132431 markings, 150591242 edges, 277679 markings/sec, 205 secs
lola: 62552903 markings, 154087498 edges, 284094 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1832123 markings, 4263916 edges, 366425 markings/sec, 0 secs
lola: 3460122 markings, 8190769 edges, 325600 markings/sec, 5 secs
lola: 5010082 markings, 11973340 edges, 309992 markings/sec, 10 secs
lola: 6535942 markings, 15711978 edges, 305172 markings/sec, 15 secs
lola: 8021128 markings, 19362946 edges, 297037 markings/sec, 20 secs
lola: 9523079 markings, 23044063 edges, 300390 markings/sec, 25 secs
lola: 11024812 markings, 26700684 edges, 300347 markings/sec, 30 secs
lola: 12467241 markings, 30264616 edges, 288486 markings/sec, 35 secs
lola: 13917701 markings, 33841061 edges, 290092 markings/sec, 40 secs
lola: 15396041 markings, 37453876 edges, 295668 markings/sec, 45 secs
lola: 16821909 markings, 40992491 edges, 285174 markings/sec, 50 secs
lola: 18248463 markings, 44516919 edges, 285311 markings/sec, 55 secs
lola: 19672326 markings, 48029547 edges, 284773 markings/sec, 60 secs
lola: 21085301 markings, 51513580 edges, 282595 markings/sec, 65 secs
lola: 22495811 markings, 54988443 edges, 282102 markings/sec, 70 secs
lola: 23903907 markings, 58467337 edges, 281619 markings/sec, 75 secs
lola: 25324030 markings, 61963916 edges, 284025 markings/sec, 80 secs
lola: 26771377 markings, 65513768 edges, 289469 markings/sec, 85 secs
lola: 28173103 markings, 68975091 edges, 280345 markings/sec, 90 secs
lola: 29622163 markings, 72523371 edges, 289812 markings/sec, 95 secs
lola: 31035059 markings, 75995570 edges, 282579 markings/sec, 100 secs
lola: 32413908 markings, 79408831 edges, 275770 markings/sec, 105 secs
lola: 33833011 markings, 82898183 edges, 283821 markings/sec, 110 secs
lola: 35207418 markings, 86294292 edges, 274881 markings/sec, 115 secs
lola: 36599110 markings, 89727817 edges, 278338 markings/sec, 120 secs
lola: 37982432 markings, 93163343 edges, 276664 markings/sec, 125 secs
lola: 39387468 markings, 96628294 edges, 281007 markings/sec, 130 secs
lola: 40742875 markings, 99981290 edges, 271081 markings/sec, 135 secs
lola: 42095811 markings, 103338326 edges, 270587 markings/sec, 140 secs
lola: 43483385 markings, 106750400 edges, 277515 markings/sec, 145 secs
lola: 44842218 markings, 110129634 edges, 271767 markings/sec, 150 secs
lola: 46193751 markings, 113499275 edges, 270307 markings/sec, 155 secs
lola: 47552007 markings, 116877128 edges, 271651 markings/sec, 160 secs
lola: 48932821 markings, 120302884 edges, 276163 markings/sec, 165 secs
lola: 50295357 markings, 123677246 edges, 272507 markings/sec, 170 secs
lola: 51649560 markings, 127054793 edges, 270841 markings/sec, 175 secs
lola: 53008501 markings, 130426371 edges, 271788 markings/sec, 180 secs
lola: 54379987 markings, 133838128 edges, 274297 markings/sec, 185 secs
lola: 55720545 markings, 137170193 edges, 268112 markings/sec, 190 secs
lola: 57084390 markings, 140561864 edges, 272769 markings/sec, 195 secs
lola: 58454285 markings, 143946091 edges, 273979 markings/sec, 200 secs
lola: 59828170 markings, 147346713 edges, 274777 markings/sec, 205 secs
lola: 61175756 markings, 150699833 edges, 269517 markings/sec, 210 secs
lola: 62556812 markings, 154097934 edges, 276211 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 3559283 markings, 4747036 edges, 711857 markings/sec, 0 secs
lola: 6944801 markings, 9261427 edges, 677104 markings/sec, 5 secs
lola: 10347369 markings, 13798608 edges, 680514 markings/sec, 10 secs
lola: 13728239 markings, 18306920 edges, 676174 markings/sec, 15 secs
lola: 17074655 markings, 22768581 edges, 669283 markings/sec, 20 secs
lola: 20371382 markings, 27164506 edges, 659345 markings/sec, 25 secs
lola: 23670816 markings, 31564225 edges, 659887 markings/sec, 30 secs
lola: 26947379 markings, 35933907 edges, 655313 markings/sec, 35 secs
lola: 30175335 markings, 40237299 edges, 645591 markings/sec, 40 secs
lola: 33385250 markings, 44516854 edges, 641983 markings/sec, 45 secs
lola: 35476723 markings, 47784032 edges, 418295 markings/sec, 50 secs
lola: 37530910 markings, 51037454 edges, 410837 markings/sec, 55 secs
lola: 39593125 markings, 54294820 edges, 412443 markings/sec, 60 secs
lola: 41648302 markings, 57552768 edges, 411035 markings/sec, 65 secs
lola: 43703686 markings, 60799195 edges, 411077 markings/sec, 70 secs
lola: 45768637 markings, 64068451 edges, 412990 markings/sec, 75 secs
lola: 47820864 markings, 67315963 edges, 410445 markings/sec, 80 secs
lola: 49852893 markings, 70526766 edges, 406406 markings/sec, 85 secs
lola: 51878441 markings, 73726477 edges, 405110 markings/sec, 90 secs
lola: 53900026 markings, 76913242 edges, 404317 markings/sec, 95 secs
lola: 55920279 markings, 80104436 edges, 404051 markings/sec, 100 secs
lola: 57959099 markings, 83324253 edges, 407764 markings/sec, 105 secs
lola: 59985720 markings, 86523539 edges, 405324 markings/sec, 110 secs
lola: 62010074 markings, 89715274 edges, 404871 markings/sec, 115 secs
lola: 64023821 markings, 92884276 edges, 402749 markings/sec, 120 secs
lola: 66018856 markings, 96032097 edges, 399007 markings/sec, 125 secs
lola: 68029835 markings, 99198479 edges, 402196 markings/sec, 130 secs
lola: 70074459 markings, 102424521 edges, 408925 markings/sec, 135 secs
lola: 72101723 markings, 105618999 edges, 405453 markings/sec, 140 secs
lola: 74131181 markings, 108814036 edges, 405892 markings/sec, 145 secs
lola: 76189218 markings, 112051812 edges, 411607 markings/sec, 150 secs
lola: 78244561 markings, 115285358 edges, 411069 markings/sec, 155 secs
lola: 80312850 markings, 118537311 edges, 413658 markings/sec, 160 secs
lola: 82388549 markings, 121796226 edges, 415140 markings/sec, 165 secs
lola: 84447423 markings, 125026211 edges, 411775 markings/sec, 170 secs
lola: 86473673 markings, 128211365 edges, 405250 markings/sec, 175 secs
lola: 88510409 markings, 131408820 edges, 407347 markings/sec, 180 secs
lola: 90530757 markings, 134584750 edges, 404070 markings/sec, 185 secs
lola: 92564666 markings, 137774538 edges, 406782 markings/sec, 190 secs
lola: 94583784 markings, 140939542 edges, 403824 markings/sec, 195 secs
lola: 96595041 markings, 144088938 edges, 402251 markings/sec, 200 secs
lola: 98616392 markings, 147255139 edges, 404270 markings/sec, 205 secs
lola: 100639229 markings, 150423426 edges, 404567 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1861740 markings, 4329610 edges, 372348 markings/sec, 0 secs
lola: 3484793 markings, 8250707 edges, 324611 markings/sec, 5 secs
lola: 5035853 markings, 12036636 edges, 310212 markings/sec, 10 secs
lola: 6562796 markings, 15775849 edges, 305389 markings/sec, 15 secs
lola: 8047368 markings, 19428401 edges, 296914 markings/sec, 20 secs
lola: 9548441 markings, 23107107 edges, 300215 markings/sec, 25 secs
lola: 11050746 markings, 26764976 edges, 300461 markings/sec, 30 secs
lola: 12498937 markings, 30343035 edges, 289638 markings/sec, 35 secs
lola: 13945785 markings, 33911857 edges, 289370 markings/sec, 40 secs
lola: 15424282 markings, 37524729 edges, 295699 markings/sec, 45 secs
lola: 16854120 markings, 41072427 edges, 285968 markings/sec, 50 secs
lola: 18284327 markings, 44605214 edges, 286041 markings/sec, 55 secs
lola: 19720183 markings, 48147551 edges, 287171 markings/sec, 60 secs
lola: 21148588 markings, 51670083 edges, 285681 markings/sec, 65 secs
lola: 22567241 markings, 55163581 edges, 283731 markings/sec, 70 secs
lola: 23996015 markings, 58694751 edges, 285755 markings/sec, 75 secs
lola: 25431175 markings, 62229967 edges, 287032 markings/sec, 80 secs
lola: 26892267 markings, 65812871 edges, 292218 markings/sec, 85 secs
lola: 28313036 markings, 69317856 edges, 284154 markings/sec, 90 secs
lola: 29783951 markings, 72911763 edges, 294183 markings/sec, 95 secs
lola: 31193500 markings, 76387694 edges, 281910 markings/sec, 100 secs
lola: 32595703 markings, 79853977 edges, 280441 markings/sec, 105 secs
lola: 34011270 markings, 83342040 edges, 283113 markings/sec, 110 secs
lola: 35402957 markings, 86775989 edges, 278337 markings/sec, 115 secs
lola: 36807119 markings, 90245608 edges, 280832 markings/sec, 120 secs
lola: 38205676 markings, 93712411 edges, 279711 markings/sec, 125 secs
lola: 39611295 markings, 97184908 edges, 281124 markings/sec, 130 secs
lola: 40981050 markings, 100568836 edges, 273951 markings/sec, 135 secs
lola: 42346986 markings, 103961002 edges, 273187 markings/sec, 140 secs
lola: 43748177 markings, 107410578 edges, 280238 markings/sec, 145 secs
lola: 45130921 markings, 110846807 edges, 276549 markings/sec, 150 secs
lola: 46492885 markings, 114239946 edges, 272393 markings/sec, 155 secs
lola: 47866507 markings, 117660953 edges, 274724 markings/sec, 160 secs
lola: 49286425 markings, 121168339 edges, 283984 markings/sec, 165 secs
lola: 50653784 markings, 124574315 edges, 273472 markings/sec, 170 secs
lola: 52026779 markings, 127990019 edges, 274599 markings/sec, 175 secs
lola: 53406045 markings, 131414239 edges, 275853 markings/sec, 180 secs
lola: 54783174 markings, 134842329 edges, 275426 markings/sec, 185 secs
lola: 56155637 markings, 138248400 edges, 274493 markings/sec, 190 secs
lola: 57514338 markings, 141629952 edges, 271740 markings/sec, 195 secs
lola: 58896949 markings, 145039999 edges, 276522 markings/sec, 200 secs
lola: 60273015 markings, 148455262 edges, 275213 markings/sec, 205 secs
lola: 61660414 markings, 151894734 edges, 277480 markings/sec, 210 secs
lola: 63004785 markings, 155211768 edges, 268874 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(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: 2920898 markings, 4867295 edges, 584180 markings/sec, 0 secs
lola: 5602188 markings, 9335639 edges, 536258 markings/sec, 5 secs
lola: 8157551 markings, 13594680 edges, 511073 markings/sec, 10 secs
lola: 10608427 markings, 17678906 edges, 490175 markings/sec, 15 secs
lola: 12979566 markings, 21631086 edges, 474228 markings/sec, 20 secs
lola: 15308416 markings, 25512269 edges, 465770 markings/sec, 25 secs
lola: 17626832 markings, 29376200 edges, 463683 markings/sec, 30 secs
lola: 19916642 markings, 33191966 edges, 457962 markings/sec, 35 secs
lola: 22190762 markings, 36982199 edges, 454824 markings/sec, 40 secs
lola: 24456283 markings, 40758512 edges, 453104 markings/sec, 45 secs
lola: 26696637 markings, 44492308 edges, 448071 markings/sec, 50 secs
lola: 28899317 markings, 48162778 edges, 440536 markings/sec, 55 secs
lola: 31090259 markings, 51814763 edges, 438188 markings/sec, 60 secs
lola: 33283866 markings, 55470384 edges, 438721 markings/sec, 65 secs
lola: 35470117 markings, 59113453 edges, 437250 markings/sec, 70 secs
lola: 37653512 markings, 62752781 edges, 436679 markings/sec, 75 secs
lola: 39821269 markings, 66365809 edges, 433551 markings/sec, 80 secs
lola: 41983700 markings, 69969904 edges, 432486 markings/sec, 85 secs
lola: 44140752 markings, 73564718 edges, 431410 markings/sec, 90 secs
lola: 46298205 markings, 77159939 edges, 431491 markings/sec, 95 secs
lola: 48455320 markings, 80755704 edges, 431423 markings/sec, 100 secs
lola: 50591621 markings, 84315526 edges, 427260 markings/sec, 105 secs
lola: 52850403 markings, 88091164 edges, 451756 markings/sec, 110 secs
lola: 55034939 markings, 91757110 edges, 436907 markings/sec, 115 secs
lola: 57172994 markings, 95357228 edges, 427611 markings/sec, 120 secs
lola: 59277846 markings, 98915536 edges, 420970 markings/sec, 125 secs
lola: 61362764 markings, 102449924 edges, 416984 markings/sec, 130 secs
lola: 63446573 markings, 105993991 edges, 416762 markings/sec, 135 secs
lola: 65517278 markings, 109525264 edges, 414141 markings/sec, 140 secs
lola: 67576156 markings, 113046897 edges, 411776 markings/sec, 145 secs
lola: 69621667 markings, 116552295 edges, 409102 markings/sec, 150 secs
lola: 71647790 markings, 120035947 edges, 405225 markings/sec, 155 secs
lola: 73663397 markings, 123506945 edges, 403121 markings/sec, 160 secs
lola: 75667452 markings, 126966854 edges, 400811 markings/sec, 165 secs
lola: 77658882 markings, 130412599 edges, 398286 markings/sec, 170 secs
lola: 79625416 markings, 133821297 edges, 393307 markings/sec, 175 secs
lola: 81582529 markings, 137220022 edges, 391423 markings/sec, 180 secs
lola: 83522354 markings, 140594893 edges, 387965 markings/sec, 185 secs
lola: 85455486 markings, 143963048 edges, 386626 markings/sec, 190 secs
lola: 87374943 markings, 147314431 edges, 383891 markings/sec, 195 secs
lola: 89288872 markings, 150660753 edges, 382786 markings/sec, 200 secs
lola: 91194946 markings, 153999105 edges, 381215 markings/sec, 205 secs
lola: 93093976 markings, 157328740 edges, 379806 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(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: 2874528 markings, 4311795 edges, 574906 markings/sec, 0 secs
lola: 5330132 markings, 7995200 edges, 491121 markings/sec, 5 secs
lola: 7657594 markings, 11486397 edges, 465492 markings/sec, 10 secs
lola: 9931761 markings, 14897648 edges, 454833 markings/sec, 15 secs
lola: 12157937 markings, 18236910 edges, 445235 markings/sec, 20 secs
lola: 14349138 markings, 21523712 edges, 438240 markings/sec, 25 secs
lola: 16543398 markings, 24815098 edges, 438852 markings/sec, 30 secs
lola: 18728109 markings, 28092166 edges, 436942 markings/sec, 35 secs
lola: 20889978 markings, 31334969 edges, 432374 markings/sec, 40 secs
lola: 23048800 markings, 34573202 edges, 431764 markings/sec, 45 secs
lola: 25193534 markings, 37790303 edges, 428947 markings/sec, 50 secs
lola: 27339363 markings, 41009046 edges, 429166 markings/sec, 55 secs
lola: 29467558 markings, 44201338 edges, 425639 markings/sec, 60 secs
lola: 31591750 markings, 47387627 edges, 424838 markings/sec, 65 secs
lola: 33696029 markings, 50544045 edges, 420856 markings/sec, 70 secs
lola: 35787606 markings, 53681410 edges, 418315 markings/sec, 75 secs
lola: 37708514 markings, 56562769 edges, 384182 markings/sec, 80 secs
lola: 39766452 markings, 59649677 edges, 411588 markings/sec, 85 secs
lola: 41842784 markings, 62764173 edges, 415266 markings/sec, 90 secs
lola: 43910306 markings, 65865458 edges, 413504 markings/sec, 95 secs
lola: 45971130 markings, 68956694 edges, 412165 markings/sec, 100 secs
lola: 48034920 markings, 72052376 edges, 412758 markings/sec, 105 secs
lola: 50101222 markings, 75151832 edges, 413260 markings/sec, 110 secs
lola: 52154394 markings, 78246706 edges, 410634 markings/sec, 115 secs
lola: 54185217 markings, 81343161 edges, 406165 markings/sec, 120 secs
lola: 56194321 markings, 84440953 edges, 401821 markings/sec, 125 secs
lola: 58187629 markings, 87545952 edges, 398662 markings/sec, 130 secs
lola: 60163283 markings, 90652832 edges, 395131 markings/sec, 135 secs
lola: 62117810 markings, 93753915 edges, 390905 markings/sec, 140 secs
lola: 64057723 markings, 96859462 edges, 387983 markings/sec, 145 secs
lola: 65986303 markings, 99969907 edges, 385716 markings/sec, 150 secs
lola: 67897325 markings, 103077286 edges, 382204 markings/sec, 155 secs
lola: 69789665 markings, 106175064 edges, 378468 markings/sec, 160 secs
lola: 71663096 markings, 109264059 edges, 374686 markings/sec, 165 secs
lola: 73521577 markings, 112350165 edges, 371696 markings/sec, 170 secs
lola: 75368806 markings, 115436504 edges, 369446 markings/sec, 175 secs
lola: 77201056 markings, 118513968 edges, 366450 markings/sec, 180 secs
lola: 79017656 markings, 121582300 edges, 363320 markings/sec, 185 secs
lola: 80821272 markings, 124645487 edges, 360723 markings/sec, 190 secs
lola: 82613692 markings, 127705224 edges, 358484 markings/sec, 195 secs
lola: 84392674 markings, 130759776 edges, 355796 markings/sec, 200 secs
lola: 86163617 markings, 133815581 edges, 354189 markings/sec, 205 secs
lola: 87924065 markings, 136861927 edges, 352090 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(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: 2892464 markings, 4819994 edges, 578493 markings/sec, 0 secs
lola: 5533691 markings, 9221900 edges, 528245 markings/sec, 5 secs
lola: 8035565 markings, 13391069 edges, 500375 markings/sec, 10 secs
lola: 10438695 markings, 17396222 edges, 480626 markings/sec, 15 secs
lola: 12765266 markings, 21273675 edges, 465314 markings/sec, 20 secs
lola: 15044118 markings, 25071616 edges, 455770 markings/sec, 25 secs
lola: 17315852 markings, 28857377 edges, 454347 markings/sec, 30 secs
lola: 19575495 markings, 32623420 edges, 451929 markings/sec, 35 secs
lola: 21814160 markings, 36354304 edges, 447733 markings/sec, 40 secs
lola: 24046823 markings, 40076097 edges, 446533 markings/sec, 45 secs
lola: 26263767 markings, 43770451 edges, 443389 markings/sec, 50 secs
lola: 28466796 markings, 47441852 edges, 440606 markings/sec, 55 secs
lola: 30650255 markings, 51080989 edges, 436692 markings/sec, 60 secs
lola: 32840374 markings, 54730800 edges, 438024 markings/sec, 65 secs
lola: 35020459 markings, 58364266 edges, 436017 markings/sec, 70 secs
lola: 37203228 markings, 62001883 edges, 436554 markings/sec, 75 secs
lola: 39369302 markings, 65612026 edges, 433215 markings/sec, 80 secs
lola: 41530114 markings, 69213446 edges, 432162 markings/sec, 85 secs
lola: 43680331 markings, 72797251 edges, 430043 markings/sec, 90 secs
lola: 45820632 markings, 76365058 edges, 428060 markings/sec, 95 secs
lola: 47959264 markings, 79928897 edges, 427726 markings/sec, 100 secs
lola: 50091494 markings, 83482893 edges, 426446 markings/sec, 105 secs
lola: 52375399 markings, 87295618 edges, 456781 markings/sec, 110 secs
lola: 54577075 markings, 90987240 edges, 440335 markings/sec, 115 secs
lola: 56722694 markings, 94598051 edges, 429124 markings/sec, 120 secs
lola: 58834139 markings, 98163692 edges, 422289 markings/sec, 125 secs
lola: 60908403 markings, 101678928 edges, 414853 markings/sec, 130 secs
lola: 62791148 markings, 104878460 edges, 376549 markings/sec, 135 secs
lola: 64660847 markings, 108063530 edges, 373940 markings/sec, 140 secs
lola: 66516860 markings, 111233837 edges, 371203 markings/sec, 145 secs
lola: 68354717 markings, 114379123 edges, 367571 markings/sec, 150 secs
lola: 70178377 markings, 117509396 edges, 364732 markings/sec, 155 secs
lola: 71986165 markings, 120618017 edges, 361558 markings/sec, 160 secs
lola: 73783341 markings, 123713574 edges, 359435 markings/sec, 165 secs
lola: 75566399 markings, 126792924 edges, 356612 markings/sec, 170 secs
lola: 77340179 markings, 129860088 edges, 354756 markings/sec, 175 secs
lola: 79098848 markings, 132907894 edges, 351734 markings/sec, 180 secs
lola: 80848142 markings, 135942431 edges, 349859 markings/sec, 185 secs
lola: 82595189 markings, 138981046 edges, 349409 markings/sec, 190 secs
lola: 84332702 markings, 142006396 edges, 347503 markings/sec, 195 secs
lola: 86210817 markings, 145281637 edges, 375623 markings/sec, 200 secs
lola: 88115716 markings, 148608973 edges, 380980 markings/sec, 205 secs
lola: 90017044 markings, 151935252 edges, 380266 markings/sec, 210 secs
lola: 91909367 markings, 155250708 edges, 378465 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
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 1496561495475
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_SmallOperatingSystem-PT-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/S_SmallOperatingSystem-PT-MT8192DC4096.tgz
mv S_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 S_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 r158-ebro-149443463900056"
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 ;