About the Execution of LoLA for ClientsAndServers-PT-N0500P0
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
10687.030 | 3540380.00 | 3557594.00 | 682.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 ClientsAndServers-PT-N0500P0, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920200290
=====================================================================
--------------------
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 ClientsAndServers-PT-N0500P0-UpperBounds-0
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-1
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-10
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-11
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-12
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-13
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-14
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-15
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-2
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-3
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-4
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-5
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-6
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-7
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-8
FORMULA_NAME ClientsAndServers-PT-N0500P0-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496605894061
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
ClientsAndServers-PT-N0500P0: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0500P0: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0500P0 @ 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: 43/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from ClientsAndServers-PT-N0500P0-UpperBounds.task
lola: MAX(CF) : MAX(SwA) : MAX(SA) : MAX(SpA) : MAX(CG) : MAX(StR) : MAX(MwU) : MAX(Uf) : MAX(Cb) : MAX(MwU) : MAX(MtF) : MAX(MpA) : MAX(CG) : MAX(SR) : MAX(SG) : MAX(SpG)
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(CF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 3096576 markings, 3417220 edges, 619315 markings/sec, 0 secs
lola: 5992296 markings, 6617965 edges, 579144 markings/sec, 5 secs
lola: 8782488 markings, 9759980 edges, 558038 markings/sec, 10 secs
lola: 11600308 markings, 12875185 edges, 563564 markings/sec, 15 secs
lola: 14395010 markings, 15964366 edges, 558940 markings/sec, 20 secs
lola: 17187466 markings, 19050278 edges, 558491 markings/sec, 25 secs
lola: 19957926 markings, 22113527 edges, 554092 markings/sec, 30 secs
lola: 22754589 markings, 25208677 edges, 559333 markings/sec, 35 secs
lola: 25529628 markings, 28277390 edges, 555008 markings/sec, 40 secs
lola: 28288099 markings, 31330809 edges, 551694 markings/sec, 45 secs
lola: 31280753 markings, 34619379 edges, 598531 markings/sec, 50 secs
lola: 34283648 markings, 37915476 edges, 600579 markings/sec, 55 secs
lola: 37230085 markings, 41150489 edges, 589287 markings/sec, 60 secs
lola: 40114237 markings, 44316410 edges, 576830 markings/sec, 65 secs
lola: 43068967 markings, 47560088 edges, 590946 markings/sec, 70 secs
lola: 45946357 markings, 50717570 edges, 575478 markings/sec, 75 secs
lola: 48813553 markings, 53865865 edges, 573439 markings/sec, 80 secs
lola: 51623674 markings, 56950271 edges, 562024 markings/sec, 85 secs
lola: 54330784 markings, 60020294 edges, 541422 markings/sec, 90 secs
lola: 56918246 markings, 63024767 edges, 517492 markings/sec, 95 secs
lola: 59479053 markings, 65989874 edges, 512161 markings/sec, 100 secs
lola: 61946924 markings, 68842218 edges, 493574 markings/sec, 105 secs
lola: 64315245 markings, 71603489 edges, 473664 markings/sec, 110 secs
lola: 66810409 markings, 74495463 edges, 499033 markings/sec, 115 secs
lola: 69276250 markings, 77355975 edges, 493168 markings/sec, 120 secs
lola: 71763425 markings, 80244582 edges, 497435 markings/sec, 125 secs
lola: 74194073 markings, 83066443 edges, 486130 markings/sec, 130 secs
lola: 76690433 markings, 85957737 edges, 499272 markings/sec, 135 secs
lola: 79129206 markings, 88801580 edges, 487755 markings/sec, 140 secs
lola: 81633067 markings, 91688161 edges, 500772 markings/sec, 145 secs
lola: 84136185 markings, 94615009 edges, 500624 markings/sec, 150 secs
lola: 86623428 markings, 97496157 edges, 497449 markings/sec, 155 secs
lola: 89165046 markings, 100434576 edges, 508324 markings/sec, 160 secs
lola: 91717441 markings, 103423541 edges, 510479 markings/sec, 165 secs
lola: 94216885 markings, 106310545 edges, 499889 markings/sec, 170 secs
lola: 96720558 markings, 109208151 edges, 500735 markings/sec, 175 secs
lola: 99220233 markings, 112135019 edges, 499935 markings/sec, 180 secs
lola: 101550695 markings, 114831889 edges, 466092 markings/sec, 185 secs
lola: 103971562 markings, 117623909 edges, 484173 markings/sec, 190 secs
lola: 106376486 markings, 120437958 edges, 480985 markings/sec, 195 secs
lola: 108722937 markings, 123179329 edges, 469290 markings/sec, 200 secs
lola: 111108112 markings, 125925966 edges, 477035 markings/sec, 205 secs
lola: 113469816 markings, 128657854 edges, 472341 markings/sec, 210 secs
lola: 115862782 markings, 131459240 edges, 478593 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(SwA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1926573 markings, 2821371 edges, 385315 markings/sec, 0 secs
lola: 3660763 markings, 5393221 edges, 346838 markings/sec, 5 secs
lola: 5353563 markings, 7904771 edges, 338560 markings/sec, 10 secs
lola: 6996358 markings, 10347037 edges, 328559 markings/sec, 15 secs
lola: 8659246 markings, 12816329 edges, 332578 markings/sec, 20 secs
lola: 10297640 markings, 15251172 edges, 327679 markings/sec, 25 secs
lola: 11933970 markings, 17681606 edges, 327266 markings/sec, 30 secs
lola: 13567656 markings, 20109595 edges, 326737 markings/sec, 35 secs
lola: 15196497 markings, 22532168 edges, 325768 markings/sec, 40 secs
lola: 16872361 markings, 25019669 edges, 335173 markings/sec, 45 secs
lola: 18570501 markings, 27544640 edges, 339628 markings/sec, 50 secs
lola: 20282148 markings, 30090122 edges, 342329 markings/sec, 55 secs
lola: 22049416 markings, 32713958 edges, 353454 markings/sec, 60 secs
lola: 23743789 markings, 35237404 edges, 338875 markings/sec, 65 secs
lola: 25413701 markings, 37723907 edges, 333982 markings/sec, 70 secs
lola: 27058475 markings, 40168863 edges, 328955 markings/sec, 75 secs
lola: 28724126 markings, 42644165 edges, 333130 markings/sec, 80 secs
lola: 30313975 markings, 45012535 edges, 317970 markings/sec, 85 secs
lola: 31979282 markings, 47487496 edges, 333061 markings/sec, 90 secs
lola: 33619427 markings, 49924296 edges, 328029 markings/sec, 95 secs
lola: 35233815 markings, 52327346 edges, 322878 markings/sec, 100 secs
lola: 36890556 markings, 54789380 edges, 331348 markings/sec, 105 secs
lola: 38494644 markings, 57175650 edges, 320818 markings/sec, 110 secs
lola: 40115627 markings, 59583773 edges, 324197 markings/sec, 115 secs
lola: 41692406 markings, 61928413 edges, 315356 markings/sec, 120 secs
lola: 43316000 markings, 64343070 edges, 324719 markings/sec, 125 secs
lola: 44944142 markings, 66763692 edges, 325628 markings/sec, 130 secs
lola: 46556677 markings, 69163740 edges, 322507 markings/sec, 135 secs
lola: 48168868 markings, 71560765 edges, 322438 markings/sec, 140 secs
lola: 49810861 markings, 74001051 edges, 328399 markings/sec, 145 secs
lola: 51480315 markings, 76483494 edges, 333891 markings/sec, 150 secs
lola: 53164163 markings, 78986799 edges, 336770 markings/sec, 155 secs
lola: 54780862 markings, 81393184 edges, 323340 markings/sec, 160 secs
lola: 56382050 markings, 83783565 edges, 320238 markings/sec, 165 secs
lola: 58097789 markings, 86331227 edges, 343148 markings/sec, 170 secs
lola: 59777586 markings, 88830891 edges, 335959 markings/sec, 175 secs
lola: 61497335 markings, 91385859 edges, 343950 markings/sec, 180 secs
lola: 63186540 markings, 93897090 edges, 337841 markings/sec, 185 secs
lola: 64820488 markings, 96330679 edges, 326790 markings/sec, 190 secs
lola: 66512269 markings, 98847793 edges, 338356 markings/sec, 195 secs
lola: 68219163 markings, 101383668 edges, 341379 markings/sec, 200 secs
lola: 69883156 markings, 103860434 edges, 332799 markings/sec, 205 secs
lola: 71566639 markings, 106363915 edges, 336697 markings/sec, 210 secs
lola: 73240048 markings, 108854715 edges, 334682 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(SA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2053086 markings, 2749444 edges, 410617 markings/sec, 0 secs
lola: 4091742 markings, 5493257 edges, 407731 markings/sec, 5 secs
lola: 5913231 markings, 7962201 edges, 364298 markings/sec, 10 secs
lola: 7900741 markings, 10636208 edges, 397502 markings/sec, 15 secs
lola: 9852289 markings, 13260871 edges, 390310 markings/sec, 20 secs
lola: 11639055 markings, 15661532 edges, 357353 markings/sec, 25 secs
lola: 13348388 markings, 17984602 edges, 341867 markings/sec, 30 secs
lola: 15059389 markings, 20309742 edges, 342200 markings/sec, 35 secs
lola: 16987593 markings, 22907362 edges, 385641 markings/sec, 40 secs
lola: 18885747 markings, 25460029 edges, 379631 markings/sec, 45 secs
lola: 20783610 markings, 28014158 edges, 379573 markings/sec, 50 secs
lola: 22660795 markings, 30537953 edges, 375437 markings/sec, 55 secs
lola: 24507103 markings, 33021483 edges, 369262 markings/sec, 60 secs
lola: 26324277 markings, 35466467 edges, 363435 markings/sec, 65 secs
lola: 28120059 markings, 37882931 edges, 359156 markings/sec, 70 secs
lola: 29949756 markings, 40343273 edges, 365939 markings/sec, 75 secs
lola: 31849316 markings, 42898907 edges, 379912 markings/sec, 80 secs
lola: 33742575 markings, 45446015 edges, 378652 markings/sec, 85 secs
lola: 35641430 markings, 47999112 edges, 379771 markings/sec, 90 secs
lola: 37512586 markings, 50518725 edges, 374231 markings/sec, 95 secs
lola: 39396977 markings, 53050615 edges, 376878 markings/sec, 100 secs
lola: 41222212 markings, 55508220 edges, 365047 markings/sec, 105 secs
lola: 43049218 markings, 57964518 edges, 365401 markings/sec, 110 secs
lola: 44853534 markings, 60390429 edges, 360863 markings/sec, 115 secs
lola: 46623021 markings, 62772821 edges, 353897 markings/sec, 120 secs
lola: 48452474 markings, 65234547 edges, 365891 markings/sec, 125 secs
lola: 50237658 markings, 67637402 edges, 357037 markings/sec, 130 secs
lola: 52024402 markings, 70038087 edges, 357349 markings/sec, 135 secs
lola: 53788740 markings, 72411737 edges, 352868 markings/sec, 140 secs
lola: 55536992 markings, 74764907 edges, 349650 markings/sec, 145 secs
lola: 57340195 markings, 77188756 edges, 360641 markings/sec, 150 secs
lola: 59161185 markings, 79639203 edges, 364198 markings/sec, 155 secs
lola: 60947530 markings, 82043221 edges, 357269 markings/sec, 160 secs
lola: 62768819 markings, 84491684 edges, 364258 markings/sec, 165 secs
lola: 64607381 markings, 86964124 edges, 367712 markings/sec, 170 secs
lola: 66369308 markings, 89337309 edges, 352385 markings/sec, 175 secs
lola: 68149030 markings, 91731989 edges, 355944 markings/sec, 180 secs
lola: 69943369 markings, 94144974 edges, 358868 markings/sec, 185 secs
lola: 71771728 markings, 96602400 edges, 365672 markings/sec, 190 secs
lola: 73639795 markings, 99119270 edges, 373613 markings/sec, 195 secs
lola: 75422954 markings, 101519368 edges, 356632 markings/sec, 200 secs
lola: 77165107 markings, 103859282 edges, 348431 markings/sec, 205 secs
lola: 78895043 markings, 106186065 edges, 345987 markings/sec, 210 secs
lola: 80673011 markings, 108577549 edges, 355594 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(SpA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2140718 markings, 2716603 edges, 428144 markings/sec, 0 secs
lola: 4087114 markings, 5204028 edges, 389279 markings/sec, 5 secs
lola: 6012069 markings, 7664378 edges, 384991 markings/sec, 10 secs
lola: 7916078 markings, 10097502 edges, 380802 markings/sec, 15 secs
lola: 9809619 markings, 12517210 edges, 378708 markings/sec, 20 secs
lola: 11664787 markings, 14889350 edges, 371034 markings/sec, 25 secs
lola: 13577706 markings, 17334459 edges, 382584 markings/sec, 30 secs
lola: 15451113 markings, 19728314 edges, 374681 markings/sec, 35 secs
lola: 17271269 markings, 22055310 edges, 364031 markings/sec, 40 secs
lola: 19072822 markings, 24358243 edges, 360311 markings/sec, 45 secs
lola: 20842766 markings, 26620042 edges, 353989 markings/sec, 50 secs
lola: 22617571 markings, 28888690 edges, 354961 markings/sec, 55 secs
lola: 24526203 markings, 31327102 edges, 381726 markings/sec, 60 secs
lola: 26387644 markings, 33706873 edges, 372288 markings/sec, 65 secs
lola: 28192042 markings, 36013653 edges, 360880 markings/sec, 70 secs
lola: 30036810 markings, 38370643 edges, 368954 markings/sec, 75 secs
lola: 31865008 markings, 40706963 edges, 365640 markings/sec, 80 secs
lola: 33717492 markings, 43074419 edges, 370497 markings/sec, 85 secs
lola: 35522841 markings, 45381414 edges, 361070 markings/sec, 90 secs
lola: 37447339 markings, 47843139 edges, 384900 markings/sec, 95 secs
lola: 39307078 markings, 50220155 edges, 371948 markings/sec, 100 secs
lola: 41158854 markings, 52586679 edges, 370355 markings/sec, 105 secs
lola: 42928809 markings, 54848293 edges, 353991 markings/sec, 110 secs
lola: 44806426 markings, 57247017 edges, 375523 markings/sec, 115 secs
lola: 46614707 markings, 59558522 edges, 361656 markings/sec, 120 secs
lola: 48408930 markings, 61850809 edges, 358845 markings/sec, 125 secs
lola: 50181954 markings, 64117614 edges, 354605 markings/sec, 130 secs
lola: 51913795 markings, 66330681 edges, 346368 markings/sec, 135 secs
lola: 53768861 markings, 68702667 edges, 371013 markings/sec, 140 secs
lola: 55583773 markings, 71021516 edges, 362982 markings/sec, 145 secs
lola: 57379847 markings, 73318621 edges, 359215 markings/sec, 150 secs
lola: 59161887 markings, 75595026 edges, 356408 markings/sec, 155 secs
lola: 60916352 markings, 77838012 edges, 350893 markings/sec, 160 secs
lola: 62685519 markings, 80099413 edges, 353833 markings/sec, 165 secs
lola: 64504451 markings, 82423903 edges, 363786 markings/sec, 170 secs
lola: 66275751 markings, 84688617 edges, 354260 markings/sec, 175 secs
lola: 68075196 markings, 86987480 edges, 359889 markings/sec, 180 secs
lola: 69826661 markings, 89226436 edges, 350293 markings/sec, 185 secs
lola: 71567103 markings, 91452219 edges, 348088 markings/sec, 190 secs
lola: 73435076 markings, 93837524 edges, 373595 markings/sec, 195 secs
lola: 75247095 markings, 96155113 edges, 362404 markings/sec, 200 secs
lola: 77044425 markings, 98451865 edges, 359466 markings/sec, 205 secs
lola: 78820332 markings, 100720564 edges, 355181 markings/sec, 210 secs
lola: 80549388 markings, 102930081 edges, 345811 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(CG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2390681 markings, 2823201 edges, 478136 markings/sec, 0 secs
lola: 4692239 markings, 5544977 edges, 460312 markings/sec, 5 secs
lola: 6966496 markings, 8232582 edges, 454851 markings/sec, 10 secs
lola: 9233571 markings, 10912855 edges, 453415 markings/sec, 15 secs
lola: 11478814 markings, 13565134 edges, 449049 markings/sec, 20 secs
lola: 13737977 markings, 16235116 edges, 451833 markings/sec, 25 secs
lola: 15986955 markings, 18892739 edges, 449796 markings/sec, 30 secs
lola: 18216663 markings, 21526673 edges, 445942 markings/sec, 35 secs
lola: 20433167 markings, 24145075 edges, 443301 markings/sec, 40 secs
lola: 22644470 markings, 26756637 edges, 442261 markings/sec, 45 secs
lola: 24865052 markings, 29379920 edges, 444116 markings/sec, 50 secs
lola: 27060299 markings, 31972971 edges, 439049 markings/sec, 55 secs
lola: 29229418 markings, 34534885 edges, 433824 markings/sec, 60 secs
lola: 31427231 markings, 37131630 edges, 439563 markings/sec, 65 secs
lola: 33607919 markings, 39707715 edges, 436138 markings/sec, 70 secs
lola: 35803551 markings, 42301614 edges, 439126 markings/sec, 75 secs
lola: 37929901 markings, 44812032 edges, 425270 markings/sec, 80 secs
lola: 40135255 markings, 47415945 edges, 441071 markings/sec, 85 secs
lola: 42364553 markings, 50049977 edges, 445860 markings/sec, 90 secs
lola: 44581845 markings, 52669840 edges, 443458 markings/sec, 95 secs
lola: 46739606 markings, 55214952 edges, 431552 markings/sec, 100 secs
lola: 48961942 markings, 57840645 edges, 444467 markings/sec, 105 secs
lola: 51153871 markings, 60430818 edges, 438386 markings/sec, 110 secs
lola: 53311524 markings, 62977037 edges, 431531 markings/sec, 115 secs
lola: 55478794 markings, 65537615 edges, 433454 markings/sec, 120 secs
lola: 57634950 markings, 68082033 edges, 431231 markings/sec, 125 secs
lola: 59888779 markings, 70744565 edges, 450766 markings/sec, 130 secs
lola: 62022116 markings, 73264966 edges, 426667 markings/sec, 135 secs
lola: 64177006 markings, 75809271 edges, 430978 markings/sec, 140 secs
lola: 66403805 markings, 78439775 edges, 445360 markings/sec, 145 secs
lola: 68495364 markings, 80908945 edges, 418312 markings/sec, 150 secs
lola: 70770417 markings, 83596982 edges, 455011 markings/sec, 155 secs
lola: 72830046 markings, 86027701 edges, 411926 markings/sec, 160 secs
lola: 75076540 markings, 88681186 edges, 449299 markings/sec, 165 secs
lola: 77167146 markings, 91148886 edges, 418121 markings/sec, 170 secs
lola: 79345468 markings, 93721671 edges, 435664 markings/sec, 175 secs
lola: 81528648 markings, 96298609 edges, 436636 markings/sec, 180 secs
lola: 83582292 markings, 98722518 edges, 410729 markings/sec, 185 secs
lola: 85787103 markings, 101328121 edges, 440962 markings/sec, 190 secs
lola: 87948130 markings, 103876647 edges, 432205 markings/sec, 195 secs
lola: 90099710 markings, 106421912 edges, 430316 markings/sec, 200 secs
lola: 92177006 markings, 108870865 edges, 415459 markings/sec, 205 secs
lola: 94396364 markings, 111494027 edges, 443872 markings/sec, 210 secs
lola: 96571387 markings, 114060726 edges, 435005 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(StR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2430088 markings, 3656580 edges, 486018 markings/sec, 0 secs
lola: 4191950 markings, 6460750 edges, 352372 markings/sec, 5 secs
lola: 5909014 markings, 9195250 edges, 343413 markings/sec, 10 secs
lola: 7600697 markings, 11896083 edges, 338337 markings/sec, 15 secs
lola: 9270443 markings, 14561653 edges, 333949 markings/sec, 20 secs
lola: 10954481 markings, 17246890 edges, 336808 markings/sec, 25 secs
lola: 12607401 markings, 19887880 edges, 330584 markings/sec, 30 secs
lola: 14242180 markings, 22500027 edges, 326956 markings/sec, 35 secs
lola: 15894251 markings, 25137745 edges, 330414 markings/sec, 40 secs
lola: 17529823 markings, 27747975 edges, 327114 markings/sec, 45 secs
lola: 19166603 markings, 30360022 edges, 327356 markings/sec, 50 secs
lola: 20807448 markings, 32981262 edges, 328169 markings/sec, 55 secs
lola: 22451702 markings, 35609822 edges, 328851 markings/sec, 60 secs
lola: 24059880 markings, 38178565 edges, 321636 markings/sec, 65 secs
lola: 25673873 markings, 40755865 edges, 322799 markings/sec, 70 secs
lola: 27298876 markings, 43355648 edges, 325001 markings/sec, 75 secs
lola: 28916218 markings, 45938416 edges, 323468 markings/sec, 80 secs
lola: 30508270 markings, 48483854 edges, 318410 markings/sec, 85 secs
lola: 32093530 markings, 51019310 edges, 317052 markings/sec, 90 secs
lola: 33446651 markings, 53183013 edges, 270624 markings/sec, 95 secs
lola: 35034661 markings, 55719988 edges, 317602 markings/sec, 100 secs
lola: 36633158 markings, 58278687 edges, 319699 markings/sec, 105 secs
lola: 38215299 markings, 60807039 edges, 316428 markings/sec, 110 secs
lola: 39795402 markings, 63330091 edges, 316021 markings/sec, 115 secs
lola: 41394400 markings, 65881706 edges, 319800 markings/sec, 120 secs
lola: 42969250 markings, 68397919 edges, 314970 markings/sec, 125 secs
lola: 44559649 markings, 70943985 edges, 318080 markings/sec, 130 secs
lola: 46141437 markings, 73472009 edges, 316358 markings/sec, 135 secs
lola: 47712658 markings, 75986031 edges, 314244 markings/sec, 140 secs
lola: 49283289 markings, 78496935 edges, 314126 markings/sec, 145 secs
lola: 50853044 markings, 81008439 edges, 313951 markings/sec, 150 secs
lola: 52451557 markings, 83559287 edges, 319703 markings/sec, 155 secs
lola: 54018005 markings, 86068845 edges, 313290 markings/sec, 160 secs
lola: 55570815 markings, 88550928 edges, 310562 markings/sec, 165 secs
lola: 57158442 markings, 91089647 edges, 317525 markings/sec, 170 secs
lola: 58715300 markings, 93576615 edges, 311372 markings/sec, 175 secs
lola: 60270608 markings, 96067077 edges, 311062 markings/sec, 180 secs
lola: 61845746 markings, 98584150 edges, 315028 markings/sec, 185 secs
lola: 63379035 markings, 101034134 edges, 306658 markings/sec, 190 secs
lola: 64920628 markings, 103499511 edges, 308319 markings/sec, 195 secs
lola: 66516838 markings, 106055253 edges, 319242 markings/sec, 200 secs
lola: 68095731 markings, 108577486 edges, 315779 markings/sec, 205 secs
lola: 69649207 markings, 111068266 edges, 310695 markings/sec, 210 secs
lola: 71245699 markings, 113622776 edges, 319298 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(MwU)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1933232 markings, 2881162 edges, 386646 markings/sec, 0 secs
lola: 3789147 markings, 5655540 edges, 371183 markings/sec, 5 secs
lola: 5595906 markings, 8354313 edges, 361352 markings/sec, 10 secs
lola: 7397056 markings, 11040249 edges, 360230 markings/sec, 15 secs
lola: 9177021 markings, 13699768 edges, 355993 markings/sec, 20 secs
lola: 10958649 markings, 16356012 edges, 356326 markings/sec, 25 secs
lola: 12728045 markings, 18993169 edges, 353879 markings/sec, 30 secs
lola: 14481508 markings, 21606886 edges, 350693 markings/sec, 35 secs
lola: 16209990 markings, 24183768 edges, 345696 markings/sec, 40 secs
lola: 17918049 markings, 26728196 edges, 341612 markings/sec, 45 secs
lola: 19617215 markings, 29261830 edges, 339833 markings/sec, 50 secs
lola: 21326993 markings, 31809855 edges, 341956 markings/sec, 55 secs
lola: 23020815 markings, 34334622 edges, 338764 markings/sec, 60 secs
lola: 24729232 markings, 36876808 edges, 341683 markings/sec, 65 secs
lola: 26417994 markings, 39391358 edges, 337752 markings/sec, 70 secs
lola: 28102569 markings, 41898480 edges, 336915 markings/sec, 75 secs
lola: 29790850 markings, 44412388 edges, 337656 markings/sec, 80 secs
lola: 31472158 markings, 46917135 edges, 336262 markings/sec, 85 secs
lola: 33174434 markings, 49454843 edges, 340455 markings/sec, 90 secs
lola: 34850466 markings, 51950690 edges, 335206 markings/sec, 95 secs
lola: 36528468 markings, 54448671 edges, 335600 markings/sec, 100 secs
lola: 38196975 markings, 56930581 edges, 333701 markings/sec, 105 secs
lola: 39881718 markings, 59435181 edges, 336949 markings/sec, 110 secs
lola: 41525406 markings, 61887956 edges, 328738 markings/sec, 115 secs
lola: 43189953 markings, 64361195 edges, 332909 markings/sec, 120 secs
lola: 44875740 markings, 66868540 edges, 337157 markings/sec, 125 secs
lola: 46553503 markings, 69368345 edges, 335553 markings/sec, 130 secs
lola: 48247416 markings, 71887709 edges, 338783 markings/sec, 135 secs
lola: 49926650 markings, 74387980 edges, 335847 markings/sec, 140 secs
lola: 51609516 markings, 76894831 edges, 336573 markings/sec, 145 secs
lola: 53274286 markings, 79369823 edges, 332954 markings/sec, 150 secs
lola: 54967079 markings, 81891614 edges, 338559 markings/sec, 155 secs
lola: 56631693 markings, 84363648 edges, 332923 markings/sec, 160 secs
lola: 58280796 markings, 86815428 edges, 329821 markings/sec, 165 secs
lola: 59959474 markings, 89310326 edges, 335736 markings/sec, 170 secs
lola: 61610427 markings, 91771488 edges, 330191 markings/sec, 175 secs
lola: 63276934 markings, 94252559 edges, 333301 markings/sec, 180 secs
lola: 64955110 markings, 96746604 edges, 335635 markings/sec, 185 secs
lola: 66606857 markings, 99208522 edges, 330349 markings/sec, 190 secs
lola: 68280883 markings, 101700866 edges, 334805 markings/sec, 195 secs
lola: 69945429 markings, 104176396 edges, 332909 markings/sec, 200 secs
lola: 71599659 markings, 106631622 edges, 330846 markings/sec, 205 secs
lola: 73266615 markings, 109110801 edges, 333391 markings/sec, 210 secs
lola: 74909234 markings, 111556535 edges, 328524 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(Uf)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2010643 markings, 2830246 edges, 402129 markings/sec, 0 secs
lola: 3875065 markings, 5475343 edges, 372884 markings/sec, 5 secs
lola: 5693235 markings, 8053307 edges, 363634 markings/sec, 10 secs
lola: 7494900 markings, 10607512 edges, 360333 markings/sec, 15 secs
lola: 9268831 markings, 13122883 edges, 354786 markings/sec, 20 secs
lola: 11037680 markings, 15629122 edges, 353770 markings/sec, 25 secs
lola: 12795450 markings, 18119654 edges, 351554 markings/sec, 30 secs
lola: 14565880 markings, 20630170 edges, 354086 markings/sec, 35 secs
lola: 16334809 markings, 23136523 edges, 353786 markings/sec, 40 secs
lola: 18086138 markings, 25618460 edges, 350266 markings/sec, 45 secs
lola: 19830699 markings, 28090086 edges, 348912 markings/sec, 50 secs
lola: 21582083 markings, 30572266 edges, 350277 markings/sec, 55 secs
lola: 23310861 markings, 33021258 edges, 345756 markings/sec, 60 secs
lola: 25054823 markings, 35491488 edges, 348792 markings/sec, 65 secs
lola: 26761252 markings, 37909175 edges, 341286 markings/sec, 70 secs
lola: 28493833 markings, 40363829 edges, 346516 markings/sec, 75 secs
lola: 30211128 markings, 42796650 edges, 343459 markings/sec, 80 secs
lola: 31884156 markings, 45165331 edges, 334606 markings/sec, 85 secs
lola: 33612063 markings, 47613293 edges, 345581 markings/sec, 90 secs
lola: 35323450 markings, 50037827 edges, 342277 markings/sec, 95 secs
lola: 37050736 markings, 52484949 edges, 345457 markings/sec, 100 secs
lola: 38732196 markings, 54866062 edges, 336292 markings/sec, 105 secs
lola: 40482471 markings, 57347082 edges, 350055 markings/sec, 110 secs
lola: 42147031 markings, 59704263 edges, 332912 markings/sec, 115 secs
lola: 43809023 markings, 62055630 edges, 332398 markings/sec, 120 secs
lola: 45462456 markings, 64397298 edges, 330687 markings/sec, 125 secs
lola: 47150774 markings, 66788888 edges, 337664 markings/sec, 130 secs
lola: 48870314 markings, 69225333 edges, 343908 markings/sec, 135 secs
lola: 50547961 markings, 71601742 edges, 335529 markings/sec, 140 secs
lola: 52179953 markings, 73911735 edges, 326398 markings/sec, 145 secs
lola: 53862660 markings, 76296055 edges, 336541 markings/sec, 150 secs
lola: 55492968 markings, 78603173 edges, 326062 markings/sec, 155 secs
lola: 57190815 markings, 81007856 edges, 339569 markings/sec, 160 secs
lola: 58872214 markings, 83390036 edges, 336280 markings/sec, 165 secs
lola: 60508877 markings, 85706828 edges, 327333 markings/sec, 170 secs
lola: 62145331 markings, 88022510 edges, 327291 markings/sec, 175 secs
lola: 63835146 markings, 90417706 edges, 337963 markings/sec, 180 secs
lola: 65459484 markings, 92717690 edges, 324868 markings/sec, 185 secs
lola: 67099079 markings, 95037319 edges, 327919 markings/sec, 190 secs
lola: 68768979 markings, 97402774 edges, 333980 markings/sec, 195 secs
lola: 70400360 markings, 99711893 edges, 326276 markings/sec, 200 secs
lola: 72107899 markings, 102132042 edges, 341508 markings/sec, 205 secs
lola: 73757667 markings, 104468275 edges, 329954 markings/sec, 210 secs
lola: 75294701 markings, 106644345 edges, 307407 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(Cb)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2714869 markings, 3121257 edges, 542974 markings/sec, 0 secs
lola: 5116906 markings, 5947285 edges, 480407 markings/sec, 5 secs
lola: 7511398 markings, 8775431 edges, 478898 markings/sec, 10 secs
lola: 9918802 markings, 11591693 edges, 481481 markings/sec, 15 secs
lola: 12249381 markings, 14330077 edges, 466116 markings/sec, 20 secs
lola: 14708711 markings, 17230368 edges, 491866 markings/sec, 25 secs
lola: 17120300 markings, 20056632 edges, 482318 markings/sec, 30 secs
lola: 19631484 markings, 23004691 edges, 502237 markings/sec, 35 secs
lola: 22065968 markings, 25888583 edges, 486897 markings/sec, 40 secs
lola: 24510696 markings, 28730512 edges, 488946 markings/sec, 45 secs
lola: 26976200 markings, 31656088 edges, 493101 markings/sec, 50 secs
lola: 29331708 markings, 34419977 edges, 471102 markings/sec, 55 secs
lola: 31811504 markings, 37308668 edges, 495959 markings/sec, 60 secs
lola: 34310866 markings, 40279986 edges, 499872 markings/sec, 65 secs
lola: 36678695 markings, 43054484 edges, 473566 markings/sec, 70 secs
lola: 39139876 markings, 45924440 edges, 492236 markings/sec, 75 secs
lola: 41601848 markings, 48836439 edges, 492394 markings/sec, 80 secs
lola: 44017457 markings, 51697489 edges, 483122 markings/sec, 85 secs
lola: 46401696 markings, 54469183 edges, 476848 markings/sec, 90 secs
lola: 48911809 markings, 57403292 edges, 502023 markings/sec, 95 secs
lola: 51435061 markings, 60407360 edges, 504650 markings/sec, 100 secs
lola: 53839340 markings, 63255108 edges, 480856 markings/sec, 105 secs
lola: 56305055 markings, 66111578 edges, 493143 markings/sec, 110 secs
lola: 58792590 markings, 69018846 edges, 497507 markings/sec, 115 secs
lola: 61312178 markings, 72020353 edges, 503918 markings/sec, 120 secs
lola: 63760085 markings, 74898497 edges, 489581 markings/sec, 125 secs
lola: 66212173 markings, 77722709 edges, 490418 markings/sec, 130 secs
lola: 68720251 markings, 80658418 edges, 501616 markings/sec, 135 secs
lola: 71196909 markings, 83581232 edges, 495332 markings/sec, 140 secs
lola: 73646706 markings, 86500870 edges, 489959 markings/sec, 145 secs
lola: 75756895 markings, 88999201 edges, 422038 markings/sec, 150 secs
lola: 77803575 markings, 91390159 edges, 409336 markings/sec, 155 secs
lola: 80064972 markings, 94020681 edges, 452279 markings/sec, 160 secs
lola: 82351082 markings, 96697339 edges, 457222 markings/sec, 165 secs
lola: 84657191 markings, 99444590 edges, 461222 markings/sec, 170 secs
lola: 86923718 markings, 102144653 edges, 453305 markings/sec, 175 secs
lola: 89078229 markings, 104652079 edges, 430902 markings/sec, 180 secs
lola: 91412454 markings, 107370161 edges, 466845 markings/sec, 185 secs
lola: 93738207 markings, 110087823 edges, 465151 markings/sec, 190 secs
lola: 96080590 markings, 112861007 edges, 468477 markings/sec, 195 secs
lola: 98418402 markings, 115645789 edges, 467562 markings/sec, 200 secs
lola: 100642875 markings, 118263690 edges, 444895 markings/sec, 205 secs
lola: 102924483 markings, 120854609 edges, 456322 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(MwU)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1937558 markings, 2887471 edges, 387512 markings/sec, 0 secs
lola: 3807853 markings, 5683041 edges, 374059 markings/sec, 5 secs
lola: 5492162 markings, 8198530 edges, 336862 markings/sec, 10 secs
lola: 7286670 markings, 10876871 edges, 358902 markings/sec, 15 secs
lola: 9086180 markings, 13564366 edges, 359902 markings/sec, 20 secs
lola: 10901380 markings, 16269805 edges, 363040 markings/sec, 25 secs
lola: 12683792 markings, 18926787 edges, 356482 markings/sec, 30 secs
lola: 14453627 markings, 21565002 edges, 353967 markings/sec, 35 secs
lola: 16221865 markings, 24201588 edges, 353648 markings/sec, 40 secs
lola: 17973139 markings, 26810731 edges, 350255 markings/sec, 45 secs
lola: 19723980 markings, 29421375 edges, 350168 markings/sec, 50 secs
lola: 21464388 markings, 32014082 edges, 348082 markings/sec, 55 secs
lola: 23198968 markings, 34597449 edges, 346916 markings/sec, 60 secs
lola: 24940845 markings, 37192747 edges, 348375 markings/sec, 65 secs
lola: 26678702 markings, 39777951 edges, 347571 markings/sec, 70 secs
lola: 28404295 markings, 42349868 edges, 345119 markings/sec, 75 secs
lola: 30143829 markings, 44934581 edges, 347907 markings/sec, 80 secs
lola: 31843230 markings, 47471513 edges, 339880 markings/sec, 85 secs
lola: 33569268 markings, 50039186 edges, 345208 markings/sec, 90 secs
lola: 35279869 markings, 52587296 edges, 342120 markings/sec, 95 secs
lola: 36808698 markings, 54865306 edges, 305766 markings/sec, 100 secs
lola: 38370703 markings, 57191175 edges, 312401 markings/sec, 105 secs
lola: 39973011 markings, 59571439 edges, 320462 markings/sec, 110 secs
lola: 41560288 markings, 61939784 edges, 317455 markings/sec, 115 secs
lola: 43095003 markings, 64219055 edges, 306943 markings/sec, 120 secs
lola: 44738804 markings, 66666781 edges, 328760 markings/sec, 125 secs
lola: 46415196 markings, 69165213 edges, 335278 markings/sec, 130 secs
lola: 48083281 markings, 71644291 edges, 333617 markings/sec, 135 secs
lola: 49714989 markings, 74075268 edges, 326342 markings/sec, 140 secs
lola: 51219783 markings, 76314606 edges, 300959 markings/sec, 145 secs
lola: 52724121 markings, 78550036 edges, 300868 markings/sec, 150 secs
lola: 54225467 markings, 80782237 edges, 300269 markings/sec, 155 secs
lola: 55775468 markings, 83090429 edges, 310000 markings/sec, 160 secs
lola: 57433459 markings, 85558273 edges, 331598 markings/sec, 165 secs
lola: 58945268 markings, 87808041 edges, 302362 markings/sec, 170 secs
lola: 60438564 markings, 90021129 edges, 298659 markings/sec, 175 secs
lola: 61961780 markings, 92296666 edges, 304643 markings/sec, 180 secs
lola: 63612791 markings, 94755613 edges, 330202 markings/sec, 185 secs
lola: 65273487 markings, 97221284 edges, 332139 markings/sec, 190 secs
lola: 66729886 markings, 99390878 edges, 291280 markings/sec, 195 secs
lola: 68240507 markings, 101641703 edges, 302124 markings/sec, 200 secs
lola: 69718040 markings, 103841057 edges, 295507 markings/sec, 205 secs
lola: 71207092 markings, 106050744 edges, 297810 markings/sec, 210 secs
lola: 72731441 markings, 108317183 edges, 304870 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(MtF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1879588 markings, 2776742 edges, 375918 markings/sec, 0 secs
lola: 3615080 markings, 5358812 edges, 347098 markings/sec, 5 secs
lola: 5310177 markings, 7875341 edges, 339019 markings/sec, 10 secs
lola: 6978981 markings, 10354070 edges, 333761 markings/sec, 15 secs
lola: 8626084 markings, 12800507 edges, 329421 markings/sec, 20 secs
lola: 10277633 markings, 15249444 edges, 330310 markings/sec, 25 secs
lola: 11922475 markings, 17690075 edges, 328968 markings/sec, 30 secs
lola: 13536380 markings, 20082826 edges, 322781 markings/sec, 35 secs
lola: 15173836 markings, 22510567 edges, 327491 markings/sec, 40 secs
lola: 16796693 markings, 24918105 edges, 324571 markings/sec, 45 secs
lola: 18413650 markings, 27312724 edges, 323391 markings/sec, 50 secs
lola: 20019120 markings, 29694123 edges, 321094 markings/sec, 55 secs
lola: 21611933 markings, 32050572 edges, 318563 markings/sec, 60 secs
lola: 23214651 markings, 34426590 edges, 320544 markings/sec, 65 secs
lola: 24807443 markings, 36787115 edges, 318558 markings/sec, 70 secs
lola: 26377644 markings, 39112250 edges, 314040 markings/sec, 75 secs
lola: 27937707 markings, 41423828 edges, 312013 markings/sec, 80 secs
lola: 29506205 markings, 43746168 edges, 313700 markings/sec, 85 secs
lola: 31058836 markings, 46043403 edges, 310526 markings/sec, 90 secs
lola: 32614691 markings, 48349830 edges, 311171 markings/sec, 95 secs
lola: 34039493 markings, 50455886 edges, 284960 markings/sec, 100 secs
lola: 35460399 markings, 52558351 edges, 284181 markings/sec, 105 secs
lola: 36867504 markings, 54642084 edges, 281421 markings/sec, 110 secs
lola: 38287629 markings, 56747429 edges, 284025 markings/sec, 115 secs
lola: 39711099 markings, 58853781 edges, 284694 markings/sec, 120 secs
lola: 41267537 markings, 61158823 edges, 311288 markings/sec, 125 secs
lola: 42808828 markings, 63439545 edges, 308258 markings/sec, 130 secs
lola: 44356496 markings, 65730646 edges, 309534 markings/sec, 135 secs
lola: 45874946 markings, 67977703 edges, 303690 markings/sec, 140 secs
lola: 47410241 markings, 70244249 edges, 307059 markings/sec, 145 secs
lola: 48948054 markings, 72522392 edges, 307563 markings/sec, 150 secs
lola: 50510841 markings, 74838483 edges, 312557 markings/sec, 155 secs
lola: 52022736 markings, 77076803 edges, 302379 markings/sec, 160 secs
lola: 53477955 markings, 79226921 edges, 291044 markings/sec, 165 secs
lola: 54856285 markings, 81266071 edges, 275666 markings/sec, 170 secs
lola: 56187170 markings, 83234628 edges, 266177 markings/sec, 175 secs
lola: 57511544 markings, 85192902 edges, 264875 markings/sec, 180 secs
lola: 58802729 markings, 87101914 edges, 258237 markings/sec, 185 secs
lola: 60126734 markings, 89060057 edges, 264801 markings/sec, 190 secs
lola: 61441494 markings, 91002621 edges, 262952 markings/sec, 195 secs
lola: 62760678 markings, 92954086 edges, 263837 markings/sec, 200 secs
lola: 64126838 markings, 94978325 edges, 273232 markings/sec, 205 secs
lola: 65442326 markings, 96919579 edges, 263098 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(MpA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1966134 markings, 2767232 edges, 393227 markings/sec, 0 secs
lola: 3802729 markings, 5372712 edges, 367319 markings/sec, 5 secs
lola: 5605918 markings, 7928935 edges, 360638 markings/sec, 10 secs
lola: 7391222 markings, 10460772 edges, 357061 markings/sec, 15 secs
lola: 9149391 markings, 12953617 edges, 351634 markings/sec, 20 secs
lola: 10893930 markings, 15425203 edges, 348908 markings/sec, 25 secs
lola: 12615725 markings, 17865387 edges, 344359 markings/sec, 30 secs
lola: 14351790 markings, 20327160 edges, 347213 markings/sec, 35 secs
lola: 16077749 markings, 22773269 edges, 345192 markings/sec, 40 secs
lola: 17786460 markings, 25194151 edges, 341742 markings/sec, 45 secs
lola: 19485364 markings, 27600706 edges, 339781 markings/sec, 50 secs
lola: 21186385 markings, 30012132 edges, 340204 markings/sec, 55 secs
lola: 22853793 markings, 32374126 edges, 333482 markings/sec, 60 secs
lola: 24328015 markings, 34461711 edges, 294844 markings/sec, 65 secs
lola: 25869528 markings, 36646331 edges, 308303 markings/sec, 70 secs
lola: 27328527 markings, 38711969 edges, 291800 markings/sec, 75 secs
lola: 28851944 markings, 40870952 edges, 304683 markings/sec, 80 secs
lola: 30330447 markings, 42965469 edges, 295701 markings/sec, 85 secs
lola: 31772027 markings, 45007240 edges, 288316 markings/sec, 90 secs
lola: 33288806 markings, 47155279 edges, 303356 markings/sec, 95 secs
lola: 34749448 markings, 49225216 edges, 292128 markings/sec, 100 secs
lola: 36225504 markings, 51314939 edges, 295211 markings/sec, 105 secs
lola: 37715080 markings, 53425096 edges, 297915 markings/sec, 110 secs
lola: 39203870 markings, 55534740 edges, 297758 markings/sec, 115 secs
lola: 40711234 markings, 57671526 edges, 301473 markings/sec, 120 secs
lola: 42172529 markings, 59740384 edges, 292259 markings/sec, 125 secs
lola: 43699270 markings, 61900107 edges, 305348 markings/sec, 130 secs
lola: 45205841 markings, 64034561 edges, 301314 markings/sec, 135 secs
lola: 46748590 markings, 66218909 edges, 308550 markings/sec, 140 secs
lola: 48358714 markings, 68501078 edges, 322025 markings/sec, 145 secs
lola: 49883543 markings, 70660640 edges, 304966 markings/sec, 150 secs
lola: 51395920 markings, 72802342 edges, 302475 markings/sec, 155 secs
lola: 52854660 markings, 74866828 edges, 291748 markings/sec, 160 secs
lola: 54366461 markings, 77008353 edges, 302360 markings/sec, 165 secs
lola: 55812108 markings, 79054209 edges, 289129 markings/sec, 170 secs
lola: 57340430 markings, 81219702 edges, 305664 markings/sec, 175 secs
lola: 58793926 markings, 83279399 edges, 290699 markings/sec, 180 secs
lola: 60210235 markings, 85283835 edges, 283262 markings/sec, 185 secs
lola: 61619036 markings, 87278505 edges, 281760 markings/sec, 190 secs
lola: 63120023 markings, 89404258 edges, 300197 markings/sec, 195 secs
lola: 64517961 markings, 91385492 edges, 279588 markings/sec, 200 secs
lola: 65933455 markings, 93388316 edges, 283099 markings/sec, 205 secs
lola: 67410070 markings, 95478268 edges, 295323 markings/sec, 210 secs
lola: 68882677 markings, 97564177 edges, 294521 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(CG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2238387 markings, 2642666 edges, 447677 markings/sec, 0 secs
lola: 4374359 markings, 5168864 edges, 427194 markings/sec, 5 secs
lola: 6491086 markings, 7671298 edges, 423345 markings/sec, 10 secs
lola: 8626108 markings, 10194457 edges, 427004 markings/sec, 15 secs
lola: 10730127 markings, 12681156 edges, 420804 markings/sec, 20 secs
lola: 12801978 markings, 15128556 edges, 414370 markings/sec, 25 secs
lola: 14852608 markings, 17552271 edges, 410126 markings/sec, 30 secs
lola: 16856576 markings, 19919674 edges, 400794 markings/sec, 35 secs
lola: 18919855 markings, 22356868 edges, 412656 markings/sec, 40 secs
lola: 20953900 markings, 24759270 edges, 406809 markings/sec, 45 secs
lola: 22991161 markings, 27165854 edges, 407452 markings/sec, 50 secs
lola: 25135604 markings, 29699003 edges, 428889 markings/sec, 55 secs
lola: 27259462 markings, 32207566 edges, 424772 markings/sec, 60 secs
lola: 29380538 markings, 34713544 edges, 424215 markings/sec, 65 secs
lola: 31493162 markings, 37209538 edges, 422525 markings/sec, 70 secs
lola: 33673510 markings, 39785294 edges, 436070 markings/sec, 75 secs
lola: 35783673 markings, 42278212 edges, 422033 markings/sec, 80 secs
lola: 37858864 markings, 44727493 edges, 415038 markings/sec, 85 secs
lola: 39945814 markings, 47191977 edges, 417390 markings/sec, 90 secs
lola: 42022611 markings, 49645991 edges, 415359 markings/sec, 95 secs
lola: 44067607 markings, 52061219 edges, 408999 markings/sec, 100 secs
lola: 46131280 markings, 54496886 edges, 412735 markings/sec, 105 secs
lola: 48214961 markings, 56960532 edges, 416736 markings/sec, 110 secs
lola: 50251300 markings, 59362251 edges, 407268 markings/sec, 115 secs
lola: 52260945 markings, 61737945 edges, 401929 markings/sec, 120 secs
lola: 54314669 markings, 64163025 edges, 410745 markings/sec, 125 secs
lola: 56384945 markings, 66607432 edges, 414055 markings/sec, 130 secs
lola: 58510842 markings, 69119459 edges, 425179 markings/sec, 135 secs
lola: 60482133 markings, 71444544 edges, 394258 markings/sec, 140 secs
lola: 62605587 markings, 73955032 edges, 424691 markings/sec, 145 secs
lola: 64532082 markings, 76227251 edges, 385299 markings/sec, 150 secs
lola: 66720610 markings, 78814415 edges, 437706 markings/sec, 155 secs
lola: 68799156 markings, 81266219 edges, 415709 markings/sec, 160 secs
lola: 70984103 markings, 83849191 edges, 436989 markings/sec, 165 secs
lola: 73026191 markings, 86257458 edges, 408418 markings/sec, 170 secs
lola: 75201847 markings, 88829940 edges, 435131 markings/sec, 175 secs
lola: 77237925 markings, 91232485 edges, 407216 markings/sec, 180 secs
lola: 79360231 markings, 93739043 edges, 424461 markings/sec, 185 secs
lola: 81440502 markings, 96194120 edges, 416054 markings/sec, 190 secs
lola: 83346433 markings, 98443363 edges, 381186 markings/sec, 195 secs
lola: 85421625 markings, 100898334 edges, 415038 markings/sec, 200 secs
lola: 87516361 markings, 103368206 edges, 418947 markings/sec, 205 secs
lola: 89665973 markings, 105910032 edges, 429922 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2140935 markings, 3018199 edges, 428187 markings/sec, 0 secs
lola: 3837367 markings, 5528812 edges, 339286 markings/sec, 5 secs
lola: 5641968 markings, 8205752 edges, 360920 markings/sec, 10 secs
lola: 7501579 markings, 10960030 edges, 371922 markings/sec, 15 secs
lola: 9361807 markings, 13716172 edges, 372046 markings/sec, 20 secs
lola: 11159070 markings, 16386559 edges, 359453 markings/sec, 25 secs
lola: 12992601 markings, 19106855 edges, 366706 markings/sec, 30 secs
lola: 14821378 markings, 21817488 edges, 365755 markings/sec, 35 secs
lola: 16623443 markings, 24493264 edges, 360413 markings/sec, 40 secs
lola: 18443907 markings, 27193290 edges, 364093 markings/sec, 45 secs
lola: 20224626 markings, 29835886 edges, 356144 markings/sec, 50 secs
lola: 21964170 markings, 32420225 edges, 347909 markings/sec, 55 secs
lola: 23758460 markings, 35082210 edges, 358858 markings/sec, 60 secs
lola: 25611798 markings, 37828166 edges, 370668 markings/sec, 65 secs
lola: 27406071 markings, 40489989 edges, 358855 markings/sec, 70 secs
lola: 29177231 markings, 43120078 edges, 354232 markings/sec, 75 secs
lola: 30954025 markings, 45759756 edges, 355359 markings/sec, 80 secs
lola: 32780729 markings, 48467609 edges, 365341 markings/sec, 85 secs
lola: 34586620 markings, 51148995 edges, 361178 markings/sec, 90 secs
lola: 36349081 markings, 53769749 edges, 352492 markings/sec, 95 secs
lola: 38138093 markings, 56425850 edges, 357802 markings/sec, 100 secs
lola: 39909766 markings, 59060017 edges, 354335 markings/sec, 105 secs
lola: 41669636 markings, 61673146 edges, 351974 markings/sec, 110 secs
lola: 43425517 markings, 64282493 edges, 351176 markings/sec, 115 secs
lola: 45207550 markings, 66924397 edges, 356407 markings/sec, 120 secs
lola: 46975809 markings, 69545229 edges, 353652 markings/sec, 125 secs
lola: 48699943 markings, 72109325 edges, 344827 markings/sec, 130 secs
lola: 50432919 markings, 74686814 edges, 346595 markings/sec, 135 secs
lola: 52154755 markings, 77242938 edges, 344367 markings/sec, 140 secs
lola: 53938139 markings, 79888590 edges, 356677 markings/sec, 145 secs
lola: 55637446 markings, 82416592 edges, 339861 markings/sec, 150 secs
lola: 57350811 markings, 84963746 edges, 342673 markings/sec, 155 secs
lola: 59095889 markings, 87556590 edges, 349016 markings/sec, 160 secs
lola: 60832041 markings, 90136744 edges, 347230 markings/sec, 165 secs
lola: 62581721 markings, 92734137 edges, 349936 markings/sec, 170 secs
lola: 64321046 markings, 95319154 edges, 347865 markings/sec, 175 secs
lola: 66069612 markings, 97916646 edges, 349713 markings/sec, 180 secs
lola: 67830289 markings, 100530524 edges, 352135 markings/sec, 185 secs
lola: 69577332 markings, 103122020 edges, 349409 markings/sec, 190 secs
lola: 71355882 markings, 105761211 edges, 355710 markings/sec, 195 secs
lola: 73104028 markings, 108357857 edges, 349629 markings/sec, 200 secs
lola: 74849762 markings, 110952241 edges, 349147 markings/sec, 205 secs
lola: 76584383 markings, 113528112 edges, 346924 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2186484 markings, 2753956 edges, 437297 markings/sec, 0 secs
lola: 4289261 markings, 5395454 edges, 420555 markings/sec, 5 secs
lola: 6394683 markings, 8040462 edges, 421084 markings/sec, 10 secs
lola: 8492781 markings, 10669342 edges, 419620 markings/sec, 15 secs
lola: 10593098 markings, 13300861 edges, 420063 markings/sec, 20 secs
lola: 12677282 markings, 15911456 edges, 416837 markings/sec, 25 secs
lola: 14753893 markings, 18512117 edges, 415322 markings/sec, 30 secs
lola: 16813460 markings, 21088696 edges, 411913 markings/sec, 35 secs
lola: 18858913 markings, 23647975 edges, 409091 markings/sec, 40 secs
lola: 20907932 markings, 26208974 edges, 409804 markings/sec, 45 secs
lola: 22909606 markings, 28714970 edges, 400335 markings/sec, 50 secs
lola: 24924334 markings, 31234822 edges, 402946 markings/sec, 55 secs
lola: 26936041 markings, 33751340 edges, 402341 markings/sec, 60 secs
lola: 28960866 markings, 36289375 edges, 404965 markings/sec, 65 secs
lola: 30984006 markings, 38820098 edges, 404628 markings/sec, 70 secs
lola: 32984751 markings, 41318354 edges, 400149 markings/sec, 75 secs
lola: 35013585 markings, 43854914 edges, 405767 markings/sec, 80 secs
lola: 37024912 markings, 46371178 edges, 402265 markings/sec, 85 secs
lola: 39021465 markings, 48866469 edges, 399311 markings/sec, 90 secs
lola: 41032289 markings, 51378882 edges, 402165 markings/sec, 95 secs
lola: 43025727 markings, 53868787 edges, 398688 markings/sec, 100 secs
lola: 45043769 markings, 56390866 edges, 403608 markings/sec, 105 secs
lola: 47050603 markings, 58897612 edges, 401367 markings/sec, 110 secs
lola: 49050784 markings, 61395805 edges, 400036 markings/sec, 115 secs
lola: 51049698 markings, 63893861 edges, 399783 markings/sec, 120 secs
lola: 53052851 markings, 66398319 edges, 400631 markings/sec, 125 secs
lola: 55034470 markings, 68870404 edges, 396324 markings/sec, 130 secs
lola: 57026856 markings, 71360486 edges, 398477 markings/sec, 135 secs
lola: 59027452 markings, 73859569 edges, 400119 markings/sec, 140 secs
lola: 61022920 markings, 76354186 edges, 399094 markings/sec, 145 secs
lola: 62989656 markings, 78809768 edges, 393347 markings/sec, 150 secs
lola: 64964046 markings, 81277847 edges, 394878 markings/sec, 155 secs
lola: 66944631 markings, 83753501 edges, 396117 markings/sec, 160 secs
lola: 68907287 markings, 86201497 edges, 392531 markings/sec, 165 secs
lola: 70862375 markings, 88641087 edges, 391018 markings/sec, 170 secs
lola: 72833823 markings, 91107126 edges, 394290 markings/sec, 175 secs
lola: 74803813 markings, 93570032 edges, 393998 markings/sec, 180 secs
lola: 76766205 markings, 96019675 edges, 392478 markings/sec, 185 secs
lola: 78711039 markings, 98446561 edges, 388967 markings/sec, 190 secs
lola: 80662991 markings, 100882524 edges, 390390 markings/sec, 195 secs
lola: 82620230 markings, 103324706 edges, 391448 markings/sec, 200 secs
lola: 84573871 markings, 105764645 edges, 390728 markings/sec, 205 secs
lola: 86473021 markings, 108134371 edges, 379830 markings/sec, 210 secs
lola: 88324085 markings, 110448287 edges, 370213 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1976593 markings, 2409659 edges, 395319 markings/sec, 0 secs
lola: 3802027 markings, 4633482 edges, 365087 markings/sec, 5 secs
lola: 5623461 markings, 6850161 edges, 364287 markings/sec, 10 secs
lola: 7414384 markings, 9030041 edges, 358185 markings/sec, 15 secs
lola: 9173334 markings, 11169423 edges, 351790 markings/sec, 20 secs
lola: 10899977 markings, 13271750 edges, 345329 markings/sec, 25 secs
lola: 12585421 markings, 15323362 edges, 337089 markings/sec, 30 secs
lola: 14266779 markings, 17366896 edges, 336272 markings/sec, 35 secs
lola: 15918253 markings, 19376600 edges, 330295 markings/sec, 40 secs
lola: 17568553 markings, 21381402 edges, 330060 markings/sec, 45 secs
lola: 19225359 markings, 23394657 edges, 331361 markings/sec, 50 secs
lola: 20881371 markings, 25412202 edges, 331202 markings/sec, 55 secs
lola: 22546517 markings, 27436178 edges, 333029 markings/sec, 60 secs
lola: 24227054 markings, 29477077 edges, 336107 markings/sec, 65 secs
lola: 25994621 markings, 31622774 edges, 353513 markings/sec, 70 secs
lola: 27766361 markings, 33772908 edges, 354348 markings/sec, 75 secs
lola: 29482167 markings, 35855951 edges, 343161 markings/sec, 80 secs
lola: 31173351 markings, 37906238 edges, 338237 markings/sec, 85 secs
lola: 32845019 markings, 39935976 edges, 334334 markings/sec, 90 secs
lola: 34500768 markings, 41944256 edges, 331150 markings/sec, 95 secs
lola: 36154432 markings, 43953071 edges, 330733 markings/sec, 100 secs
lola: 37794874 markings, 45942909 edges, 328088 markings/sec, 105 secs
lola: 39473126 markings, 47977191 edges, 335650 markings/sec, 110 secs
lola: 41466826 markings, 50395778 edges, 398740 markings/sec, 115 secs
lola: 43454007 markings, 52804764 edges, 397436 markings/sec, 120 secs
lola: 45441170 markings, 55217462 edges, 397433 markings/sec, 125 secs
lola: 47428572 markings, 57631826 edges, 397480 markings/sec, 130 secs
lola: 49414000 markings, 60039831 edges, 397086 markings/sec, 135 secs
lola: 51394647 markings, 62442468 edges, 396129 markings/sec, 140 secs
lola: 53375565 markings, 64850572 edges, 396184 markings/sec, 145 secs
lola: 55357802 markings, 67262882 edges, 396447 markings/sec, 150 secs
lola: 57334625 markings, 69662546 edges, 395365 markings/sec, 155 secs
lola: 59307983 markings, 72059511 edges, 394672 markings/sec, 160 secs
lola: 61274232 markings, 74451833 edges, 393250 markings/sec, 165 secs
lola: 63254374 markings, 76856283 edges, 396028 markings/sec, 170 secs
lola: 65206059 markings, 79230745 edges, 390337 markings/sec, 175 secs
lola: 67152246 markings, 81594810 edges, 389237 markings/sec, 180 secs
lola: 69115405 markings, 83977236 edges, 392632 markings/sec, 185 secs
lola: 71079803 markings, 86365292 edges, 392880 markings/sec, 190 secs
lola: 73005187 markings, 88705187 edges, 385077 markings/sec, 195 secs
lola: 74943464 markings, 91058733 edges, 387655 markings/sec, 200 secs
lola: 76878827 markings, 93412375 edges, 387073 markings/sec, 205 secs
lola: 78811226 markings, 95766659 edges, 386480 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 ClientsAndServers-PT-N0500P0-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496609434441
--------------------
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="ClientsAndServers-PT-N0500P0"
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/ClientsAndServers-PT-N0500P0.tgz
mv ClientsAndServers-PT-N0500P0 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 ClientsAndServers-PT-N0500P0, 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 r168-ebro-149580920200290"
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 ;